00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018 #ifndef VCSN_Z_MIN_PLUS_AUTOMATON_STRUCTURES_HH
00019 # define VCSN_Z_MIN_PLUS_AUTOMATON_STRUCTURES_HH
00020
00021 # define VCSN_CONTEXT_NAMESPACE namespace z_min_plus_automaton
00022
00023 # include <vaucanson/contexts/char_letter.thh>
00024 # include <vaucanson/contexts/dynamic_alphabet.thh>
00025 # include <vaucanson/contexts/free_monoid.thh>
00026 # include <vaucanson/contexts/z_min_plus_semiring.thh>
00027 # include <vaucanson/contexts/generic_series.thh>
00028 # include <vaucanson/contexts/generic_automaton_impl.thh>
00029 # include <vaucanson/contexts/automaton.thh>
00030
00031 namespace vcsn
00032 {
00033 VCSN_CONTEXT_NAMESPACE
00034 {
00035 AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
00036 }
00037 }
00038
00039 # include <vaucanson/contexts/automaton_maker.thh>
00040
00041 # undef VCSN_CONTEXT_NAMESPACE
00042
00043 #endif // !VCSN_Z_MIN_PLUS_AUTOMATON_STRUCTURES_HH