![]() |
Vcsn
2.4
Be Rational
|
#include <vcsn/misc/attributes.hh>
#include <vcsn/algos/is-free-boolean.hh>
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/algos/transpose.hh>
Go to the source code of this file.
Classes | |
struct | vcsn::brzozowski_tag |
Request for Brzozowski implementation of minimize (B and free). More... | |
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Typedefs | |
template<Automaton Aut> | |
using | vcsn::codeterminized_automaton = transpose_automaton< determinized_automaton< decltype(transpose(std::declval< Aut >())), wet_kind_t::bitset >> |
The type of the codeterminized automaton. More... | |
Functions | |
template<Automaton Aut> | |
auto | vcsn::minimize (const Aut &a, brzozowski_tag) -> std::enable_if_t< is_free_boolean< Aut >(), determinized_automaton< codeterminized_automaton< Aut >, wet_kind_t::bitset >> |
Brzozowski-based minimization. More... | |
template<Automaton Aut> | |
ATTRIBUTE_NORETURN std::enable_if_t <!is_free_boolean< Aut >), Aut > | vcsn::dyn::detail::minimize (const Aut &, brzozowski_tag) |
Handling of errors for dyn::minimize. More... | |