Term Visit and Manipulation¶

• term_attvars/2
• term_variables/2
• ground/1
• term_hash/4
• term_factorized/3
• visited
• copy_frame
• vcell

Define:¶

1. AdjustSizeAtom:

1. export_derefa_body:

Functions:¶

1. static CELL vars_in_complex_term(CELL , CELL , Term CACHE_TYPE):

1. static Int p_non_singletons_in_term(USES_REGS1):

1. static CELL non_singletons_in_complex_term(CELL , CELL CACHE_TYPE):

1. static Int p_variables_in_term(USES_REGS1):

1. static Int p_ground(USES_REGS1):

1. static void clean_dirty_tr(tr_fr_ptr TR0 USES_REGS):

1. static Term handle_cp_overflow(int res, tr_fr_ptr TR0, UInt arity, Term t):

1. static Term * add_to_list(Term *out_e, Term v, Term t USES_REGS):

1. static int break_rationals_complex_term(CELL pt0, CELL pt0_end, CELL ptf, Term of, Term oi, CELL *HLow USES_REGS):

1. static Term BreakRational(Term inp, UInt arity, Term *of, Term oi USES_REGS):

1. static Int p_break_rational(USES_REGS1):

1. static Int p_break_rationa/3(USES_REGS1):

1. static CELL * CellDifH(CELL hptr, CELL hlow):

1. static CELL * AtomAdjustSize(CELL x, char buf):

1. static Atom export_atom(Atom at, char hpp, char buf, size_t len)*:

1. static Functor export_functor(Functor f, char hpp, char buf, size_t len)*:

1. static int export_term_to_buffer(Term inpt, char buf, char bptr, CELL t0, CELL tf, size_t len):

1. static size_t export_complex_term(Term tf, CELL pt0, CELL pt0_end, char buf, size_t len0, int newattvs, CELL ptf, CELL *HLow USES_REGS):

1. if(tovisit > tovisit0):

1. clean_dirty_tr(TR0 PASS_REGS):

1. return export_term_to_buffer(tf, buf, bptr, HLow, HR, len0):

1. while(tovisit > tovisit0):

1. reset_trail(TR0):

1. if(!Yap_growtrail((oTR-TR0) sizeof(tr_fr_ptr ), TRUE)):

1. static size_t ExportTerm(Term inp, char *buf, size_t len, UInt arity, int newattvs USES_REGS):

1. size_t Yap_ExportTerm(Term inp, char *buf, size_t len, UInt arity):

1. static CELL * ShiftPtr(CELL t, char *base):

1. static Atom addAtom(Atom t, char *buf):

1. static UInt FetchFunctor(CELL pt, char buf):

1. static CELL * import_compound(CELL hp, char abase, char buf, CELL amax):

1. static CELL * import_pair(CELL hp, char abase, char buf, CELL amax):

1. static CELL * import_arg(CELL hp, char abase, char buf, CELL amax):

1. Term Yap_ImportTerm(char *buf):

1. size_t Yap_SizeOfExportedTerm(char *buf):

1. static Int p_export_term(USES_REGS1):

1. static Int p_import_term(USES_REGS1):

1. static Int p_kill_exported_term(USES_REGS1):

1. static Term vars_in_complex_term(register CELL pt0, register CELL pt0_end, Term inp USES_REGS):

1. static int expand_vts(int args USES_REGS):

1. static Term vars_within_complex_term(register CELL pt0, register CELL pt0_end, Term inp USES_REGS):

1. static Int p_variables_within_term(USES_REGS1):

1. static Term non_singletons_in_complex_term(register CELL pt0, register CELL pt0_end USES_REGS):

1. static int SizeOfExtension(Term t):

1. static Int sz_ground_complex_term(register CELL pt0, register CELL pt0_end, int ground USES_REGS):

1. int Yap_SizeGroundTerm(Term t, int ground):

1. static unsigned int MurmurHashNeutra/2(const void *key, int len, unsigned int seed):

1. static CELL * addAtomToHash(CELL *st, Atom at):

1. static CELL * hash_complex_term(register CELL pt0, register CELL pt0_end, Int depth, CELL *st, int variant USES_REGS):

1. Int Yap_TermHash(Term t, Int size, Int depth, int variant):

1. static Int p_term_hash(USES_REGS1):

1. static Int p_instantiated_term_hash(USES_REGS1):

1. static CELL init_variant_entry(CELL *ptr USES_REGS):

1. bool left_match(CELL *ptrl, CELL trr USES_REGS):

1. bool right_match(CELL *ptrr, CELL trl USES_REGS):

1. static int variant_complex(register CELL pt0, register CELL pt0_end, register CELL *pt1 USES_REGS):

1. static bool is_variant(Term t1, Term t2, int parity USES_REGS):

1. bool Yap_Variant(Term t1, Term t2):

1. static Int p_variant(USES_REGS1):

1. static int subsumes_complex(register CELL pt0, register CELL pt0_end, register CELL *pt1 USES_REGS):

1. static Int p_subsumes(USES_REGS1):

1. static int term_subsumer_complex(register CELL pt0, register CELL pt0_end, register CELL pt1, CELL npt USES_REGS):

1. static Int p_term_subsumer(USES_REGS1):

1. bool Yap_IsListTerm(Term t):

1. static Int p_is_list(USES_REGS1):

1. bool Yap_IsListOrPartialListTerm(Term t):

1. static Int p_is_list_or_partial_list(USES_REGS1):

1. static int unnumber_complex_term(CELL pt0, CELL pt0_end, CELL ptf, CELL HLow, int share USES_REGS):

1. static Term UnnumberTerm(Term inp, UInt arity, int share USES_REGS):

1. static Int unnumbervars(USES_REGS1):

1. Int Yap_SkipList(Term *l, Term tailp)**:

1. static Int p_skip_list(USES_REGS1):

1. static Int p_skip_lis/4(USES_REGS1):

1. static Int p_free_arguments(USES_REGS1):

1. static Int p_freshen_variables(USES_REGS1):

1. static Int p_reset_variables(USES_REGS1):

1. static Int p_in(USES_REGS1):

Var:¶

1. HB:

1. overflow pad0:

1. return:

1. trail_overflow pad1:

1. heap_overflow pad2:

1. LOCAL_Error_Size:

Typedef:¶

1. typedef struct copy_frame copy_frame_t:

1. typedef struct visited visited_t: