Classes

  Class Description
Public class CP
An instance of this class represents an algorithm for CP Optimizer.
Public class CP..::..DoubleInfo
Symbolic parameter names for floating-point information.
Public class CP..::..DoubleParam
Symbolic parameter names for double-valued CP parameters.
Public class CP..::..IntInfo
Symbolic parameter names for integer information.
Public class CP..::..IntParam
Symbolic parameter names for integer-valued CP parameters.
Public class CP..::..ParameterValues
Symbolic parameter names for integer-valued CP parameters.

Interfaces

  Interface Description
Public interface IIntValueChooser
A value chooser is applied to a variable in a search strategy. It selects a value in the domain of the variable.
Public interface IIntValueEval
An evaluator of integer values is an object that is used by value selectors (IValueSelector) to define instantiation strategies.
Public interface IIntVarChooser
A variable chooser is applied to an array of IIntVar in a search strategy. It selects a single variable or no variable at all in the case where every variable in the array is fixed to a value.
Public interface IIntVarEval
An evaluator of integer variables is an object that is used by selectors (IVarSelector) of variables to define instantiation strategies.
Public interface ISearchPhase
The interface ISearchPhase is used to define instantiation strategies to help the embedded CP search.
Public interface IValueSelector
A selector of integer values is used by value choosers (interface IIntValueChooser) to define search strategies.
Public interface IVarSelector
A selector of integer variables is used by variable choosers (interface IIntVarChooser) to define search strategies.

Enumerations

  Enumeration Description
Public enumeration CP..::..ConflictStatus
This enumeration lists the values that report the status of a constraint or a variable with respect to a conflict.