CPSolver.OrdSetsDomain (Fixpoint v0.8.6)

Summary

Functions

Link to this function

contains?(domain, value)

@spec contains?(:ordsets.set(number()), number()) :: boolean()
Link to this function

fix(domain, value)

@spec fix(:ordsets.set(any()), number()) :: :fail | {:fixed, :ordsets.set(number())}
@spec fixed?(:ordsets.set(number())) :: boolean()
Link to this function

map(domain, mapper_fun)

@spec max(domain :: :ordsets.set(number())) :: number()
@spec min(:ordsets.set(number())) :: number()
@spec new(Enum.t()) :: :ordsets.set(number())
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())}
@spec size(:ordsets.set(number())) :: non_neg_integer()
Link to this function

to_list(domain)