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, 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_CONTEXT_NAMESPACE could be changed. 00022 */ 00023 00024 #include <vaucanson/automata/concept/automata.hh> 00025 00026 namespace vcsn 00027 { 00028 namespace VCSN_GRAPH_IMPL 00029 { 00030 VCSN_CONTEXT_NAMESPACE 00031 { 00032 00033 // META-FIXME: FIXMEs in this file apply to transducer.thh too. 00034 00035 // FIXME: Next line should be labels_are_words 00036 typedef vcsn::Automata<series_set_elt_t::set_t, labels_are_series> automata_set_t; 00037 typedef vcsn::Element<automata_set_t, automaton_impl_t> automaton_t; 00038 typedef vcsn::generalized_traits<automaton_t>::automaton_t gen_automaton_t; 00039 00040 //typedef vcsn::Automata<series_set_elt_t::set_t, labels_are_letters> automata_letter_set_t; 00041 //typedef vcsn::Element<automata_letter_set_t, automaton_letter_impl_t> automaton_letter_t; 00042 // FIXME: Previous two lines to replace next one? 00043 typedef vcsn::Element<automata_set_t, automaton_letter_impl_t> automaton_letter_t; 00044 typedef automaton_letter_impl_t gen_automaton_letter_t; 00045 00046 AUTOMATON_TYPES_EXACT(automaton_t); 00047 00048 } // End of VCSN_CONTEXT_NAMESPACE. 00049 } // End of VCSN_GRAPH_IMPL 00050 } // End of namespace vcsn.
1.5.8