[ library(ic) | The ECLiPSe Libraries | 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, fd : labeling / 1, sd : labeling / 1, lists : collection_to_list / 2