#include <stdlib.h>
#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for g_var_inl_c.c:

Data Structures
struct	GVarElt

struct	gundo

struct	GTarget

Macros
#define	OBJ_INIT G_Var_Initializer

#define	G_INITIAL_VALUE Tag_INT(0)

#define	G_ARRAY 0

#define	G_ARRAY_AUTO 1

#define	G_ARRAY_EXTEND 2

#define	G_IMPOSSIBLE_SIZE ((unsigned int) -1 >> 1)

#define	MAX_AUTO_SIZE (1 << 20)

Typedefs
typedef struct gundo *	PGUndo

typedef struct gundo	GUndo

Functions
static void	G_Assign (WamWord gvar_word, WamWord gval_word, Bool backtrack, Bool copy)

static void	G_Assign_Element (GVarElt *g_elem, WamWord gval_word, Bool backtrack, Bool copy)

static void	G_Assign_Arg (GVarElt g_elem, WamWord g_arg, WamWord word)

static void	G_Assign_Array (GVarElt g_elem, WamWord stc_adr, int array_op, Bool backtrack, Bool copy)

static GVarElt *	G_Alloc_Array (GVarElt *g_elem, int new_size, Bool backtrack)

static GTarget *	Get_Target_From_Gvar (WamWord gvar_word)

static GTarget *	Get_Target_From_Selector (WamWord *stc_adr)

static WamWord *	Get_Term_Addr_From_Target (GTarget *gt)

static WamWord *	Get_Int_Addr_From_Gvar (WamWord gvar_word)

static PlLong	Get_Int_From_Gvar (WamWord gvar_word)

static PlLong	Get_Int_From_Word (WamWord start_word)

static void	G_Free_Element (GVarElt *g_elem, Bool reinit_undo)

static void	G_Copy_Element (GVarElt dst_g_elem, GVarElt src_g_elem)

static void	G_Trail_For_Backtrack (GVarElt *g_elem, int save_size, WamWord save_val)

static void	G_Untrail (int n, WamWord *arg_frame)

static Bool	G_Read (WamWord gvar_word, WamWord gval_word)

static Bool	G_Read_Element (GVarElt *g_elem, WamWord gval_word)

static Bool	G_Array_Size (WamWord gvar_word, WamWord size_word)

static Bool	G_Inc_Dec (WamWord gvar_word, int inc, WamWord old_word, WamWord new_word)

static void	G_Set_Bit (WamWord gvar_word, WamWord bit_word)

static void	G_Reset_Bit (WamWord gvar_word, WamWord bit_word)

static Bool	G_Test_Set_Bit (WamWord gvar_word, WamWord bit_word)

static Bool	G_Test_Reset_Bit (WamWord gvar_word, WamWord bit_word)

static void	G_Var_Initializer (void)

void FC	Pl_Blt_G_Assign (WamWord x, WamWord y)

void FC	Pl_Blt_G_Assignb (WamWord x, WamWord y)

