Fixpoint
v0.2.2

CPSolver.Propagator.Variable (Fixpoint v0.2.2)

Summary

Functions

contains?(var, val)

See CPSolver.Variable.contains?/2.

domain(var)

See CPSolver.Variable.domain/1.

fix(var, val)
fixed?(var)

See CPSolver.Variable.fixed?/1.

get_store_impl()
get_variable_ops()
max(var)

See CPSolver.Variable.max/1.

min(var)

See CPSolver.Variable.min/1.

plus(a, b)
remove(var, val)
removeAbove(var, val)
removeBelow(var, val)
reset_variable_ops()
set_store_impl(store_impl)
size(var)

See CPSolver.Variable.size/1.

Functions

Link to this function

contains?(var, val)

See CPSolver.Variable.contains?/2.

Link to this function

domain(var)

See CPSolver.Variable.domain/1.

Link to this function

fix(var, val)

Link to this function

fixed?(var)

See CPSolver.Variable.fixed?/1.

Link to this function

get_store_impl()

Link to this function

get_variable_ops()

Link to this function

max(var)

See CPSolver.Variable.max/1.

Link to this function

min(var)

See CPSolver.Variable.min/1.

Link to this function

plus(a, b)

Link to this function

remove(var, val)

Link to this function

removeAbove(var, val)

Link to this function

removeBelow(var, val)

Link to this function

reset_variable_ops()

Link to this function

set_store_impl(store_impl)

Link to this function

size(var)

See CPSolver.Variable.size/1.