2 Building Constraint Systems from Scratch

• 2.1 The Generic Part of the CPI
  • 2.1.1 The Model of a Generic Constraint Solver
  • 2.1.2 Overview over Generic Part of the CPI

• 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