[ library(ic_symbolic) | The ECLiPSe Libraries | 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