Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
Parma_Polyhedra_Library::BD_Shape< T >A bounded difference shape
Parma_Polyhedra_Library::BHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
Parma_Polyhedra_Library::BHRZ03_Certificate::CompareA total ordering on BHRZ03 certificates
Parma_Polyhedra_Library::Box< ITV >A not necessarily closed, iso-oriented hyperrectangle
Parma_Polyhedra_Library::C_PolyhedronA closed convex polyhedron
Parma_Polyhedra_Library::Checked_Number< T, Policy >A wrapper for numeric types implementing a given policy
Parma_Polyhedra_Library::CongruenceA linear congruence
Parma_Polyhedra_Library::Congruence_SystemA system of congruences
Parma_Polyhedra_Library::Congruence_System::const_iteratorAn iterator over a system of congruences
Parma_Polyhedra_Library::ConstraintA linear equality or inequality
Parma_Polyhedra_Library::Constraint_SystemA system of constraints
Parma_Polyhedra_Library::Constraint_System::const_iteratorAn iterator over a system of constraints
Parma_Polyhedra_Library::Constraints_Reduction< D1, D2 >This class provides the reduction method for the Constraints_Product domain
Parma_Polyhedra_Library::Determinate< PS >Wraps a PPL class into a determinate constraint system interface
Parma_Polyhedra_Library::Domain_Product< D1, D2 >This class is temporary and will be removed when template typedefs will be supported in C++
Parma_Polyhedra_Library::From_Covering_BoxA tag class
Parma_Polyhedra_Library::GeneratorA line, ray, point or closure point
Parma_Polyhedra_Library::Generator_SystemA system of generators
Parma_Polyhedra_Library::Generator_System::const_iteratorAn iterator over a system of generators
Parma_Polyhedra_Library::GMP_IntegerUnbounded integers as provided by the GMP library
Parma_Polyhedra_Library::GridA grid
Parma_Polyhedra_Library::Grid_CertificateThe convergence certificate for the Grid widening operator
Parma_Polyhedra_Library::Grid_Certificate::CompareA total ordering on Grid certificates
Parma_Polyhedra_Library::Grid_GeneratorA grid line, parameter or grid point
Parma_Polyhedra_Library::Grid_Generator_SystemA system of grid generators
Parma_Polyhedra_Library::Grid_Generator_System::const_iteratorAn iterator over a system of grid generators
Parma_Polyhedra_Library::H79_CertificateA convergence certificate for the H79 widening operator
Parma_Polyhedra_Library::H79_Certificate::CompareA total ordering on H79 certificates
Parma_Polyhedra_Library::Interval< Boundary, Info >A generic, not necessarily closed, possibly restricted interval
Parma_Polyhedra_Library::Is_Checked< T >
Parma_Polyhedra_Library::Is_Checked< Checked_Number< T, P > >
Parma_Polyhedra_Library::Is_Native_Or_Checked< T >
Parma_Polyhedra_Library::Linear_ExpressionA linear expression
Parma_Polyhedra_Library::MIP_ProblemA Mixed Integer (linear) Programming problem
Parma_Polyhedra_Library::NNC_PolyhedronA not necessarily closed convex polyhedron
Parma_Polyhedra_Library::No_Reduction< D1, D2 >This class provides the reduction method for the Direct_Product domain
Parma_Polyhedra_Library::Octagonal_Shape< T >An octagonal shape
Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >The partially reduced product of two abstractions
Parma_Polyhedra_Library::Pointset_Powerset< PS >The powerset construction instantiated on PPL pointset domains
Parma_Polyhedra_Library::Poly_Con_RelationThe relation between a polyhedron and a constraint
Parma_Polyhedra_Library::Poly_Gen_RelationThe relation between a polyhedron and a generator
Parma_Polyhedra_Library::PolyhedronThe base class for convex polyhedra
Parma_Polyhedra_Library::Powerset< D >The powerset construction on a base-level domain
Parma_Polyhedra_Library::Recycle_InputA tag class
Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >This class provides the reduction method for the Smash_Product domain
Parma_Polyhedra_Library::ThrowableUser objects the PPL can throw
Parma_Polyhedra_Library::VariableA dimension of the vector space
Parma_Polyhedra_Library::Variable::CompareBinary predicate defining the total ordering on variables
Parma_Polyhedra_Library::Variables_SetAn std::set of variables' indexes

Generated on Sat Apr 18 07:13:19 2009 for PPL by  doxygen 1.5.7.1