Vcsn
2.3
Be Rational
|
#include <algorithm>
#include <vcsn/algos/is-free-boolean.hh>
#include <vcsn/algos/quotient.hh>
#include <vcsn/labelset/stateset.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/dynamic_bitset.hh>
#include <vcsn/misc/set.hh>
#include <vcsn/misc/vector.hh>
#include <vcsn/misc/wet.hh>
#include <vcsn/weightset/b.hh>
#include <vcsn/weightset/polynomialset.hh>
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) |