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

Parma_Polyhedra_Library | The entire library is confined to this namespace
Implementation |
Watchdog |
Handler | Abstract base class for handlers of the watchdog events
Handler_Flag | A kind of Handler that installs a flag onto a flag-holder
Handler_Function | A kind of Handler calling a given function
Pending_Element | A class for pending watchdog events with embedded links
Pending_List | An ordered list for recording pending watchdog events
Time | A class for representing and manipulating positive time intervals
Doubly_Linked_Object | A (base) class for doubly linked objects
EList | A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves)
EList_Iterator | A class providing iterators for embedded lists
Approximable_Reference | A concrete expression representing a reference to some approximable
Approximable_Reference_Common | Base class for references to some approximable
BD_Shape | A bounded difference shape
BHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator
Compare | A total ordering on BHRZ03 certificates
Binary_Operator | A binary operator applied to two concrete expressions
Binary_Operator_Common | Base class for binary operator applied to two concrete expressions
Box | A not necessarily closed, iso-oriented hyperrectangle
C_Polyhedron | A closed convex polyhedron
Cast_Floating_Point_Expression | A generic Cast Floating Point Expression
Cast_Operator | A cast operator converting one concrete expression to some type
Cast_Operator_Common | Base class for cast operator concrete expressions
Checked_Number | A wrapper for numeric types implementing a given policy
Concrete_Expression | The base class of all concrete expressions
Concrete_Expression_Common | Base class for all concrete expressions
Concrete_Expression_Type | The type of a concrete expression
Congruence | A linear congruence
Congruence_System | A system of congruences
const_iterator | An iterator over a system of congruences
Congruences_Reduction | This class provides the reduction method for the Congruences_Product domain
Constant_Floating_Point_Expression | A generic Constant Floating Point Expression
Constraint | A linear equality or inequality
Constraint_System | A system of constraints
Constraint_System_const_iterator | An iterator over a system of constraints
Constraints_Reduction | This class provides the reduction method for the Constraints_Product domain
Determinate | A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
Difference_Floating_Point_Expression | A generic Difference Floating Point Expression
Division_Floating_Point_Expression | A generic Division Floating Point Expression
Domain_Product | This class is temporary and will be removed when template typedefs will be supported in C++
Floating_Point_Constant | A floating-point constant concrete expression
Floating_Point_Constant_Common | Base class for floating-point constant concrete expression
Floating_Point_Expression |
FP_Oracle | An abstract class to be implemented by an external analyzer such as ECLAIR in order to provide to the PPL the necessary information for performing the analysis of floating point computations
Generator | A line, ray, point or closure point
Generator_System | A system of generators
Generator_System_const_iterator | An iterator over a system of generators
GMP_Integer | Unbounded integers as provided by the GMP library
Grid | A grid
Grid_Certificate | The convergence certificate for the Grid widening operator
Compare | A total ordering on Grid certificates
Grid_Generator | A grid line, parameter or grid point
Grid_Generator_System | A system of grid generators
const_iterator | An iterator over a system of grid generators
H79_Certificate | A convergence certificate for the H79 widening operator
Compare | A total ordering on H79 certificates
Integer_Constant | An integer constant concrete expression
Integer_Constant_Common | Base class for integer constant concrete expressions
Interval | A generic, not necessarily closed, possibly restricted interval
Linear_Expression | A linear expression
const_iterator |
Linear_Form | A linear form with interval coefficients
MIP_Problem | A Mixed Integer (linear) Programming problem
const_iterator | A read-only iterator on the constraints defining the feasible region
Multiplication_Floating_Point_Expression | A generic Multiplication Floating Point Expression
NNC_Polyhedron | A not necessarily closed convex polyhedron
No_Reduction | This class provides the reduction method for the Direct_Product domain
Octagonal_Shape | An octagonal shape
Opposite_Floating_Point_Expression | A generic Opposite Floating Point Expression
Partially_Reduced_Product | The partially reduced product of two abstractions
PIP_Decision_Node | A tree node representing a decision in the space of solutions
PIP_Problem | A Parametric Integer (linear) Programming problem
PIP_Solution_Node | A tree node representing part of the space of solutions
No_Constraints | A tag type to select the alternative copy constructor
PIP_Tree_Node | A node of the PIP solution tree
Artificial_Parameter | Artificial parameters in PIP solution trees
Pointset_Powerset | The powerset construction instantiated on PPL pointset domains
Poly_Con_Relation | The relation between a polyhedron and a constraint
Poly_Gen_Relation | The relation between a polyhedron and a generator
Polyhedron | The base class for convex polyhedra
Powerset | The powerset construction on a base-level domain
Recycle_Input | A tag class
Select_Temp_Boundary_Type | Helper class to select the appropriate numerical type to perform boundary computations so as to reduce the chances of overflow without incurring too much overhead
Shape_Preserving_Reduction | This class provides the reduction method for the Shape_Preserving_Product domain
Smash_Reduction | This class provides the reduction method for the Smash_Product domain
Sum_Floating_Point_Expression | A generic Sum Floating Point Expression
Threshold_Watcher | A class of watchdogs controlling the exceeding of a threshold
Throwable | User objects the PPL can throw
Unary_Operator | A unary operator applied to one concrete expression
Unary_Operator_Common | Base class for unary operator applied to one concrete expression
Variable | A dimension of the vector space
Compare | Binary predicate defining the total ordering on variables
Variable_Floating_Point_Expression | A generic Variable Floating Point Expression
Variables_Set | An std::set of variables' indexes
Watchdog | A watchdog timer