Chris@16: /*-----------------------------------------------------------------------------+
Chris@16: Copyright (c) 2010-2010: Joachim Faulhaber
Chris@16: +------------------------------------------------------------------------------+
Chris@16:    Distributed under the Boost Software License, Version 1.0.
Chris@16:       (See accompanying file LICENCE.txt or copy at
Chris@16:            http://www.boost.org/LICENSE_1_0.txt)
Chris@16: +-----------------------------------------------------------------------------*/
Chris@16: #ifndef BOOST_ICL_DETAIL_ASSOCIATED_VALUE_HPP_JOFA_100829
Chris@16: #define BOOST_ICL_DETAIL_ASSOCIATED_VALUE_HPP_JOFA_100829
Chris@16: 
Chris@16: #include <boost/icl/detail/design_config.hpp>
Chris@16: #include <boost/icl/type_traits/is_combinable.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: 
Chris@16: namespace boost{namespace icl
Chris@16: {
Chris@16: 
Chris@16: template<class Type, class CoType> 
Chris@16: typename enable_if< mpl::and_< is_key_compare_equal<Type,CoType>
Chris@16:                              , mpl::and_<is_map<Type>, is_map<CoType> > >, 
Chris@16:                     bool>::type
Chris@16: co_equal(typename Type::const_iterator left_, typename CoType::const_iterator right_, 
Chris@16:          const Type* = 0, const CoType* = 0)
Chris@16: {
Chris@16:     return co_value<Type>(left_) == co_value<CoType>(right_);
Chris@16: }
Chris@16: 
Chris@16: template<class Type, class CoType> 
Chris@16: typename enable_if< mpl::and_< is_key_compare_equal<Type,CoType>
Chris@16:                              , mpl::not_<mpl::and_<is_map<Type>, is_map<CoType> > > >,
Chris@16:                   bool>::type
Chris@16: co_equal(typename Type::const_iterator, typename CoType::const_iterator,
Chris@16:          const Type* = 0, const CoType* = 0)
Chris@16: {
Chris@16:     return true;
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: }} // namespace icl boost
Chris@16: 
Chris@16: #endif
Chris@16: