The PPL Java interface package. More...
Classes | |
class | Artificial_Parameter |
class | Artificial_Parameter_Sequence |
A sequence of artificial parameters. More... | |
class | By_Reference< T > |
An utility class implementing mutable and non-mutable call-by-reference. More... | |
class | Coefficient |
A PPL coefficient. More... | |
class | Congruence |
A linear congruence. More... | |
class | Congruence_System |
A system of congruences. More... | |
class | Constraint |
A linear equality or inequality. More... | |
class | Constraint_System |
A system of constraints. More... | |
class | Domain_Error_Exception |
Exceptions caused by domain errors. More... | |
class | Polyhedron |
The Java base class for (C and NNC) convex polyhedra. More... | |
class | C_Polyhedron |
A topologically closed convex polyhedron. More... | |
class | Pointset_Powerset_C_Polyhedron |
A powerset of C_Polyhedron objects. More... | |
class | Pointset_Powerset_C_Polyhedron_Iterator |
An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron. More... | |
class | Generator |
A line, ray, point or closure point. More... | |
class | Generator_System |
A system of generators. More... | |
class | Grid_Generator |
A grid line, parameter or grid point. More... | |
class | Grid_Generator_System |
A system of grid generators. More... | |
class | Invalid_Argument_Exception |
Exceptions caused by invalid arguments. More... | |
class | IO |
A class collecting I/O functions. More... | |
class | Length_Error_Exception |
Exceptions caused by too big length/size values. More... | |
class | Linear_Expression |
A linear expression. More... | |
class | Linear_Expression_Coefficient |
A linear expression built from a coefficient. More... | |
class | Linear_Expression_Difference |
The difference of two linear expressions. More... | |
class | Linear_Expression_Sum |
The sum of two linear expressions. More... | |
class | Linear_Expression_Times |
The product of a linear expression and a coefficient. More... | |
class | Linear_Expression_Unary_Minus |
The negation of a linear expression. More... | |
class | Linear_Expression_Variable |
A linear expression built from a variable. More... | |
class | Logic_Error_Exception |
Exceptions due to errors in low-level routines. More... | |
class | MIP_Problem |
A Mixed Integer (linear) Programming problem. More... | |
class | Overflow_Error_Exception |
Exceptions due to overflow errors. More... | |
class | Pair< K, V > |
A pair of values of type K and V. More... | |
class | Parma_Polyhedra_Library |
A class collecting library-level functions. More... | |
class | Partial_Function |
A partial function on space dimension indices. More... | |
class | PIP_Decision_Node |
An internal node of the PIP solution tree. More... | |
class | PIP_Problem |
A Parametric Integer Programming problem. More... | |
class | PIP_Solution_Node |
A leaf node of the PIP solution tree. More... | |
class | PIP_Tree_Node |
A node of the PIP solution tree. More... | |
class | Poly_Con_Relation |
The relation between a polyhedron and a constraint. More... | |
class | Poly_Gen_Relation |
The relation between a polyhedron and a generator. More... | |
class | Timeout_Exception |
Exceptions caused by timeout expiring. More... | |
class | Variable |
A dimension of the vector space. More... | |
class | Variables_Set |
A java.util.TreeSet of variables' indexes. More... | |
Enumerations | |
enum | Bounded_Integer_Type_Overflow { OVERFLOW_WRAPS, OVERFLOW_UNDEFINED, OVERFLOW_IMPOSSIBLE } |
Overflow behavior of bounded integer types. More... | |
enum | Bounded_Integer_Type_Representation { UNSIGNED, SIGNED_2_COMPLEMENT } |
Representation of bounded integer types. More... | |
enum | Bounded_Integer_Type_Width { BITS_8, BITS_16, BITS_32, BITS_64, BITS_128 } |
Widths of bounded integer types. More... | |
enum | Complexity_Class { POLYNOMIAL_COMPLEXITY, SIMPLEX_COMPLEXITY, ANY_COMPLEXITY } |
Possible Complexities. More... | |
enum | Control_Parameter_Name { PRICING } |
Names of MIP problems' control parameters. More... | |
enum | Control_Parameter_Value { PRICING_STEEPEST_EDGE_FLOAT, PRICING_STEEPEST_EDGE_EXACT, PRICING_TEXTBOOK } |
Possible values for MIP problem's control parameters. More... | |
enum | Degenerate_Element { UNIVERSE, EMPTY } |
Kinds of degenerate abstract elements. More... | |
enum | Generator_Type { LINE, RAY, POINT, CLOSURE_POINT } |
The generator type. More... | |
enum | Grid_Generator_Type { LINE, PARAMETER, POINT } |
The grid generator type. More... | |
enum | MIP_Problem_Status { UNFEASIBLE_MIP_PROBLEM, UNBOUNDED_MIP_PROBLEM, OPTIMIZED_MIP_PROBLEM } |
Possible outcomes of the MIP_Problem solver. More... | |
enum | Optimization_Mode { MINIMIZATION, MAXIMIZATION } |
Possible optimization modes. More... | |
enum | PIP_Problem_Control_Parameter_Name { CUTTING_STRATEGY, PIVOT_ROW_STRATEGY } |
Names of PIP problems' control parameters. More... | |
enum | PIP_Problem_Control_Parameter_Value { CUTTING_STRATEGY_FIRST, CUTTING_STRATEGY_DEEPEST, CUTTING_STRATEGY_ALL, PIVOT_ROW_STRATEGY_FIRST, PIVOT_ROW_STRATEGY_MAX_COLUMN } |
Possible values for PIP problems' control parameters. More... | |
enum | PIP_Problem_Status { UNFEASIBLE_PIP_PROBLEM, OPTIMIZED_PIP_PROBLEM } |
Possible outcomes of the PIP_Problem solver. More... | |
enum | Relation_Symbol { LESS_THAN, LESS_OR_EQUAL, EQUAL, GREATER_OR_EQUAL, GREATER_THAN } |
Relation symbols. More... |
The PPL Java interface package.
All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.