1 | |
2 | #ifndef BOOST_MPL_UNIQUE_HPP_INCLUDED |
3 | #define BOOST_MPL_UNIQUE_HPP_INCLUDED |
4 | |
5 | // Copyright Aleksey Gurtovoy 2000-2004 |
6 | // Copyright John R. Bandela 2000-2002 |
7 | // |
8 | // Distributed under the Boost Software License, Version 1.0. |
9 | // (See accompanying file LICENSE_1_0.txt or copy at |
10 | // http://www.boost.org/LICENSE_1_0.txt) |
11 | // |
12 | // See http://www.boost.org/libs/mpl for documentation. |
13 | |
14 | // $Id$ |
15 | // $Date$ |
16 | // $Revision$ |
17 | |
18 | #include <boost/mpl/fold.hpp> |
19 | #include <boost/mpl/reverse_fold.hpp> |
20 | #include <boost/mpl/eval_if.hpp> |
21 | #include <boost/mpl/and.hpp> |
22 | #include <boost/mpl/identity.hpp> |
23 | #include <boost/mpl/pair.hpp> |
24 | #include <boost/mpl/apply.hpp> |
25 | #include <boost/mpl/aux_/inserter_algorithm.hpp> |
26 | #include <boost/mpl/aux_/na.hpp> |
27 | #include <boost/mpl/aux_/na_spec.hpp> |
28 | #include <boost/mpl/aux_/lambda_spec.hpp> |
29 | |
30 | namespace boost { namespace mpl { |
31 | |
32 | namespace aux { |
33 | |
34 | template< typename Predicate, typename Operation > |
35 | struct unique_op |
36 | { |
37 | template< typename Pair, typename T > struct apply |
38 | { |
39 | typedef typename Pair::first seq_; |
40 | typedef typename Pair::second prior_; |
41 | typedef typename eval_if< |
42 | and_< is_not_na<prior_>, apply2<Predicate,prior_,T> > |
43 | , identity<seq_> |
44 | , apply2<Operation,seq_,T> |
45 | >::type new_seq_; |
46 | |
47 | typedef pair<new_seq_,T> type; |
48 | }; |
49 | }; |
50 | |
51 | template< |
52 | typename Sequence |
53 | , typename Predicate |
54 | , typename Inserter |
55 | > |
56 | struct unique_impl |
57 | : first< typename fold< |
58 | Sequence |
59 | , pair< typename Inserter::state,na > |
60 | , protect< aux::unique_op<Predicate,typename Inserter::operation> > |
61 | >::type > |
62 | { |
63 | }; |
64 | |
65 | template< |
66 | typename Sequence |
67 | , typename Predicate |
68 | , typename Inserter |
69 | > |
70 | struct reverse_unique_impl |
71 | : first< typename reverse_fold< |
72 | Sequence |
73 | , pair< typename Inserter::state,na > |
74 | , protect< aux::unique_op<Predicate,typename Inserter::operation> > |
75 | >::type > |
76 | { |
77 | }; |
78 | |
79 | } // namespace aux |
80 | |
81 | BOOST_MPL_AUX_INSERTER_ALGORITHM_DEF(3, unique) |
82 | |
83 | }} |
84 | |
85 | #endif // BOOST_MPL_UNIQUE_HPP_INCLUDED |
86 | |