Typedefs | |
typedef vcsn::Automata< series_set_elt_t::set_t > | automata_set_t |
typedef vcsn::Element< automata_set_t, automaton_impl_t > | automaton_t |
typedef vcsn::generalized_traits< automaton_t >::automaton_t | gen_automaton_t |
typedef vcsn::algebra::NumericalSemiring | semiring_t |
typedef bool | semiring_elt_value_t |
typedef vcsn::Element< semiring_t, semiring_elt_value_t > | semiring_elt_t |
typedef char | letter_t |
typedef vcsn::algebra::AlphabetSet< letter_t > | alphabet_set_t |
typedef std::set< letter_t > | alphabet_impl_t |
typedef vcsn::Element< alphabet_set_t, alphabet_impl_t > | alphabet_t |
typedef vcsn::algebra::FreeMonoid< alphabet_t > | monoid_t |
typedef std::basic_string< alphabet_t::letter_t > | monoid_elt_value_t |
typedef vcsn::Element< monoid_t, monoid_elt_value_t > | monoid_elt_t |
typedef vcsn::algebra::FreeMonoidProduct< first_monoid_t, second_monoid_t > | monoid_t |
typedef std::pair< std::string, std::string > | monoid_elt_value_t |
typedef vcsn::Element< monoid_t, monoid_elt_value_t > | monoid_elt_t |
typedef vcsn::Graph< labels_are_series, series_set_elt_t::value_t::monoid_elt_value_t, series_set_elt_t::value_t::semiring_elt_value_t, series_set_elt_t::value_t, series_set_elt_t::set_t::monoid_t::letter_t, NoTag, geometry > | automaton_impl_t |
typedef vcsn::rat::exp< monoid_elt_t::value_t, semiring_elt_t::value_t > | rat_exp_impl_t |
typedef vcsn::Element< series_set_t, rat_exp_impl_t > | rat_exp_t |
typedef vcsn::algebra::Series< semiring_elt_t::set_t, monoid_elt_t::set_t > | series_set_t |
typedef vcsn::algebra::polynom< monoid_elt_t::value_t, semiring_elt_t::value_t > | series_set_elt_value_t |
typedef vcsn::Element< series_set_t, series_set_elt_value_t > | series_set_elt_t |
typedef vcsn::algebra::NumericalSemiring | semiring_t |
typedef float | semiring_elt_value_t |
typedef vcsn::Element< semiring_t, semiring_elt_value_t > | semiring_elt_t |
typedef output_series_set_elt_t | semiring_elt_t |
typedef output_series_set_elt_t::set_t | semiring_t |
typedef output_series_set_elt_t::value_t | semiring_elt_value_t |
typedef vcsn::Transducer< series_set_elt_t::set_t > | automata_set_t |
typedef Element< automata_set_t, automaton_impl_t > | automaton_t |
typedef vcsn::algebra::TropicalSemiring< vcsn::algebra::TropicalMax > | semiring_t |
typedef int | semiring_elt_value_t |
typedef vcsn::Element< semiring_t, semiring_elt_value_t > | semiring_elt_t |
typedef vcsn::algebra::TropicalSemiring< vcsn::algebra::TropicalMin > | semiring_t |
typedef int | semiring_elt_value_t |
typedef vcsn::Element< semiring_t, semiring_elt_value_t > | semiring_elt_t |
typedef vcsn::algebra::NumericalSemiring | semiring_t |
typedef int | semiring_elt_value_t |
typedef vcsn::Element< semiring_t, semiring_elt_value_t > | semiring_elt_t |
Functions | |
template<class T> | |
automaton_t | make_automaton (const T &alphabet) |
template<class InputIterator> | |
automaton_t | make_automaton (InputIterator begin, InputIterator end) |
template<class T> | |
gen_automaton_t | make_gen_automaton (const T &alphabet) |
template<class InputIterator> | |
gen_automaton_t | make_gen_automaton (InputIterator begin, InputIterator end) |
template<class Iterator> | |
rat_exp_t | make_rat_exp (const Iterator &begin, const Iterator &end, const std::string &exp="0") |
template<class T> | |
rat_exp_t | make_rat_exp (const T &alphabet, const std::string &exp="0") |
template<class SeriesSet, class SeriesImpl> | |
automaton_t | standard_of (const Element< SeriesSet, SeriesImpl > &e) |
template<class SeriesSet, class SeriesImpl> | |
automaton_t | thompson_of (const Element< SeriesSet, SeriesImpl > &e) |
rat_exp_t | aut_to_exp (const automaton_t &a) |
template<class Chooser> | |
rat_exp_t | aut_to_exp (const automaton_t &a, const Chooser &c) |
template<class InputIterator> | |
automata_set_t | make_automata_set (InputIterator begin, InputIterator end) |
template<class SeriesImpl> | |
automaton_t | do_standard_of (const series_set_t &structure, const SeriesImpl &impl) |
template<class SeriesImpl> | |
automaton_t | do_thompson_of (const series_set_t &structure, const SeriesImpl &impl) |
template<class T1, class T2> | |
automaton_t | make_automaton (const T1 &first_alphabet, const T2 &second_alphabet) |
template<class FirstInputIterator, class SecondInputIterator> | |
automaton_t | make_automaton (const FirstInputIterator first_begin, const FirstInputIterator first_end, const SecondInputIterator second_begin, const SecondInputIterator second_end) |
template<class T1, class T2> | |
monoid_elt_t | make_couple (const T1 &first_alphabet, const T2 &second_alphabet, const std::string &first_exp="", const std::string &second_exp="") |
template<class FirstIterator, class SecondIterator> | |
monoid_elt_t | make_couple (const FirstIterator first_begin, const FirstIterator first_end, const SecondIterator second_begin, const SecondIterator second_end, const std::string &first_exp, const std::string &second_exp) |
template<typename TransStruct, typename TransImpl, typename ArgStruct, typename ArgImpl> | |
AUTOMATON_CONTEXT::rat_exp_t | evaluation (const Element< TransStruct, TransImpl > &t, const Element< ArgStruct, ArgImpl > &input) |
template<class FirstInputIterator, class SecondInputIterator> | |
automata_set_t | make_automata_set (const FirstInputIterator first_begin, const FirstInputIterator first_end, const SecondInputIterator second_begin, const SecondInputIterator second_end) |
template<typename TransStruct, typename TransImpl, typename SeriesStruct, typename SeriesImpl, typename S, typename T> | |
AUTOMATON_CONTEXT::rat_exp_t | do_evaluation (const vcsn::AutomataBase< TransStruct > &, const TransImpl &, const SeriesStruct &, const vcsn::rat::exp< S, T > &input, const Element< TransStruct, TransImpl > &t, const Element< SeriesStruct, SeriesImpl > &) |
template<class T> | |
automaton_t | make_automaton (const T &input_alphabet, const T &output_alphabet) |
template<class InputIterator> | |
automaton_t | make_automaton (InputIterator input_alphabet_begin, InputIterator input_alphabet_end, InputIterator output_alphabet_begin, InputIterator output_alphabet_end) |
template<typename TransStruct, typename TransImpl, typename MonoidStruct, typename MonoidImpl> | |
output_series_set_elt_t | do_evaluation (const vcsn::TransducerBase< TransStruct > &, const TransImpl &, const vcsn::algebra::FreeMonoidBase< MonoidStruct > &, const MonoidImpl &input, const Element< TransStruct, TransImpl > &t, const Element< MonoidStruct, MonoidImpl > &) |
template<typename TransStruct, typename TransImpl, typename SeriesStruct, typename SeriesImpl, typename S, typename T> | |
output_series_set_elt_t | do_evaluation (const vcsn::TransducerBase< TransStruct > &, const TransImpl &, const SeriesStruct &, const vcsn::rat::exp< S, T > &input, const Element< TransStruct, TransImpl > &t, const Element< SeriesStruct, SeriesImpl > &) |