cz::muni::stanse::lockchecker::ErrorGenerator Member List

This is the complete list of members for cz::muni::stanse::lockchecker::ErrorGenerator, including all inherited members.

ErrorGenerator(FunctionStateSummary summary, boolean countFlows, boolean countPairs, int threshold, boolean generateMoreLocksErrors)	cz::muni::stanse::lockchecker::ErrorGenerator	[inline]
generateErrors(CheckerErrorFilter errReciver)	cz::muni::stanse::lockchecker::ErrorGenerator	[inline]