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... | |
The PPL Java interface package.
All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.
1.6.3