CPSolver.Common (Fixpoint v0.3.3)

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

Functions

Link to this function

domain_changes()