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
[a_1, b_1] U [a_2, b_2] U ... U [a_n, b_n] in which for
each i = 1, ..., n we have that a_i <= b_i and
for each j > i we have that b_i < a_j - 1 . |
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,...
|
Exception | Description |
---|---|
Solver.UnsafeRisException |
Unsafe Ris Exception, thrown when an unsafe RIS operation is performed while
Strict Ris Mode is ON.
|