CPSolver.Variable.Interface.ThrowIfFails (Fixpoint v0.8.30)
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.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.
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.
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.