Parma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > Member List

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 > [inline]
Limited_Widening_Method typedefParma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS >
limiting_csParma_Polyhedra_Library::Limited_Widening_Function< PSET, CSYS > [private]
lw_methodParma_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]
Generated on Sun Feb 27 16:20:28 2011 for PPL by  doxygen 1.6.3