Vcsn
2.2
Be Rational
Main Page
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
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>
18
rat::identities
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
}
vcsn
Definition:
a-star.hh:8
expression.hh
vcsn::detail::rs
auto rs
Definition:
lift.hh:151
vcsn::dyn::detail::identities
rat::identities identities(const expression &exp)
Bridge.
Definition:
identities.hh:19
vcsn::dyn::expression
std::shared_ptr< detail::expression_base > expression
Definition:
expression.hh:92
vcsn
algos
identities.hh
Generated by
1.8.8