source: NonGTP/Boost/boost/mpl/equal.hpp @ 857

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