mavar.c File Reference

#include "Yap.h"
#include "Yatom.h"
#include "YapHeap.h"
#include "YapEval.h"
#include "YapArenas.h"

Go to the source code of this file.

Functions
Term	Yap_NewTimedVar (CELL val)
Term	Yap_NewEmptyTimedVar (void)
Term	Yap_NewCompactTimedVar (Term v)
Term	Yap_ReadTimedVar (Term inv)
Term	Yap_UpdateTimedVar (Term inv, Term new)
void	Yap_InitMaVarCPreds (void)

Function Documentation

Yap_InitMaVarCPreds()

void Yap_InitMaVarCPreds

(

void

)

Definition at line 581 of file mavar.c.

Yap_NewCompactTimedVar()

Term Yap_NewCompactTimedVar

(

Term

v

)

Definition at line 200 of file mavar.c.

Yap_NewEmptyTimedVar()

Term Yap_NewEmptyTimedVar

(

void

)

Definition at line 186 of file mavar.c.

Yap_NewTimedVar()

Term Yap_NewTimedVar

(

CELL

val

)

Definition at line 179 of file mavar.c.

Yap_ReadTimedVar()

Term Yap_ReadTimedVar

(

Term

inv

)

Definition at line 221 of file mavar.c.

Yap_UpdateTimedVar()

Term Yap_UpdateTimedVar	(	Term	inv,
		Term	new
	)

Definition at line 264 of file mavar.c.