
alldifferent(+Vars)

   Constrains all elements of a list to be pairwise different.

Arguments
   Vars                A collection (a la collection_to_list/2) of variables or integers

Type
   library(ic)

Description

   Constrains all elements of a collection to be pairwise different (and
   integral).  Effectively imposes #\= constraints on every pair of
   elements from Vars.


See Also
   #\= / 2, gfd : alldifferent / 1, fd_global : alldifferent / 1, ic_symbolic : alldifferent / 1, sd : alldifferent / 1, ic_global : alldifferent / 1, fd : alldifferent / 1, fd_global_gac : alldifferent / 1, ic_global_gac : alldifferent / 1, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
