
alldistinct(?List)

   The elements of the list List are pairwise different.



Arguments
   ?List               A list of integers and domain variables.

Type
   library(fd)

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
