PPL  1.0
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12]
oCParma_Polyhedra_Library::Approximable_ReferenceA concrete expression representing a reference to some approximable
oCParma_Polyhedra_Library::Approximable_Reference_Common< Target >Base class for references to some approximable
oCParma_Polyhedra_Library::BD_Shape< T >A bounded difference shape
oCParma_Polyhedra_Library::BHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
oCParma_Polyhedra_Library::Binary_OperatorA binary operator applied to two concrete expressions
oCParma_Polyhedra_Library::Binary_Operator_Common< Target >Base class for binary operator applied to two concrete expressions
oCParma_Polyhedra_Library::Box< ITV >A not necessarily closed, iso-oriented hyperrectangle
oCParma_Polyhedra_Library::Cast_OperatorA cast operator converting one concrete expression to some type
oCParma_Polyhedra_Library::Cast_Operator_Common< Target >Base class for cast operator concrete expressions
oCParma_Polyhedra_Library::Checked_Number< T, Policy >A wrapper for numeric types implementing a given policy
oCParma_Polyhedra_Library::BHRZ03_Certificate::CompareA total ordering on BHRZ03 certificates
oCParma_Polyhedra_Library::H79_Certificate::CompareA total ordering on H79 certificates
oCParma_Polyhedra_Library::Grid_Certificate::CompareA total ordering on Grid certificates
oCParma_Polyhedra_Library::Variable::CompareBinary predicate defining the total ordering on variables
oCParma_Polyhedra_Library::Concrete_ExpressionThe base class of all concrete expressions
oCParma_Polyhedra_Library::Concrete_Expression_Common< Target >Base class for all concrete expressions
oCParma_Polyhedra_Library::Concrete_Expression_TypeThe type of a concrete expression
oCParma_Polyhedra_Library::CongruenceA linear congruence
oCParma_Polyhedra_Library::Congruence_SystemA system of congruences
oCParma_Polyhedra_Library::Congruences_Reduction< D1, D2 >This class provides the reduction method for the Congruences_Product domain
oCParma_Polyhedra_Library::CO_Tree::const_iteratorA const iterator on the tree elements, ordered by key
oCParma_Polyhedra_Library::Linear_Expression_Impl< Row >::const_iterator
oCParma_Polyhedra_Library::Linear_Expression::const_iterator
oCParma_Polyhedra_Library::Congruence_System::const_iteratorAn iterator over a system of congruences
oCParma_Polyhedra_Library::MIP_Problem::const_iteratorA read-only iterator on the constraints defining the feasible region
oCParma_Polyhedra_Library::Grid_Generator_System::const_iteratorAn iterator over a system of grid generators
oCParma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface
oCParma_Polyhedra_Library::ConstraintA linear equality or inequality
oCParma_Polyhedra_Library::Constraint_SystemA system of constraints
oCParma_Polyhedra_Library::Constraint_System_const_iteratorAn iterator over a system of constraints
oCParma_Polyhedra_Library::Constraints_Reduction< D1, D2 >This class provides the reduction method for the Constraints_Product domain
oCParma_Polyhedra_Library::Determinate< PSET >A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
oCParma_Polyhedra_Library::Domain_Product< D1, D2 >This class is temporary and will be removed when template typedefs will be supported in C++
oCParma_Polyhedra_Library::Implementation::Watchdog::Doubly_Linked_ObjectA (base) class for doubly linked objects
|oCParma_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)
|\CParma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >A class for pending watchdog events with embedded links
oCParma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T >A class providing iterators for embedded lists
oCParma_Polyhedra_Library::Floating_Point_ConstantA floating-point constant concrete expression
oCParma_Polyhedra_Library::Floating_Point_Constant_Common< Target >Base class for floating-point constant concrete expression
oCParma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >A floating point expression on a given format
|oCParma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Cast Floating Point Expression
|oCParma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Constant Floating Point Expression
|oCParma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Difference Floating Point Expression
|oCParma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Division Floating Point Expression
|oCParma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Multiplication Floating Point Expression
|oCParma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Opposite Floating Point Expression
|oCParma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Sum Floating Point Expression
|\CParma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Variable Floating Point Expression
oCParma_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
oCParma_Polyhedra_Library::GeneratorA line, ray, point or closure point
oCParma_Polyhedra_Library::Generator_SystemA system of generators
oCParma_Polyhedra_Library::Generator_System_const_iteratorAn iterator over a system of generators
oCParma_Polyhedra_Library::GMP_IntegerUnbounded integers as provided by the GMP library
oCParma_Polyhedra_Library::GridA grid
oCParma_Polyhedra_Library::Grid_CertificateThe convergence certificate for the Grid widening operator
oCParma_Polyhedra_Library::Grid_GeneratorA grid line, parameter or grid point
oCParma_Polyhedra_Library::Grid_Generator_SystemA system of grid generators
oCParma_Polyhedra_Library::H79_CertificateA convergence certificate for the H79 widening operator
oCParma_Polyhedra_Library::Implementation::Watchdog::HandlerAbstract base class for handlers of the watchdog events
|oCParma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag< Flag_Base, Flag >A kind of Handler that installs a flag onto a flag-holder
|\CParma_Polyhedra_Library::Implementation::Watchdog::Handler_FunctionA kind of Handler calling a given function
oCParma_Polyhedra_Library::Integer_ConstantAn integer constant concrete expression
oCParma_Polyhedra_Library::Integer_Constant_Common< Target >Base class for integer constant concrete expressions
oCParma_Polyhedra_Library::Interval< Boundary, Info >A generic, not necessarily closed, possibly restricted interval
oCParma_Polyhedra_Library::CO_Tree::iteratorAn iterator on the tree elements, ordered by key
oCParma_Polyhedra_Library::Linear_ExpressionA linear expression
|\CParma_Polyhedra_Library::PIP_Tree_Node::Artificial_ParameterArtificial parameters in PIP solution trees
oCParma_Polyhedra_Library::Linear_Form< C >A linear form with interval coefficients
oCParma_Polyhedra_Library::MIP_ProblemA Mixed Integer (linear) Programming problem
oCParma_Polyhedra_Library::PIP_Solution_Node::No_ConstraintsA tag type to select the alternative copy constructor
oCParma_Polyhedra_Library::No_Reduction< D1, D2 >This class provides the reduction method for the Direct_Product domain
oCParma_Polyhedra_Library::Octagonal_Shape< T >An octagonal shape
oCParma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >The partially reduced product of two abstractions
oCParma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >An ordered list for recording pending watchdog events
oCParma_Polyhedra_Library::PIP_ProblemA Parametric Integer (linear) Programming problem
oCParma_Polyhedra_Library::PIP_Tree_NodeA node of the PIP solution tree
|oCParma_Polyhedra_Library::PIP_Decision_NodeA tree node representing a decision in the space of solutions
|\CParma_Polyhedra_Library::PIP_Solution_NodeA tree node representing part of the space of solutions
oCParma_Polyhedra_Library::Poly_Con_RelationThe relation between a polyhedron and a constraint
oCParma_Polyhedra_Library::Poly_Gen_RelationThe relation between a polyhedron and a generator
oCParma_Polyhedra_Library::PolyhedronThe base class for convex polyhedra
|oCParma_Polyhedra_Library::C_PolyhedronA closed convex polyhedron
|\CParma_Polyhedra_Library::NNC_PolyhedronA not necessarily closed convex polyhedron
oCParma_Polyhedra_Library::Powerset< D >The powerset construction on a base-level domain
oCParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PSET > >
|\CParma_Polyhedra_Library::Pointset_Powerset< PSET >The powerset construction instantiated on PPL pointset domains
oCParma_Polyhedra_Library::Recycle_InputA tag class
oCParma_Polyhedra_Library::Shape_Preserving_Reduction< D1, D2 >This class provides the reduction method for the Shape_Preserving_Product domain
oCParma_Polyhedra_Library::Smash_Reduction< D1, D2 >This class provides the reduction method for the Smash_Product domain
oCParma_Polyhedra_Library::Threshold_Watcher< Traits >A class of watchdogs controlling the exceeding of a threshold
oCParma_Polyhedra_Library::ThrowableUser objects the PPL can throw
oCParma_Polyhedra_Library::Implementation::Watchdog::TimeA class for representing and manipulating positive time intervals
oCParma_Polyhedra_Library::Unary_OperatorA unary operator applied to one concrete expression
oCParma_Polyhedra_Library::Unary_Operator_Common< Target >Base class for unary operator applied to one concrete expression
oCParma_Polyhedra_Library::VariableA dimension of the vector space
oCParma_Polyhedra_Library::Variables_SetAn std::set of variables' indexes
\CParma_Polyhedra_Library::WatchdogA watchdog timer