minimize-signature.hh File Reference

#include <unordered_map>
#include <unordered_set>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/quotient.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/indent.hh>
#include <vcsn/misc/map.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/fwd.hh>

Include dependency graph for minimize-signature.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	vcsn::signature_tag
	Request for Moore implementation of minimize (B). More...
class	vcsn::detail::minimizer< Aut, signature_tag >
struct	vcsn::detail::minimizer< Aut, signature_tag >::state_output_for_label_t
struct	vcsn::detail::minimizer< Aut, signature_tag >::signature_hasher
struct	vcsn::detail::minimizer< Aut, signature_tag >::signature_equal_to

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

Functions
template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, quotient_t< Aut > >	vcsn::dyn::detail::minimize (const Aut &, signature_tag)