[ library(ic) | 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, gfd : alldifferent / 1, sd : alldifferent / 1, fd_global : 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