|
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.
|
