normalized_composition.hxx File Reference

Composition for normalized and sub-normalized transducers seen as automata over a free monoid product. More...

Include dependency graph for normalized_composition.hxx:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  vcsn

Classes

struct  composition_traits

Functions

template<typename res_t>
void vcsn::add_transition (res_t &output, composition_traits::visited_t &visited, composition_traits::to_process_t &to_process, std::set< hstate_t > &lhs_states, std::set< hstate_t > &rhs_states, composition_traits::map_of_states_t &m, const hstate_t current_state, const hstate_t from, const hstate_t to, typename res_t::series_set_elt_t &prod_series)
template<typename S, typename M1, typename M2, typename lhs_t, typename rhs_t, typename res_t>
void vcsn::do_b_composition (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const lhs_t &lhs, const rhs_t &rhs, res_t &output, std::set< hstate_t > &lhs_states, std::set< hstate_t > &rhs_states, composition_traits::map_of_states_t &m)
template<typename S, typename M1, typename M2, typename coeff_t, typename lhs_t, typename rhs_t, typename res_t>
void vcsn::do_compose (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const coeff_t &, const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
 compose with multiplicities
template<typename S, typename M1, typename M2, typename lhs_t, typename rhs_t, typename res_t>
void vcsn::do_compose (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, SELECTOR(bool), const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
 compose with boolean multiplicities
template<typename S, typename M1, typename M2, typename lhs_t, typename rhs_t, typename res_t>
void vcsn::do_u_compose (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, SELECTOR(bool), const lhs_t &lhs, const rhs_t &rhs, res_t &ret)
 unambiguous compose with boolean multiplicities
template<typename S, typename T>
void vcsn::compose (const Element< S, T > &lhs, const Element< S, T > &rhs, Element< S, T > &ret)
 Facade for compose.
template<typename S, typename T>
Element< S, T > vcsn::compose (const Element< S, T > &lhs, const Element< S, T > &rhs)
 Composition for unweighted normalized and sub-normalized transducers, seen as automata over a free monoid product.
template<typename S, typename T>
void vcsn::u_compose (const Element< S, T > &lhs, const Element< S, T > &rhs, Element< S, T > &ret)
 Facade for unambiguous composition.
template<typename S, typename T>
Element< S, T > vcsn::u_compose (const Element< S, T > &lhs, const Element< S, T > &rhs)
 Unambiguous composition for unweighted normalized and sub-normalized transducers, seen as automata over a free monoid product.


Detailed Description

Composition for normalized and sub-normalized transducers seen as automata over a free monoid product.

Author:
Sarah O'Connor

Definition in file normalized_composition.hxx.


Generated on Sat Jul 29 17:21:06 2006 for Vaucanson by  doxygen 1.4.6