Main Page
Modules
Namespaces
Classes
Related Pages
Class List
Class Hierarchy
Class Members
PPL 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_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 numeric types implementing a given policy
Parma_Polyhedra_Library::Congruence
A linear congruence
Parma_Polyhedra_Library::Congruence_System
A system of congruences
Parma_Polyhedra_Library::Congruence_System::const_iterator
An iterator over a system of congruences
Parma_Polyhedra_Library::Constraint
A linear equality or inequality
Parma_Polyhedra_Library::Constraint_System
A system of constraints
Parma_Polyhedra_Library::Constraint_System::const_iterator
An iterator over a system of constraints
Parma_Polyhedra_Library::Determinate< PH >
Wraps a PPL class into a determinate constraint system interface
Parma_Polyhedra_Library::From_Bounding_Box
A tag class
Parma_Polyhedra_Library::From_Covering_Box
A tag class
Parma_Polyhedra_Library::Generator
A line, ray, point or closure point
Parma_Polyhedra_Library::Generator_System
A system of generators
Parma_Polyhedra_Library::Generator_System::const_iterator
An iterator over a system of generators
Parma_Polyhedra_Library::GMP_Integer
Unbounded integers as provided by the GMP library
Parma_Polyhedra_Library::Grid
A grid
Parma_Polyhedra_Library::Grid_Certificate
The convergence certificate for the
Grid
widening operator
Parma_Polyhedra_Library::Grid_Certificate::Compare
A total ordering on
Grid
certificates
Parma_Polyhedra_Library::Grid_Generator
A line, parameter or point
Parma_Polyhedra_Library::Grid_Generator_System
A system of grid generators
Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
An iterator over a system of grid generators
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::LP_Problem
A Linear Programming problem
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< D >
The powerset construction on a base-level domain
Parma_Polyhedra_Library::Throwable
User objects the PPL can throw
Parma_Polyhedra_Library::Variable
A dimension of the vector space
Parma_Polyhedra_Library::Variable::Compare
Binary predicate defining the total ordering on variables
Generated on Sun Mar 12 09:14:29 2006 for PPL by
1.4.6-20060227