![]() |
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 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()) |