automaton.hh File Reference

#include <awali/dyn/core/abstract_automaton.hh>

Go to the source code of this file.

Data Structures
class	awali::dyn::automaton_t
	An automaton_t is essentially a shared pointer to an abstract_automaton_t, but also contains static functions serving as constructors. More...
struct	awali::dyn::automaton_t::with_int_labels
	Helper class that contains convenience constructor for automata with int labels. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.