CPSolver.Variable behaviour (Fixpoint v0.10.2)

Summary

Types

t()

Callbacks

new(values, opts)

Functions

contains?(variable, value)

domain(variable)

fix(variable, value)

fixed?(variable)

max(variable)

min(variable)

remove(variable, value)

removeAbove(variable, value)

removeBelow(variable, value)

size(variable)

Types

t()

@type t() :: %CPSolver.Variable{
  domain: Domain.t(),
  id: reference(),
  index: integer(),
  initial_size: integer(),
  name: term(),
  propagate_on: Propagator.propagator_event(),
  store: term()
}

Callbacks

new(values, opts)

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

Functions

contains?(variable, value)

domain(variable)

fix(variable, value)

fixed?(variable)

max(variable)

min(variable)

remove(variable, value)

removeAbove(variable, value)

removeBelow(variable, value)