Fixpoint
v0.10.6
Search documentation of Fixpoint
Settings
CPSolver.Constraint.Count
(Fixpoint v0.10.6)
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)