| PPL
    1.1
    | 
A generic Constant Floating Point Expression. More...
#include <ppl.hh>

| Public Types | |
| typedef Floating_Point_Expression < FP_Interval_Type, FP_Format > ::FP_Linear_Form | FP_Linear_Form | 
| Alias for the Linear_Form<FP_Interval_Type> from Floating_Point_Expression. | |
| typedef Floating_Point_Expression < FP_Interval_Type, FP_Format > ::FP_Interval_Abstract_Store | FP_Interval_Abstract_Store | 
| Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. | |
| typedef Floating_Point_Expression < FP_Interval_Type, FP_Format > ::FP_Linear_Form_Abstract_Store | FP_Linear_Form_Abstract_Store | 
| Alias for the std::map<dimension_type, FP_Linear_Form> from Floating_Point_Expression. | |
| typedef Floating_Point_Expression < FP_Interval_Type, FP_Format > ::boundary_type | boundary_type | 
| Alias for the FP_Interval_Type::boundary_type from Floating_Point_Expression. | |
| typedef Floating_Point_Expression < FP_Interval_Type, FP_Format > ::info_type | info_type | 
| Alias for the FP_Interval_Type::info_type from Floating_Point_Expression. | |
|  Public Types inherited from Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
| typedef Linear_Form < FP_Interval_Type > | FP_Linear_Form | 
| Alias for a linear form with template argument FP_Interval_Type. | |
| typedef Box< FP_Interval_Type > | FP_Interval_Abstract_Store | 
| Alias for a map that associates a variable index to an interval.  More... | |
| typedef std::map < dimension_type, FP_Linear_Form > | FP_Linear_Form_Abstract_Store | 
| Alias for a map that associates a variable index to a linear form.  More... | |
| typedef FP_Interval_Type::boundary_type | boundary_type | 
| The floating point format used by the analyzer. | |
| typedef FP_Interval_Type::info_type | info_type | 
| The interval policy used by FP_Interval_Type. | |
| Public Member Functions | |
| bool | linearize (const FP_Interval_Abstract_Store &int_store, const FP_Linear_Form_Abstract_Store &lf_store, FP_Linear_Form &result) const | 
| Linearizes the expression in a given astract store.  More... | |
| void | m_swap (Constant_Floating_Point_Expression &y) | 
| Swaps *thiswithy. | |
| Constructors and Destructor | |
| Constant_Floating_Point_Expression (const boundary_type lower_bound, const boundary_type upper_bound) | |
| Constructor with two parameters: builds the constant floating point expression from a lower_boundand anupper_boundof its value in the concrete domain. | |
| Constant_Floating_Point_Expression (const char *str_value) | |
| Builds a constant floating point expression with the value expressed by the string str_value. | |
| ~Constant_Floating_Point_Expression () | |
| Destructor. | |
|  Public Member Functions inherited from Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
| virtual | ~Floating_Point_Expression () | 
| Destructor. | |
| Related Functions | |
| (Note that these are not member functions.) | |
| template<typename FP_Interval_Type , typename FP_Format > | |
| void | swap (Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | 
| Swaps xwithy.  More... | |
| template<typename FP_Interval_Type , typename FP_Format > | |
| void | swap (Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y) | 
| Additional Inherited Members | |
|  Static Public Member Functions inherited from Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
| static bool | overflows (const FP_Linear_Form &lf) | 
| Verifies if a given linear form overflows.  More... | |
| static void | relative_error (const FP_Linear_Form &lf, FP_Linear_Form &result) | 
| Computes the relative error of a given linear form.  More... | |
| static void | intervalize (const FP_Linear_Form &lf, const FP_Interval_Abstract_Store &store, FP_Interval_Type &result) | 
| Makes resultbecome an interval that overapproximates all the possible values oflfin the interval abstract storestore.  More... | |
|  Static Public Attributes inherited from Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | |
| static FP_Interval_Type | absolute_error = compute_absolute_error() | 
| Absolute error.  More... | |
A generic Constant Floating Point Expression.
FP_Interval_Type represents the type of the intervals used in the abstract domain.FP_Format represents the floating point format used in the concrete domain.The linearization of a constant floating point expression results in a linear form consisting of only the inhomogeneous term ![$[l, u]$](form_874.png) , where
, where  and
 and  are the lower and upper bounds of the constant value given to the class constructor.
 are the lower and upper bounds of the constant value given to the class constructor. 
| 
 | inlinevirtual | 
Linearizes the expression in a given astract store.
Makes result become the linearization of *this in the given composite abstract store.
| int_store | The interval abstract store. | 
| lf_store | The linear form abstract store. | 
| result | The modified linear form. | 
true if the linearization succeeded, false otherwise.See the class description for an explanation of how result is computed. 
Implements Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >.
| 
 | related | 
Swaps x with y. 
| 
 | related |