CPSolver.Variable.Interface protocol (Fixpoint v0.8.37)
Summary
Types
@type t() :: term()
All the types that implement this protocol.
Functions
Link to this function
contains?(variable, value)
@spec contains?(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: boolean()
Link to this function
domain(variable)
@spec domain(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: any()
Link to this function
fix(variable, value)
@spec fix(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: :fixed | :fail
Link to this function
fixed?(variable)
@spec fixed?(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: boolean()
Link to this function
id(variable)
@spec id(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: reference()
Link to this function
map(variable, value)
@spec map(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: integer()
Link to this function
max(variable)
@spec max(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()
Link to this function
min(variable)
@spec min(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: integer()
Link to this function
remove(variable, value)
@spec remove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: CPSolver.Common.domain_change() | :no_change
Link to this function
removeAbove(variable, value)
@spec removeAbove(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: CPSolver.Common.domain_change() | :no_change
Link to this function
removeBelow(variable, value)
@spec removeBelow(CPSolver.Variable.t() | CPSolver.Variable.View.t(), integer()) :: CPSolver.Common.domain_change() | :no_change
Link to this function
size(variable)
@spec size(CPSolver.Variable.t() | CPSolver.Variable.View.t()) :: non_neg_integer()
Link to this function
update(variable, field, value)
@spec update(CPSolver.Variable.t() | CPSolver.Variable.View.t(), atom(), any()) :: CPSolver.Variable.t() | CPSolver.Variable.View.t()
Link to this function
variable(arg)
@spec variable(CPSolver.Variable.t() | CPSolver.Variable.View.t() | any()) :: CPSolver.Variable.t() | nil