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