Fixpoint v0.22.7

CPSolver.IntVariable (Fixpoint v0.22.7)

Link to this section Summary

Functions

contains?(var, val)

See CPSolver.Variable.contains?/2.

domain(var)

See CPSolver.Variable.domain/1.

fix(var, val)

See CPSolver.Variable.fix/2.

fixed?(var)

See CPSolver.Variable.fixed?/1.

max(var)

See CPSolver.Variable.max/1.

min(var)

See CPSolver.Variable.min/1.

new(values, opts \\ [])

Callback implementation for CPSolver.Variable.new/2.

remove(var, val)

See CPSolver.Variable.remove/2.

removeAbove(var, val)

See CPSolver.Variable.removeAbove/2.

removeBelow(var, val)

See CPSolver.Variable.removeBelow/2.

size(var)

See CPSolver.Variable.size/1.

to_variable(arg)

Link to this section 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)

See CPSolver.Variable.fix/2.

Link to this function

fixed?(var)

See CPSolver.Variable.fixed?/1.

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

new(values, opts \\ [])

Callback implementation for CPSolver.Variable.new/2.

Link to this function

remove(var, val)

See CPSolver.Variable.remove/2.

Link to this function

removeAbove(var, val)

See CPSolver.Variable.removeAbove/2.

Link to this function

removeBelow(var, val)

See CPSolver.Variable.removeBelow/2.

Link to this function

size(var)

See CPSolver.Variable.size/1.

Link to this function

to_variable(arg)