term_supp.c File Reference

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

Include dependency graph for term_supp.c:

Macros
#define	TERM_SUPP_FILE
#define	Old_Adr_To_New_Adr(adr)   ((dst_adr)+((adr)-(src_adr)))
#define	CYCLIC_MARK   Tag_LST(0)

Functions
static void	Copy_Term_Rec (WamWord *dst_adr, WamWord *src_adr, WamWord **p)
static Bool	Term_Hash (WamWord start_word, PlLong depth, unsigned *hash)
static Bool	Term_Hash_Rec (WamWord start_word, PlLong depth, HashIncrInfo *hi)
PlLong	Pl_Term_Compare (WamWord start_u_word, WamWord start_v_word)
Bool	Pl_Treat_Vars_Of_Term (WamWord start_word, Bool generic_var, Bool(*fct)())
int	Pl_List_Length (WamWord start_word)
int	Pl_Term_Size (WamWord start_word)
void	Pl_Copy_Term (WamWord *dst_adr, WamWord *src_adr)
void	Pl_Copy_Contiguous_Term (WamWord *dst_adr, WamWord *src_adr)
Bool	Pl_Acyclic_Term_1 (WamWord start_word)
Bool	Pl_Term_Hash_4 (WamWord start_word, WamWord depth_word, WamWord range_word, WamWord hash_word)
Bool	Pl_Term_Hash_2 (WamWord start_word, WamWord hash_word)
int	Pl_Get_Pred_Indicator (WamWord pred_indic_word, Bool must_be_ground, int *arity)
Bool	Pl_Get_Pred_Indic_3 (WamWord pred_indic_word, WamWord func_word, WamWord arity_word)

Variables
static WamWord *	base_copy
static WamWord	vars [MAX_VAR_IN_TERM *2]
static WamWord *	end_vars = vars + MAX_VAR_IN_TERM * 2
static WamWord *	top_vars

Macro Definition Documentation

#define CYCLIC_MARK   Tag_LST(0)

#define Old_Adr_To_New_Adr

(

adr

)

((dst_adr)+((adr)-(src_adr)))

#define TERM_SUPP_FILE

Function Documentation

static void Copy_Term_Rec ( WamWord *  dst_adr, WamWord *  src_adr, WamWord **  p  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Acyclic_Term_1

(

WamWord

start_word

)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Copy_Contiguous_Term	(	WamWord *	dst_adr,
		WamWord *	src_adr
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Copy_Term	(	WamWord *	dst_adr,
		WamWord *	src_adr
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Get_Pred_Indic_3	(	WamWord	pred_indic_word,
		WamWord	func_word,
		WamWord	arity_word
	)

Here is the call graph for this function:

int Pl_Get_Pred_Indicator	(	WamWord	pred_indic_word,
		Bool	must_be_ground,
		int *	arity
	)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_List_Length

(

WamWord

start_word

)

Here is the caller graph for this function:

PlLong Pl_Term_Compare	(	WamWord	start_u_word,
		WamWord	start_v_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Term_Hash_2	(	WamWord	start_word,
		WamWord	hash_word
	)

Here is the call graph for this function:

Bool Pl_Term_Hash_4	(	WamWord	start_word,
		WamWord	depth_word,
		WamWord	range_word,
		WamWord	hash_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Term_Size

(

WamWord

start_word

)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool Pl_Treat_Vars_Of_Term	(	WamWord	start_word,
		Bool	generic_var,
		Bool(*)()	fct
	)

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Term_Hash ( WamWord  start_word, PlLong  depth, unsigned *  hash  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

static Bool Term_Hash_Rec ( WamWord  start_word, PlLong  depth, HashIncrInfo *  hi  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

WamWord* base_copy

static

WamWord* end_vars = vars + MAX_VAR_IN_TERM * 2

static

WamWord* top_vars

static

WamWord vars[MAX_VAR_IN_TERM *2]

static