Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Variable.View.Factory
(Fixpoint v0.10.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)