Lines Matching refs:any
150 constraints that are violated at any point in the search,
423 Constraint can be any goal that works logically, it should be useable
424 as a ground check, and work on any instantiation pattern. Typically,
477 Constraint can be any goal that works logically, it should be useable
478 as a ground check, and work on any instantiation pattern. Typically,
746 Succeeds if Term is tenable. A Term is tenable if it does not contain any
747 variables with tentative values which are inconsistent with any constraints
790 % domains and any important properties but are new variables with no
869 Associate tentative values with variables. Vars can be any non-ground term,
1010 tentative value eagerly whenever the tentative assignment of any
1065 This process repeats whenever the tentative value of any In-variable
1283 Note that all these variables must be reassigned in any solution