| PPL Java Language Interface
    1.1
    | 
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< T > | 
| An utility class implementing mutable and non-mutable call-by-reference.  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 | 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... | |
| 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< 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... | |
| 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 | 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... | |
| 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.