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