
occurrences(+Value, +List, ?N)

   Value occurs N times in List

Arguments
   Value               domain value
   List                list of variables or domain values
   N                   integer variable or integer

Type
   library(ic_symbolic)

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.


Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   ic_global : occurrences / 3
