constant.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/core/rat/expressionset.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/value.hh>

namespace vcsn
{
  namespace dyn
  {
    namespace detail
    {
      template <typename Context, typename Identities>
      expression expression_one(const context& ctx, identities ids)
      {
        const auto& c = ctx->as<Context>();
        auto rs = vcsn::make_expressionset(c, ids);
        return {rs, rs.one()};
      }

      template <typename Context, typename Identities>
      expression expression_zero(const context& ctx, identities ids)
      {
        const auto& c = ctx->as<Context>();
        auto rs = vcsn::make_expressionset(c, ids);
        return {rs, rs.zero()};
      }

      template <typename Context>
      weight weight_one(const context& ctx)
      {
        const auto& c = ctx->as<Context>();
        auto ws = *c.weightset();
        return {ws, ws.one()};
      }

      template <typename Context>
      weight weight_zero(const context& ctx)
      {
        const auto& c = ctx->as<Context>();
        auto ws = *c.weightset();
        return {ws, ws.zero()};
      }
    }
  }
} // namespace vcsn