- Origin
Domain definition.
- Constraint
-
- Synonym
.
- Arguments
| |
| |
| |
- Restrictions
-
- Purpose
Enforce all the variables of the collection
to take a value within the interval .
- Example
-
The constraint holds since
all the values 2, 8 and 2 of its first argument
are greater than or equal to its second argument
and less than or equal to its third argument .
- Typical
|
|
- Symmetries
Items of are permutable.
An occurrence of a value of can be replaced by any other value in .
can be decreased.
can be increased.
One and the same constant can be added to the attribute of all items of as well as to and .
- Arg. properties
Contractible wrt. .
- Remark
The constraint is called in Gecode
(http://www.gecode.org/).
- Reformulation
The
constraint can be expressed in term of the conjunction
Β Β Β ,
Β Β Β ,
Β Β Β Β
Β Β Β .
- Systems
member in Choco,
dom in Gecode,
domain in SICStus.
- See also
common keyword:
,
Β (domain definition).
uses in its reformulation:
.
- Keywords
constraint type:
predefined constraint,
value constraint.
modelling:
interval,
domain definition.