|
Vaucanson 1.4
|
00001 // -*- C++ -*- 00002 // free_monoid_product.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/algebra/implementation/monoid/pair_str_words.hh> 00025 00026 namespace vcsn 00027 { 00028 namespace VCSN_GRAPH_IMPL 00029 { 00030 VCSN_CONTEXT_NAMESPACE 00031 { 00032 00033 typedef vcsn::algebra::FreeMonoidProduct<first_monoid_t, 00034 second_monoid_t> 00035 monoid_t; 00036 typedef std::pair<std::basic_string<first_monoid_t::letter_t>, 00037 std::basic_string<second_monoid_t::letter_t> > 00038 monoid_elt_value_t; 00039 typedef vcsn::Element<monoid_t, monoid_elt_value_t> 00040 monoid_elt_t; 00041 00042 } // End of VCSN_CONTEXT_NAMESPACE. 00043 } // End of VCSN_GRAPH_IMPL 00044 } // End of namespace vcsn.
1.7.4