minimize.hh File Reference

#include <vcsn/algos/is-deterministic.hh>
#include <vcsn/algos/is-free-boolean.hh>
#include <vcsn/algos/minimize-brzozowski.hh>
#include <vcsn/algos/minimize-hopcroft.hh>
#include <vcsn/algos/minimize-moore.hh>
#include <vcsn/algos/minimize-signature.hh>
#include <vcsn/algos/minimize-weighted.hh>
#include <vcsn/algos/tags.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/misc/getargs.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::dyn
	vcsn::dyn::detail

Functions
template<Automaton Aut, typename Tag >
auto	vcsn::minimize (const Aut &a, Tag) -> quotient_t< Aut >
	Minimization via the minimizer functors. More...
template<Automaton Aut>
std::enable_if_t< std::is_same< weightset_t_of< Aut >, b >::value, quotient_t< Aut > >	vcsn::minimize (const Aut &a, auto_tag={})
	Minimization for Boolean automata: auto_tag. More...
template<Automaton Aut>
std::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, quotient_t< Aut > >	vcsn::minimize (const Aut &a, auto_tag={})
	Minimization for non Boolean automata: auto_tag.. More...
template<Automaton Aut>
std::enable_if_t< is_free_boolean< Aut >), quotient_t< Aut > >	vcsn::minimize (const Aut &a, const std::string &algo)
	Minimization for Boolean automata on a free labelset: algo selection. More...
template<Automaton Aut>
std::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)
	Minimization for Boolean automata on a non-free labelset: algo selection. More...
template<Automaton Aut>
std::enable_if_t<!std::is_same< weightset_t_of< Aut >, b >::value, quotient_t< Aut > >	vcsn::minimize (const Aut &a, const std::string &algo)
	Minimization for non Boolean automata: algo selection. More...
template<Automaton Aut, typename Tag = auto_tag>
auto	vcsn::cominimize (const Aut &a, Tag tag={}) -> decltype(transpose(minimize(transpose(a), tag)))
	Cominimization. More...
template<Automaton Aut, typename Tag >
automaton	vcsn::dyn::detail::minimize_tag_ (const Aut &aut)
	Helper function to facilitate dispatch below. More...
template<Automaton Aut, typename String >
automaton	vcsn::dyn::detail::minimize (const automaton &aut, const std::string &algo)
	Bridge. More...
template<Automaton Aut, typename Tag >
automaton	vcsn::dyn::detail::cominimize_tag_ (const Aut &aut)
	Helper function to facilitate dispatch below. More...
template<Automaton Aut, typename String >
automaton	vcsn::dyn::detail::cominimize (const automaton &aut, const std::string &algo)
	Bridge. More...