Vcsn  2.3
Be Rational
law_char_zrr.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>;
12  using law_char_zr = context<law_char, vcsn::expressionset<law_char_z>>;
14  }
15 }
16 
17 #include <vcsn/ctx/instantiate.hh>
18 
19 namespace vcsn
20 {
22 };
context< law_char, vcsn::expressionset< law_char_zr >> law_char_zrr
Definition: law_char_zrr.hh:13
VCSN_CTX_INSTANTIATE(ctx::lal_char_b)
context< law_char, vcsn::z > law_char_z
Definition: law_char_z.hh:11
Definition: a-star.hh:8
context< law_char, vcsn::expressionset< law_char_z >> law_char_zr
Definition: law_char_zr.hh:12