CPSolver.Variable.Interface.ThrowIfFails (Fixpoint v0.8.27)

Summary

Functions

Link to this function

contains?(var, val)

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.

Link to this function

map(var, value)

Callback implementation for CPSolver.Variable.Interface.map/2.

Callback implementation for CPSolver.Variable.Interface.max/1.

Callback implementation for CPSolver.Variable.Interface.min/1.

Link to this function

remove(var, val)

Callback implementation for CPSolver.Variable.Interface.remove/2.

Link to this function

removeAbove(var, val)

Callback implementation for CPSolver.Variable.Interface.removeAbove/2.

Link to this function

removeBelow(var, val)

Callback implementation for CPSolver.Variable.Interface.removeBelow/2.

Callback implementation for CPSolver.Variable.Interface.size/1.

Link to this function

update(var, field, value)

Callback implementation for CPSolver.Variable.Interface.update/3.

Callback implementation for CPSolver.Variable.Interface.variable/1.