Classes
Class | Description | |
---|---|---|
CP |
An instance of this class represents an algorithm for CP Optimizer.
|
|
CP..::..DoubleInfo |
Symbolic parameter names for floating-point information.
|
|
CP..::..DoubleParam |
Symbolic parameter names for double-valued CP parameters.
|
|
CP..::..IntInfo |
Symbolic parameter names for integer information.
|
|
CP..::..IntParam |
Symbolic parameter names for integer-valued CP parameters.
|
|
CP..::..ParameterValues |
Symbolic parameter names for integer-valued CP parameters.
|
Interfaces
Interface | Description | |
---|---|---|
IIntValueChooser |
A value chooser is applied to a variable in a search strategy.
It selects a value in the domain of the variable.
|
|
IIntValueEval |
An evaluator of integer values is an object that is used by value
selectors (IValueSelector)
to define instantiation strategies.
|
|
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.
|
|
IIntVarEval |
An evaluator of integer variables is an object that is used
by selectors (IVarSelector)
of variables to define instantiation strategies.
|
|
ISearchPhase |
The interface ISearchPhase is used
to define instantiation strategies to help the embedded CP search.
|
|
IValueSelector |
A selector of integer values is used by value choosers (interface
IIntValueChooser) to define
search strategies.
|
|
IVarSelector |
A selector of integer variables is used by variable choosers
(interface IIntVarChooser) to define
search strategies.
|
Enumerations
Enumeration | Description | |
---|---|---|
CP..::..ConflictStatus |
This enumeration lists the values that report the status of a constraint
or a variable with respect to a conflict.
|