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 STATIC_AND_HH 00018 # define STATIC_AND_HH 00019 00020 namespace catsfoot { 00021 00022 namespace details { 00023 00024 template <typename... T> 00025 struct static_and; 00026 00028 template <typename T, typename U, bool = T::value> 00029 struct static_binary_and: public std::false_type { 00030 }; 00031 00033 template <typename T, typename U> 00034 struct static_binary_and<T, U, true>: public U { 00035 }; 00036 00038 template <typename F, typename... T> 00039 struct static_and<F, T...>: public static_binary_and<F, static_and<T...> > { 00040 }; 00041 00043 template <> 00044 struct static_and<>: public std::true_type { 00045 }; 00046 } 00047 00048 } 00049 00050 #endif