00001 
00002 
00003 
00004 
00005 
00006 
00007 
00008 
00009 
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 
00019 
00020 
00021 
00022 
00023 
00024 # define VCSN_CONTEXT_NAMESPACE namespace int_int_boolean_automaton
00025 
00026 # include <vaucanson/contexts/int_int_letter.thh>
00027 # include <vaucanson/contexts/dynamic_alphabet.thh>
00028 # include <vaucanson/contexts/free_monoid.thh>
00029 # include <vaucanson/contexts/boolean_semiring.thh>
00030 # include <vaucanson/contexts/generic_series.thh>
00031 # include <vaucanson/contexts/generic_automaton_impl.thh>
00032 # include <vaucanson/contexts/automaton.thh>
00033 
00034 namespace vcsn
00035 {
00036   namespace VCSN_GRAPH_IMPL
00037   {
00038     VCSN_CONTEXT_NAMESPACE
00039     {
00040       AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
00041       AUTOMATON_PROJECTION_TYPES();
00042     }
00043   }
00044 }
00045 
00046 # include <vaucanson/contexts/automaton_maker.thh>
00047 
00048 # undef VCSN_CONTEXT_NAMESPACE
00049