Go to the source code of this file.
Namespaces | |
namespace | vcsn |
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. |
Definition in file determinize.hh.