#include <algorithm>
#include <boost/algorithm/string/predicate.hpp>
#include <boost/range/algorithm/mismatch.hpp>
#include <boost/range/iterator_range_core.hpp>
#include <vcsn/algos/dijkstra.hh>
#include <vcsn/algos/filter.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/misc/fibonacci_heap.hh>
#include <vcsn/weightset/weightset.hh>
 
Go to the source code of this file.
 | 
| template<Automaton Aut, typename ValueSet , typename Mul , typename GetValue >  | 
| auto  | vcsn::detail::make_yen (const Aut &aut, const ValueSet &vs, Mul mul, GetValue get_value) | 
|   | 
| template<Automaton Aut>  | 
| std::vector< path_t_of< Aut > >  | vcsn::k_lightest_path (const Aut &aut, state_t_of< Aut > src, state_t_of< Aut > dst, unsigned k) | 
|   | 
| template<Automaton Aut>  | 
| predecessors_t_of< Aut >  | vcsn::format_lightest (const Aut &aut, const std::vector< transition_t_of< Aut >> &path) | 
|   | A state-indexed vector of predecessor transitions from the path path.  More...
  | 
|   | 
| template<Automaton Aut>  | 
| predecessors_t_of< Aut >  | vcsn::lightest_path (const Aut &aut, state_t_of< Aut > src, state_t_of< Aut > dst, yen_tag) | 
|   |