
alldifferent(?List)

   All elements of List are different

Arguments
   List                list of variables or domain values

Type
   library(ic_symbolic)

Description

	Constrains all list elements to be different values of the same domain.
	This is implemented by mapping onto ic_global:alldifferent/1.
	All list elements must be variables or values of the same domain.
	If one or more of them are domain-less, they will be given the same
	domain as the others.


Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   ic_global : alldifferent / 1
