Fixpoint v0.13.2

CPSolver.Variable.Interface protocol (Fixpoint v0.13.2)

Link to this section Summary

Types

t()

All the types that implement this protocol.

Functions

contains?(variable, value)
domain(variable)
fix(variable, value)
fixed?(variable)
id(variable)
iterator(variable, opts \\ [])
map(variable, value)
max(variable)
min(variable)
remove(variable, value)
removeAbove(variable, value)
removeBelow(variable, value)
size(variable)
update(variable, field, value)
variable(arg)

Link to this section Types

Link to this type

t()

Specs

t() :: term()

All the types that implement this protocol.

Link to this section Functions

Link to this function

contains?(variable, value)

Specs

contains?(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  boolean()
Link to this function

domain(variable)

Specs

domain(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: any()
Link to this function

fix(variable, value)

Specs

fix(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  :fixed | :fail
Link to this function

fixed?(variable)

Specs

fixed?(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: boolean()
Link to this function

id(variable)

Specs

id(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: reference()
Link to this function

iterator(variable, opts \\ [])

Specs

iterator(CPSolver.Variable.t() | CPSolver.Variable.View.t(), Keyword.t()) ::
  any()
Link to this function

map(variable, value)

Specs

map(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: integer()
Link to this function

max(variable)

Specs

max(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()
Link to this function

min(variable)

Specs

min(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()
Link to this function

remove(variable, value)

Specs

remove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change
Link to this function

removeAbove(variable, value)

Specs

removeAbove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change
Link to this function

removeBelow(variable, value)

Specs

removeBelow(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change
Link to this function

size(variable)

Specs

size(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: non_neg_integer()
Link to this function

update(variable, field, value)

Specs

update(CPSolver.Variable.t() | CPSolver.Variable.View.t(), atom(), any()) ::
  CPSolver.Variable.t() | CPSolver.Variable.View.t()
Link to this function

variable(arg)

Specs

variable(CPSolver.Variable.t() | CPSolver.Variable.View.t() | any()) ::
  CPSolver.Variable.t() | nil