1 Implementing Propagators

• 1.1 Basic Concepts
  • 1.1.1 Computation with Constraints in Oz
  • 1.1.2 Implementation of Propagators

• 1.2 Getting Started
  • 1.2.1 Prerequisites
  • 1.2.2 Building a Propagator
    • A Propagator's Class Definition
    • The Propagation Part of a Propagator
    • Creating a Propagator

• 1.3 Replacing a Propagator
  • 1.3.1 A Twice Propagator
  • 1.3.2 Equality Detection and Replacement
  • 1.3.3 Benefits of Replacing Propagators

• 1.4 Imposing Propagators
  • 1.4.1 Basic Concepts
  • 1.4.2 Imposing Nestable Propagators
  • 1.4.3 Customizing OZ_Expect

• 1.5 Using Vectors in Propagators
  • 1.5.1 The element Constraint
  • 1.5.2 The Class Definition of ElementProp
  • 1.5.3 The Header Function
  • 1.5.4 Iterators Make Life Easier
  • 1.5.5 Implementing the Propagation Rules

• 1.6 Connecting Finite Domain and Finite Set Constraints
  • 1.6.1 The Class Definition
  • 1.6.2 The Propagation Function
  • 1.6.3 The Header Function and Connecting to the Native Functor Interface
  • 1.6.4 Testing the Propagator

• 1.7 Advanced Topics
  • 1.7.1 Detecting Equal Variables in a Vector
  • 1.7.2 Avoiding Redundant Copying
  • 1.7.3 Reified Constraints