[ library(fd_global) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# occurrences(++Value, +Vars, ?N)

The value Value occurs in Vars N times

Value
  Atomic term
Vars
  Collection (a la collection_to_list/2) of atomic terms or domain variables
N
  Variable or integer

## Description

The value Value occurs in Vars N times. Operationally: N gets updated to reflect the number of possible occurrences in the collection. Collection elements may get instantiated to Value, or Value may be removed from their domain if required by N.

## See Also

ic_symbolic : element / 3, ic_global : element / 3, fd : element / 3, ic : element / 3, atmost / 3, lists : collection_to_list / 2