Boolean automata determinization. More...
Include dependency graph for determinize.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| namespace | vcsn |
| The main namespace of the Vaucanson library. | |
Functions | |
Determinization algorithms | |
| template<typename A , typename AI > | |
| Element< A, AI > | determinize (const Element< A, AI > &a) |
| Build a deterministic automaton from a Boolean automaton. | |
| template<typename A , typename AI > | |
| Element< A, AI > | determinize (const Element< A, AI > &a, std::map< typename Element< A, AI >::hstate_t, std::set< typename Element< A, AI >::hstate_t > > &m) |
| Build a deterministic automaton from a Boolean automaton, keeping trace of state-to-states correspondences. | |
Detailed Description
Boolean automata determinization.
- Date:
- Tue Jun 24 19:13:10 2003
- See also:
- determinize()
Definition in file determinize.hh.
