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 typedef	Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >
limiting_cs	Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >	[private]
lw_method	Parma_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]