Fixpoint v0.13.2

CPSolver.Variable.View.Factory (Fixpoint v0.13.2)

Link to this section Summary

Functions

inc(var, c)
linear(var, coefficient, offset)
minus(var)
mul(var, coefficient)
negation(var)

Link to this section 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

negation(var)