YAP 7.1.0
copy.c File Reference

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)
 

Detailed Description

support for backtrable and non-backtrackable variables in Prolog

Author
VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan
Date
Tue Nov 17 23:16:17 2015

Definition in file copy.c.