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