minimize-brzozowski.hh File Reference

#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>

Include dependency graph for minimize-brzozowski.hh:

This graph shows which files directly or indirectly include this file:

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...