Awali
Another Weighted Automata library
Namespaces | Functions
demangle.hxx File Reference

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::internal
 Namespace containing implementation details of elements common to sttc and dyn layers (not stable).
 

Functions

static std::string awali::internal::demangle (const char *name)