#ifndef BOOST_MPL_EQUAL_HPP_INCLUDED | |
#define BOOST_MPL_EQUAL_HPP_INCLUDED | |
// Copyright Aleksey Gurtovoy 2000-2004 | |
// | |
// Distributed under the Boost Software License, Version 1.0. | |
// (See accompanying file LICENSE_1_0.txt or copy at | |
// http://www.boost.org/LICENSE_1_0.txt) | |
// | |
// See http://www.boost.org/libs/mpl for documentation. | |
// $Id: equal.hpp 49267 2008-10-11 06:19:02Z agurtovoy $ | |
// $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $ | |
// $Revision: 49267 $ | |
#include <boost/mpl/aux_/iter_fold_if_impl.hpp> | |
#include <boost/mpl/aux_/iter_apply.hpp> | |
#include <boost/mpl/and.hpp> | |
#include <boost/mpl/not.hpp> | |
#include <boost/mpl/begin_end.hpp> | |
#include <boost/mpl/next.hpp> | |
#include <boost/mpl/always.hpp> | |
#include <boost/mpl/bool.hpp> | |
#include <boost/mpl/lambda.hpp> | |
#include <boost/mpl/bind.hpp> | |
#include <boost/mpl/apply.hpp> | |
#include <boost/mpl/void.hpp> | |
#include <boost/mpl/aux_/na_spec.hpp> | |
#include <boost/mpl/aux_/lambda_support.hpp> | |
#include <boost/mpl/aux_/msvc_eti_base.hpp> | |
#include <boost/type_traits/is_same.hpp> | |
namespace boost { namespace mpl { | |
namespace aux { | |
template< | |
typename Predicate | |
, typename LastIterator1 | |
, typename LastIterator2 | |
> | |
struct equal_pred | |
{ | |
template< | |
typename Iterator2 | |
, typename Iterator1 | |
> | |
struct apply | |
{ | |
typedef typename and_< | |
not_< is_same<Iterator1,LastIterator1> > | |
, not_< is_same<Iterator2,LastIterator2> > | |
, aux::iter_apply2<Predicate,Iterator1,Iterator2> | |
>::type type; | |
}; | |
}; | |
template< | |
typename Sequence1 | |
, typename Sequence2 | |
, typename Predicate | |
> | |
struct equal_impl | |
{ | |
typedef typename begin<Sequence1>::type first1_; | |
typedef typename begin<Sequence2>::type first2_; | |
typedef typename end<Sequence1>::type last1_; | |
typedef typename end<Sequence2>::type last2_; | |
typedef aux::iter_fold_if_impl< | |
first1_ | |
, first2_ | |
, next<> | |
, protect< aux::equal_pred<Predicate,last1_,last2_> > | |
, void_ | |
, always<false_> | |
> fold_; | |
typedef typename fold_::iterator iter1_; | |
typedef typename fold_::state iter2_; | |
typedef and_< | |
is_same<iter1_,last1_> | |
, is_same<iter2_,last2_> | |
> result_; | |
typedef typename result_::type type; | |
}; | |
} // namespace aux | |
template< | |
typename BOOST_MPL_AUX_NA_PARAM(Sequence1) | |
, typename BOOST_MPL_AUX_NA_PARAM(Sequence2) | |
, typename Predicate = is_same<_,_> | |
> | |
struct equal | |
: aux::msvc_eti_base< | |
typename aux::equal_impl<Sequence1,Sequence2,Predicate>::type | |
>::type | |
{ | |
BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2)) | |
}; | |
BOOST_MPL_AUX_NA_SPEC(2, equal) | |
}} | |
#endif // BOOST_MPL_EQUAL_HPP_INCLUDED |