[ library(fd) | Reference Manual | Alphabetic Index ]
alldistinct(?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. It is just a compatibility alias for alldifferent/1.
Fail Conditions
Fails if two element of the list are equal.
Resatisfiable
No.
See Also
:: / 2, #:: / 2, ## / 2, alldifferent / 1