Table of Contents

• Table of Contents
• 1 Implementing Propagators
  • 1.1 Overview
  • 1.2 The class OZ_Expect
    • 1.2.1 Types
    • 1.2.2 Constructor and Destructor
    • 1.2.3 Specification of a Set of Integers
    • 1.2.4 Member Functions for Checking the Constraint Store
    • 1.2.5 Member Functions for Control Purposes
    • 1.2.6 Macros
  • 1.3 The class OZ_Propagator
    • 1.3.1 Constructor and Destructor Member Functions
    • 1.3.2 Operator Member Functions
    • 1.3.3 Provided Member Functions
    • 1.3.4 Member Functions to be Defined by the Programmer
  • 1.4 The class OZ_FDIntVar
    • 1.4.1 Constructor Member Functions
    • 1.4.2 Operator Member Functions
    • 1.4.3 Member Functions
  • 1.5 The class OZ_FiniteDomain
    • 1.5.1 Miscellaneous
    • 1.5.2 Constructor Member Functions
    • 1.5.3 Initialisation Member Functions
    • 1.5.4 Reflection Member Functions
    • 1.5.5 Operator Member Functions
    • 1.5.6 Auxiliary Member Functions
  • 1.6 The class OZ_FSetVar
    • 1.6.1 Constructor Member Functions
    • 1.6.2 Operator Member Functions
    • 1.6.3 Member Functions
  • 1.7 The class OZ_FSetValue
    • 1.7.1 Miscellaneous
    • 1.7.2 Constructor Member Functions
    • 1.7.3 Reflection Member Functions
    • 1.7.4 Operator Member Functions
    • 1.7.5 Auxiliary Member Functions
  • 1.8 The class OZ_FSetConstraint
    • 1.8.1 Constructor Member Functions
    • 1.8.2 Initialization Member Functions
    • 1.8.3 Reflection Member Functions
    • 1.8.4 Imposing Constraints
    • 1.8.5 Auxiliary Member Functions
  • 1.9 Auxiliary Interface Functions
• 2 Building Constraint Systems from Scratch
  • 2.1 The class OZ_CtDefinition
  • 2.2 The class OZ_CtWakeUp
  • 2.3 The class OZ_CtProfile
  • 2.4 The class OZ_Ct
  • 2.5 The class OZ_CtVar
    • 2.5.1 Members to be Defined
    • 2.5.2 Provided Members
• 3 Employing Linear Programming Solvers
  • 3.1 The Module LP
• 4 Propagation Engine Library
  • 4.1 Overview
  • 4.2 The class PEL_ParamTable
  • 4.3 The class PEL_EventList
  • 4.4 The class PEL_PropFnctTableEntry
  • 4.5 The class PEL_PropFnctTable
  • 4.6 The class PEL_PropQueue
  • 4.7 The class PEL_FSetProfile
  • 4.8 The class PEL_FSetEventLists
  • 4.9 The class PEL_FDProfile
  • 4.10 The class PEL_FDEventLists
  • 4.11 The class PEL_SuspVar
  • 4.12 The class PEL_SuspFSetVar
  • 4.13 The class PEL_SuspFDIntVar
• Index