Lines Matching refs:set
33 % because intially when the problem is being set up we don't want to
35 % value hasn't been set yet.
100 mon, % set element with suspension of monitor_tenable goal
149 assignment. Search algorithms can then access the set of
159 To do so, set up a viewable using viewable:viewable_create/3,4 and specify
275 % The conflict vars set is those variables that are untenable. All of these
278 % The conflict constraints set contains constraints that are untenable.
280 % constraint into the conflict vars set.
282 % variables are set to their tentative values.
284 % that its delayed goals list is exactly the conflict constraint set.
335 % like r_conflict but using a global, unnamed conflict set
361 "ConflictSet": "Handle for the conflict set (atom or varibale)
396 % fails because A #= B is also set up as a normal constraint
429 a variable in which case the system returns a conflict set handle that can
438 set instead of the Constraint itself.
448 "ConflictSet": "Handle for the conflict set (atom or varibale)
483 a variable in which case the system returns a conflict set handle that can
492 set instead of the Constraint itself.
634 % constraint set. Otherwise it goes into the satisfied constraint set.
871 variables are set to the ground values in Values. Typically Var is a
1201 args: ["ConflictSet":"name or handle of a conflict set",
1204 summary: "Retreive the set of conflicting constraints monitored in ConflictSet.",
1209 the tentative assignment of its variables), it appears in a conflict set,
1212 in the given conflict set.
1215 ConflictSet is the conflict set name (or handle) which has
1255 args: ["ConflictSet":"name or handle of a conflict set",
1258 summary: "Returns the set of variables within the conflict constraints in ConflictSet.",
1260 The set of variables within the conflict constraints.
1280 When a variable becomes untenable, it appears in the set of conflict
1309 setarg(prop of monitor_conflict,G,1) % set flag to say goal called
1379 % The list s([...]) maintains elements possibly in the set.
1382 % in the set. If you are in the set you are guaranteed to be in the list
1383 % but you may remove yourself from the set, but not have been flushed out