typedefs.hh File Reference

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

Go to the source code of this file.

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

Typedefs
using	awali::dyn::label_t = any_t
	Type for (transition) labels; it is an alias to any_t since its precise type depends on the weightset of manipulated automaton_t or ratexp_t. More...
using	awali::dyn::state_t = unsigned
	Type representing automata states; currently simply identifiers of type unsigned, but this might change in the future. More...
using	awali::dyn::transition_t = unsigned
	Type representing automata transitions; currently simply identifiers of type unsigned, but this might change in the future. More...
using	awali::dyn::weight_t = any_t
	Type for (transition) weights; it is an alias to any_t since the its precise type depends on the weightset of manipulated automaton_t or ratexp_t. More...
using	awali::dyn::word_t = any_t
	Type for words; it is an alias to any_t since the precise type depends on the context (most of the time, it is a std::string). More...