transition.hh File Reference

#include <awali/sttc/empty.hh>
#include <awali/sttc/misc/attributes.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::possibly_labeled_transition_tuple< State, Label >
struct	awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t >
struct	awali::sttc::transition_tuple< State, Label, Weight >
struct	awali::sttc::transition_tuple< State, Label, bool >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).