[ library(ic_symbolic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
occurrences(+Value, +List, ?N)
Value occurs N times in List
- Value
- domain value
- List
- list of variables or domain values
- N
- integer variable or integer
Description
Constrains its arguments such that Value occurs exactly N times
in List.
This is implemented by mapping onto ic_global:occurrences/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.
See Also
ic_global : occurrences / 3