automaton.hh File Reference

#include <awali/sttc/weightset/b.hh>
#include <awali/sttc/ctx/lal_char.hh>
#include <awali/sttc/ctx/lan_char.hh>
#include <awali/sttc/ctx/lat.hh>
#include <awali/sttc/core/mutable_automaton.hh>
#include <vector>
#include <awali/sttc/algos/js_parser.hh>
#include <awali/sttc/algos/js_print.hh>
#include <awali/sttc/algos/exp_parser.hh>
#include <awali/sttc/labelset/traits.hh>
#include <awali/sttc/json.hxx>

Go to the source code of this file.

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

Functions
ctx::lan_char::value_t	awali::sttc::get_epsilon ()
	Helper to get the value of epsilon. More...
template<typename AUTOMATON >
auto	awali::sttc::get_ratexpset (AUTOMATON &aut) -> ratexpset_of< context_t_of< AUTOMATON >>
bool	awali::sttc::is_epsilon (ctx::lan_char::value_t v)
template<typename Automaton , unsigned version = version::fsm_json>
std::ostream &	awali::sttc::js_print (Automaton aut, std::ostream &o, bool full=false, json_ast_t extra_metadata=json_ast::empty())
template<typename RatExpSet , unsigned version = version::fsm_json>
std::ostream &	awali::sttc::js_print (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, std::ostream &o, json_ast_t extra_metadata=json_ast::empty())
template<typename T >
mutable_automaton< context< ctx::lal_char, T > >	awali::sttc::load_automaton (std::istream &is)
template<typename T >
mutable_automaton< context< ctx::lan_char, T > >	awali::sttc::load_automaton_with_epsilon (std::istream &is)
template<typename T >
mutable_automaton< context< ctx::lal_char, T > >	awali::sttc::make_automaton (const std::set< char > &letters)
	Build an awali weighted automaton labeled by letters. More...
template<typename T >
mutable_automaton< context< ctx::lan_char, T > >	awali::sttc::make_automaton_with_epsilon (const std::set< char > &letters)
	Build an awali weighted automaton labeled by letters with epsilon transitions. More...
template<typename T >
context< ctx::lal_char, T >	awali::sttc::make_context (const std::set< char > &letters)
template<typename RATEXPSET >
auto	awali::sttc::make_ratexp (RATEXPSET &ratset, const std::string &exp) -> typename RATEXPSET::ratexp_t
template<typename T >
ratexpset_of< context< ctx::lal_char, T > >	awali::sttc::make_ratexpset ()
template<typename T >
ratexpset_of< context< ctx::lat< ctx::lan_char, ctx::lan_char >, T > >	awali::sttc::make_tdc_ratexpset ()
template<typename T >
mutable_automaton< context< ctx::lat< ctx::lan_char, ctx::lan_char >, T > >	awali::sttc::make_transducer (const std::set< char > &letterA, const std::set< char > &letterB)