<< Prev | - Up - | Next >>

# 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

<< Prev | - Up - | Next >>