PPL 1.2

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

- Class List
- Class Hierarchy
- Class Members

Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 1 2 3 4]

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