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

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

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

---

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.