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

alldifferent(?List, ?Cap)

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

Description

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.

Modules

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

See Also

ic_global : alldifferent / 2