Vcsn  2.2
Be Rational
identities.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <vcsn/dyn/expression.hh> // dyn::make_expression
4 
5 namespace vcsn
6 {
7 
8  /*--------------------------.
9  | identities(expression). |
10  `--------------------------*/
11 
12  namespace dyn
13  {
14  namespace detail
15  {
17  template <typename ExpSet>
19  identities(const expression& exp)
20  {
21  const auto& e = exp->as<ExpSet>();
22  auto rs = e.expressionset();
23  return rs.identities();
24  }
25  }
26  }
27 }
Definition: a-star.hh:8
auto rs
Definition: lift.hh:151
std::shared_ptr< detail::expression_base > expression
Definition: expression.hh:92
rat::identities identities(const expression &exp)
Bridge.
Definition: identities.hh:19