PPL 1.0

- Main Page
- Related Pages
- Modules
- Namespaces
- Classes

- Class List
- Class Hierarchy
- Class Members

Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 1 2]

Parma_Polyhedra_Library::Approximable_Reference | A concrete expression representing a reference to some approximable
Parma_Polyhedra_Library::Approximable_Reference_Common< Target > | Base class for references to some approximable
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::Binary_Operator | A binary operator applied to two concrete expressions
Parma_Polyhedra_Library::Binary_Operator_Common< Target > | Base class for binary operator applied to two concrete expressions
Parma_Polyhedra_Library::Box< ITV > | A not necessarily closed, iso-oriented hyperrectangle
Parma_Polyhedra_Library::Cast_Operator | A cast operator converting one concrete expression to some type
Parma_Polyhedra_Library::Cast_Operator_Common< Target > | Base class for cast operator concrete expressions
Parma_Polyhedra_Library::Checked_Number< T, Policy > | A wrapper for numeric types implementing a given policy
Parma_Polyhedra_Library::BHRZ03_Certificate::Compare | A total ordering on BHRZ03 certificates
Parma_Polyhedra_Library::H79_Certificate::Compare | A total ordering on H79 certificates
Parma_Polyhedra_Library::Grid_Certificate::Compare | A total ordering on Grid certificates
Parma_Polyhedra_Library::Variable::Compare | Binary predicate defining the total ordering on variables
Parma_Polyhedra_Library::Concrete_Expression | The base class of all concrete expressions
Parma_Polyhedra_Library::Concrete_Expression_Common< Target > | Base class for all concrete expressions
Parma_Polyhedra_Library::Concrete_Expression_Type | The type of a concrete expression
Parma_Polyhedra_Library::Congruence | A linear congruence
Parma_Polyhedra_Library::Congruence_System | A system of congruences
Parma_Polyhedra_Library::Congruences_Reduction< D1, D2 > | This class provides the reduction method for the Congruences_Product domain
Parma_Polyhedra_Library::CO_Tree::const_iterator | A const iterator on the tree elements, ordered by key
Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::const_iterator |
Parma_Polyhedra_Library::Linear_Expression::const_iterator |
Parma_Polyhedra_Library::Congruence_System::const_iterator | An iterator over a system of congruences
Parma_Polyhedra_Library::MIP_Problem::const_iterator | A read-only iterator on the constraints defining the feasible region
Parma_Polyhedra_Library::Grid_Generator_System::const_iterator | An iterator over a system of grid generators
Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface |
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::Constraints_Reduction< D1, D2 > | This class provides the reduction method for the Constraints_Product domain
Parma_Polyhedra_Library::Determinate< PSET > | A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
Parma_Polyhedra_Library::Domain_Product< D1, D2 > | This class is temporary and will be removed when template typedefs will be supported in C++
Parma_Polyhedra_Library::Implementation::Watchdog::Doubly_Linked_Object | A (base) class for doubly linked objects
Parma_Polyhedra_Library::Implementation::Watchdog::EList< T > | A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves)
Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold > | A class for pending watchdog events with embedded links
Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T > | A class providing iterators for embedded lists
Parma_Polyhedra_Library::Floating_Point_Constant | A floating-point constant concrete expression
Parma_Polyhedra_Library::Floating_Point_Constant_Common< Target > | Base class for floating-point constant concrete expression
Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | A floating point expression on a given format
Parma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Cast Floating Point Expression
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Constant Floating Point Expression
Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Difference Floating Point Expression
Parma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Division Floating Point Expression
Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Multiplication Floating Point Expression
Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Opposite Floating Point Expression
Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Sum Floating Point Expression
Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Variable Floating Point Expression
Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > | 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
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_Generator | A grid line, parameter or grid point
Parma_Polyhedra_Library::Grid_Generator_System | A system of grid generators
Parma_Polyhedra_Library::H79_Certificate | A convergence certificate for the H79 widening operator
Parma_Polyhedra_Library::Implementation::Watchdog::Handler | Abstract base class for handlers of the watchdog events
Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag< Flag_Base, Flag > | A kind of Handler that installs a flag onto a flag-holder
Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function | A kind of Handler calling a given function
Parma_Polyhedra_Library::Integer_Constant | An integer constant concrete expression
Parma_Polyhedra_Library::Integer_Constant_Common< Target > | Base class for integer constant concrete expressions
Parma_Polyhedra_Library::Interval< Boundary, Info > | A generic, not necessarily closed, possibly restricted interval
Parma_Polyhedra_Library::CO_Tree::iterator | An iterator on the tree elements, ordered by key
Parma_Polyhedra_Library::Linear_Expression | A linear expression
Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter | Artificial parameters in PIP solution trees
Parma_Polyhedra_Library::Linear_Form< C > | A linear form with interval coefficients
Parma_Polyhedra_Library::MIP_Problem | A Mixed Integer (linear) Programming problem
Parma_Polyhedra_Library::PIP_Solution_Node::No_Constraints | A tag type to select the alternative copy constructor
Parma_Polyhedra_Library::No_Reduction< D1, D2 > | This class provides the reduction method for the Direct_Product domain
Parma_Polyhedra_Library::Octagonal_Shape< T > | An octagonal shape
Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R > | The partially reduced product of two abstractions
Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits > | An ordered list for recording pending watchdog events
Parma_Polyhedra_Library::PIP_Problem | A Parametric Integer (linear) Programming problem
Parma_Polyhedra_Library::PIP_Tree_Node | A node of the PIP solution tree
Parma_Polyhedra_Library::PIP_Decision_Node | A tree node representing a decision in the space of solutions
Parma_Polyhedra_Library::PIP_Solution_Node | A tree node representing part of the space of solutions
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::Polyhedron | The base class for convex polyhedra
Parma_Polyhedra_Library::C_Polyhedron | A closed convex polyhedron
Parma_Polyhedra_Library::NNC_Polyhedron | A not necessarily closed convex polyhedron
Parma_Polyhedra_Library::Powerset< D > | The powerset construction on a base-level domain
Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PSET > > |
Parma_Polyhedra_Library::Pointset_Powerset< PSET > | The powerset construction instantiated on PPL pointset domains
Parma_Polyhedra_Library::Recycle_Input | A tag class
Parma_Polyhedra_Library::Shape_Preserving_Reduction< D1, D2 > | This class provides the reduction method for the Shape_Preserving_Product domain
Parma_Polyhedra_Library::Smash_Reduction< D1, D2 > | This class provides the reduction method for the Smash_Product domain
Parma_Polyhedra_Library::Threshold_Watcher< Traits > | A class of watchdogs controlling the exceeding of a threshold
Parma_Polyhedra_Library::Throwable | User objects the PPL can throw
Parma_Polyhedra_Library::Implementation::Watchdog::Time | A class for representing and manipulating positive time intervals
Parma_Polyhedra_Library::Unary_Operator | A unary operator applied to one concrete expression
Parma_Polyhedra_Library::Unary_Operator_Common< Target > | Base class for unary operator applied to one concrete expression
Parma_Polyhedra_Library::Variable | A dimension of the vector space
Parma_Polyhedra_Library::Variables_Set | An std::set of variables' indexes
Parma_Polyhedra_Library::Watchdog | A watchdog timer