YAP 7.1.0
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.