ceph/src/boost/boost/icl/type_traits/adds_inversely.hpp

   1 /*-----------------------------------------------------------------------------+
   2 Copyright (c) 2010-2010: 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_ADDS_INVERSELY_HPP_JOFA_100829
   9 #define BOOST_ICL_TYPE_TRAITS_ADDS_INVERSELY_HPP_JOFA_100829
  10
  11 #include <boost/icl/type_traits/has_inverse.hpp>
  12 #include <boost/icl/functors.hpp>
  13
  14 namespace boost{ namespace icl
  15 {
  16
  17 template<class Type, class Combiner>
  18 struct adds_inversely
  19 {
  20     typedef adds_inversely type;
  21     BOOST_STATIC_CONSTANT(bool,
  22         value = (mpl::and_<has_inverse<Type>, is_negative<Combiner> >::value));
  23 };
  24
  25 }} // namespace boost icl
  26
  27 #endif // BOOST_ICL_TYPE_TRAITS_ADDS_INVERSELY_HPP_JOFA_100829
  28
  29