Vcsn  2.2
Be Rational
word-polynomialset.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <vcsn/labelset/wordset.hh>
4 #include <vcsn/weightset/polynomialset.hh>
5 
6 namespace vcsn
7 {
8  namespace detail
9  {
10  /*--------------------------.
11  | make_word_polynomialset. |
12  `--------------------------*/
13 
14  template <typename Ctx>
15  using word_polynomialset_t = polynomialset<word_context_t<Ctx>>;
16 
19  template <typename Ctx>
20  inline auto
21  make_word_polynomialset(const Ctx& ctx)
22  -> word_polynomialset_t<Ctx>
23  {
24  return make_word_context(ctx);
25  }
26  }
27 }
vcsn
Definition: a-star.hh:8
vcsn::weightset_mixin
Provide a variadic mul on top of a binary mul(), and one().
Definition: fwd.hh:46
vcsn::detail::make_word_context
word_context_t< context< LabelSet, WeightSet > > make_word_context(const context< LabelSet, WeightSet > &ctx)
The wordset context of a context.
Definition: labelset.hh:285
vcsn::detail::make_word_polynomialset
auto make_word_polynomialset(const Ctx &ctx) -> word_polynomialset_t< Ctx >
The polynomialset of words of a labelset (not necessarily on words itself).
Definition: word-polynomialset.hh:21
vcsn::rat::ctx
static dyn::context ctx(const driver &d)
Get the context of the driver.
Definition: parse.cc:82