Parma_Polyhedra_Library::Widening_Function< PH > Class Template Reference
[C++ Language Interface]

Wraps a widening method into a function object. More...

#include <Widening_Function.defs.hh>

List of all members.

Public Types

typedef void(PH::* Widening_Method )(const PH &, unsigned *)
 The (parametric) type of a widening method.

Public Member Functions

 Widening_Function (Widening_Method wm)
 Explicit unary constructor.
void operator() (PH &x, const PH &y, unsigned *tp=0) const
 Function-application operator.

Private Attributes

Widening_Method w_method
 The widening method.


Detailed Description

template<typename PH>
class Parma_Polyhedra_Library::Widening_Function< PH >

Wraps a widening method into a function object.

Definition at line 34 of file Widening_Function.defs.hh.


Member Typedef Documentation

template<typename PH>
typedef void(PH::* Parma_Polyhedra_Library::Widening_Function< PH >::Widening_Method)(const PH &, unsigned *)

The (parametric) type of a widening method.


Constructor & Destructor Documentation

template<typename PH>
Parma_Polyhedra_Library::Widening_Function< PH >::Widening_Function ( Widening_Method  wm  )  [inline, explicit]

Explicit unary constructor.

Definition at line 31 of file Widening_Function.inlines.hh.

00032   : w_method(wm) {
00033 }


Member Function Documentation

template<typename PH>
void Parma_Polyhedra_Library::Widening_Function< PH >::operator() ( PH &  x,
const PH &  y,
unsigned *  tp = 0 
) const [inline]

Function-application operator.

Computes (x.*wm)(y, tp), where wm is the widening method stored at construction time.

Definition at line 38 of file Widening_Function.inlines.hh.

References Parma_Polyhedra_Library::Widening_Function< PH >::w_method.

00038                                                    {
00039   (x.*w_method)(y, tp);
00040 }


Member Data Documentation

The widening method.

Definition at line 52 of file Widening_Function.defs.hh.

Referenced by Parma_Polyhedra_Library::Widening_Function< PH >::operator()().


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

Generated on Sat Oct 11 10:41:13 2008 for PPL by  doxygen 1.5.6