PPL: Class Hierarchy

PPL 1.2

- 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 12]

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