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>

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 >
auto	awali::sttc::get_ratexpset (AUTOMATON &aut) -> ratexpset_of< context_t_of< AUTOMATON >>
template<typename T >
mutable_automaton< context< ctx::lal_char, T > >	awali::sttc::load_automaton (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 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)