CPSolver.Variable.View (Fixpoint v0.14.4)
View is a variable with attached mapper function.
mapper is a bijection of the domain of original variable to the domain of the view
Link to this section Summary
Functions
Configures (ax + b) view on variable x.
mapper_fun maps view values back to the source variable;
returns nil if there is no mapping.
Link to this section Types
Specs
t() :: %CPSolver.Variable.View{
mapper: function(),
variable: CPSolver.Variable.t()
}
Link to this section Functions
Link to this function
contains?(view, value)
Link to this function
domain(view)
Link to this function
fix(view, value)
Link to this function
fixed?(view)
Link to this function
get_mapper(view)
Link to this function
iterator(view, opts \\ [])
Link to this function
max(view)
Link to this function
min(view)
Link to this function
new(variable, a, b)
Specs
new(CPSolver.Variable.t(), neg_integer() | pos_integer(), integer()) :: t()
Configures (ax + b) view on variable x.
mapper_fun maps view values back to the source variable;
returns nil if there is no mapping.
Link to this function
remove(view, value)
Link to this function
removeAbove(view, value)
Link to this function
removeBelow(view, value)
Link to this function