all_solut_c.c File Reference

#include <sys/types.h>
#include "engine_pl.h"
#include "bips_pl.h"
#include <unistd.h>
#include <sys/wait.h>

Include dependency graph for all_solut_c.c:

Data Structures
struct	onesol

Macros
#define	OBJ_INIT   All_Solut_Initializer
#define	GROUP_SOLUTIONS_ALT   X1_2467726F75705F736F6C7574696F6E735F616C74

Typedefs
typedef struct onesol *	OneSolP
typedef struct onesol	OneSol

Functions
static Bool	Bound_Var (WamWord *adr)
static WamWord	Existential_Variables (WamWord start_word)
static Bool	Free_Var (WamWord *adr)
static void	Handle_Key_Variables (WamWord start_word)
static Bool	Link_Key_Var (WamWord *adr)
static WamWord	Group (WamWord all_sol_word, WamWord gl_key_word, WamWord *key_adr)
	Prolog_Prototype (GROUP_SOLUTIONS_ALT, 0)
static void	All_Solut_Initializer (void)
Bool	Pl_Free_Variables_4 (WamWord templ_word, WamWord gen_word, WamWord gen1_word, WamWord key_word)
void	Pl_Recover_Generator_1 (WamWord gen1_word)
void	Pl_Stop_Mark_1 (WamWord stop_word)
void	Pl_Store_Solution_1 (WamWord term_word)
Bool	Pl_Recover_Solutions_4 (WamWord stop_word, WamWord handle_key_word, WamWord list_word, WamWord tail_word)
Bool	Pl_Group_Solutions_3 (WamWord all_sol_word, WamWord gl_key_word, WamWord sol_word)
Bool	Pl_Group_Solutions_Alt_0 (void)

Variables
static WamWord	exist_2
static WamWord	new_gen_word
static PlLong *	bound_var_ptr
static WamWord *	free_var_base
static OneSol	dummy = { NULL, 0, 0 }
static OneSol *	sol = &dummy
static PlLong *	key_var_ptr
static PlLong *	save_key_var_ptr
static PlLong *	next_key_var_ptr

Macro Definition Documentation

#define GROUP_SOLUTIONS_ALT   X1_2467726F75705F736F6C7574696F6E735F616C74

#define OBJ_INIT   All_Solut_Initializer

Typedef Documentation

typedef struct onesol OneSol

typedef struct onesol* OneSolP

Function Documentation

static void All_Solut_Initializer ( void  )

static

static Bool Bound_Var ( WamWord *  adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static WamWord Existential_Variables ( WamWord  start_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Free_Var ( WamWord *  adr )

static

Here is the caller graph for this function:

static WamWord Group ( WamWord  all_sol_word, WamWord  gl_key_word, WamWord *  key_adr  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void Handle_Key_Variables ( WamWord  start_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Link_Key_Var ( WamWord *  adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Free_Variables_4	(	WamWord	templ_word,
		WamWord	gen_word,
		WamWord	gen1_word,
		WamWord	key_word
	)

Here is the call graph for this function:

Bool Pl_Group_Solutions_3	(	WamWord	all_sol_word,
		WamWord	gl_key_word,
		WamWord	sol_word
	)

Here is the call graph for this function:

Bool Pl_Group_Solutions_Alt_0

(

void

)

Here is the call graph for this function:

void Pl_Recover_Generator_1

(

WamWord

gen1_word

)

Here is the call graph for this function:

Bool Pl_Recover_Solutions_4	(	WamWord	stop_word,
		WamWord	handle_key_word,
		WamWord	list_word,
		WamWord	tail_word
	)

Here is the call graph for this function:

void Pl_Stop_Mark_1

(

WamWord

stop_word

)

Here is the call graph for this function:

void Pl_Store_Solution_1

(

WamWord

term_word

)

Here is the call graph for this function:

Prolog_Prototype	(	GROUP_SOLUTIONS_ALT	,
		0
	)

Variable Documentation

PlLong* bound_var_ptr

static

OneSol dummy = { NULL, 0, 0 }

static

WamWord exist_2

static

WamWord* free_var_base

static

PlLong* key_var_ptr

static

WamWord new_gen_word

static

PlLong* next_key_var_ptr

static

PlLong* save_key_var_ptr

static

OneSol* sol = &dummy

static