Awali
Another Weighted Automata library
|
#include <awali/sttc/alphabets/char.hh>
#include <awali/sttc/alphabets/setalpha.hh>
#include <awali/sttc/labelset/wordset.hh>
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::ctx | |
Namespace containing all available contexts (weigh sets, label sets, etc.). | |
Typedefs | |
using | awali::sttc::ctx::law_char = wordset< sttc::set_alphabet< sttc::char_letters > > |