AutomatonState.java File Reference

Here are defined automata states for all the automata defined in XML automata definition file of automatonchecker package. More...

Classes
class	cz.muni.stanse.automatonchecker.AutomatonState
	This class represents automaton state for each automata class defined in XML automata definition file.

Packages
package	cz.muni.stanse.automatonchecker

Detailed Description

Here are defined automata states for all the automata defined in XML automata definition file of automatonchecker package.

Copyright (c) 2008-2009 Marek Trtik

Licensed under GPLv2.