Vcsn  2.4
Be Rational
minimize-hopcroft.hh File Reference
Include dependency graph for minimize-hopcroft.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  vcsn::hopcroft_tag
 Request for Hopcroft implementation of minimize (B and free). More...




template<Automaton Aut>
std::enable_if_t< is_free_boolean< Aut >), quotient_t< Aut > > vcsn::minimize (const Aut &a, hopcroft_tag)
template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean< Aut >), quotient_t< Aut > > vcsn::dyn::detail::minimize (const Aut &, hopcroft_tag)