Include dependency graph for outsplitting.hh:
This graph shows which files directly or indirectly include this file:
Namespaces | |
namespace | vcsn |
Functions | |
template<typename Auto_t> | |
Auto_t | outsplitting (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 Auto_t> | |
Auto_t | insplitting (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. |