OKlibrary  0.2.1.6
JoinedConceptTags.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 9.12.2006 (Swansea)
00002 /* Copyright 2006 - 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 
00028 #ifndef JOINEDCONCEPTTAGS_74TTba14kfbr
00029 #define JOINEDCONCEPTTAGS_74TTba14kfbr
00030 
00031 #include <OKlib/Concepts/Variables.hpp>
00032 #include <OKlib/Concepts/Literals.hpp>
00033 
00034 namespace OKlib {
00035   namespace Concepts {
00036 
00054     template <class Var_tag, class Lit_tag>
00055     struct VariablesLiterals_tag : virtual Var_tag, virtual Lit_tag {
00056       OKLIB_MODELS_CONCEPT_TAG_T(Var_tag, OKlib::Concepts::Variables)
00057       OKLIB_MODELS_CONCEPT_TAG_T(Lit_tag, OKlib::Concepts::Literals)
00058     };
00059 
00060   }
00061 }
00062 
00063 #endif