Boolean automata determinization. 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_deterministic (const Element< A, AI > &a) |
Test if an automaton is deterministic. |
Boolean automata determinization.
Definition in file is_deterministic.hh.