Lines Matching refs:suspend
133 % not skipped because might suspend & wake
923 insert_suspension([A|B], Susp, inst of suspend, suspend).
1246 insert_suspension(Var, Susp, constrained of suspend, suspend).
1267 insert_suspension([Var1|Var2], Susp, inst of suspend, suspend).
1319 insert_suspension(A, Susp, constrained of suspend, suspend).
1329 insert_suspension([A|B], Susp, bound of suspend, suspend)
1337 insert_suspension([A|B], Susp, constrained of suspend, suspend).
1359 insert_suspension(B, Susp, constrained of suspend, suspend).
1403 insert_suspension(Bool, Susp, inst of suspend, suspend).
1471 suspend(ge(Term, B, Susp), 3, [Term->min, Term->max, B->inst], Susp)
1512 suspend(gec_ent(X, K, Y, C, B, Susp), 2,
1627 insert_suspension(Vars, Susp, bound of suspend, suspend),
1745 suspend(qeqsquare(AY,X,Susp),4,[[AY|X]->min,[AY|X]->max],Susp),
1829 insert_suspension(Goal, Susp, bound of suspend, suspend),
1894 suspend(fd_abs(X,A,Susp),3,[X->any,A->min,A->max],Susp),
1981 true % re-suspend
1983 suspend(fd_min(A, B, M, Susp), 3, [Vars->min,Vars->max], Susp)
2020 true % re-suspend
2022 suspend(fd_max(A, B, M, Susp), 3, [Vars->min,Vars->max], Susp)