PPL  1.2
Public Types | Public Member Functions | Private Member Functions | Private Attributes | Related Functions | List of all members
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > Class Template Reference
C++ Language Interface

A generic Constant Floating Point Expression. More...

#include <Constant_Floating_Point_Expression_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >:
Inheritance graph
[legend]
Collaboration diagram for Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >:
Collaboration graph
[legend]

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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
- 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. More...
 
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. More...
 
typedef FP_Interval_Type::info_type info_type
 The interval policy used by FP_Interval_Type. More...
 

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 *this with y. More...
 
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_bound and an upper_bound of its value in the concrete domain. More...
 
 Constant_Floating_Point_Expression (const char *str_value)
 Builds a constant floating point expression with the value expressed by the string str_value. More...
 
 ~Constant_Floating_Point_Expression ()
 Destructor. More...
 
- Public Member Functions inherited from Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >
virtual ~Floating_Point_Expression ()
 Destructor. More...
 

Private Member Functions

 Constant_Floating_Point_Expression (const Constant_Floating_Point_Expression &y)
 Inhibited copy constructor. More...
 
Constant_Floating_Point_Expression & operator= (const Constant_Floating_Point_Expression &y)
 Inhibited assignment operator. More...
 

Private Attributes

FP_Interval_Type value
 

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 x with y. 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 result become an interval that overapproximates all the possible values of lf in the interval abstract store store. 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...
 

Detailed Description

template<typename FP_Interval_Type, typename FP_Format>
class Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >

A generic Constant Floating Point Expression.

Template type parameters
  • The class template type parameter FP_Interval_Type represents the type of the intervals used in the abstract domain.
  • The class template type parameter FP_Format represents the floating point format used in the concrete domain.
Linearization of floating-point constant expressions

The linearization of a constant floating point expression results in a linear form consisting of only the inhomogeneous term $[l, u]$, where $l$ and $u$ are the lower and upper bounds of the constant value given to the class constructor.

Definition at line 61 of file Constant_Floating_Point_Expression_defs.hh.

Member Typedef Documentation

template<typename FP_Interval_Type, typename FP_Format>
typedef Floating_Point_Expression<FP_Interval_Type, FP_Format>::boundary_type Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::boundary_type

Alias for the FP_Interval_Type::boundary_type from Floating_Point_Expression.

Definition at line 96 of file Constant_Floating_Point_Expression_defs.hh.

template<typename FP_Interval_Type, typename FP_Format>
typedef Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Interval_Abstract_Store Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::FP_Interval_Abstract_Store

Alias for the Box<FP_Interval_Type> from Floating_Point_Expression.

Definition at line 80 of file Constant_Floating_Point_Expression_defs.hh.

template<typename FP_Interval_Type, typename FP_Format>
typedef Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::FP_Linear_Form

Alias for the Linear_Form<FP_Interval_Type> from Floating_Point_Expression.

Definition at line 72 of file Constant_Floating_Point_Expression_defs.hh.

template<typename FP_Interval_Type, typename FP_Format>
typedef Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form_Abstract_Store Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::FP_Linear_Form_Abstract_Store

Alias for the std::map<dimension_type, FP_Linear_Form> from Floating_Point_Expression.

Definition at line 88 of file Constant_Floating_Point_Expression_defs.hh.

template<typename FP_Interval_Type, typename FP_Format>
typedef Floating_Point_Expression<FP_Interval_Type, FP_Format>::info_type Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::info_type

Alias for the FP_Interval_Type::info_type from Floating_Point_Expression.

Definition at line 102 of file Constant_Floating_Point_Expression_defs.hh.

Constructor & Destructor Documentation

template<typename FP_Interval_Type , typename FP_Format >
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::Constant_Floating_Point_Expression ( const boundary_type  lower_bound,
const boundary_type  upper_bound 
)
inline

Constructor with two parameters: builds the constant floating point expression from a lower_bound and an upper_bound of its value in the concrete domain.

Definition at line 40 of file Constant_Floating_Point_Expression_inlines.hh.

References Parma_Polyhedra_Library::GREATER_OR_EQUAL, Parma_Polyhedra_Library::i_constraint(), Parma_Polyhedra_Library::LESS_OR_EQUAL, and value.

