vcsn::splitting Namespace Reference

Functions
template<typename S, typename T>
Element< S, T >	outsplitting (const Element< S, T > &aut, std::set< hstate_t > &m)
template<typename S, typename T>
Element< S, T >	insplitting (const Element< S, T > &aut, std::set< hstate_t > &m)
template<typename S, typename T>
Element< S, T >	outsplitting (const Element< S, T > &aut)
template<typename S, typename T>
Element< S, T >	insplitting (const Element< S, T > &aut)
template<typename S, typename M1, typename M2, typename Auto_t>
Auto_t	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	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.

---

Function Documentation

Auto_t vcsn::splitting::do_outsplitting	(	const AutomataBase< S > &	,
		const algebra::FreeMonoidProduct< M1, M2 > &	,
		const Auto_t &	aut,
		std::set< hstate_t > &	m
	)			[inline]

Separate states considering their output: a|1 on one state, 1|x and a|x on the other.

Definition at line 45 of file outsplitting.hxx.

References vcsn::coaccessible().

Referenced by outsplitting().

Auto_t vcsn::splitting::do_insplitting	(	const AutomataBase< S > &	,
		const algebra::FreeMonoidProduct< M1, M2 > &	,
		const Auto_t &	aut,
		std::set< hstate_t > &	m
	)			[inline]

Separate states considering their input: 1|x on one state, a|1 and a|x on the other.

Definition at line 144 of file outsplitting.hxx.

Referenced by insplitting().

---