CPSolver.Propagator.Variable (Fixpoint v0.10.2)

Summary

Functions

contains?(var, val)

See CPSolver.Variable.Interface.ThrowIfFails.contains?/2.

domain(var)

See CPSolver.Variable.Interface.ThrowIfFails.domain/1.

fix(var, val)
fixed?(var)
get_variable_ops()
id(var)

See CPSolver.Variable.Interface.ThrowIfFails.id/1.

max(var)

See CPSolver.Variable.Interface.ThrowIfFails.max/1.

min(var)

See CPSolver.Variable.Interface.ThrowIfFails.min/1.

plus(offset, offset)
remove(var, val)
removeAbove(var, val)
removeBelow(var, val)
reset_variable_ops()
set_propagate_on(var, propagator_event)
size(var)

See CPSolver.Variable.Interface.ThrowIfFails.size/1.

Functions

contains?(var, val)

See CPSolver.Variable.Interface.ThrowIfFails.contains?/2.

domain(var)

See CPSolver.Variable.Interface.ThrowIfFails.domain/1.

fix(var, val)

fixed?(var)

get_variable_ops()

id(var)

See CPSolver.Variable.Interface.ThrowIfFails.id/1.

max(var)

See CPSolver.Variable.Interface.ThrowIfFails.max/1.

min(var)

See CPSolver.Variable.Interface.ThrowIfFails.min/1.

plus(offset, offset)

remove(var, val)

removeAbove(var, val)

removeBelow(var, val)

reset_variable_ops()

set_propagate_on(var, propagator_event)

size(var)

See CPSolver.Variable.Interface.ThrowIfFails.size/1.