Vcsn  2.3
Be Rational
lightest-automaton.hh File Reference
#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>
Include dependency graph for lightest-automaton.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...