![]() |
YAP 7.1.0
|
support for backtrable and non-backtrackable variables in Prolog More...
#include "Yap.h"#include "YapEval.h"#include "YapHeap.h"#include "Yatom.h"#include "attvar.h"#include "clause.h"#include "heapgc.h"#include "iopreds.h"#include "yapio.h"#include <math.h>#include "YapArenas.h"#include "YapError.h"#include "terms.h"Go to the source code of this file.
Macros | |
| #define | DEB_DOOBIN(d0) (fprintf(stderr, "+++ %s ", __FUNCTION__), Yap_DebugPlWriteln(d0)) |
| #define | DEB_DOOBOUT(d0) (fprintf(stderr, "--- "), Yap_DebugPlWriteln(d0)) |
| #define | DEB_DOOB(S) |
Functions | |
| CELL * | Yap_ArenaLimit (Term arena) |
| CELL * | Yap_ArenaPt (Term arena) |
| UInt | Yap_ArenaSz (Term arena) |
| Term | Yap_MkArena (CELL *ptr, CELL *max) |
| bool | Yap_ArenaExpand (size_t sz, CELL *arenap) |
| void | Yap_AllocateDefaultArena (size_t gsizeW, int wid, void *cs) |
| Term | CopyTermToArena (Term t, bool share, bool copy_att_vars, yap_error_number *errp, Term *arenap, Term *bindp USES_REGS) |
| Term | Yap_CopyTerm (Term inp) |
| Term | Yap_CopyTermNoShare (Term inp) |
| Term | Yap_TermAsForest (Term t1) |
| void | Yap_InitCopyTerm (void) |
support for backtrable and non-backtrackable variables in Prolog
Definition in file copy.c.