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

   The value Value occurs in Vars N times

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

Type
   library(fd_global)

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
   atleast / 3, atmost / 3, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2
