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