Variables. More...

Detailed Description

Variables.

Implementation of Attribute Declarations

Modules
	SICStus-style Constraints in C

	SWI-style Constraints in C

Class Documentation

◆ cp_frame

struct cp_frame

Definition at line 105 of file attvar.c.

Public Attributes
CELL *	start_cp

CELL *	end_cp

CELL *	to

CELL *	pt0

CELL *	pt0_end

CELL *	ptf

CELL *	curp

CELL *	oldp

CELL	oldv

tr_fr_ptr	tr

bool	ground

Term	t

Member Data Documentation

◆ curp

CELL* curp

Definition at line 11 of file terms.h.

◆ end_cp

CELL* end_cp

Definition at line 107 of file attvar.c.

◆ ground

bool ground

Definition at line 15 of file terms.h.

◆ oldp

CELL* oldp

Definition at line 12 of file terms.h.

◆ oldv

CELL oldv

Definition at line 13 of file terms.h.

◆ pt0

CELL* pt0

Definition at line 8 of file terms.h.

◆ pt0_end

CELL* pt0_end

Definition at line 9 of file terms.h.

◆ ptf

CELL* ptf

Definition at line 10 of file terms.h.

◆ start_cp

CELL* start_cp

Definition at line 106 of file attvar.c.

◆ t

Term t

Definition at line 16 of file terms.h.

◆ to

CELL* to

Definition at line 108 of file attvar.c.

◆ tr

tr_fr_ptr tr

Definition at line 14 of file terms.h.

Function Documentation

◆ AddCompareToQueue()

void AddCompareToQueue	(	Term	Cmp,
		Term	t1,
		Term t2	USES_REGS
	)

Definition at line 75 of file attvar.c.

◆ AddToQueue()

void AddToQueue ( attvar_record *attv USES_REGS )

Definition at line 66 of file attvar.c.

◆ AddUnifToQueue()

void AddUnifToQueue	(	Term	t1,
		Term t2	USES_REGS
	)

Definition at line 84 of file attvar.c.

◆ Yap_MkEmptyWakeUp()

void Yap_MkEmptyWakeUp ( Atom mod )

Definition at line 158 of file attvar.c.

◆ Yap_suspend_goal()

void Yap_suspend_goal ( Term tg USES_REGS )

Definition at line 36 of file attvar.c.

◆ Yap_WakeUp()

void Yap_WakeUp ( CELL * pt0 )

Definition at line 241 of file attvar.c.

Typedefs
typedef struct cp_frame	copy_frame

Functions
void	Yap_suspend_goal (Term tg USES_REGS)

void	AddToQueue (attvar_record *attv USES_REGS)

void	AddCompareToQueue (Term Cmp, Term t1, Term t2 USES_REGS)

void	AddUnifToQueue (Term t1, Term t2 USES_REGS)

void	Yap_MkEmptyWakeUp (Atom mod)

void	Yap_WakeUp (CELL *pt0)