Wraps a limited widening method into a function object. More...
#include <Widening_Function.defs.hh>
Public Types | |
| typedef void(PSET::* | Limited_Widening_Method )(const PSET &, const CSYS &, unsigned *) |
| The (parametric) type of a limited widening method. | |
Public Member Functions | |
| Limited_Widening_Function (Limited_Widening_Method lwm, const CSYS &cs) | |
| Constructor. | |
| void | operator() (PSET &x, const PSET &y, unsigned *tp=0) const |
| Function-application operator. | |
Private Attributes | |
| Limited_Widening_Method | lw_method |
| The limited widening method. | |
| const CSYS & | limiting_cs |
| A constant reference to the constraint system limiting the widening. | |
Wraps a limited widening method into a function object.
Definition at line 62 of file Widening_Function.defs.hh.
| typedef void(PSET::* Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::Limited_Widening_Method)(const PSET &, const CSYS &, unsigned *) |
The (parametric) type of a limited widening method.
Definition at line 65 of file Widening_Function.defs.hh.
| Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::Limited_Widening_Function | ( | Limited_Widening_Method | lwm, | |
| const CSYS & | cs | |||
| ) | [inline] |
Constructor.
| lwm | The limited widening method. | |
| cs | The constraint system limiting the widening. |
Definition at line 45 of file Widening_Function.inlines.hh.
00047 : lw_method(lwm), limiting_cs(cs) { 00048 }
| void Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::operator() | ( | PSET & | x, | |
| const PSET & | y, | |||
| unsigned * | tp = 0 | |||
| ) | const [inline] |
Function-application operator.
Computes (x.*lwm)(y, cs, tp), where lwm and cs are the limited widening method and the constraint system stored at construction time.
Definition at line 53 of file Widening_Function.inlines.hh.
References Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::limiting_cs, and Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::lw_method.
00053 { 00054 (x.*lw_method)(y, limiting_cs, tp); 00055 }
const CSYS& Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::limiting_cs [private] |
A constant reference to the constraint system limiting the widening.
Definition at line 92 of file Widening_Function.defs.hh.
Referenced by Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::operator()().
Limited_Widening_Method Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::lw_method [private] |
The limited widening method.
Definition at line 90 of file Widening_Function.defs.hh.
Referenced by Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >::operator()().
1.6.3