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
context<lat<nullableset<letterset<char_letters>>, nullableset<letterset<char_letters>>>, zmin>.cc
Go to the documentation of this file.
1
#define BUILD_LIBVCSN 1
2
#define VCSN_INSTANTIATION 1
3
#define MAYBE_EXTERN
4
5
#include <
vcsn/alphabets/char.hh
>
6
#include <
vcsn/alphabets/setalpha.hh
>
7
#include <
vcsn/ctx/context.hh
>
8
#include <
vcsn/ctx/instantiate.hh
>
9
#include <
vcsn/labelset/letterset.hh
>
10
#include <
vcsn/labelset/nullableset.hh
>
11
#include <
vcsn/weightset/zmin.hh
>
12
13
#include <
vcsn/labelset/tupleset.hh
>
14
15
using
ctx_t
=
16
vcsn::context
<
17
vcsn::tupleset
<
18
vcsn::nullableset
<
19
vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>
>
20
>,
21
vcsn::nullableset
<
22
vcsn::letterset<vcsn::set_alphabet<vcsn::char_letters>
>
23
>
24
>,
25
vcsn::zmin
26
>;
27
28
namespace
vcsn
29
{
30
VCSN_CTX_INSTANTIATE
(
ctx_t
);
31
}
vcsn
Definition:
a-star.hh:8
nullableset.hh
zmin.hh
vcsn::context
Definition:
context.hh:18
setalpha.hh
vcsn::nullableset
Implementation of labels are nullables (letter or empty).
Definition:
fwd.hh:15
letterset.hh
context.hh
char.hh
instantiate.hh
vcsn::weightset_mixin
Provide a variadic mul on top of a binary mul(), and one().
Definition:
fwd.hh:46
vcsn::letterset
Implementation of labels are letters.
Definition:
fwd.hh:11
tupleset.hh
vcsn::VCSN_CTX_INSTANTIATE
VCSN_CTX_INSTANTIATE(ctx::lal_char_br)
lib
plugins
contexts
context
>, nullableset
>>, zmin>.cc
Generated by
1.8.8