[ library(ic) | Reference Manual | Alphabetic Index ]
labeling(+Vars)
Instantiates all variables in a collection to elements of their domains.
- Vars
- A collection (a la collection_to_list/2) of integer IC variables or integers
Description
   Simple predicate for instantiating a collection of integer IC variables
   to elements of their domains.  (Integers are also allowed in the
   collection; they are effectively ignored.)  The variables are
   instantiated in the order in which they appear in the collection; the
   implementation is essentially:
	labeling(Vars) :-
		collection_to_list(Vars, List),
		( foreach(Var,List) do
		    indomain(Var)
		).
Resatisfiable
Yes.
See Also
indomain / 1, gfd : labeling / 1, sd : labeling / 1, fd : labeling / 1, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2