[ library(fd) | Reference Manual | Alphabetic 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.
See Also
:: / 2, #:: / 2, ## / 2, fd_global : alldifferent / 1