- Origin
Derived from .
- Constraint
-
- Argument
| |
- Restriction
-
- Purpose
Constraint the difference between the largest and the smallest values of
the collection to be equal to the number of distinct values assigned
to the variables of the collection minus one
(i.e.,Β there is no holes at all within the used values).
- Example
-
The constraint holds since
all values between value 3 and value 5 are effectively used.
- Typical
|
|
- Symmetries
-
- See also
implied by:
,
,
.
used in reformulation:
.
- Keywords
constraint type:
value constraint,
predefined constraint.
