Vaucanson  1.4.1
automata/generic_contexts/int_z_automaton_structures.hh
1 // int_z_automaton_structures.hh: this file is part of the Vaucanson project.
2 //
3 // Vaucanson, a generic library for finite state machines.
4 //
5 // Copyright (C) 2008 The Vaucanson Group.
6 //
7 // This program is free software; you can redistribute it and/or
8 // modify it under the terms of the GNU General Public License
9 // as published by the Free Software Foundation; either version 2
10 // of the License, or (at your option) any later version.
11 //
12 // The complete GNU General Public Licence Notice can be found as the
13 // `COPYING' file in the root directory.
14 //
15 // The Vaucanson Group consists of people listed in the `AUTHORS' file.
16 //
17 
18 /*
19  * CPP guard should not be inserted here as
20  * VCSN_GRAPH_IMPL could be changed.
21  */
22 
23 # define VCSN_CONTEXT_NAMESPACE namespace int_z_automaton
24 
25 # include <vaucanson/contexts/int_letter.thh>
26 # include <vaucanson/contexts/dynamic_alphabet.thh>
27 # include <vaucanson/contexts/free_monoid.thh>
28 # include <vaucanson/contexts/z_semiring.thh>
29 # include <vaucanson/contexts/generic_series.thh>
30 # include <vaucanson/contexts/generic_automaton_impl.thh>
31 # include <vaucanson/contexts/automaton.thh>
32 
33 /* Specializations */
34 # include <vaucanson/algebra/implementation/monoid/free_monoid_int.hh>
35 
36 namespace vcsn
37 {
38  namespace VCSN_GRAPH_IMPL
39  {
40  VCSN_CONTEXT_NAMESPACE
41  {
42  AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
43  }
44  }
45 }
46 
47 # include <vaucanson/contexts/automaton_maker.thh>
48 
49 # undef VCSN_CONTEXT_NAMESPACE
50