types.hh File Reference

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.

Typedefs
using	awali::state_t = unsigned
using	awali::transition_t = unsigned