Package parma_polyhedra_library

The PPL Java interface package. More...

Classes
class	Artificial_Parameter
class	Artificial_Parameter_Sequence
	A sequence of artificial parameters. 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...
enum	Bounded_Integer_Type_Overflow
	Overflow behavior of bounded integer types. More...
enum	Bounded_Integer_Type_Representation
	Representation of bounded integer types. More...
enum	Bounded_Integer_Type_Width
	Widths of bounded integer types. More...
class	By_Reference
	An utility class implementing mutable and non-mutable call-by-reference. More...
class	C_Polyhedron
	Java class interfacing C++ Parma_Polyhedra_Library::C_Polyhedron. More...
class	Coefficient
	A PPL coefficient. More...
enum	Complexity_Class
	Possible Complexities. 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	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...
enum	Control_Parameter_Name
	Names of MIP problems' control parameters. More...
enum	Control_Parameter_Value
	Possible values for MIP problem's control parameters. More...
enum	Degenerate_Element
	Kinds of degenerate abstract elements. More...
class	Domain_Error_Exception
	Exceptions caused by domain errors. 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	Generator
	A line, ray, point or closure point. More...
class	Generator_System
	A system of generators. More...
enum	Generator_Type
	The generator type. More...
class	Grid
	Java class interfacing C++ Parma_Polyhedra_Library::Grid. More...
class	Grid_Generator
	A grid line, parameter or grid point. More...
class	Grid_Generator_System
	A system of grid generators. More...
enum	Grid_Generator_Type
	The grid generator type. 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	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	Long_Double_Box
	Java class interfacing C++ Parma_Polyhedra_Library::Long_Double_Box. More...
class	MIP_Problem
	A Mixed Integer (linear) Programming problem. More...
enum	MIP_Problem_Status
	Possible outcomes of the MIP_Problem solver. 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...
enum	Optimization_Mode
	Possible optimization modes. More...
class	Overflow_Error_Exception
	Exceptions due to overflow errors. More...
class	Pair
	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...
enum	PIP_Problem_Control_Parameter_Name
	Names of PIP problems' control parameters. More...
enum	PIP_Problem_Control_Parameter_Value
	Possible values for PIP problems' control parameters. More...
enum	PIP_Problem_Status
	Possible outcomes of the PIP_Problem solver. 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	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	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	Polyhedron
	Java class interfacing C++ Parma_Polyhedra_Library::Polyhedron. More...
class	PPL_Object
	Smart pointer to a PPL, C++ object. More...
class	Rational_Box
	Java class interfacing C++ Parma_Polyhedra_Library::Rational_Box. More...
enum	Relation_Symbol
	Relation symbols. More...
class	Termination
class	Timeout_Exception
	Exceptions caused by timeout expiring. More...
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	Variable
	A dimension of the vector space. More...
interface	Variable_Stringifier
	An interface for objects converting a Variable id to a string. More...
class	Variables_Set
	A java.util.TreeSet of variables' indexes. More...
class	Z_Box
	Java class interfacing C++ Parma_Polyhedra_Library::Z_Box. 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.