Classes | |
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... | |
interface | Partial_Function |
A partial function on space dimension indices. 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 | Variable |
A dimension of the vector space. More... | |
class | Variables_Set |
A java.util.TreeSet of variables' indexes. More... | |
Enumerations | |
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 | Relation_Symbol { LESS_THAN, LESS_OR_EQUAL, EQUAL, GREATER_OR_EQUAL, GREATER_THAN } |
Relation symbols. More... |
All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.