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.

Namespaces
	vcsn
	vcsn::dyn
	vcsn::dyn::detail

Functions
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...