#include <Widening_Function.defs.hh>
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. |
Definition at line 34 of file Widening_Function.defs.hh.
typedef void(PH::* Parma_Polyhedra_Library::Widening_Function< PH >::Widening_Method)(const PH &, unsigned *) |
The (parametric) type of a widening method.
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 }
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 }
Widening_Method Parma_Polyhedra_Library::Widening_Function< PH >::w_method [private] |
The widening method.
Definition at line 52 of file Widening_Function.defs.hh.
Referenced by Parma_Polyhedra_Library::Widening_Function< PH >::operator()().