This files declares the backward and forward eps_removal algorithm. 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 > | |
| bool | is_proper (const Element< A, AI > &a) |
| Test whether an automaton is proper. | |
| template<typename A , typename AI > | |
| void | eps_removal_here (Element< A, AI > &a, misc::direction_type dir=misc::backward) |
| In place eps_removal of an automaton (default is backward eps_removal). | |
| template<typename A , typename AI > | |
| Element< A, AI > | eps_removal (const Element< A, AI > &a, misc::direction_type dir=misc::backward) |
| Eps_Removal of an automaton (default is backward eps_removal). | |
| template<typename A , typename AI > | |
| void | backward_eps_removal_here (Element< A, AI > &a) |
| In place backward eps_removal of an automaton. | |
| template<typename A , typename AI > | |
| Element< A, AI > | backward_eps_removal (const Element< A, AI > &a) |
| Backward eps_removal of an automaton. | |
| template<typename A , typename AI > | |
| void | forward_eps_removal_here (Element< A, AI > &a) |
| In place forward eps_removal of an automaton. | |
| template<typename A , typename AI > | |
| Element< A, AI > | forward_eps_removal (const Element< A, AI > &a) |
| Forward eps_removal of an automaton. | |
This files declares the backward and forward eps_removal algorithm.
Definition in file eps_removal.hh.
1.7.1