project-context.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/ctx/context.hh>
#include <vcsn/labelset/tupleset.hh>

namespace vcsn
{

  /*--------------------.
  | project(context).   |
  `--------------------*/

  namespace detail
  {
    template <size_t Tape,
              typename LabelSet, typename WeightSet>
    auto project(const context<LabelSet, WeightSet>& ctx)
      -> std::enable_if_t<context<LabelSet, WeightSet>::is_lat,
                          project_context<Tape, context<LabelSet, WeightSet>>>
    {
      static_assert(Tape < LabelSet::size(),
                    "project: tape index out of bounds");
      return {ctx.labelset()->template set<Tape>(), *ctx.weightset()};
    }

    template <size_t Tape,
              typename LabelSet, typename WeightSet>
    auto project(const context<LabelSet, WeightSet>& ctx)
      -> std::enable_if_t<!context<LabelSet, WeightSet>::is_lat,
                          context<LabelSet, WeightSet>>
    {
      static_assert(Tape == 0,
                    "project: cannot extract non-0 tape from a non tupleset"
                    " labelset");
      return ctx;
    }
  }
}