Vaucanson 1.4
int_int_boolean_automaton_structures.hh
00001 // int_int_boolean_automaton_structures.hh: this file is part of the
00002 // Vaucanson project.
00003 //
00004 // Vaucanson, a generic library for finite state machines.
00005 //
00006 // Copyright (C) 2008 The Vaucanson Group.
00007 //
00008 // This program is free software; you can redistribute it and/or
00009 // modify it under the terms of the GNU General Public License
00010 // as published by the Free Software Foundation; either version 2
00011 // of the License, or (at your option) any later version.
00012 //
00013 // The complete GNU General Public Licence Notice can be found as the
00014 // `COPYING' file in the root directory.
00015 //
00016 // The Vaucanson Group consists of people listed in the `AUTHORS' file.
00017 //
00018 
00019 /*
00020  * CPP guard should not be inserted here as
00021  * VCSN_GRAPH_IMPL could be changed.
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 /* Specializations */
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