Vaucanson 1.4
generic_automaton_impl.thh
00001 //                                                             -*- C++ -*-
00002 // generic_automaton_impl.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 
00019 /*
00020  * CPP guard should not be inserted here as
00021  * VCSN_CONTEXT_NAMESPACE could be changed.
00022  */
00023 
00024 # include <vaucanson/misc/usual_macros.hh>
00025 # include GRAPH_IMPL_HEADER 
00026 
00027 namespace vcsn
00028 {
00029   namespace VCSN_GRAPH_IMPL
00030   {
00031     VCSN_CONTEXT_NAMESPACE
00032     {
00033 
00034       typedef vcsn::VCSN_GRAPH_IMPL::Graph<
00035         labels_are_series,
00036         series_set_elt_t::value_t::monoid_elt_value_t,
00037         series_set_elt_t::value_t::semiring_elt_value_t,
00038         series_set_elt_t::value_t,
00039         series_set_elt_t::set_t::monoid_t::letter_t,
00040         NoTag,
00041         std::pair<double, double>
00042         >
00043       automaton_impl_t;
00044 
00045       typedef vcsn::VCSN_GRAPH_IMPL::Graph<
00046         labels_are_letters,
00047         series_set_elt_t::value_t::monoid_elt_value_t,
00048         series_set_elt_t::value_t::semiring_elt_value_t,
00049         series_set_elt_t::value_t,
00050         series_set_elt_t::set_t::monoid_t::letter_t,
00051         NoTag,
00052         std::pair<double, double>
00053         >
00054       automaton_letter_impl_t;
00055 
00056     } // End of VCSN_CONTEXT_NAMESPACE.
00057   } // End of VCSN_GRAPH_IMPL
00058 } // End of namespace vcsn.