![]() |
YAP 7.1.0
|
#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) |