cz::muni::stanse::reachabilitychecker Namespace Reference

ReachabilityChecker implementation. More...

Classes
class	ReachabilityChecker
	Static checker which is able to detect unrechable code. More...
class	ReachabilityCheckerCreator

---

Detailed Description

ReachabilityChecker implementation.

ReachabilityChecker factory.

Copyright (c) 2009 Jiri Slaby <jirislaby@gmail.com>

Licensed under GPLv2.