Awali
Another Weighted Automata library
|
#include <awali/dyn/core/context.hh>
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::dyn | |
Namespace for the dynamical layer of Awali. | |
Functions | |
context_t | awali::dyn::join_context (context_t c1, context_t c2) |