parma_polyhedra_library Namespace Reference
[Java Language Interface]

The PPL Java interface package. More...


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


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.


Generated on Tue Apr 14 07:13:26 2009 for PPL Java Language Interface by  doxygen 1.5.7.1