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

Summary

Functions

add(var, c)
linear(var, coefficient, offset)
minus(var)
mul(var, coefficient)

Functions

Link to this function

add(var, c)

Link to this function

linear(var, coefficient, offset)

Link to this function

minus(var)

Link to this function

mul(var, coefficient)