1 /*-----------------------------------------------------------------------------+
2 Copyright (c) 2008-2009: Joachim Faulhaber
3 +------------------------------------------------------------------------------+
4 Distributed under the Boost Software License, Version 1.0.
5 (See accompanying file LICENCE.txt or copy at
6 http://www.boost.org/LICENSE_1_0.txt)
7 +-----------------------------------------------------------------------------*/
8 #ifndef BOOST_ICL_TYPE_TRAITS_IS_CONCEPT_EQUIVALENT_HPP_JOFA_090830
9 #define BOOST_ICL_TYPE_TRAITS_IS_CONCEPT_EQUIVALENT_HPP_JOFA_090830
11 #include <boost/mpl/and.hpp>
13 namespace boost{ namespace icl
16 template<template<class>class IsConcept, class LeftT, class RightT>
17 struct is_concept_equivalent
19 typedef is_concept_equivalent<IsConcept, LeftT, RightT> type;
20 BOOST_STATIC_CONSTANT(bool, value =
21 (mpl::and_<IsConcept<LeftT>, IsConcept<RightT> >::value)
25 template<template<class>class IsConcept, class LeftT, class RightT>
26 struct has_same_concept
28 typedef has_same_concept<IsConcept, LeftT, RightT> type;
29 BOOST_STATIC_CONSTANT(bool, value =
30 (mpl::and_<IsConcept<LeftT>, is_concept_equivalent<IsConcept, LeftT, RightT> >::value)
34 }} // namespace boost icl