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 
00035 # include <vaucanson/algebra/implementation/monoid/free_monoid_int.hh>
00036 
00037 namespace vcsn
00038 {
00039   namespace VCSN_GRAPH_IMPL
00040   {
00041     VCSN_CONTEXT_NAMESPACE
00042     {
00043       AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
00044       AUTOMATON_PROJECTION_TYPES();
00045     }
00046   }
00047 }
00048 
00049 # include <vaucanson/contexts/automaton_maker.thh>
00050 
00051 # undef VCSN_CONTEXT_NAMESPACE
00052