Vcsn  2.4
Be Rational
weight-series.hh File Reference
#include <vcsn/algos/evaluate.hh>
#include <vcsn/algos/lightest-path.hh>
#include <vcsn/algos/to-spontaneous.hh>
#include <vcsn/algos/proper.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/weightset/fwd.hh>
Include dependency graph for weight-series.hh:

Go to the source code of this file.

Namespaces

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

Functions

template<Automaton Aut>
auto vcsn::weight_series (const Aut &a) -> std::enable_if_t<!is_tropical< weightset_t_of< Aut >>::value, weight_t_of< Aut >>
 
template<Automaton Aut>
weight vcsn::dyn::detail::weight_series (const automaton &aut)
 Bridge. More...