![]() |
Vcsn
2.3a
Be Rational
|
#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>
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... | |