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

Summary

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.

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.