outsplitting.hxx File Reference

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

Include dependency graph for outsplitting.hxx:

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

Go to the source code of this file.

Namespaces
namespace	vcsn
namespace	vcsn::splitting
Functions
template<typename S, typename M1, typename M2, typename Auto_t>
Auto_t	vcsn::splitting::do_outsplitting (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const Auto_t &aut, std::set< hstate_t > &m)
	Separate states considering their output: a|1 on one state, 1|x and a|x on the other.
template<typename S, typename M1, typename M2, typename Auto_t>
Auto_t	vcsn::splitting::do_insplitting (const AutomataBase< S > &, const algebra::FreeMonoidProduct< M1, M2 > &, const Auto_t &aut, std::set< hstate_t > &m)
	Separate states considering their input: 1|x on one state, a|1 and a|x on the other.
template<typename S, typename T>
Element< S, T >	vcsn::splitting::outsplitting (const Element< S, T > &aut, std::set< hstate_t > &m)
template<typename S, typename T>
Element< S, T >	vcsn::splitting::insplitting (const Element< S, T > &aut, std::set< hstate_t > &m)
template<typename S, typename T>
Element< S, T >	vcsn::splitting::outsplitting (const Element< S, T > &aut)
template<typename S, typename T>
Element< S, T >	vcsn::splitting::insplitting (const Element< S, T > &aut)

---

Detailed Description

Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product.

Author:

Sarah O'Connor <sarah.o-connor@lrde.epita.fr>

Definition in file outsplitting.hxx.

---