Lines Matching refs:suspend
541 arith_constraint(X < Y, X, Y, suspend:(X1 < Y1), X1, Y1) :- !.
542 arith_constraint(X > Y, X, Y, suspend:(X1 > Y1), X1, Y1) :- !.
543 arith_constraint(X =< Y, X, Y, suspend:(X1 =< Y1), X1, Y1) :- !.
544 arith_constraint(X >= Y, X, Y, suspend:(X1 >= Y1), X1, Y1) :- !.
545 arith_constraint(X =:= Y, X, Y, suspend:(X1 =:= Y1), X1, Y1) :- !.
546 arith_constraint(X =\= Y, X, Y, suspend:(X1 =\= Y1), X1, Y1) :- !.
615 suspend(
909 suspend(
1032 suspend(sum_update(C*V,T,Sum,Susp), 2, [V->inst,V->ga_chg], Susp)
1086 suspend(tent_call(In, Out, Goal, Module, Susp),
1099 suspend(unify_to_tent_if_ground_args(X, Args), 3, SomeVar->inst)
1122 suspend(tent_is_conflict(Expr,Annotation,Sum,OutSum,Elem,Susp,Module),
1162 suspend(