Vcsn  2.4
Be Rational
identities-of.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <vcsn/dyn/value.hh>
4 #include <vcsn/dyn/types.hh>
5 
6 namespace vcsn
7 {
8 
9  /*-----------------------------.
10  | identities_of(expression). |
11  `-----------------------------*/
12 
13  namespace dyn
14  {
15  namespace detail
16  {
18  template <typename ExpSet>
19  identities
21  {
22  const auto& e = exp->as<ExpSet>();
23  auto rs = e.valueset();
24  return rs.identities();
25  }
26  }
27  }
28 }
auto rs
Definition: lift.hh:152
identities identities_of(const expression &exp)
Bridge.
Definition: a-star.hh:8
value_impl< detail::expression_tag > expression
Definition: fwd.hh:25