Vcsn  2.4
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 };
Definition: a-star.hh:8
context< law_char, vcsn::z > law_char_z
Definition: law_char_z.hh:11
context< law_char, vcsn::expressionset< law_char_z >> law_char_zr
Definition: law_char_zr.hh:12
VCSN_CTX_INSTANTIATE(ctx::lal_char_b)