![]() |
Vcsn
2.3a
Be Rational
|
#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>
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) |