| Limited_Widening_Function(Limited_Widening_Method lwm, const CSYS &cs) | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | [inline] |
| Limited_Widening_Method typedef | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | |
| limiting_cs | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | [private] |
| lw_method | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | [private] |
| operator()(PSET &x, const PSET &y, unsigned *tp=0) const | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | [inline] |
1.6.3