void FC	Pl_Blt_G_Link (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Read (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Array_Size (WamWord x, WamWord y)

void FC	Pl_Blt_G_Inc (WamWord x)

Bool FC	Pl_Blt_G_Inco (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Inc_2 (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Inc_3 (WamWord x, WamWord y, WamWord z)

void FC	Pl_Blt_G_Dec (WamWord x)

Bool FC	Pl_Blt_G_Deco (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Dec_2 (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Dec_3 (WamWord x, WamWord y, WamWord z)

void FC	Pl_Blt_G_Set_Bit (WamWord x, WamWord y)

void FC	Pl_Blt_G_Reset_Bit (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Test_Set_Bit (WamWord x, WamWord y)

Bool FC	Pl_Blt_G_Test_Reset_Bit (WamWord x, WamWord y)

Variables
static GTarget	g_target

static int	atom_g_array

static int	atom_g_array_auto

static int	atom_g_array_extend

Macro Definition Documentation

#define G_ARRAY 0

#define G_ARRAY_AUTO 1

#define G_ARRAY_EXTEND 2

#define G_IMPOSSIBLE_SIZE ((unsigned int) -1 >> 1)

#define G_INITIAL_VALUE Tag_INT(0)

#define MAX_AUTO_SIZE (1 << 20)

#define OBJ_INIT G_Var_Initializer

Typedef Documentation

typedef struct gundo GUndo

typedef struct gundo* PGUndo

Function Documentation

static GVarElt * G_Alloc_Array	(	GVarElt *	g_elem,
		int	new_size,
		Bool	backtrack
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool G_Array_Size	(	WamWord	gvar_word,
		WamWord	size_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Assign	(	WamWord	gvar_word,
		WamWord	gval_word,
		Bool	backtrack,
		Bool	copy
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Assign_Arg	(	GVarElt *	g_elem,
		WamWord *	g_arg,
		WamWord	word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Assign_Array	(	GVarElt *	g_elem,
		WamWord *	stc_adr,
		int	array_op,
		Bool	backtrack,
		Bool	copy
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Assign_Element	(	GVarElt *	g_elem,
		WamWord	gval_word,
		Bool	backtrack,
		Bool	copy
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Copy_Element	(	GVarElt *	dst_g_elem,
		GVarElt *	src_g_elem
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Free_Element	(	GVarElt *	g_elem,
		Bool	reinit_undo
	)

static

Here is the caller graph for this function:

static Bool G_Inc_Dec	(	WamWord	gvar_word,
		int	inc,
		WamWord	old_word,
		WamWord	new_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool G_Read	(	WamWord	gvar_word,
		WamWord	gval_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool G_Read_Element	(	GVarElt *	g_elem,
		WamWord	gval_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Reset_Bit	(	WamWord	gvar_word,
		WamWord	bit_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Set_Bit	(	WamWord	gvar_word,
		WamWord	bit_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool G_Test_Reset_Bit	(	WamWord	gvar_word,
		WamWord	bit_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool G_Test_Set_Bit	(	WamWord	gvar_word,
		WamWord	bit_word
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Trail_For_Backtrack	(	GVarElt *	g_elem,
		int	save_size,
		WamWord	save_val
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Untrail	(	int	n,
		WamWord *	arg_frame
	)

static

Here is the call graph for this function:

Here is the caller graph for this function:

static void G_Var_Initializer ( void )

static

Here is the call graph for this function:

static WamWord * Get_Int_Addr_From_Gvar ( WamWord gvar_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static PlLong Get_Int_From_Gvar ( WamWord gvar_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static PlLong Get_Int_From_Word ( WamWord start_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static GTarget * Get_Target_From_Gvar ( WamWord gvar_word )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static GTarget * Get_Target_From_Selector ( WamWord * stc_adr )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static WamWord * Get_Term_Addr_From_Target ( GTarget * gt )

static

Here is the caller graph for this function:

Bool FC Pl_Blt_G_Array_Size	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Assign	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void FC Pl_Blt_G_Assignb	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Dec ( WamWord x )

Here is the call graph for this function:

Bool FC Pl_Blt_G_Dec_2	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Dec_3	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Deco	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Inc ( WamWord x )

Here is the call graph for this function:

Bool FC Pl_Blt_G_Inc_2	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Inc_3	(	WamWord	x,
		WamWord	y,
		WamWord	z
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Inco	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Link	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Read	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Reset_Bit	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

void FC Pl_Blt_G_Set_Bit	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Test_Reset_Bit	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Bool FC Pl_Blt_G_Test_Set_Bit	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Variable Documentation

int atom_g_array

static

int atom_g_array_auto

static

int atom_g_array_extend

static

GTarget g_target

static

Data Structures

Macros

Typedefs

Functions

Variables

Macro Definition Documentation

Typedef Documentation

Function Documentation

Variable Documentation