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

Summary

t()

All the types that implement this protocol.

domain(variable)

fixed?(variable)

id(variable)

max(variable)

min(variable)

size(variable)

variable(arg)

@type t() :: term()

All the types that implement this protocol.

@spec contains?(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  boolean()

@spec domain(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: any()

@spec fix(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  :fixed | :fail

@spec fixed?(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: boolean()

@spec id(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: reference()

@spec map(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: integer()

@spec max(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()

@spec min(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()

@spec remove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change

@spec removeAbove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change

@spec removeBelow(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) ::
  CPSolver.Common.domain_change() | :no_change

@spec size(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: non_neg_integer()

@spec update(CPSolver.Variable.t() | CPSolver.Variable.View.t(), atom(), any()) ::
  CPSolver.Variable.t() | CPSolver.Variable.View.t()

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