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