Chris@16: /*-----------------------------------------------------------------------------+
Chris@16: Copyright (c) 2007-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_MAPALGO_HPP_JOFA_080225
Chris@16: #define BOOST_ICL_MAPALGO_HPP_JOFA_080225
Chris@16: 
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/mpl/or.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/icl/detail/notate.hpp>
Chris@16: #include <boost/icl/detail/set_algo.hpp>
Chris@16: 
Chris@16: #ifdef BOOST_MSVC 
Chris@16: #pragma warning(push)
Chris@16: #pragma warning(disable:4127) // conditional expression is constant
Chris@16: #endif                        
Chris@16: 
Chris@16: namespace boost{namespace icl
Chris@16: {
Chris@16: namespace Map 
Chris@16: {
Chris@16: 
Chris@16: template <class ObjectT, class CoObjectT>
Chris@16: bool intersects(const ObjectT& left, const CoObjectT& right)
Chris@16: {
Chris@16:     typedef typename CoObjectT::const_iterator co_iterator;
Chris@16:     co_iterator right_common_lower_, right_common_upper_;
Chris@16:     if(!Set::common_range(right_common_lower_, right_common_upper_, right, left))
Chris@16:         return false;
Chris@16: 
Chris@16:     co_iterator right_ = right_common_lower_;
Chris@16:     while(right_ != right_common_upper_)
Chris@16:         if(!(left.find(key_value<CoObjectT>(right_++))==left.end()))
Chris@16:             return true;
Chris@16: 
Chris@16:     return false;
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: template<class MapT>
Chris@16: typename MapT::const_iterator next_proton(typename MapT::const_iterator& iter_, const MapT& object)
Chris@16: {
Chris@16:     while(   iter_ != object.end() 
Chris@16:           && (*iter_).second == identity_element<typename MapT::codomain_type>::value())
Chris@16:         ++iter_;
Chris@16: 
Chris@16:     return iter_;
Chris@16: }
Chris@16: 
Chris@16: /** Function template <tt>lexicographical_equal</tt> implements 
Chris@16: lexicographical equality except for identity_elementic content values. */
Chris@16: template<class MapT>
Chris@16: bool lexicographical_distinct_equal(const MapT& left, const MapT& right)
Chris@16: {
Chris@16:     if(&left == &right)        
Chris@16:         return true;
Chris@16: 
Chris@16:     typename MapT::const_iterator left_  = left.begin();
Chris@16:     typename MapT::const_iterator right_ = right.begin();
Chris@16: 
Chris@16:     left_  = next_proton(left_,  left);
Chris@16:     right_ = next_proton(right_, right);
Chris@16: 
Chris@16:     while(left_ != left.end() && right_ != right.end())
Chris@16:     {
Chris@16:         if(!(left_->first == right_->first && left_->second == right_->second))
Chris@16:             return false;
Chris@16: 
Chris@16:         ++left_;
Chris@16:         ++right_;
Chris@16:         left_  = next_proton(left_,  left);
Chris@16:         right_ = next_proton(right_, right);
Chris@16:     }
Chris@16: 
Chris@16:     return left_ == left.end() && right_ == right.end();
Chris@16: }
Chris@16: 
Chris@16: } // namespace Map
Chris@16: }} // namespace boost icl
Chris@16: 
Chris@16: #ifdef BOOST_MSVC
Chris@16: #pragma warning(pop)
Chris@16: #endif
Chris@16: 
Chris@16: #endif
Chris@16: