<< Prev | - Up -

## 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 -