[ 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