term_supp.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
PlLong	Pl_Term_Compare (WamWord start_u_word, WamWord start_v_word)
Bool	Is_List (WamWord start_word)
Bool	Is_Partial_List (WamWord start_word)
Bool	Is_List_Or_Partial (WamWord start_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)
int	Pl_Get_Pred_Indicator (WamWord pred_indic_word, Bool must_be_ground, int *arity)
Bool	Pl_Acyclic_Term_1 (WamWord start_word)

Variables
WamWord	pl_pi_name_word
WamWord	pl_pi_arity_word
PlLong	pl_glob_dico_var []

Function Documentation

Bool Is_List

(

WamWord

start_word

)

Bool Is_List_Or_Partial

(

WamWord

start_word

)

Bool Is_Partial_List

(

WamWord

start_word

)

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
	)

void Pl_Copy_Term	(	WamWord *	dst_adr,
		WamWord *	src_adr
	)

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

)

PlLong Pl_Term_Compare	(	WamWord	start_u_word,
		WamWord	start_v_word
	)

int Pl_Term_Size

(

WamWord

start_word

)

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:

Variable Documentation

PlLong pl_glob_dico_var[]

WamWord pl_pi_arity_word

WamWord pl_pi_name_word