 |
YAP 7.1.0
|
|
YAP 7.1.0
|
applications of the tree walker pattern More...
#include "absmi.h"#include "YapHeap.h"#include "heapgc.h"#include "attvar.h"#include "clause.h"#include "yapio.h"#include "term_visit.h"Go to the source code of this file.
Macros | |
| #define | TERMS_C 1 |
| #define | DEB_DOOBOUT(d0) \ |
| #define | DEB_DOOBIN(d0) |
| #define | DEB_DOOB(S, sp) |
| #define | push_sub_term(A, B, C, D, E) |
| #define | pop_sub_term(A, B, C) ( DEB_DOOB("-",A) pop_sub_term__(A,B,C)) |
| #define | RESET_TERM_VISITOR_0() |
| #define | RESET_TERM_VISITOR_1(v, v0) |
| #define | RESET_TERM_VISITOR_3(first, tail, tail0, end) |
| #define | LIST_HOOK_CODE if (IS_VISIT_MARKER(ptd1[0])) { goto found;} |
| #define | COMPOUND_HOOK_CODE if (IS_VISIT_MARKER(ptd1[0])) { goto found;} |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_0(); |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_0(); |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_0(); |
| #define | VAR_HOOK_CODE |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_0(); |
| #define | VAR_HOOK_CODE |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_1(v,v0); |
| #define | VAR_HOOK_CODE |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | VAR_HOOK_CODE mSET(ptd0, TermNone); |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(t,t,t,end) |
| #define | VAR_HOOK_CODE |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | ATOMIC_HOOK_CODE if (d0==TermNone) mSET(ptd0,(CELL)ptd0); |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_0() |
| #define | ATOMIC_HOOK_CODE |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | VAR_HOOK_CODE |
| routine to locate all variables in a term, and its application s More... | |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | COMPOUND_HOOK_CODE |
| #define | RESET_TERM_VISITOR RESET_TERM_VISITOR_3(first,tail,tail0,end) |
| #define | SAVE_EXTRA() yhandle_t yv = Yap_InitHandle(t0) |
| #define | RESTORE_EXTRA() t0 = Yap_PopHandle(yv) |
| #define | SAVE_EXTRA() yhandle_t yv = Yap_InitHandle(vs0) |
| #define | RESTORE_EXTRA() {vs0 = Yap_PopHandle(yv);}; |
Typedefs | |
| typedef struct att_rec | att_rec_t |
| routine to locate attributed variables | |
Functions | |
| bool | Yap_IsCyclicTerm (Term t USES_REGS) |
| bool | Yap_IsGroundTerm (Term t) |
| Term | Yap_TermVariables (Term t, Term t0 USES_REGS) |
| Extends list with all the variables in a term. More... | |
| void | mksingleton (Term v, Functor FunctorNumberVars) |
| int | Yap_NumberVars (Term t, int numbv, bool handle_singles USES_REGS) |
| numbervariables in term t More... | |
| Int | Yap_UnNumberTerm (Term t, CELL *HLow USES_REGS) |
| void | Yap_InitTermCPreds (void) |
applications of the tree walker pattern
Definition in file terms.c.
1.9.3