00001 // -*- C++ -*- 00002 // automaton.thh: this file is part of the Vaucanson project. 00003 // 00004 // Vaucanson, a generic library for finite state machines. 00005 // 00006 // Copyright (C) 2005, 2006 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 00024 #include <vaucanson/automata/concept/automata.hh> 00025 #include <vaucanson/automata/implementation/generalized.hh> 00026 00027 namespace vcsn 00028 { 00029 00030 namespace VCSN_CONTEXT_NAMESPACE 00031 { 00032 00033 typedef vcsn::Automata<series_set_elt_t::set_t> automata_set_t; 00034 typedef vcsn::Element<automata_set_t, automaton_impl_t> automaton_t; 00035 typedef vcsn::generalized_traits<automaton_t>::automaton_t gen_automaton_t; 00036 00037 AUTOMATON_TYPES_EXACT(automaton_t); 00038 00039 } // End of namespace VCSN_CONTEXT_NAMESPACE. 00040 00041 } // End of namespace vcsn.