Awali
Another Weighted Automata library
|
#include <awali/sttc/labelset/oneset.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::lao = oneset |