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
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail

Functions
template<typename Aut >
constexpr bool	vcsn::detail::can_use_brzozowski ()
template<typename Aut >
std::enable_if< std::is_same < weightset_t_of< Aut >, b > ::value &&labelset_t_of< Aut > ::is_free(), partition_automaton< Aut > >::type	vcsn::minimize (const Aut &a, const std::string &algo)
template<typename Aut >
std::enable_if< std::is_same < weightset_t_of< Aut >, b > ::value &&!labelset_t_of< Aut > ::is_free(), partition_automaton< Aut > >::type	vcsn::minimize (const Aut &a, const std::string &algo)
template<typename Aut >
std::enable_if<!std::is_same < weightset_t_of< Aut >, b > ::value, partition_automaton < Aut > >::type	vcsn::minimize (const Aut &a, const std::string &algo)
template<typename Aut >
auto	vcsn::cominimize (const Aut &a, const std::string &algo) -> decltype(transpose(minimize(transpose(a), algo)))
template<typename Aut , typename String >
std::enable_if <::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	vcsn::dyn::detail::minimize (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
std::enable_if <!::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	vcsn::dyn::detail::minimize (const automaton &aut, const std::string &algo)
	vcsn::dyn::detail::REGISTER_DECLARE (minimize,(const automaton &aut, const std::string &algo) -> automaton)
template<typename Aut , typename String >
std::enable_if <::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	vcsn::dyn::detail::cominimize (const automaton &aut, const std::string &algo)
template<typename Aut , typename String >
std::enable_if <!::vcsn::detail::can_use_brzozowski < Aut >), automaton >::type	vcsn::dyn::detail::cominimize (const automaton &aut, const std::string &algo)
	vcsn::dyn::detail::REGISTER_DECLARE (cominimize,(const automaton &aut, const std::string &algo) -> automaton)