CPSolver.Variable behaviour (Fixpoint v0.9.4)
Summary
Types
Callbacks
Link to this callback
new(values, opts)
Functions
Link to this function
contains?(variable, value)
Link to this function
domain(variable)
Link to this function
fix(variable, value)
Link to this function
fixed?(variable)
Link to this function
max(variable)
Link to this function
min(variable)
Link to this function
remove(variable, value)
Link to this function
removeAbove(variable, value)
Link to this function
removeBelow(variable, value)
Link to this function