CPSolver.OrdSetsDomain (Fixpoint v0.8.4)
Summary
Functions
Link to this function
contains?(domain, value)
Link to this function
fix(domain, value)
Link to this function
fixed?(domain)
Link to this function
map(domain, mapper_fun)
Link to this function
max(domain)
Link to this function
min(domain)
Link to this function
new(domain)
Link to this function
remove(domain, value)
@spec remove(:ordsets.set(number()), number()) :: :fail | :no_change | {CPSolver.Common.domain_change(), :ordsets.set(number())}
Link to this function
removeAbove(domain, value)
@spec removeAbove(:ordsets.set(number()), number()) :: :fail | :no_change | {CPSolver.Common.domain_change(), :ordsets.set(number())}
Link to this function
removeBelow(domain, value)
@spec removeBelow(:ordsets.set(number()), number()) :: :fail | :no_change | {CPSolver.Common.domain_change(), :ordsets.set(number())}
Link to this function
size(domain)
@spec size(:ordsets.set(number())) :: non_neg_integer()
Link to this function