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)