]>
Commit | Line | Data |
---|---|---|
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 |