
alldifferent(?List, ?Cap)

   No domain value occurs more than Cap times in List

Arguments
   List                list of variables or domain values
   Cap                 integer or integer variable

Type
   library(ic_symbolic)

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
