Classes | Enumerations

parma_polyhedra_library Namespace Reference
[Java Language Interface]

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...

Detailed Description

The PPL Java interface package.

All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.