[ library(sd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

labeling(+Term)

Instantiate all domain variables in a list to domain values
Term
A list of domain variables or atomic terms

Description

Instantiate all domain variables in a list to their domain values. Alternative instantiations are tried on backtracking. This predicate simply calls indomain/1 on all variable in the given list.

See Also

&:: / 2, indomain / 1