
labeling(+Vars)

   Instantiates all variables in a collection to elements of their domains.

Arguments
   Vars                A collection (a la collection_to_list/2) of integer IC variables or integers

Type
   library(ic)

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
