minimize-hopcroft.hh File Reference

#include <algorithm>
#include <vcsn/misc/attributes.hh>
#include <vcsn/algos/is-free-boolean.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/wet.hh>
#include <vcsn/misc/set.hh>
#include <vcsn/misc/vector.hh>
#include <vcsn/weightset/b.hh>
#include <vcsn/weightset/polynomialset.hh>
#include <vcsn/algos/quotient.hh>

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)