2.2 A Casestudy: Real Interval Constraints

• 2.2.1 An Implementation
  • A Definition Class for Real-Interval Constraints
  • Determining Wake-up Events for Real-Interval Constraints
  • The Actual Real-Interval Constraint
  • Accessing the Constraint Store
  • Extending OZ_Expect
  • A Simple Propagator

• 2.2.2 The Reference of the Implemented Real-Interval Constraint Solver