src/cz/muni/stanse/automatonchecker/ErrorRule.java File Reference

Copyright (c) 2008-2009 Marek Trtik. More...

Namespaces
namespace	cz::muni::stanse::automatonchecker
Classes
class	cz::muni::stanse::automatonchecker::ErrorRule

---

Detailed Description

Copyright (c) 2008-2009 Marek Trtik.

Licensed under GPLv2.