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  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  PPL_Object
 Smart pointer to a PPL, C++ object. 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...
class  BD_Shape_double
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<double> More...
class  BD_Shape_float
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<float> More...
class  BD_Shape_int16_t
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int16_t> More...
class  BD_Shape_int32_t
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int32_t> More...
class  BD_Shape_int64_t
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int64_t> More...
class  BD_Shape_int8_t
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int8_t> More...
class  BD_Shape_long_double
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<long double> More...
class  BD_Shape_mpq_class
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<mpq_class> More...
class  BD_Shape_mpz_class
 Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<mpz_class> More...
class  C_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::C_Polyhedron. More...
class  Constraints_Product_C_Polyhedron_Grid
 Java class interfacing C++ Parma_Polyhedra_Library::Constraints_Product<C_Polyhedron,Grid> More...
class  Constraints_Product_Grid_C_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::Constraints_Product<Grid,C_Polyhedron> More...
class  Constraints_Product_Grid_NNC_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::Constraints_Product<Grid,NNC_Polyhedron> More...
class  Constraints_Product_NNC_Polyhedron_Grid
 Java class interfacing C++ Parma_Polyhedra_Library::Constraints_Product<NNC_Polyhedron,Grid> More...
class  Double_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Double_Box. More...
class  Float_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Float_Box. More...
class  Grid
 Java class interfacing C++ Parma_Polyhedra_Library::Grid. More...
class  Int16_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Int16_Box. More...
class  Int32_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Int32_Box. More...
class  Int64_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Int64_Box. More...
class  Int8_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Int8_Box. More...
class  Long_Double_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Long_Double_Box. More...
class  NNC_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::NNC_Polyhedron. More...
class  Octagonal_Shape_double
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<double> More...
class  Octagonal_Shape_float
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<float> More...
class  Octagonal_Shape_int16_t
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<int16_t> More...
class  Octagonal_Shape_int32_t
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<int32_t> More...
class  Octagonal_Shape_int64_t
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<int64_t> More...
class  Octagonal_Shape_int8_t
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<int8_t> More...
class  Octagonal_Shape_long_double
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<long double> More...
class  Octagonal_Shape_mpq_class
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<mpq_class> More...
class  Octagonal_Shape_mpz_class
 Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape<mpz_class> More...
class  Pointset_Powerset_BD_Shape_double
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<double> > More...
class  Pointset_Powerset_BD_Shape_double_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<double> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_float
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<float> > More...
class  Pointset_Powerset_BD_Shape_float_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<float> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_int16_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int16_t> > More...
class  Pointset_Powerset_BD_Shape_int16_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int16_t> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_int32_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int32_t> > More...
class  Pointset_Powerset_BD_Shape_int32_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int32_t> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_int64_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int64_t> > More...
class  Pointset_Powerset_BD_Shape_int64_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int64_t> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_int8_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int8_t> > More...
class  Pointset_Powerset_BD_Shape_int8_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<int8_t> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_long_double
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<long double> > More...
class  Pointset_Powerset_BD_Shape_long_double_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<long double> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_mpq_class
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<mpq_class> > More...
class  Pointset_Powerset_BD_Shape_mpq_class_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<mpq_class> >:: iterator. More...
class  Pointset_Powerset_BD_Shape_mpz_class
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<mpz_class> > More...
class  Pointset_Powerset_BD_Shape_mpz_class_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<BD_Shape<mpz_class> >:: iterator. More...
class  Pointset_Powerset_C_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<C_Polyhedron> More...
class  Pointset_Powerset_C_Polyhedron_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<C_Polyhedron>:: iterator. More...
class  Pointset_Powerset_Double_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Double_Box> More...
class  Pointset_Powerset_Double_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Double_Box>:: iterator. More...
class  Pointset_Powerset_Float_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Float_Box> More...
class  Pointset_Powerset_Float_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Float_Box>:: iterator. More...
class  Pointset_Powerset_Grid
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Grid> More...
class  Pointset_Powerset_Grid_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Grid>:: iterator. More...
class  Pointset_Powerset_Int16_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int16_Box> More...
class  Pointset_Powerset_Int16_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int16_Box>:: iterator. More...
class  Pointset_Powerset_Int32_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int32_Box> More...
class  Pointset_Powerset_Int32_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int32_Box>:: iterator. More...
class  Pointset_Powerset_Int64_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int64_Box> More...
class  Pointset_Powerset_Int64_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int64_Box>:: iterator. More...
class  Pointset_Powerset_Int8_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int8_Box> More...
class  Pointset_Powerset_Int8_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Int8_Box>:: iterator. More...
class  Pointset_Powerset_Long_Double_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Long_Double_Box> More...
class  Pointset_Powerset_Long_Double_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Long_Double_Box>:: iterator. More...
class  Pointset_Powerset_NNC_Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<NNC_Polyhedron> More...
class  Pointset_Powerset_NNC_Polyhedron_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<NNC_Polyhedron>:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_double
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<double> > More...
class  Pointset_Powerset_Octagonal_Shape_double_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<double> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_float
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<float> > More...
class  Pointset_Powerset_Octagonal_Shape_float_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<float> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_int16_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int16_t> > More...
class  Pointset_Powerset_Octagonal_Shape_int16_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int16_t> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_int32_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int32_t> > More...
class  Pointset_Powerset_Octagonal_Shape_int32_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int32_t> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_int64_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int64_t> > More...
class  Pointset_Powerset_Octagonal_Shape_int64_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int64_t> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_int8_t
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int8_t> > More...
class  Pointset_Powerset_Octagonal_Shape_int8_t_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int8_t> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_long_double
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<long double> > More...
class  Pointset_Powerset_Octagonal_Shape_long_double_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<long double> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_mpq_class
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<mpq_class> > More...
class  Pointset_Powerset_Octagonal_Shape_mpq_class_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<mpq_class> >:: iterator. More...
class  Pointset_Powerset_Octagonal_Shape_mpz_class
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<mpz_class> > More...
class  Pointset_Powerset_Octagonal_Shape_mpz_class_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<mpz_class> >:: iterator. More...
class  Pointset_Powerset_Rational_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Rational_Box> More...
class  Pointset_Powerset_Rational_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Rational_Box>:: iterator. More...
class  Pointset_Powerset_Uint16_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint16_Box> More...
class  Pointset_Powerset_Uint16_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint16_Box>:: iterator. More...
class  Pointset_Powerset_Uint32_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint32_Box> More...
class  Pointset_Powerset_Uint32_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint32_Box>:: iterator. More...
class  Pointset_Powerset_Uint64_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint64_Box> More...
class  Pointset_Powerset_Uint64_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint64_Box>:: iterator. More...
class  Pointset_Powerset_Uint8_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint8_Box> More...
class  Pointset_Powerset_Uint8_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Uint8_Box>:: iterator. More...
class  Pointset_Powerset_Z_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Z_Box> More...
class  Pointset_Powerset_Z_Box_Iterator
 Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Z_Box>:: iterator. More...
class  Polyhedron
 Java class interfacing C++ Parma_Polyhedra_Library::Polyhedron. More...
class  Rational_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Rational_Box. More...
class  Termination
class  Uint16_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Uint16_Box. More...
class  Uint32_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Uint32_Box. More...
class  Uint64_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Uint64_Box. More...
class  Uint8_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Uint8_Box. More...
class  Z_Box
 Java class interfacing C++ Parma_Polyhedra_Library::Z_Box. 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.

Generated on Sun Feb 27 16:35:27 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3