/dports/lang/yap/yap-6.2.2/C/ |
H A D | attvar.c | 127 *VarOfTerm(to) = AbsAttVar(attv); in TermToAttVar() 145 if (pt1 == VarOfTerm(reg2)) in WakeAttVar() 163 Bind(VarOfTerm(reg2), (CELL)pt1); in WakeAttVar() 430 attv = RepAttVar(VarOfTerm(inp)); in p_put_att() 471 attv = RepAttVar(VarOfTerm(inp)); in p_put_att_term() 510 attv = RepAttVar(VarOfTerm(inp)); in p_rm_att() 557 attv = RepAttVar(VarOfTerm(inp)); in p_put_atts() 628 attv = RepAttVar(VarOfTerm(inp)); in p_del_all_atts() 972 IsAttVar(VarOfTerm(t))); in p_is_attvar() 1011 a = VarOfTerm(t1); in p_fast_unify() [all …]
|
H A D | mavar.c | 39 VarOfTerm(t3) > H &&VarOfTerm(t3) < ASP) { in p_setarg() 42 Bind_Local(VarOfTerm(t3), tn); in p_setarg() 127 VarOfTerm(val) > H) { in NewTimedVar() 129 Bind_Local(VarOfTerm(val), nval); in NewTimedVar() 182 VarOfTerm(new) > H) { in UpdateTimedVar() 184 Bind_Local(VarOfTerm(new), nnew); in UpdateTimedVar()
|
H A D | utilpreds.c | 1344 CELL *ptr = VarOfTerm(t); in p_variables_in_term() 1621 VarOfTerm(t)+1, TermNil); in p_term_attvars() 1689 CELL *ptr = VarOfTerm(t); in vars_within_complex_term() 1886 CELL *ptr = VarOfTerm(t); in new_vars_in_complex_term() 3158 CELL *pt0 = VarOfTerm(d0); in variant_complex() 3159 CELL *pt1 = VarOfTerm(d1); in variant_complex() 3162 if (VarOfTerm(d0)+1 == VarOfTerm(d1)) continue; in variant_complex() 3445 CELL *pt0 = VarOfTerm(d0); in subsumes_complex() 3451 if (Yap_rational_tree_loop(VarOfTerm(new)-1,VarOfTerm(new),(CELL **)AuxSp,(CELL **)AuxBase)) in subsumes_complex() 3610 Bind(VarOfTerm(t1), t2); in p_subsumes() [all …]
|
H A D | other.c | 111 vt = VarOfTerm(t); in Yap_Globalise()
|
H A D | exec.c | 129 DO_TRAIL(VarOfTerm(t), td); in p_save_cp() 130 if (IsAttVar(VarOfTerm(t))) Yap_WakeUp((CELL *)t); in p_save_cp() 148 DO_TRAIL(VarOfTerm(t), td); in p_save_env_b() 149 if (IsAttVar(VarOfTerm(t))) Yap_WakeUp((CELL *)t); in p_save_env_b() 423 if (VarOfTerm(t) < H) { in heap_store() 427 Bind_Local(VarOfTerm(t), (CELL)H); in heap_store()
|
H A D | globals.c | 653 if (share && VarOfTerm(t) > ArenaPt(arena)) { in CopyTermToArena() 1288 if (IsVarTerm(t) && VarOfTerm(t) > H && VarOfTerm(t) < ASP) { in p_b_setval() 1290 Bind_Local(VarOfTerm(t), tn); in p_b_setval() 1323 if (IsVarTerm(to) && IsUnboundVar(VarOfTerm(to))) { in p_nb_getval() 1325 Bind(VarOfTerm(to), t); in p_nb_getval() 1693 *VarOfTerm(qd[QUEUE_TAIL]) = AbsPair(H); in p_nb_queue_enqueue()
|
H A D | c_interface.c | 3125 return IsAttVar(VarOfTerm(t)); in YAP_IsAttVar() 3136 if (IsAttVar(VarOfTerm(t))) in YAP_AttsOfVar() 3138 attv = (attvar_record *)VarOfTerm(t); in YAP_AttsOfVar()
|
H A D | cdmgr.c | 4006 DO_TRAIL(VarOfTerm(t), ta); in p_is_profiled() 4007 if (IsAttVar(VarOfTerm(t))) Yap_WakeUp((CELL *)t); in p_is_profiled() 4109 DO_TRAIL(VarOfTerm(t), ta); in p_is_call_counted() 4110 if (IsAttVar(VarOfTerm(t))) Yap_WakeUp((CELL *)t); in p_is_call_counted() 5357 CELL *pt = VarOfTerm(t); in BuildActivePred()
|
H A D | iopreds.c | 4018 BIND(VarOfTerm(t1), t, bind_in_current_input); 4021 if (CellPtr(t1) < H0) Yap_WakeUp(VarOfTerm(t1)); 4044 if (CellPtr(t1) < H0) Yap_WakeUp(VarOfTerm(t1)); 4277 if (IsVarTerm(*outp) && (VarOfTerm(*outp) > H || VarOfTerm(*outp) < H0)) {
|
H A D | save.c | 543 CELL *d1 = VarOfTerm(val);
|
H A D | heapgc.c | 3837 HGEN = VarOfTerm(Yap_ReadTimedVar(GcGeneration)); in do_gc() 3988 HGEN = VarOfTerm(Yap_ReadTimedVar(GcGeneration)); in call_gc()
|
H A D | dbase.c | 1436 ntp = MkDBTerm(VarOfTerm(Tm), VarOfTerm(Tm), ntp0, ntp0+1, ntp0-1, in CreateDBStruct()
|
/dports/lang/yap/yap-6.2.2/VC/include/ |
H A D | Yap.h | 637 inline EXTERN Term * VarOfTerm(Term t); 639 inline EXTERN Term * VarOfTerm(Term t) in VarOfTerm() function 679 return (int) (*VarOfTerm(t) == (t)); in IsUnboundVar()
|
H A D | TermExt.h | 370 return (Int) ((IsVarTerm(t) && VarOfTerm(t) < H0) ); in IsAttachedTerm()
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | TermExt.h | 504 return (Int) ((IsVarTerm (t) && IsAttVar(VarOfTerm(t)))); in IsAttachedTerm() 515 return (Int) (IsVarTerm (t) && IsAttVar(VarOfTerm(t))); in SafeIsAttachedTerm()
|
H A D | trim_trail.h | 136 Bind(VarOfTerm(val), MkAtomTerm(AtomCut));
|
H A D | Yap.h | 818 inline EXTERN Term *VarOfTerm (Term t); 821 VarOfTerm (Term t) in VarOfTerm() function
|
H A D | rheap.h | 1501 CELL *gbp = VarOfTerm(gbt); in RestoreEntries()
|
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/ |
H A D | swi.c | 2003 if (IsVarTerm(t) && VarOfTerm(t) >= ASP && VarOfTerm(t) < LCL0) { in PL_unify_term()
|