minimize.hh File Reference

#include <vcsn/algos/is-deterministic.hh>
#include <vcsn/algos/minimize-brzozowski.hh>
#include <vcsn/algos/minimize-moore.hh>
#include <vcsn/algos/minimize-signature.hh>
#include <vcsn/algos/minimize-weighted.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/weightset/fwd.hh>

Include dependency graph for minimize.hh:

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

Go to the source code of this file.

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

Functions
template<typename Aut >
constexpr bool	vcsn::detail::can_use_brzozowski ()
template<typename Aut >
vcsn::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value &&labelset_t_of< Aut >::is_free(), quotient_t< Aut > >	vcsn::minimize (const Aut &a, const std::string &algo="auto")
template<typename Aut >
vcsn::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value &&!labelset_t_of< Aut >::is_free(), quotient_t< Aut > >	vcsn::minimize (const Aut &a, const std::string &algo="auto")
template<typename Aut >
vcsn::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, quotient_t< Aut > >	vcsn::minimize (const Aut &a, const std::string &algo="auto")
template<typename Aut >
auto	vcsn::cominimize (const Aut &a, const std::string &algo="auto") -> decltype(transpose(minimize(transpose(a), algo)))
template<typename Aut , typename String >
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton >	vcsn::dyn::detail::minimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton >	vcsn::dyn::detail::minimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
automaton	vcsn::dyn::detail::minimize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<typename Aut , typename String >
vcsn::enable_if_t<::vcsn::detail::can_use_brzozowski< Aut >), automaton >	vcsn::dyn::detail::cominimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
vcsn::enable_if_t<!::vcsn::detail::can_use_brzozowski< Aut >), automaton >	vcsn::dyn::detail::cominimize_ (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
automaton	vcsn::dyn::detail::cominimize (const automaton &aut, const std::string &algo)
	Bridge. More...