Awali
Another Weighted Automata library
|
#include <awali/common/json_ast.hh>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/core/transducer.hh>
#include <awali/dyn/modules/automaton.hh>
#include <awali/dyn/loading/handler.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::ostream & | awali::dyn::internal::daut (automaton_t aut, std::ostream &out) |
std::ostream & | awali::dyn::internal::dot (automaton_t aut, std::ostream &out, options_t opts={}) |
std::ostream & | awali::dyn::internal::efsm (automaton_t aut, std::ostream &out) |
std::ostream & | awali::dyn::internal::fado (automaton_t aut, std::ostream &out) |
automaton_t | awali::dyn::internal::fado (std::istream &in) |
std::ostream & | awali::dyn::internal::grail (automaton_t aut, std::ostream &out) |
automaton_t | awali::dyn::internal::grail (std::istream &in) |
std::ostream & | awali::dyn::internal::img (automaton_t aut, std::ostream &o, std::string const &img, options_t opts) |
std::ostream & | awali::dyn::internal::json (automaton_t aut, std::ostream &out) |
std::ostream & | awali::dyn::internal::pdf (automaton_t aut, std::ostream &o, options_t opts={}) |
std::ostream & | awali::dyn::internal::svg (automaton_t aut, std::ostream &o, options_t opts={}) |
json_ast_t | awali::dyn::to_json_ast (automaton_t aut, json_ast_t extra_medata=json_ast::empty()) |