Vcsn  2.2
Be Rational
law_char_zr.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <vcsn/ctx/context.hh>
4 #include <vcsn/ctx/law_char.hh>
5 #include <vcsn/weightset/z.hh>
6 
7 namespace vcsn
8 {
9  namespace ctx
10  {
11  using law_char_z = context<law_char, vcsn::z>;
13  }
14 }
15 
16 #include <vcsn/ctx/instantiate.hh>
17 
18 namespace vcsn
19 {
21 };
VCSN_CTX_INSTANTIATE(ctx::lal_char_b)
context< law_char, vcsn::expressionset< law_char_z >> law_char_zr
Definition: law_char_zr.hh:12
Definition: a-star.hh:8
context< law_char, vcsn::z > law_char_z
Definition: law_char_z.hh:11
static dyn::context ctx(const driver &d)
Get the context of the driver.
Definition: parse.cc:82