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

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

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

Wraps a widening method into a function object.

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

template<typename PH>

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

The (parametric) type of a widening method.

template<typename PH>

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

Explicit unary constructor.

00032   : w_method(wm) {
00033 }

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.

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

template<typename PH>

The widening method.

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

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


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.