![]() |
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.