PPL
1.2
|
This is the complete list of members for Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >, including all inherited members.
Limited_Widening_Function(Limited_Widening_Method lwm, const CSYS &cs) | Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > | |
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 |