[ 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