[ ECLiPSe Finite Domain built-in.|Group Index|
Full Index]
alldifferent(?List)
The elements of the list List are pairwise different.
- ?List
- A list of integers and domain variables.
Description
This constraint imposes the constraint ##/2 on every pair of element of
List.
Fail Conditions
Fails if two element of the list are equal.
Resatisfiable
No.
Exceptions
Examples
See Also
:: / 2, ## / 2, alldistinct / 1