Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | Namespace Members | Class Members | Related Pages

PPL Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
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::C_PolyhedronA closed convex polyhedron
Parma_Polyhedra_Library::Checked_Number< T, Policy >A wrapper for native numeric types implementing a given policy
Parma_Polyhedra_Library::ConstraintA linear equality or inequality
Parma_Polyhedra_Library::Determinate< PH >Wraps a PPL class into a determinate constraint system interface
Parma_Polyhedra_Library::GeneratorA line, ray, point or closure point
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::Linear_ExpressionA linear expression
Parma_Polyhedra_Library::Native_Integer< T >A wrapper for unchecked native integer types
Parma_Polyhedra_Library::NNC_PolyhedronA not necessarily closed convex polyhedron
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::Polyhedra_Powerset< PH >The powerset construction instantiated on PPL polyhedra
Parma_Polyhedra_Library::PolyhedronThe base class for convex polyhedra
Parma_Polyhedra_Library::Powerset< CS >The powerset construction on constraint systems
Parma_Polyhedra_Library::VariableA dimension of the vector space
Parma_Polyhedra_Library::Variable::CompareBinary predicate defining the total ordering on variables

Generated on Fri Dec 24 16:50:18 2004 for PPL by  doxygen 1.3.9.1-20041213