[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]
atmost(++N, +List, ++Value)
Value occurs N times in List
- N
- integer
- List
- list of variables or domain values
- Value
- domain value
Description
	Constrains its arguments such that Value occurs at most N times
	in List.
	This is implemented by mapping onto ic_global:atmost/3.
	All list elements and Value 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 : atmost / 3