|
PPL
0.12.1
|
| The entire library is confined to this namespace | |
| All input/output operators are confined to this namespace | |
| 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 | |
| A dimension of the vector space | |
| Binary predicate defining the total ordering on variables | |
| User objects the PPL can throw | |
| A tag class | |
| A linear form with interval coefficients | |
| A wrapper for numeric types implementing a given policy | |
| A generic, not necessarily closed, possibly restricted interval | |
| A linear expression | |
| A system of constraints | |
| An iterator over a system of constraints | |
| A linear equality or inequality | |
| A not necessarily closed, iso-oriented hyperrectangle | |
| A system of congruences | |
| An iterator over a system of congruences | |
| A linear congruence | |
| An std::set of variables' indexes | |
| The relation between a polyhedron and a constraint | |
| A system of generators | |
| An iterator over a system of generators | |
| A line, ray, point or closure point | |
| The relation between a polyhedron and a generator | |
| The base class for convex polyhedra | |
| A Mixed Integer (linear) Programming problem | |
| A read-only iterator on the constraints defining the feasible region | |
| A floating point expression on a given format | |
| A system of grid generators | |
| An iterator over a system of grid generators | |
| A grid line, parameter or grid point | |
| A grid | |
| A bounded difference shape | |
| A closed convex polyhedron | |
| An octagonal shape | |
| The type of a concrete expression | |
| Base class for all concrete expressions | |
| Base class for binary operator applied to two concrete expressions | |
| Base class for unary operator applied to one concrete expression | |
| Base class for cast operator concrete expressions | |
| Base class for integer constant concrete expressions | |
| Base class for floating-point constant concrete expression | |
| Base class for references to some approximable | |
| A Parametric Integer (linear) Programming problem | |
| A node of the PIP solution tree | |
| Artificial parameters in PIP solution trees | |
| A tree node representing part of the space of solutions | |
| A tag type to select the alternative copy constructor | |
| A tree node representing a decision in the space of solutions | |
| The convergence certificate for the BHRZ03 widening operator | |
| A total ordering on BHRZ03 certificates | |
| A convergence certificate for the H79 widening operator | |
| A total ordering on H79 certificates | |
| The convergence certificate for the Grid widening operator | |
| A total ordering on Grid certificates | |
| A not necessarily closed convex polyhedron | |
| This class provides the reduction method for the Smash_Product domain | |
| This class provides the reduction method for the Constraints_Product domain | |
| This class provides the reduction method for the Congruences_Product domain | |
| This class provides the reduction method for the Shape_Preserving_Product domain | |
| This class provides the reduction method for the Direct_Product domain | |
| The partially reduced product of two abstractions | |
| This class is temporary and will be removed when template typedefs will be supported in C++ | |
| A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98] | |
| The powerset construction on a base-level domain | |
| The powerset construction instantiated on PPL pointset domains | |
| A generic Cast Floating Point Expression | |
| A generic Constant Floating Point Expression | |
| A generic Variable Floating Point Expression | |
| A generic Sum Floating Point Expression | |
| A generic Difference Floating Point Expression | |
| A generic Multiplication Floating Point Expression | |
| A generic Division Floating Point Expression | |
| A generic Opposite Floating Point Expression | |
| A watchdog timer | |
| A class of watchdogs controlling the exceeding of a threshold | |
| The base class of all concrete expressions | |
| A binary operator applied to two concrete expressions | |
| A unary operator applied to one concrete expression | |
| A cast operator converting one concrete expression to some type | |
| An integer constant concrete expression | |
| A floating-point constant concrete expression | |
| A concrete expression representing a reference to some approximable | |
| Unbounded integers as provided by the GMP library | |
| The standard C++ namespace |