Vcsn
2.1
Be Rational
|
#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>
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... | |