|
PPL
1.2
|
| ▼NParma_Polyhedra_Library | The entire library is confined to this namespace |
| ▼NImplementation | |
| ▼NWatchdog | |
| CHandler | Abstract base class for handlers of the watchdog events |
| CHandler_Flag | A kind of Handler that installs a flag onto a flag-holder |
| CHandler_Function | A kind of Handler calling a given function |
| CPending_Element | A class for pending watchdog events with embedded links |
| CPending_List | An ordered list for recording pending watchdog events |
| CTime | A class for representing and manipulating positive time intervals |
| CDoubly_Linked_Object | A (base) class for doubly linked objects |
| CEList | A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves) |
| CEList_Iterator | A class providing iterators for embedded lists |
| CApproximable_Reference | A concrete expression representing a reference to some approximable |
| CApproximable_Reference_Common | Base class for references to some approximable |
| CBD_Shape | A bounded difference shape |
| ▼CBHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator |
| CCompare | A total ordering on BHRZ03 certificates |
| CBinary_Operator | A binary operator applied to two concrete expressions |
| CBinary_Operator_Common | Base class for binary operator applied to two concrete expressions |
| CBox | A not necessarily closed, iso-oriented hyperrectangle |
| CC_Polyhedron | A closed convex polyhedron |
| CCast_Floating_Point_Expression | A generic Cast Floating Point Expression |
| CCast_Operator | A cast operator converting one concrete expression to some type |
| CCast_Operator_Common | Base class for cast operator concrete expressions |
| CChecked_Number | A wrapper for numeric types implementing a given policy |
| CConcrete_Expression | The base class of all concrete expressions |
| CConcrete_Expression_Common | Base class for all concrete expressions |
| CConcrete_Expression_Type | The type of a concrete expression |
| CCongruence | A linear congruence |
| ▼CCongruence_System | A system of congruences |
| Cconst_iterator | An iterator over a system of congruences |
| CCongruences_Reduction | This class provides the reduction method for the Congruences_Product domain |
| CConstant_Floating_Point_Expression | A generic Constant Floating Point Expression |
| CConstraint | A linear equality or inequality |
| CConstraint_System | A system of constraints |
| CConstraint_System_const_iterator | An iterator over a system of constraints |
| CConstraints_Reduction | This class provides the reduction method for the Constraints_Product domain |
| CDeterminate | A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98] |
| CDifference_Floating_Point_Expression | A generic Difference Floating Point Expression |
| CDivision_Floating_Point_Expression | A generic Division Floating Point Expression |
| CDomain_Product | This class is temporary and will be removed when template typedefs will be supported in C++ |
| CFloating_Point_Constant | A floating-point constant concrete expression |
| CFloating_Point_Constant_Common | Base class for floating-point constant concrete expression |
| CFloating_Point_Expression | |
| CFP_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 |
| CGenerator | A line, ray, point or closure point |
| CGenerator_System | A system of generators |
| CGenerator_System_const_iterator | An iterator over a system of generators |
| CGMP_Integer | Unbounded integers as provided by the GMP library |
| CGrid | A grid |
| ▼CGrid_Certificate | The convergence certificate for the Grid widening operator |
| CCompare | A total ordering on Grid certificates |
| CGrid_Generator | A grid line, parameter or grid point |
| ▼CGrid_Generator_System | A system of grid generators |
| Cconst_iterator | An iterator over a system of grid generators |
| ▼CH79_Certificate | A convergence certificate for the H79 widening operator |
| CCompare | A total ordering on H79 certificates |
| CInteger_Constant | An integer constant concrete expression |
| CInteger_Constant_Common | Base class for integer constant concrete expressions |
| CInterval | A generic, not necessarily closed, possibly restricted interval |
| ▼CLinear_Expression | A linear expression |
| Cconst_iterator | |
| CLinear_Form | A linear form with interval coefficients |
| ▼CMIP_Problem | A Mixed Integer (linear) Programming problem |
| Cconst_iterator | A read-only iterator on the constraints defining the feasible region |
| CMultiplication_Floating_Point_Expression | A generic Multiplication Floating Point Expression |
| CNNC_Polyhedron | A not necessarily closed convex polyhedron |
| CNo_Reduction | This class provides the reduction method for the Direct_Product domain |
| COctagonal_Shape | An octagonal shape |
| COpposite_Floating_Point_Expression | A generic Opposite Floating Point Expression |
| CPartially_Reduced_Product | The partially reduced product of two abstractions |
| CPIP_Decision_Node | A tree node representing a decision in the space of solutions |
| CPIP_Problem | A Parametric Integer (linear) Programming problem |
| ▼CPIP_Solution_Node | A tree node representing part of the space of solutions |
| CNo_Constraints | A tag type to select the alternative copy constructor |
| ▼CPIP_Tree_Node | A node of the PIP solution tree |
| CArtificial_Parameter | Artificial parameters in PIP solution trees |
| CPointset_Powerset | The powerset construction instantiated on PPL pointset domains |
| CPoly_Con_Relation | The relation between a polyhedron and a constraint |
| CPoly_Gen_Relation | The relation between a polyhedron and a generator |
| CPolyhedron | The base class for convex polyhedra |
| CPowerset | The powerset construction on a base-level domain |
| CRecycle_Input | A tag class |
| CSelect_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 |
| CShape_Preserving_Reduction | This class provides the reduction method for the Shape_Preserving_Product domain |
| CSmash_Reduction | This class provides the reduction method for the Smash_Product domain |
| CSum_Floating_Point_Expression | A generic Sum Floating Point Expression |
| CThreshold_Watcher | A class of watchdogs controlling the exceeding of a threshold |
| CThrowable | User objects the PPL can throw |
| CUnary_Operator | A unary operator applied to one concrete expression |
| CUnary_Operator_Common | Base class for unary operator applied to one concrete expression |
| ▼CVariable | A dimension of the vector space |
| CCompare | Binary predicate defining the total ordering on variables |
| CVariable_Floating_Point_Expression | A generic Variable Floating Point Expression |
| CVariables_Set | An std::set of variables' indexes |
| CWatchdog | A watchdog timer |