Awali
Another Weighted Automata library
Namespaces | Typedefs
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