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

#include <Widening_Function_defs.hh>

Public Types
typedef void(PSET::*	Widening_Method) (const PSET &, unsigned *)
	The (parametric) type of a widening method. More...

Public Member Functions
	Widening_Function (Widening_Method wm)
	Explicit unary constructor. More...

void	operator() (PSET &x, const PSET &y, unsigned *tp=0) const
	Function-application operator. More...

Private Attributes
Widening_Method	w_method
	The widening method. More...

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 38 of file Widening_Function_defs.hh.

Constructor & Destructor Documentation

template<typename PSET >

Parma_Polyhedra_Library::Widening_Function< PSET >::Widening_Function ( Widening_Method wm )

explicit

Explicit unary constructor.

Definition at line 32 of file Widening_Function_inlines.hh.

33 : w_method(wm) {

34 }

Parma_Polyhedra_Library::Widening_Function::w_method

Widening_Method w_method

The widening method.

Definition: Widening_Function_defs.hh:53

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.

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

Member Data Documentation

template<typename PSET>

Widening_Method Parma_Polyhedra_Library::Widening_Function< PSET >::w_method

private

The widening method.

Definition at line 53 of file Widening_Function_defs.hh.

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

Public Types

Public Member Functions