weight-series.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/algos/eval.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/weight.hh>
#include <vcsn/weightset/fwd.hh> // nmin

namespace vcsn
{
  template <Automaton Aut>
  inline
  auto
  weight_series(const Aut& a)
    -> std::enable_if_t<!is_tropical<weightset_t_of<Aut>>::value,
                        weight_t_of<Aut>>
  {
    auto aut = proper(to_spontaneous(a));
    return eval(aut);
  }

  template <Automaton Aut>
  inline
  auto
  weight_series(const Aut& a)
    -> std::enable_if_t<is_tropical<weightset_t_of<Aut>>::value,
                        weight_t_of<Aut>>
  {
    auto res = path_monomial(a, lightest_path(a));
    return res ? res->second : a->weightset()->zero();
  }

  namespace dyn
  {
    namespace detail
    {
      template <Automaton Aut>
      weight
      weight_series(const automaton& aut)
      {
        const auto& a = aut->as<Aut>();
        auto res = ::vcsn::weight_series(a);
        const auto& ctx = a->context();
        return make_weight(*ctx.weightset(), res);
      }
    }
  }
} // namespace vcsn