Vcsn  2.3
Be Rational
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)