CPSolver.Common (Fixpoint v0.8.30)
Summary
Types
Link to this type
domain_change()
@type domain_change() :: :fixed | :domain_change | :min_change | :max_change
Link to this type
domain_get_operation()
@type domain_get_operation() :: :size | :fixed? | :min | :max | :contains?
Link to this type
domain_update_operation()
@type domain_update_operation() :: :remove | :removeAbove | :removeBelow | :fix
Link to this type
variable_or_view()
@type variable_or_view() :: CPSolver.Variable.t() | CPSolver.Variable.View.t()
Functions
Link to this function
domain_events()
Link to this function
stronger_domain_change(current_change, new_change)
Link to this function