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