Class  Description 

BoolLVar 
Objects of this class are (possibly uninitialized) logical variables whose values can either be true or false.

Constraint 
Objects of the class
Constraints are conjunctions of atomic constraints (class AConstraint ). 
CP  
Interval 
This class represents a set of integers as an interval of the form
[glb, lub] . 
IntLSet 
Logical set whose elements can only be integers (or logical variables with integer values, namely
IntLVar s). 
IntLVar 
Objects of this class are logical variables whose values can only be integers.

LabelingOptions 
Objects of this class provide options for labeling variables of type
IntLVar , SetLVar and BoolLVar
It provides methods to assign the first value to a IntLVar , SetLVar and BoolLVar and
to choose which variable to label first out of a list of variables. 
LCollection 
This class implements logical collections.

LList 
This class implements logical lists, which are a type of logical collections.

LMap 
Instances of this class are logical maps, i.e., logical sets whose
elements are logical pairs that denote partial functions.

LObject 
This class implements logical objects, i.e., objects which can be used to post constraints and can be uninitialized.

LPair 
Objects of this class are logical lists that can only represent pairs, i.e., logical pairs.

LRel 
The class
LRel implements logical relations, which are a type of logical sets
whose elements are logical pairs. 
LSet 
This class implements logical sets, i.e. a type of logical collection in which the order and repetition of elements don't matter.

LVar 
This class provides implementation for logical variables.

MultiInterval 
This class represents a set of integers as a set of intervals of the form
{@code [a_1, b_1] U [a_2, b_2] U ... 
NewConstraints 
The
NewConstraints class allows the user to define new constraints. 
Ris 
Objects of this class are restricted intentional sets of the form {x : D  F(x) @ P(x)}, which denote the intensional
set {P(x)  x in D and F(x)}.

SetInterval 
This class implements set intervals, which are intervals like
Interval but over sets of
integers instead of over integers. 
SetLVar 
Objects of this class are finite sets over integers.

Solver 
Objects of this class are solvers for constraints conjunctions.

Enum  Description 

BoolHeuristic 
Heuristics to use when labeling booleans.

SetHeuristic 
This enumeration is used to decide which (non)membership constraint will be solved first.

ValHeuristic 
This enumeration implements the possible value choice heuristics for a selected
IntLVar x. 
VarHeuristic 
This enumeration implements the possible variable choice heuristics for a given collection x_1,...
