Vcsn
2.3
Be Rational
|
#include <boost/optional.hpp>
#include <vcsn/algos/k-lightest-path.hh>
#include <vcsn/algos/a-star.hh>
#include <vcsn/algos/bellman-ford.hh>
#include <vcsn/algos/dijkstra.hh>
#include <vcsn/algos/tags.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/labelset/word-polynomialset.hh>
#include <vcsn/misc/getargs.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::detail | |
Functions | |
template<Automaton Aut, typename Tag = auto_tag> | |
std::vector< transition_t_of< Aut > > | vcsn::lightest_path (const Aut &aut, Tag tag={}) |
Lightest path dispatch between algorithms with tags. More... | |
template<Automaton Aut> | |
std::vector< transition_t_of< Aut > > | vcsn::lightest_path (const Aut &aut, state_t_of< Aut > source, state_t_of< Aut > dest, auto_tag={}) |
template<Automaton Aut, typename Tag > | |
std::vector< transition_t_of< Aut > > | vcsn::detail::lightest_path_tag (const Aut &aut, state_t_of< Aut > src, state_t_of< Aut > dst) |
Tag-based dispatch on implementation. More... | |
template<Automaton Aut> | |
std::vector< transition_t_of< Aut > > | vcsn::lightest_path (const Aut &aut, state_t_of< Aut > src, state_t_of< Aut > dst, const std::string &algo) |
Lightest path dispatch between algorithms with string. More... | |
template<Automaton Aut> | |
auto | vcsn::path_monomial (const Aut &aut, const std::vector< transition_t_of< Aut >> &path, state_t_of< Aut > src=Aut::element_type::pre(), state_t_of< Aut > dst=Aut::element_type::post()) -> boost::optional< typename detail::word_polynomialset_t< context_t_of< Aut >>::monomial_t > |
Given a path (typically computed by lightest_path), the corresponding monomial (label, weight). More... | |