Home
last modified time | relevance | path

Searched refs:VarOfTerm (Results 1 – 19 of 19) sorted by relevance

/dports/lang/yap/yap-6.2.2/C/
H A Dattvar.c127 *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 Dmavar.c39 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 Dutilpreds.c1344 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 Dother.c111 vt = VarOfTerm(t); in Yap_Globalise()
H A Dexec.c129 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 Dglobals.c653 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 Dc_interface.c3125 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 Dcdmgr.c4006 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 Diopreds.c4018 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 Dsave.c543 CELL *d1 = VarOfTerm(val);
H A Dheapgc.c3837 HGEN = VarOfTerm(Yap_ReadTimedVar(GcGeneration)); in do_gc()
3988 HGEN = VarOfTerm(Yap_ReadTimedVar(GcGeneration)); in call_gc()
H A Ddbase.c1436 ntp = MkDBTerm(VarOfTerm(Tm), VarOfTerm(Tm), ntp0, ntp0+1, ntp0-1, in CreateDBStruct()
/dports/lang/yap/yap-6.2.2/VC/include/
H A DYap.h637 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 DTermExt.h370 return (Int) ((IsVarTerm(t) && VarOfTerm(t) < H0) ); in IsAttachedTerm()
/dports/lang/yap/yap-6.2.2/H/
H A DTermExt.h504 return (Int) ((IsVarTerm (t) && IsAttVar(VarOfTerm(t)))); in IsAttachedTerm()
515 return (Int) (IsVarTerm (t) && IsAttVar(VarOfTerm(t))); in SafeIsAttachedTerm()
H A Dtrim_trail.h136 Bind(VarOfTerm(val), MkAtomTerm(AtomCut));
H A DYap.h818 inline EXTERN Term *VarOfTerm (Term t);
821 VarOfTerm (Term t) in VarOfTerm() function
H A Drheap.h1501 CELL *gbp = VarOfTerm(gbt); in RestoreEntries()
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.c2003 if (IsVarTerm(t) && VarOfTerm(t) >= ASP && VarOfTerm(t) < LCL0) { in PL_unify_term()