Vcsn  2.4
Be Rational
push-weights.hh File Reference
#include <vcsn/algos/distance.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/unordered_map.hh>
Include dependency graph for push-weights.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.




template<Automaton Aut>
weight_t_of< Aut > vcsn::shortest_distance_to_finals (Aut aut, state_t_of< Aut > s0)
 Find shorhest of s0 to the final states of aut by using single source shortest distance. More...
template<Automaton Aut>
std::unordered_map< state_t_of< Aut >, weight_t_of< Aut > > vcsn::shortest_distance_to_finals (Aut aut)
 Find all shortest distances of each state to the final states of aut. More...
template<Automaton Aut>
auto vcsn::push_weights (const Aut &aut) -> decltype(::vcsn::copy(aut))
 The algorithm weight pushing. More...
template<Automaton Aut>
automaton vcsn::dyn::detail::push_weights (const automaton &aut)
 Bridge. More...