Awali
Another Weighted Automata library
|
#include <iostream>
#include <map>
#include <awali/sttc/algos/determinize.hh>
#include <awali/sttc/misc/escape.hh>
#include <awali/sttc/weightset/fwd.hh>
#include <awali/sttc/weightset/polynomialset.hh>
Go to the source code of this file.
Data Structures | |
class | awali::sttc::internal::fadoer< Aut > |
Format an automaton into Fado. More... | |
class | awali::sttc::internal::grailer< Aut > |
Format an automaton into Fado. More... | |
class | awali::sttc::internal::outputter< Aut > |
Factor common bits in automaton formatting. More... | |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::sttc | |
Namespace for the static layer of Awali. | |
awali::sttc::internal | |
Implementation details of static layer (not stable). | |
Functions | |
template<typename Aut > | |
std::ostream & | awali::sttc::fado (const Aut &aut, std::ostream &out) |
template<typename Aut > | |
std::ostream & | awali::sttc::grail (const Aut &aut, std::ostream &out) |