Widener Member List

This is the complete list of members for Widener, including all inherited members.

checkFreeze(const ValueSet &valueSet)=0	Widener	pure virtual
determineIterationReset(const ValueSet &valueSet)=0	Widener	pure virtual
doWidening(const ValueSet &valueSet, CircleRange &range, const CircleRange &newRange)=0	Widener	pure virtual