Vcsn  2.2
Be Rational
read.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <lib/vcsn/rat/location.hh>
4 #include <vcsn/core/rat/fwd.hh> // identities
5 #include <vcsn/dyn/fwd.hh>
6 #include <vcsn/misc/export.hh>
7 
8 namespace vcsn
9 {
10  namespace rat LIBVCSN_API
11  {
13  dyn::expression
14  read(const dyn::context& ctx, rat::identities ids,
15  std::istream& is,
16  const location& l = location{});
17  }
18 }
vcsn
Definition: a-star.hh:8
location.hh
Define the vcsn::rat::location class.
vcsn::dyn::context
std::shared_ptr< const detail::context_base > context
A dyn::context.
Definition: fwd.hh:43
LIBVCSN_API
#define LIBVCSN_API
Definition: export.hh:8
is
std::istringstream is
The input stream: the specification to translate.
Definition: translate.cc:380
vcsn::rat::ctx
static dyn::context ctx(const driver &d)
Get the context of the driver.
Definition: parse.cc:82
vcsn::detail::dot::location
vcsn::rat::location location
Definition: scan.hh:17
vcsn::dyn::expression
std::shared_ptr< detail::expression_base > expression
Definition: expression.hh:92
vcsn::rat::read
dyn::expression read(const dyn::context &ctx, rat::identities ids, std::istream &is, const location &l)
The expression in stream is.
Definition: read.cc:11
vcsn::rat::ids
static identities ids(const driver &d)
Get the identities of the driver.
Definition: parse.cc:89
vcsn::dyn::detail::identities
rat::identities identities(const expression &exp)
Bridge.
Definition: identities.hh:19