normalize-expansion.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/dyn/algos.hh>
#include <vcsn/dyn/value.hh>

namespace vcsn
{
  /*--------------.
  | Expansions.   |
  `--------------*/

  template <typename ExpansionSet>
  typename ExpansionSet::value_t
  denormalize(const ExpansionSet& xs, typename ExpansionSet::value_t x)
  {
    return xs.denormalize(x);
  }

  template <typename ExpansionSet>
  bool
  is_normal(const ExpansionSet& xs, const typename ExpansionSet::value_t& x)
  {
    return xs.is_normal(x);
  }

  template <typename ExpansionSet>
  typename ExpansionSet::value_t
  normalize(const ExpansionSet& xs, typename ExpansionSet::value_t x)
  {
    return xs.normalize(x);
  }

  namespace dyn
  {
    namespace detail
    {
      template <typename ExpansionSet>
      expansion
      denormalize(const expansion& xpn)
      {
        const auto& x = xpn->as<ExpansionSet>();
        return {x.valueset(), denormalize(x.valueset(), x.value())};
      }

      template <typename ExpansionSet>
      bool
      is_normal(const expansion& xpn)
      {
        const auto& x = xpn->as<ExpansionSet>();
        return x.valueset().is_normal(x.value());
      }

      template <typename ExpansionSet>
      expansion
      normalize_expansion(const expansion& xpn)
      {
        const auto& x = xpn->as<ExpansionSet>();
        return {x.valueset(), normalize(x.valueset(), x.value())};
      }
    }
  }
} // vcsn::