js_print.hh File Reference

#include <awali/common/version.hh>
#include <awali/sttc/core/rat/visitor.hh>
#include <awali/sttc/history/history.hh>
#include <awali/sttc/ctx/fwd.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/common/json/utils.hh>
#include <awali/common/json_ast.hh>
#include <awali/common/tuple.hh>
#include <stack>
#include <iostream>
#include <iomanip>
#include <ctime>
#include <sstream>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Functions
template<typename Automaton , unsigned version = version::fsm_json>
json_ast_t	awali::sttc::aut_to_ast (Automaton aut, json_ast_t extra_metadata=json_ast::empty(), bool full=false)
template<unsigned version = version::fsm_json>
json::object_t *	awali::sttc::json_creator ()
template<unsigned version = version::fsm_json>
json::object_t *	awali::sttc::json_format ()
template<unsigned version = version::fsm_json>
json::object_t *	awali::sttc::json_timestamp ()
template<typename RatExpSet , unsigned version = version::fsm_json>
json_ast_t	awali::sttc::ratexp_to_ast (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, json_ast_t extra_metadata=json_ast::empty())