/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-attvar.c | 105 Word tail = valTermRef(LD->attvar.tail); in registerWakeup() 513 if ( *valTermRef(LD->attvar.head) || in saveWakeup() 537 h = valTermRef(LD->attvar.tail); in saveWakeup() 564 { *valTermRef(LD->attvar.head) = p[0]; in restore_wakeup() 565 *valTermRef(LD->attvar.tail) = p[1]; in restore_wakeup() 567 DEBUG(1, pl_writeln(LD->attvar.head)); in restore_wakeup() 605 PRED_IMPL("attvar", 1, attvar, 0) 1317 if ( !LD->attvar.attvars ) 1328 for(p=LD->attvar.attvars; p; p=next) 1375 LD->attvar.call_residue_vars_count++; [all …]
|
H A D | test.pl | 280 occurs_check(attvar-1) :- % test wakeup 284 occurs_check(attvar-2) :- % test occurs-check 287 occurs_check(attvar-3) :- 290 occurs_check(attvar-4) :-
|
H A D | pl-variant.c | 237 attvar: in isomorphic() 256 goto attvar; in isomorphic() 323 attvar: in variant() 363 goto attvar; in variant()
|
H A D | pl-inline.h | 459 { if ( LD->attvar.attvars ) in register_attvar() 460 { *gp = makeRefG(LD->attvar.attvars); in register_attvar() 462 Sdprintf("Linking %p -> %p\n", gp, LD->attvar.attvars)); in register_attvar() 469 LD->attvar.attvars = gp; in register_attvar()
|
H A D | pl-gc.c | 1023 if ( LD->attvar.attvars ) in save_grefs() 1024 { *valTermRef(LD->attvar.gc_attvars) = makeRefG(LD->attvar.attvars); in save_grefs() 1033 if ( LD->attvar.attvars ) in restore_grefs() 1034 { LD->attvar.attvars = unRef(*valTermRef(LD->attvar.gc_attvars)); in restore_grefs() 1233 for(p=LD->attvar.attvars; p; p = next) in count_need_protection_attvars() 1247 LD->attvar.attvars ) in link_attvars() 2697 LD->attvar.attvars = next; in clean_attvar_chain() 4033 if ( LD->attvar.attvars ) in checkStacks() 4034 checkData(LD->attvar.attvars); in checkStacks() 4159 if ( LD->attvar.call_residue_vars_count && LD->attvar.attvars ) in gcEnsureSpace() [all …]
|
H A D | pl-wam.c | 1324 { while ( LD->attvar.attvars >= after ) in reclaim_attvars() 1325 { word w = *LD->attvar.attvars; in reclaim_attvars() 1328 LD->attvar.attvars = NULL; in reclaim_attvars() 1330 LD->attvar.attvars = unRef(w); in reclaim_attvars() 1618 if ( *valTermRef(LD->attvar.head) ) in foreignWakeup() 1626 PL_put_term(a0, LD->attvar.head); in foreignWakeup() 1628 { setVar(*valTermRef(LD->attvar.head)); in foreignWakeup() 1629 setVar(*valTermRef(LD->attvar.tail)); in foreignWakeup() 2988 ARGP[0] = *valTermRef(LD->attvar.head); in PL_next_solution() 2989 setVar(*valTermRef(LD->attvar.head)); in PL_next_solution() [all …]
|
H A D | pl-ext.c | 376 DECL_PLIST(attvar); 456 REG_PLIST(attvar); in initBuildIns()
|
H A D | pl-setup.c | 1385 LD->attvar.head = PL_new_term_ref(); in emptyStacks() 1386 LD->attvar.tail = PL_new_term_ref(); in emptyStacks() 1387 LD->attvar.gc_attvars = PL_new_term_ref(); in emptyStacks() 1388 DEBUG(3, Sdprintf("attvar.tail at %p\n", valTermRef(LD->attvar.tail))); in emptyStacks()
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/core/ |
H A D | test_hash.pl | 71 test(attvar, error(_)) :- 74 test(attvar, true) :- 75 dif(X, 3), % error(_) fails because subsumes_term does not deal with attvar
|
H A D | test_text.pl | 107 test(attvar, X-Y == ab-ok) :-
|
/dports/lang/swi-pl/swipl-8.2.3/src/Tests/attvar/ |
H A D | test_dif.pl | 57 \+ attvar(B). 66 \+ attvar(B).
|
/dports/lang/swi-pl/swipl-8.2.3/man/ |
H A D | .gitignore | 2 attvar.tex
|
H A D | attvar.doc | 107 attributed variables interface described in~\secref{attvar}. These are 111 \section{Attributed variables} \label{sec:attvar} 208 \label{sec:attvar-predicates} 211 \predicate{attvar}{1}{{@}Term} 240 \label{sec:attvar-hooks} 359 \label{sec:attvar-low-level-preds}
|
H A D | main.doc | 163 \include{attvar}
|
/dports/lang/swi-pl/swipl-8.2.3/boot/ |
H A D | attvar.pl | 48 in pl-attvar.c 70 % assigning an attvar with attribute AttributeValue the value 78 ( attvar(Y)
|
H A D | load.pl | 61 attvar,
|
H A D | topvars.pl | 153 ( ( nonvar(Value) ; attvar(Value))
|
/dports/lang/yap/yap-6.2.2/packages/chr/Tests/ |
H A D | leq.chr | 20 \+ attvar(X),
|
/dports/lang/swi-pl/swipl-8.2.3/packages/chr/Tests/ |
H A D | leq.chr | 20 \+ attvar(X),
|
/dports/lang/yap/yap-6.2.2/pl/ |
H A D | ground.yap | 59 attvar(V), !,
|
H A D | attributes.yap | 290 att_vars([V|LGs], [V|AttVars]) :- attvar(V), !, 305 pick_att_vars([V|L],[V|NL]) :- attvar(V), !,
|
/dports/lang/yap/yap-6.2.2/VC/ |
H A D | yapdll.mak | 53 -@erase "$(INTDIR)\attvar.obj" 133 "$(INTDIR)\attvar.obj" \ 214 -@erase "$(INTDIR)\attvar.obj" 297 "$(INTDIR)\attvar.obj" \ 454 SOURCE="\Yap\Yap-4.3.17\C\attvar.c" 456 "$(INTDIR)\attvar.obj" : $(SOURCE) "$(INTDIR)"
|
/dports/lang/swi-pl/swipl-8.2.3/library/ |
H A D | pure_input.pl | 171 ( attvar(Tail) 215 ( attvar(Tail)
|
H A D | when.pl | 90 % C-building block defined in pl-attvar.c. It pre-processes the
|
/dports/lang/swi-pl/swipl-8.2.3/library/dialect/swi/ |
H A D | syspred_options.pl | 110 attvar(oneof([skip,bind,error])),
|