00001 // This file is a part of Catsfoot. 00002 // Copyright (C) 2011 Uni Research 00003 // 00004 // This program is free software: you can redistribute it and/or modify 00005 // it under the terms of the GNU Lesser Public License as published by 00006 // the Free Software Foundation, either version 3 of the License, or 00007 // (at your option) any later version. 00008 // 00009 // This program is distributed in the hope that it will be useful, 00010 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00012 // GNU Lesser Public License for more details. 00013 // 00014 // You should have received a copy of the GNU Lesser Public License 00015 // along with this program. If not, see <http://www.gnu.org/licenses/>. 00016 00017 #ifndef IS_CONCEPT_HH 00018 # define IS_CONCEPT_HH 00019 00020 # include <type_traits> 00021 00022 namespace catsfoot { 00023 00025 struct concept {}; 00026 00028 struct auto_concept {}; 00029 00032 template <typename T> 00033 struct is_auto_concept: 00034 public std::is_base_of<auto_concept, T> { 00035 }; 00036 00039 template <typename T> 00040 struct is_concept: 00041 public std::is_base_of<concept, T> { 00042 }; 00043 00044 } 00045 00046 #endif