|
PPL Java Language Interface
1.2
|
The PPL Java interface package. More...
Classes | |
| class | Artificial_Parameter |
| class | Artificial_Parameter_Sequence |
| A sequence of artificial parameters. More... | |
| enum | Bounded_Integer_Type_Overflow |
| Overflow behavior of bounded integer types. More... | |
| enum | Bounded_Integer_Type_Representation |
| Representation of bounded integer types. More... | |
| enum | Bounded_Integer_Type_Width |
| Widths of bounded integer types. More... | |
| class | By_Reference |
| An utility class implementing mutable and non-mutable call-by-reference. More... | |
| class | C_Polyhedron |
| A topologically closed convex polyhedron. More... | |
| class | Coefficient |
| A PPL coefficient. More... | |
| enum | Complexity_Class |
| Possible Complexities. 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... | |
| enum | Control_Parameter_Name |
| Names of MIP problems' control parameters. More... | |
| enum | Control_Parameter_Value |
| Possible values for MIP problem's control parameters. More... | |
| enum | Degenerate_Element |
| Kinds of degenerate abstract elements. More... | |
| class | Domain_Error_Exception |
| Exceptions caused by domain errors. More... | |
| class | Generator |
| A line, ray, point or closure point. More... | |
| class | Generator_System |
| A system of generators. More... | |
| enum | Generator_Type |
| The generator type. More... | |
| class | Grid_Generator |
| A grid line, parameter or grid point. More... | |
| class | Grid_Generator_System |
| A system of grid generators. More... | |
| enum | Grid_Generator_Type |
| The grid generator type. 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... | |
| enum | MIP_Problem_Status |
| Possible outcomes of the MIP_Problem solver. More... | |
| enum | Optimization_Mode |
| Possible optimization modes. More... | |
| class | Overflow_Error_Exception |
| Exceptions due to overflow errors. More... | |
| class | Pair |
| 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... | |
| enum | PIP_Problem_Control_Parameter_Name |
| Names of PIP problems' control parameters. More... | |
| enum | PIP_Problem_Control_Parameter_Value |
| Possible values for PIP problems' control parameters. More... | |
| enum | PIP_Problem_Status |
| Possible outcomes of the PIP_Problem solver. 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 | 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 | 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 | Polyhedron |
| The Java base class for (C and NNC) convex polyhedra. More... | |
| enum | Relation_Symbol |
| Relation symbols. More... | |
| class | Timeout_Exception |
| Exceptions caused by timeout expiring. More... | |
| class | Variable |
| A dimension of the vector space. More... | |
| interface | Variable_Stringifier |
| An interface for objects converting a Variable id to a string. More... | |
| class | Variables_Set |
| A java.util.TreeSet of variables' indexes. More... | |
The PPL Java interface package.
All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.