![]() |
Vcsn
2.3a
Be Rational
|
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/tags.hh>
#include <vcsn/algos/lightest-path.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/set.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut, typename Algo = auto_tag> | |
fresh_automaton_t_of< Aut > | vcsn::lightest_automaton (const Aut &aut, unsigned k, Algo algo={}) |
Lightest Automaton. More... | |
template<Automaton Aut, typename Num , typename String > | |
automaton | vcsn::dyn::detail::lightest_automaton (const automaton &aut, unsigned k, const std::string &algo) |
Bridge. More... | |