PPL 1.0

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

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