sys.hh File Reference

#include <stdio.h>
#include <awali/common/json_ast.hh>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/core/ratexp.hh>
#include <awali/dyn/core/transducer.hh>
#include <awali/dyn/options/options.hh>

Go to the source code of this file.

Data Structures
struct	awali::dyn::internal::aut_or_exp_t
union	awali::dyn::internal::aut_or_exp_t.__unnamed1__
struct	awali::dyn::internal::formatted_istream
struct	awali::dyn::internal::formatted_ostream

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
automaton_t	awali::dyn::internal::load (const std::string &filename, bool &is_example, io_format_t format=JSON)
automaton_t	awali::dyn::load (const std::string &path, options_t opts={})
	Loads an automaton from file pointed by path. More...
aut_or_exp_t	awali::dyn::internal::load_aut_or_exp (std::string const &name, bool recurse=false)
ratexp_t	awali::dyn::load_exp (const std::string &filepath)
	Loads a ratexp_t from file filepath More...
json_ast_t	awali::dyn::internal::load_json_ast (bool &found, std::string const &filename, bool recurse=false)
	Loads a json file as an AST (possibly an example). More...
json_ast_t	awali::dyn::internal::load_json_ast (std::string const &filename, bool recurse=false)
	Loads a json file as an AST (possibly an example). More...
std::ostream &	awali::dyn::operator<< (std::ostream &o, automaton_t aut)
internal::formatted_ostream	awali::dyn::operator<< (std::ostream &o, io_format_t const fmt)
std::ostream &	awali::dyn::operator<< (std::ostream &o, transducer_t aut)
std::istream &	awali::dyn::operator>> (std::istream &i, automaton_t &aut)
internal::formatted_istream	awali::dyn::operator>> (std::istream &i, io_format_t const fmt)
aut_or_exp_t	awali::dyn::internal::parse_aut_or_exp (json_ast_t ast)
automaton_t	awali::dyn::parse_automaton (json_ast_t ast)
automaton_t	awali::dyn::parse_automaton (std::istream &in, options_t opts={})
	Parse an automaton from. More...
ratexp_t	awali::dyn::parse_ratexp (json_ast_t ast)
void	awali::dyn::pdfdisplay (automaton_t aut, options_t opts={})
	Computes geometry of aut with program dot and displays with a pdf-viewer. More...
std::ostream &	awali::dyn::put (automaton_t aut, std::ostream &o, options_t opts={})
	Write aut to output stream o. More...
std::ostream &	awali::dyn::put (ratexp_t aut, std::ostream &o, options_t opts={})
void	awali::dyn::save (const automaton_t aut, const std::string &path, options_t opts={})
	Writes aut to file pointed by path. More...
void	awali::dyn::set_error_stream (std::ostream &o)
	Setter for the error_stream of the dynamical layer. More...
void	awali::dyn::set_warning_stream (std::ostream &o)
	Setter for the warning_stream of the dynamical layer. More...

Variables
std::ostream *	awali::dyn::error_stream
	A pointer to the error_stream used at dynamical layer. More...
std::ostream *	awali::dyn::warning_stream
	A pointer to the error_stream used at dynamical layer. More...

---

Data Structure Documentation

awali::dyn::internal::aut_or_exp_t.__unnamed1__

union awali::dyn::internal::aut_or_exp_t.__unnamed1__

Data Fields
automaton_t	aut
ratexp_t	exp