Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Constraint.Count
(Fixpoint v0.10.2)
Constraints
c
to be the number of occurencies of
y
in
array
.
Summary
Functions
new(args)
new(array, y, c)
Functions
new(args)
new(array, y, c)