Parma_Polyhedra_Library::Widening_Function< PH > Member List

This is the complete list of members for Parma_Polyhedra_Library::Widening_Function< PH >, including all inherited members.

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


Generated on Wed Jul 16 22:55:51 2008 for PPL by  doxygen 1.5.6