CPSolver.Variable.Interface.ThrowIfFails (Fixpoint v0.16.1)
Link to this section Summary
Functions
Callback implementation for CPSolver.Variable.Interface.contains?/2.
Callback implementation for CPSolver.Variable.Interface.domain/1.
Callback implementation for CPSolver.Variable.Interface.fix/2.
Callback implementation for CPSolver.Variable.Interface.fixed?/1.
Callback implementation for CPSolver.Variable.Interface.id/1.
Callback implementation for CPSolver.Variable.Interface.iterator/2.
Callback implementation for CPSolver.Variable.Interface.map/2.
Callback implementation for CPSolver.Variable.Interface.max/1.
Callback implementation for CPSolver.Variable.Interface.min/1.
Callback implementation for CPSolver.Variable.Interface.remove/2.
Callback implementation for CPSolver.Variable.Interface.removeAbove/2.
Callback implementation for CPSolver.Variable.Interface.removeBelow/2.
Callback implementation for CPSolver.Variable.Interface.size/1.
Callback implementation for CPSolver.Variable.Interface.update/3.
Callback implementation for CPSolver.Variable.Interface.variable/1.
Link to this section Functions
contains?(var, val)
Callback implementation for CPSolver.Variable.Interface.contains?/2.
domain(var)
Callback implementation for CPSolver.Variable.Interface.domain/1.
fix(var, val)
Callback implementation for CPSolver.Variable.Interface.fix/2.
fixed?(var)
Callback implementation for CPSolver.Variable.Interface.fixed?/1.
id(var)
Callback implementation for CPSolver.Variable.Interface.id/1.
iterator(var, opts)
Callback implementation for CPSolver.Variable.Interface.iterator/2.
map(var, value)
Callback implementation for CPSolver.Variable.Interface.map/2.
max(var)
Callback implementation for CPSolver.Variable.Interface.max/1.
min(var)
Callback implementation for CPSolver.Variable.Interface.min/1.
remove(var, val)
Callback implementation for CPSolver.Variable.Interface.remove/2.
removeAbove(var, val)
Callback implementation for CPSolver.Variable.Interface.removeAbove/2.
removeBelow(var, val)
Callback implementation for CPSolver.Variable.Interface.removeBelow/2.
size(var)
Callback implementation for CPSolver.Variable.Interface.size/1.
update(var, field, value)
Callback implementation for CPSolver.Variable.Interface.update/3.
variable(var)
Callback implementation for CPSolver.Variable.Interface.variable/1.