Lines Matching refs:any
50 leaving any choice points. Constraint propagation behaviour can be
136 their execution setting up any choice points.
211 finding all solutions to the goal and extracting any information that
331 propagation it does not suspend any more.
338 As with any \eclipse{} goal, when executed its result is a further
351 The meaning of {\em most specific} is that any other term that
353 For example, any other term that generalises $p(a,f(b)$ and
435 domain, but otherwise it includes any \eclipse{} term without variable
641 Whenever a point is reached where any subset of the variables are all
661 Each clique is held as a sorted list to avoid any duplication.
694 variable in the list, then don't try any further.
757 any variable becomes more constrained.
784 Propia allows any subproblem to be treated as a single constraint.
785 CHRs allow any set of constraints to be handled by a single rule.