Fixpoint
v0.2.2

CPSolver.Variable behaviour (Fixpoint v0.2.2)

Summary

Types

t()

Callbacks

new(values, opts)

Functions

contains?(variable, value)
domain(variable)
fix(variable, value)
fixed?(variable)
max(variable)
min(variable)
publish(variable, message)
remove(variable, value)
removeAbove(variable, value)
removeBelow(variable, value)
size(variable)
subscribe(pid, variable)
subscribers(variable)
unsubscribe(subscriber, var)

Types

Link to this type

t()

@type t() :: %CPSolver.Variable{
  domain: Domain.t(),
  id: reference(),
  name: String.t(),
  store: term()
}

Callbacks

Link to this callback

new(values, opts)

@callback new(values :: Enum.t(), opts :: Keyword.t()) :: t()

Functions

Link to this function

contains?(variable, value)

Link to this function

domain(variable)

Link to this function

fix(variable, value)

Link to this function

fixed?(variable)

Link to this function

max(variable)

Link to this function

min(variable)

Link to this function

publish(variable, message)

Link to this function

remove(variable, value)

Link to this function

removeAbove(variable, value)

Link to this function

removeBelow(variable, value)

Link to this function

size(variable)

Link to this function

subscribe(pid, variable)

Link to this function

subscribers(variable)

Link to this function

unsubscribe(subscriber, var)