PPL  1.2
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 >
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