Include dependency graph for minimization_hopcroft.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
Functions | |
template<typename A, typename T> | |
Element< A, T > | vcsn::minimization_hopcroft (const Element< A, T > &a) |
Return the minimal automaton using the hopcroft algorithm. | |
template<typename A, typename T> | |
Element< A, T > | vcsn::quotient (const Element< A, T > &a) |
Return the quotient of a non-deterministic acceptor. |
Definition in file minimization_hopcroft.hh.