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

# PPL Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

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::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::LinExpression | A linear expression
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 space
Parma_Polyhedra_Library::Variable::Compare | Binary predicate defining the total ordering on variables