OKlibrary  0.2.1.6
string_type.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 30.12.2005 (Swansea)
00002 /* Copyright 2005 - 2007 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00013 #ifndef STRINGTYPE_jjdggtRE
00014 #define STRINGTYPE_jjdggtRE
00015 
00016 namespace OKlib {
00017   namespace SATCompetition {
00018     namespace traits {
00019 
00025       template <typename T>
00026       struct string_type {
00027         typedef typename T::string_type type;
00028       };
00029 
00030     }
00031 
00032   }
00033 
00034 }
00035 
00036 #endif