41  {
42  assert(lb <= ub);
43  value.build(i_constraint(GREATER_OR_EQUAL, lb),
44  i_constraint(LESS_OR_EQUAL, ub));
45 }
Parma_Polyhedra_Library::i_constraint
I_Constraint< T > i_constraint(I_Constraint_Rel rel, const T &v)
Definition: intervals_defs.hh:443
Parma_Polyhedra_Library::LESS_OR_EQUAL
Less than or equal to.
Definition: globals_types.hh:46
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::value
FP_Interval_Type value
Definition: Constant_Floating_Point_Expression_defs.hh:149
Parma_Polyhedra_Library::GREATER_OR_EQUAL
Greater than or equal to.
Definition: globals_types.hh:50
template<typename FP_Interval_Type , typename FP_Format >
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::Constant_Floating_Point_Expression ( const char *  str_value)
inline

Builds a constant floating point expression with the value expressed by the string str_value.

Definition at line 34 of file Constant_Floating_Point_Expression_inlines.hh.

35  : value(str_value) {}
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::value
FP_Interval_Type value
Definition: Constant_Floating_Point_Expression_defs.hh:149
template<typename FP_Interval_Type , typename FP_Format >
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::~Constant_Floating_Point_Expression ( )
inline

Destructor.

Definition at line 50 of file Constant_Floating_Point_Expression_inlines.hh.

50 {}
template<typename FP_Interval_Type, typename FP_Format>
Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::Constant_Floating_Point_Expression ( const Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &  y)
private

Inhibited copy constructor.

Member Function Documentation

template<typename FP_Interval_Type , typename FP_Format >
bool Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::linearize ( const FP_Interval_Abstract_Store &  int_store,
const FP_Linear_Form_Abstract_Store &  lf_store,
FP_Linear_Form &  result 
) const
inlinevirtual

Linearizes the expression in a given astract store.

Makes result become the linearization of *this in the given composite abstract store.

Parameters
int_storeThe interval abstract store.
lf_storeThe linear form abstract store.
resultThe modified linear form.
Returns
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 >.

Definition at line 63 of file Constant_Floating_Point_Expression_inlines.hh.

References value.

65  {
66  result = FP_Linear_Form(value);
67  return true;
68 }
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::value
FP_Interval_Type value
Definition: Constant_Floating_Point_Expression_defs.hh:149
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::FP_Linear_Form
Floating_Point_Expression< FP_Interval_Type, FP_Format >::FP_Linear_Form FP_Linear_Form
Alias for the Linear_Form from Floating_Point_Expression.
Definition: Constant_Floating_Point_Expression_defs.hh:72
template<typename FP_Interval_Type , typename FP_Format >
void Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::m_swap ( Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &  y)
inline

Swaps *this with y.

Definition at line 55 of file Constant_Floating_Point_Expression_inlines.hh.

References Parma_Polyhedra_Library::swap(), Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::value, and value.

Referenced by Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::swap().

55  {
56  using std::swap;
57  swap(value, y.value);
58 }
Parma_Polyhedra_Library::swap
void swap(CO_Tree &x, CO_Tree &y)
Definition: CO_Tree_inlines.hh:873
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::value
FP_Interval_Type value
Definition: Constant_Floating_Point_Expression_defs.hh:149
Parma_Polyhedra_Library::Constant_Floating_Point_Expression::swap
void swap(Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &x, Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &y)
Swaps x with y.
template<typename FP_Interval_Type, typename FP_Format>
Constant_Floating_Point_Expression& Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::operator= ( const Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > &  y)
private

Inhibited assignment operator.

Friends And Related Function Documentation

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 
)
related

Swaps x with y.

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 
)
related

Definition at line 73 of file Constant_Floating_Point_Expression_inlines.hh.

References Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::m_swap().

74  {
75  x.m_swap(y);
76 }

Member Data Documentation

template<typename FP_Interval_Type, typename FP_Format>
FP_Interval_Type Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::value
private

Definition at line 149 of file Constant_Floating_Point_Expression_defs.hh.

Referenced by Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::m_swap().

The documentation for this class was generated from the following files: