PPL
1.0
|
![]() ![]() | 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 |
![]() ![]() ![]() | An std::set of variables' indexes |
![]() ![]() ![]() | A linear expression |
![]() ![]() ![]() ![]() | |
![]() ![]() ![]() | A linear equality or inequality |
![]() ![]() ![]() | A line, ray, point or closure point |
![]() ![]() ![]() | A grid line, parameter or grid point |
![]() ![]() ![]() | A linear congruence |
![]() ![]() ![]() | A not necessarily closed, iso-oriented hyperrectangle |
![]() ![]() ![]() | A system of constraints |
![]() ![]() ![]() | An iterator over a system of constraints |
![]() ![]() ![]() | A system of congruences |
![]() ![]() ![]() ![]() | An iterator over a system of congruences |
![]() ![]() ![]() | The relation between a polyhedron and a constraint |
![]() ![]() ![]() | A system of generators |
![]() ![]() ![]() | An iterator over a system of generators |
![]() ![]() ![]() | 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 |
![]() ![]() ![]() | 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 |