Vcsn  2.2
Be Rational
minimize-moore.hh File Reference
#include <unordered_map>
#include <vector>
#include <vcsn/misc/attributes.hh>
#include <vcsn/algos/is-free-boolean.hh>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/is-deterministic.hh>
#include <vcsn/algos/quotient.hh>
#include <vcsn/core/transition-map.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/weightset/fwd.hh>
Include dependency graph for minimize-moore.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  vcsn::moore_tag
 Request for Moore implementation of minimize (B and free). More...
 
class  vcsn::detail::minimizer< Aut, moore_tag >
 

Namespaces

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

Functions

template<Automaton Aut>
ATTRIBUTE_NORETURN std::enable_if_t<!is_free_boolean< Aut >), quotient_t< Aut > > vcsn::dyn::detail::minimize (const Aut &, moore_tag)