[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]

alldifferent(?List, ?Cap)

No domain value occurs more than Cap times in List
list of variables or domain values
integer or integer variable


Constrains the list so that no more than Cap elements can have the same value. This is implemented by mapping onto ic_global:alldifferent/2. 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.


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

See Also

ic_global : alldifferent / 2