Awali
Another Weighted Automata library
|
#include <list>
#include <memory>
#include <string>
#include <vector>
#include <awali/dyn/core/abstract_context.hh>
#include <awali/dyn/core/context_description.hh>
Go to the source code of this file.
Data Structures | |
class | awali::dyn::context_t |
Dynamical wrapper for a context, that is a weightset and a labelset. More... | |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::dyn | |
Namespace for the dynamical layer of Awali. | |