Parma_Polyhedra_Library::Widening_Function< PSET > 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(PSET::* Widening_Method )(const PSET &, unsigned *)
 The (parametric) type of a widening method.

Public Member Functions

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

Private Attributes

Widening_Method w_method
 The widening method.

Detailed Description

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

Wraps a widening method into a function object.

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


Member Typedef Documentation

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

The (parametric) type of a widening method.

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


Constructor & Destructor Documentation

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

Explicit unary constructor.

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

00033   : w_method(wm) {
00034 }


Member Function Documentation

template<typename PSET >
void Parma_Polyhedra_Library::Widening_Function< PSET >::operator() ( PSET &  x,
const PSET &  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 39 of file Widening_Function.inlines.hh.

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

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


Member Data Documentation

template<typename PSET>
Widening_Method Parma_Polyhedra_Library::Widening_Function< PSET >::w_method [private]

The widening method.

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

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


The documentation for this class was generated from the following files:
Generated on Sun Feb 27 16:20:28 2011 for PPL by  doxygen 1.6.3