Fixpoint
v0.11.2
Search documentation of Fixpoint
Settings
CPSolver.Variable.View.Factory
(Fixpoint v0.11.2)
Summary
Functions
inc(var, c)
linear(var, coefficient, offset)
minus(var)
mul(var, coefficient)
negation(var)
Functions
inc(var, c)
linear(var, coefficient, offset)
minus(var)
mul(var, coefficient)
negation(var)