00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 #ifndef VCSN_Z_MAX_PLUS_AUTOMATON_STRUCTURES_HH
00019 # define VCSN_Z_MAX_PLUS_AUTOMATON_STRUCTURES_HH
00020 
00021 # define VCSN_CONTEXT_NAMESPACE namespace z_max_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_max_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_MAX_PLUS_AUTOMATON_STRUCTURES_HH