/barrelfish-2018-10-04/usr/eclipseclp/Mercury/ |
H A D | m_tree234.pl | 1178 % :- inst two(K, V, T) = 1183 % :- inst uniq_two(K, V, T) = 1188 % :- inst three(K, V, T) = 1193 % :- inst uniq_three(K, V, T) = 1198 % :- inst four(K, V, T) = 1203 % :- inst uniq_four(K, V, T) =
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | extpropia.tex | 513 suspend(Goal,7,Goal->inst) infers most.
|
H A D | gfd.tex | 1254 and the {\it inst\/} suspension list will be woken if the variable is bound.
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | repair.pl | 1032 suspend(sum_update(C*V,T,Sum,Susp), 2, [V->inst,V->ga_chg], Susp) 1099 suspend(unify_to_tent_if_ground_args(X, Args), 3, SomeVar->inst)
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 686 \notation{suspend\{inst:I, constrained:C, bound:B\}}
|
H A D | umsdebug.tex | 1185 [eclipse 21]: suspend(foo(X), 3, X->inst), foo(X).<NL> 1547 [eclipse 8]: suspend(capital(london, C), 3 ,C -> inst), 1561 Subterm path: 1, country of capital (2), attr: suspend, inst of
|
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | time-pc.pl | 8 globalize(_819) :- suspend(true, 2, _819 - _834 -> inst), _834 = fired.
|
H A D | domain.pl | 43 no_subtours(_18359, _18362, _18365, _18368) :- outof(_18362, _18368), (var(_18362) -> suspend(no_subtours1(_18359, _18362, _18365, _18368), 3, _18362 -> inst) ; no_subtours1(_18359, _18362, _18365, _18368)).
|
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | cardinal_union.pl | 101 ;suspend(kill_suspensions([SuspG,SuspP]), 7, UnionVar->inst) %lower priority
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/ |
H A D | emu.c | 120 vmcode inst; member in union:s_code_item 584 tmp2 = back_code->inst; \ 686 vm_inst_ctr_[iptr->inst]++; \ 2018 switch((PP++)->inst) { 6228 switch ((PP-1)->inst)
|
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | branch_and_bound.pl | 379 insert_suspension(Cost, Susp, inst of suspend, suspend)
|
H A D | fd.pl | 338 insert_suspension(NewList, Susp, inst of suspend, suspend)
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | propiachr.tex | 292 \verb0suspend(Goal,4,Goal->inst) infers most0
|
H A D | hybrid.tex | 796 [new_constraint,inst,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 1937 [eclipse 2]: suspend(writeln("Wake up!"),1,X->inst), 1945 [eclipse 3]: suspend(writeln("Wake up!"),1,X->inst), 1982 ($ X \rightarrow inst$). When woken the goal will be scheduled with a
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 2081 switch((pp++)->inst) 2157 switch (PP++->inst)
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/search/ |
H A D | search.tex | 1699 ; var(X) -> suspend(nogood([X1,X|Xs], [V1,V|Vs]), 3, X-X1->inst)
|