operator()(PH &x, const PH &y, unsigned *tp=0) const | Parma_Polyhedra_Library::Widening_Function< PH > | [inline] |
w_method | Parma_Polyhedra_Library::Widening_Function< PH > | [private] |
Widening_Function(Widening_Method wm) | Parma_Polyhedra_Library::Widening_Function< PH > | [inline, explicit] |
Widening_Method typedef | Parma_Polyhedra_Library::Widening_Function< PH > |