dynam_supp.h File Reference

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

Go to the source code of this file.

Data Structures
struct	D2ChHdr
struct	D2ChCell
struct	dyncinf
struct	DSwtInf
struct	dynpinf

Macros
#define	DYN_ALT_FCT_FOR_TEST   0
#define	DYN_ALT_FCT_FOR_JUMP   1

Typedefs
typedef PlLong(*	ScanFct) ()
typedef PlULong	DynStamp
typedef struct dynpinf *	DynPInfP
typedef struct dyncinf *	DynCInfP
typedef struct dyncinf	DynCInf
typedef struct dynpinf	DynPInf

Functions
DynCInf *	Pl_Add_Dynamic_Clause (WamWord head_word, WamWord body_word, Bool asserta, Bool check_perm, int pl_file)
void	Pl_Delete_Dynamic_Clause (DynCInf *clause)
PredInf *	Pl_Update_Dynamic_Pred (int func, int arity, int what_to_do, int pl_file_for_multi)
DynCInf *	Pl_Scan_Dynamic_Pred (int owner_func, int owner_arity, DynPInf *dyn, WamWord first_arg_word, ScanFct alt_fct, int alt_fct_type, int alt_info_size, WamWord *alt_info)
int	Pl_Scan_Choice_Point_Pred (WamWord *b, int *arity)
void	Pl_Copy_Clause_To_Heap (DynCInf *clause, WamWord *head_word, WamWord *body_word)

Macro Definition Documentation

#define DYN_ALT_FCT_FOR_JUMP   1

#define DYN_ALT_FCT_FOR_TEST   0

Typedef Documentation

typedef struct dyncinf DynCInf

typedef struct dyncinf* DynCInfP

typedef struct dynpinf DynPInf

typedef struct dynpinf* DynPInfP

typedef PlULong DynStamp

typedef PlLong(* ScanFct) ()

Function Documentation

DynCInf* Pl_Add_Dynamic_Clause	(	WamWord	head_word,
		WamWord	body_word,
		Bool	asserta,
		Bool	check_perm,
		int	pl_file
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Copy_Clause_To_Heap	(	DynCInf *	clause,
		WamWord *	head_word,
		WamWord *	body_word
	)

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Delete_Dynamic_Clause

(

DynCInf *

clause

)

Here is the call graph for this function:

Here is the caller graph for this function:

int Pl_Scan_Choice_Point_Pred	(	WamWord *	b,
		int *	arity
	)

Here is the call graph for this function:

Here is the caller graph for this function:

DynCInf* Pl_Scan_Dynamic_Pred	(	int	owner_func,
		int	owner_arity,
		DynPInf *	dyn,
		WamWord	first_arg_word,
		ScanFct	alt_fct,
		int	alt_fct_type,
		int	alt_info_size,
		WamWord *	alt_info
	)

Here is the call graph for this function:

Here is the caller graph for this function:

PredInf* Pl_Update_Dynamic_Pred	(	int	func,
		int	arity,
		int	what_to_do,
		int	pl_file_for_multi
	)

Here is the call graph for this function:

Here is the caller graph for this function: