identities.hh

Go to the documentation of this file.

#pragma once

#include <vcsn/dyn/expression.hh> // dyn::make_expression

namespace vcsn
{

  /*--------------------------.
  | identities(expression).   |
  `--------------------------*/

  namespace dyn
  {
    namespace detail
    {
      template <typename ExpSet>
      rat::identities
      identities(const expression& exp)
      {
        const auto& e = exp->as<ExpSet>();
        auto rs = e.expressionset();
        return rs.identities();
      }
    }
  }
}