Awali
Another Weighted Automata library
|
#include <awali/dyn/modules/transducer.hh>
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::dyn | |
Namespace for the dynamical layer of Awali. | |
awali::dyn::internal | |
Implementation details of dyn layer (not stable). | |
Functions | |
std::string | awali::dyn::internal::gcp (const std::string &s1, const std::string &s2) |
void | awali::dyn::tdc_circulation_here (transducer_t tdc) |
Variables | |
const char | awali::dyn::internal::spec =127 |