term_inl_c.c File Reference

#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for term_inl_c.c:

Functions
static Bool	Collect_Variable (WamWord *adr)
static Bool	Check_Variable (WamWord *adr, WamWord var_word)
Bool FC	Pl_Blt_Term_Eq (WamWord x, WamWord y)
Bool FC	Pl_Blt_Term_Neq (WamWord x, WamWord y)
Bool FC	Pl_Blt_Term_Lt (WamWord x, WamWord y)
Bool FC	Pl_Blt_Term_Lte (WamWord x, WamWord y)
Bool FC	Pl_Blt_Term_Gt (WamWord x, WamWord y)
Bool FC	Pl_Blt_Term_Gte (WamWord x, WamWord y)
Bool FC	Pl_Blt_Compare (WamWord cmp_word, WamWord x, WamWord y)
Bool FC	Pl_Blt_Arg (WamWord arg_no_word, WamWord term_word, WamWord sub_term_word)
Bool FC	Pl_Blt_Functor (WamWord term_word, WamWord functor_word, WamWord arity_word)
Bool FC	Pl_Blt_Univ (WamWord term_word, WamWord list_word)
Bool	Pl_Copy_Term_2 (WamWord u_word, WamWord v_word)
Bool	Pl_Setarg_4 (WamWord arg_no_word, WamWord term_word, WamWord new_value_word, WamWord undo_word)
Bool	Pl_Term_Ref_2 (WamWord term_word, WamWord ref_word)
Bool	Pl_Term_Variables_3 (WamWord start_word, WamWord list_word, WamWord tail_word)
Bool	Pl_Term_Variables_2 (WamWord start_word, WamWord list_word)
Bool	Pl_Subsumes_Term_2 (WamWord general_word, WamWord specific_word)

Variables
static PlLong *	var_ptr
static PlLong *	base_var_ptr

Function Documentation

static Bool Check_Variable ( WamWord *  adr, WamWord  var_word  )

static

static Bool Collect_Variable ( WamWord *  adr )

static

Bool FC Pl_Blt_Arg	(	WamWord	arg_no_word,
		WamWord	term_word,
		WamWord	sub_term_word
	)

Here is the caller graph for this function:

Bool FC Pl_Blt_Compare	(	WamWord	cmp_word,
		WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Functor	(	WamWord	term_word,
		WamWord	functor_word,
		WamWord	arity_word
	)

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Eq	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Gt	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Gte	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Lt	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Lte	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Term_Neq	(	WamWord	x,
		WamWord	y
	)

Here is the call graph for this function:

Here is the caller graph for this function:

Bool FC Pl_Blt_Univ	(	WamWord	term_word,
		WamWord	list_word
	)

Here is the caller graph for this function:

Bool Pl_Copy_Term_2	(	WamWord	u_word,
		WamWord	v_word
	)

Bool Pl_Setarg_4	(	WamWord	arg_no_word,
		WamWord	term_word,
		WamWord	new_value_word,
		WamWord	undo_word
	)

Bool Pl_Subsumes_Term_2	(	WamWord	general_word,
		WamWord	specific_word
	)

Bool Pl_Term_Ref_2	(	WamWord	term_word,
		WamWord	ref_word
	)

Bool Pl_Term_Variables_2	(	WamWord	start_word,
		WamWord	list_word
	)

Bool Pl_Term_Variables_3	(	WamWord	start_word,
		WamWord	list_word,
		WamWord	tail_word
	)

Variable Documentation

PlLong* base_var_ptr

static

PlLong* var_ptr

static