- Origin
Derived from .
- Constraint
-
- Argument
| |
- Restrictions
-
- Purpose
Enforce (1)Β all variables of the collection to take distinct values and
(2)Β constraint the difference between the largest and the smallest values of
the collection to be equal to the number of variables minus one
(i.e.,Β there is no holes at all within the used values).
- Example
-
The constraint holds since
(1)Β all the values 5, 4, 3 and 6 are distinct and since
(2)Β all values between value 3 and value 6 are effectively used.
- Typical
-
- Symmetries
Items of are permutable.
Two distinct values of can be swapped.
One and the same constant can be added to the attribute of all items of .
- See also
implies:
,
.
- Keywords
characteristic of a constraint:
all different,
disequality.
combinatorial object:
permutation.
constraint type:
value constraint.
