Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS > Member List

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

Limited_Widening_Function(Limited_Widening_Method lwm, const CS &cs)Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS > [inline]
Limited_Widening_Method typedefParma_Polyhedra_Library::Limited_Widening_Function< PH, CS >
limiting_csParma_Polyhedra_Library::Limited_Widening_Function< PH, CS > [private]
lw_methodParma_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]


Generated on Sat Oct 11 10:41:13 2008 for PPL by  doxygen 1.5.6