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