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

Summary

Types

t()

All the types that implement this protocol.

Types

@type t() :: term()

All the types that implement this protocol.

Functions

Link to this function

bind(variable, store)

Link to this function

contains?(variable, value)

Link to this function

domain(variable)

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)

Link to this function

map(variable, value)

Link to this function

remove(variable, value)

Link to this function

removeAbove(variable, value)

Link to this function

removeBelow(variable, value)