CPSolver.Variable.View.Factory (Fixpoint v0.9.4)
Summary
Functions
Link to this function
inc(var, c)
Link to this function
linear(var, coefficient, offset)
Link to this function
minus(var)
Link to this function
mul(var, coefficient)
Link to this function