Package cz.muni.stanse

Packages
package	automatonchecker
package	checker
	defines public abstract class Checker.
package	codestructures
	defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.
package	configuration
package	cparser
package	gui
package	lockchecker
package	pointeranalyzer
	PointsToAnalyzer factory.
package	reachabilitychecker
	ReachabilityChecker implementation.
package	statistics
	Copyright (c) 2009 Marek Trtik.
package	threadchecker
package	utils
	Licensed under GPLv2.

Classes
class	CmdLineManager
class	Stanse