ErrorRule.java File Reference

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

Classes
class	cz.muni.stanse.automatonchecker.ErrorRule

Packages
package	cz.muni.stanse.automatonchecker

Detailed Description

Copyright (c) 2008-2009 Marek Trtik.

Licensed under GPLv2.