[ library(fd_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
occurrences(++Value, +List, ?N)
The value Value occurs in List N times
- Value
- Atomic term
- List
- List of atomic terms or domain variables
- N
- Variable or integer
Description
The value Value occurs in List N times. Operationally: N
gets updated to reflect the number of possible occurrences
in the List. List elements may get instantiated to Value,
or Value may be removed from their domain if required by N.
See Also
fd : element / 3, ic : element / 3, ic_symbolic : element / 3, ic_global : element / 3