Awali
Another Weighted Automata library
Namespaces | Functions
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())