[ 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