[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
alldifferent(+Vars)
Constrains all elements of a list to be pairwise different.
- Vars
- A list of integer IC variables or integers
Description
Constrains all elements of a list to be pairwise different (and
integral). Effectively imposes #\= constraints on every pair of
elements from Vars.
See Also
#\= / 2, fd : alldifferent / 1, ic_symbolic : alldifferent / 1, fd_global : alldifferent / 1, ic_global : alldifferent / 1