PPL 0.12
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
Parma_Polyhedra_Library::Approximable_Reference_Common< Target >Base class for references to some approximable
Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_ParameterArtificial parameters in PIP solution trees
Parma_Polyhedra_Library::BD_Shape< T >A bounded difference shape
Parma_Polyhedra_Library::BHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
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::C_PolyhedronA closed convex polyhedron
Parma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Cast Floating Point Expression
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::CompareA total ordering on BHRZ03 certificates
Parma_Polyhedra_Library::H79_Certificate::CompareA total ordering on H79 certificates
Parma_Polyhedra_Library::Grid_Certificate::CompareA total ordering on Grid certificates
Parma_Polyhedra_Library::Variable::CompareBinary predicate defining the total ordering on variables
Parma_Polyhedra_Library::Concrete_Expression_Common< Target >Base class for all concrete expressions
Parma_Polyhedra_Library::Concrete_Expression_TypeThe type of a concrete expression
Parma_Polyhedra_Library::CongruenceA linear congruence
Parma_Polyhedra_Library::Congruence_SystemA system of congruences
Parma_Polyhedra_Library::Congruences_Reduction< D1, D2 >This class provides the reduction method for the Congruences_Product domain
Parma_Polyhedra_Library::Constraint_System::const_iteratorAn iterator over a system of constraints
Parma_Polyhedra_Library::Congruence_System::const_iteratorAn iterator over a system of congruences
Parma_Polyhedra_Library::Generator_System::const_iteratorAn iterator over a system of generators
Parma_Polyhedra_Library::Grid_Generator_System::const_iteratorAn iterator over a system of grid generators
Parma_Polyhedra_Library::CO_Tree::const_iteratorA const iterator on the tree elements, ordered by key
Parma_Polyhedra_Library::MIP_Problem::const_iteratorA read-only iterator on the constraints defining the feasible region
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Constant Floating Point Expression
Parma_Polyhedra_Library::ConstraintA linear equality or inequality
Parma_Polyhedra_Library::Constraint_SystemA 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::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::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_ObjectA (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::EList_Iterator< T >A class providing iterators for embedded lists
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::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::GeneratorA line, ray, point or closure point
Parma_Polyhedra_Library::Generator_SystemA system of generators
Parma_Polyhedra_Library::GMP_IntegerUnbounded integers as provided by the GMP library
Parma_Polyhedra_Library::GridA grid
Parma_Polyhedra_Library::Grid_CertificateThe convergence certificate for the Grid widening operator
Parma_Polyhedra_Library::Grid_GeneratorA grid line, parameter or grid point
Parma_Polyhedra_Library::Grid_Generator_SystemA system of grid generators
Parma_Polyhedra_Library::H79_CertificateA convergence certificate for the H79 widening operator
Parma_Polyhedra_Library::Implementation::Watchdog::HandlerAbstract 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_FunctionA kind of Handler calling a given function
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::iteratorAn iterator on the tree elements, ordered by key
Parma_Polyhedra_Library::Linear_ExpressionA linear expression
Parma_Polyhedra_Library::Linear_Form< C >A linear form with interval coefficients
Parma_Polyhedra_Library::MIP_ProblemA Mixed Integer (linear) Programming problem
Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Multiplication Floating Point Expression
Parma_Polyhedra_Library::NNC_PolyhedronA not necessarily closed convex polyhedron
Parma_Polyhedra_Library::PIP_Solution_Node::No_ConstraintsA 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::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Opposite Floating Point Expression
Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >The partially reduced product of two abstractions
Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >A class for pending watchdog events with embedded links
Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >An ordered list for recording pending watchdog events
Parma_Polyhedra_Library::PIP_Decision_NodeA tree node representing a decision in the space of solutions
Parma_Polyhedra_Library::PIP_ProblemA Parametric Integer (linear) Programming problem
Parma_Polyhedra_Library::PIP_Solution_NodeA tree node representing part of the space of solutions
Parma_Polyhedra_Library::PIP_Tree_NodeA node of the PIP solution tree
Parma_Polyhedra_Library::Pointset_Powerset< PSET >The powerset construction instantiated on PPL pointset domains
Parma_Polyhedra_Library::Poly_Con_RelationThe relation between a polyhedron and a constraint
Parma_Polyhedra_Library::Poly_Gen_RelationThe relation between a polyhedron and a generator
Parma_Polyhedra_Library::PolyhedronThe base class for convex polyhedra
Parma_Polyhedra_Library::Powerset< D >The powerset construction on a base-level domain
Parma_Polyhedra_Library::Recycle_InputA 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::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Sum Floating Point Expression
Parma_Polyhedra_Library::Threshold_Watcher< Traits >A class of watchdogs controlling the exceeding of a threshold
Parma_Polyhedra_Library::ThrowableUser objects the PPL can throw
Parma_Polyhedra_Library::Implementation::Watchdog::TimeA class for representing and manipulating positive time intervals
Parma_Polyhedra_Library::Unary_Operator_Common< Target >Base class for unary operator applied to one concrete expression
Parma_Polyhedra_Library::VariableA dimension of the vector space
Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format >A generic Variable Floating Point Expression
Parma_Polyhedra_Library::Variables_SetAn std::set of variables' indexes
Parma_Polyhedra_Library::WatchdogA watchdog timer