|
Vaucanson 1.4
|
Algorithms for accessible/coaccessible states computation. More...


Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
| template<typename A , typename AI > | |
| std::set< typename Element< A, AI >::hstate_t > | accessible_states (const Element< A, AI > &a) |
| Return accessible states. | |
| template<typename A , typename AI > | |
| Element< A, AI > | accessible (const Element< A, AI > &a) |
| Extract the sub-automaton composed of accessible states. | |
| template<typename A , typename AI > | |
| void | accessible_here (Element< A, AI > &a) |
| In-place extract the sub-automaton of accessible states. | |
| template<typename A , typename AI > | |
| std::set< typename Element< A, AI >::hstate_t > | coaccessible_states (const Element< A, AI > &a) |
| Return co-accessible states. | |
| template<typename A , typename AI > | |
| Element< A, AI > | coaccessible (const Element< A, AI > &a) |
| Extract the sub-automaton composed of co-accessible states. | |
| template<typename A , typename AI > | |
| void | coaccessible_here (Element< A, AI > &a) |
| In-place extract the sub-automaton of co-accessible states. | |
Algorithms for accessible/coaccessible states computation.
A few algorithms to get accessible or coaccessible states from an automaton.
Definition in file accessible.hh.
1.7.4