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. | |
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. | |
Wraps a widening method into a function object.
Definition at line 35 of file Widening_Function.defs.hh.
| 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.
| 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 }
| 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 }
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()().
1.6.3