Vcsn  2.3
Be Rational
minimize.hh File Reference
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...