[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

alldifferent(+Vars)

Constrains all elements of a list to be pairwise different.
Vars
A collection (a la collection_to_list/2) of variables or integers

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, ic_symbolic : alldifferent / 1, ic_global : alldifferent / 1, fd : alldifferent / 1, sd : alldifferent / 1, fd_global : alldifferent / 1, lists : collection_to_list / 2