|
Chris@16
|
1
|
|
Chris@16
|
2 #ifndef BOOST_MPL_EQUAL_HPP_INCLUDED
|
|
Chris@16
|
3 #define BOOST_MPL_EQUAL_HPP_INCLUDED
|
|
Chris@16
|
4
|
|
Chris@16
|
5 // Copyright Aleksey Gurtovoy 2000-2004
|
|
Chris@16
|
6 //
|
|
Chris@16
|
7 // Distributed under the Boost Software License, Version 1.0.
|
|
Chris@16
|
8 // (See accompanying file LICENSE_1_0.txt or copy at
|
|
Chris@16
|
9 // http://www.boost.org/LICENSE_1_0.txt)
|
|
Chris@16
|
10 //
|
|
Chris@16
|
11 // See http://www.boost.org/libs/mpl for documentation.
|
|
Chris@16
|
12
|
|
Chris@101
|
13 // $Id$
|
|
Chris@101
|
14 // $Date$
|
|
Chris@101
|
15 // $Revision$
|
|
Chris@16
|
16
|
|
Chris@16
|
17 #include <boost/mpl/aux_/iter_fold_if_impl.hpp>
|
|
Chris@16
|
18 #include <boost/mpl/aux_/iter_apply.hpp>
|
|
Chris@16
|
19 #include <boost/mpl/and.hpp>
|
|
Chris@16
|
20 #include <boost/mpl/not.hpp>
|
|
Chris@16
|
21 #include <boost/mpl/begin_end.hpp>
|
|
Chris@16
|
22 #include <boost/mpl/next.hpp>
|
|
Chris@16
|
23 #include <boost/mpl/always.hpp>
|
|
Chris@16
|
24 #include <boost/mpl/bool.hpp>
|
|
Chris@16
|
25 #include <boost/mpl/lambda.hpp>
|
|
Chris@16
|
26 #include <boost/mpl/bind.hpp>
|
|
Chris@16
|
27 #include <boost/mpl/apply.hpp>
|
|
Chris@16
|
28 #include <boost/mpl/void.hpp>
|
|
Chris@16
|
29 #include <boost/mpl/aux_/na_spec.hpp>
|
|
Chris@16
|
30 #include <boost/mpl/aux_/lambda_support.hpp>
|
|
Chris@16
|
31 #include <boost/mpl/aux_/msvc_eti_base.hpp>
|
|
Chris@16
|
32
|
|
Chris@16
|
33 #include <boost/type_traits/is_same.hpp>
|
|
Chris@16
|
34
|
|
Chris@16
|
35 namespace boost { namespace mpl {
|
|
Chris@16
|
36
|
|
Chris@16
|
37 namespace aux {
|
|
Chris@16
|
38
|
|
Chris@16
|
39 template<
|
|
Chris@16
|
40 typename Predicate
|
|
Chris@16
|
41 , typename LastIterator1
|
|
Chris@16
|
42 , typename LastIterator2
|
|
Chris@16
|
43 >
|
|
Chris@16
|
44 struct equal_pred
|
|
Chris@16
|
45 {
|
|
Chris@16
|
46 template<
|
|
Chris@16
|
47 typename Iterator2
|
|
Chris@16
|
48 , typename Iterator1
|
|
Chris@16
|
49 >
|
|
Chris@16
|
50 struct apply
|
|
Chris@16
|
51 {
|
|
Chris@16
|
52 typedef typename and_<
|
|
Chris@16
|
53 not_< is_same<Iterator1,LastIterator1> >
|
|
Chris@16
|
54 , not_< is_same<Iterator2,LastIterator2> >
|
|
Chris@16
|
55 , aux::iter_apply2<Predicate,Iterator1,Iterator2>
|
|
Chris@16
|
56 >::type type;
|
|
Chris@16
|
57 };
|
|
Chris@16
|
58 };
|
|
Chris@16
|
59
|
|
Chris@16
|
60 template<
|
|
Chris@16
|
61 typename Sequence1
|
|
Chris@16
|
62 , typename Sequence2
|
|
Chris@16
|
63 , typename Predicate
|
|
Chris@16
|
64 >
|
|
Chris@16
|
65 struct equal_impl
|
|
Chris@16
|
66 {
|
|
Chris@16
|
67 typedef typename begin<Sequence1>::type first1_;
|
|
Chris@16
|
68 typedef typename begin<Sequence2>::type first2_;
|
|
Chris@16
|
69 typedef typename end<Sequence1>::type last1_;
|
|
Chris@16
|
70 typedef typename end<Sequence2>::type last2_;
|
|
Chris@16
|
71
|
|
Chris@16
|
72 typedef aux::iter_fold_if_impl<
|
|
Chris@16
|
73 first1_
|
|
Chris@16
|
74 , first2_
|
|
Chris@16
|
75 , next<>
|
|
Chris@16
|
76 , protect< aux::equal_pred<Predicate,last1_,last2_> >
|
|
Chris@16
|
77 , void_
|
|
Chris@16
|
78 , always<false_>
|
|
Chris@16
|
79 > fold_;
|
|
Chris@16
|
80
|
|
Chris@16
|
81 typedef typename fold_::iterator iter1_;
|
|
Chris@16
|
82 typedef typename fold_::state iter2_;
|
|
Chris@16
|
83 typedef and_<
|
|
Chris@16
|
84 is_same<iter1_,last1_>
|
|
Chris@16
|
85 , is_same<iter2_,last2_>
|
|
Chris@16
|
86 > result_;
|
|
Chris@16
|
87
|
|
Chris@16
|
88 typedef typename result_::type type;
|
|
Chris@16
|
89 };
|
|
Chris@16
|
90
|
|
Chris@16
|
91
|
|
Chris@16
|
92 } // namespace aux
|
|
Chris@16
|
93
|
|
Chris@16
|
94
|
|
Chris@16
|
95 template<
|
|
Chris@16
|
96 typename BOOST_MPL_AUX_NA_PARAM(Sequence1)
|
|
Chris@16
|
97 , typename BOOST_MPL_AUX_NA_PARAM(Sequence2)
|
|
Chris@16
|
98 , typename Predicate = is_same<_,_>
|
|
Chris@16
|
99 >
|
|
Chris@16
|
100 struct equal
|
|
Chris@16
|
101 : aux::msvc_eti_base<
|
|
Chris@16
|
102 typename aux::equal_impl<Sequence1,Sequence2,Predicate>::type
|
|
Chris@16
|
103 >::type
|
|
Chris@16
|
104 {
|
|
Chris@16
|
105 BOOST_MPL_AUX_LAMBDA_SUPPORT(2,equal,(Sequence1,Sequence2))
|
|
Chris@16
|
106 };
|
|
Chris@16
|
107
|
|
Chris@16
|
108 BOOST_MPL_AUX_NA_SPEC(2, equal)
|
|
Chris@16
|
109
|
|
Chris@16
|
110 }}
|
|
Chris@16
|
111
|
|
Chris@16
|
112 #endif // BOOST_MPL_EQUAL_HPP_INCLUDED
|
