Vcsn  2.3
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.

Classes

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

Namespaces

 vcsn
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

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)