00001 // -*- C++ -*- 00002 // z_min_plus_semiring.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/algebra/implementation/semiring/tropical_semiring.hh> 00025 00026 00027 namespace vcsn 00028 { 00029 00030 namespace VCSN_CONTEXT_NAMESPACE 00031 { 00032 00033 typedef 00034 vcsn::algebra::TropicalSemiring<vcsn::algebra::TropicalMin> 00035 semiring_t; 00036 00037 typedef 00038 int 00039 semiring_elt_value_t; 00040 00041 typedef 00042 vcsn::Element<semiring_t, semiring_elt_value_t> 00043 semiring_elt_t; 00044 00045 } // End of namespace VCSN_CONTEXT_NAMESPACE. 00046 00047 } // End of namespace vcsn.
1.4.6