Awali
Another Weighted Automata library
Namespaces | Functions | Variables
tdc_circulation.hh File Reference
#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