| Parma_Polyhedra_Library::BHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator |
| Parma_Polyhedra_Library::BHRZ03_Certificate::Compare | A total ordering on BHRZ03 certificates |
| Parma_Polyhedra_Library::C_Polyhedron | A closed convex polyhedron |
| Parma_Polyhedra_Library::Checked_Number< T, Policy > | A wrapper for native numeric types implementing a given policy |
| Parma_Polyhedra_Library::Constraint | A linear equality or inequality |
| Parma_Polyhedra_Library::Determinate< PH > | Wraps a PPL class into a determinate constraint system interface |
| Parma_Polyhedra_Library::Generator | A line, ray, point or closure point |
| Parma_Polyhedra_Library::H79_Certificate | A convergence certificate for the H79 widening operator |
| Parma_Polyhedra_Library::H79_Certificate::Compare | A total ordering on H79 certificates |
| Parma_Polyhedra_Library::Linear_Expression | A linear expression |
| Parma_Polyhedra_Library::Native_Integer< T > | A wrapper for unchecked native integer types |
| Parma_Polyhedra_Library::NNC_Polyhedron | A not necessarily closed convex polyhedron |
| Parma_Polyhedra_Library::Poly_Con_Relation | The relation between a polyhedron and a constraint |
| Parma_Polyhedra_Library::Poly_Gen_Relation | The relation between a polyhedron and a generator |
| Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | The powerset construction instantiated on PPL polyhedra |
| Parma_Polyhedra_Library::Polyhedron | The base class for convex polyhedra |
| Parma_Polyhedra_Library::Powerset< CS > | The powerset construction on constraint systems |
| Parma_Polyhedra_Library::Variable | A dimension of the vector space |
| Parma_Polyhedra_Library::Variable::Compare | Binary predicate defining the total ordering on variables |
1.3.9.1-20041213