abstract_automaton.hh File Reference

#include <vector>
#include <iostream>
#include <string>
#include <memory>
#include <awali/common/enums.hh>
#include <awali/dyn/modules/context.hh>
#include <awali/dyn/core/context.hh>
#include <awali/dyn/core/context_description.hh>
#include <awali/dyn/core/typedefs.hh>
#include <awali/dyn/options/options.hh>
#include <awali/common/qfraction.hh>

Go to the source code of this file.

Data Structures
struct	awali::dyn::abstract_automaton_t
	Abstract interface listing the services provided by automata at the dynamical layer. More...

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