[ ECLiPSe Finite Domain built-in.|Group Index| Full Index]

?Vars :: ?Domain

Terms in Vars have the domain Domain.

?Vars
A variable or a list of variables.
+Domain
Variable, integer, integer interval or a list of integers and integer intervals.

Description

The main purpose of this predicate is to create domain variables. Domain can be a closed integer interval denoted as Min..Max, or a sorted list of integer intervals and/or elements. If Vars is already a domain variable, its domain will be updated according to the new domain; if it is instantiated, the predicate checks if the value lies in the domain. Otherwise, if Vars is a free variable, it is converted to a domain variable. If Vars is a list, this will be performed for all its elements.

If Vars is a domain variable and Domain is free, it is bound to the domain of the variable.

Fail Conditions

Fails if Vars cannot have the domain Domain.

Resatisfiable

No.

Exceptions

Examples


See Also

dom_to_list / 2, is_domain / 1