Awali
Another Weighted Automata library
|
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 | |
template<typename T > | |
using | awali::sttc::ctx::lan = nullableset< T > |