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

Revision 857, 2.2 KB checked in by igarcia, 19 years ago (diff)
Line 
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// $Source: /cvsroot/boost/boost/boost/mpl/unique.hpp,v $
15// $Date: 2004/09/02 15:40:42 $
16// $Revision: 1.7 $
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
30namespace boost { namespace mpl {
31
32namespace aux {
33
34template< typename Predicate, typename Operation >
35struct 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
51template<
52      typename Sequence
53    , typename Predicate
54    , typename Inserter
55    >
56struct 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
65template<
66      typename Sequence
67    , typename Predicate
68    , typename Inserter
69    >
70struct 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
81BOOST_MPL_AUX_INSERTER_ALGORITHM_DEF(3, unique)
82
83}}
84
85#endif // BOOST_MPL_UNIQUE_HPP_INCLUDED
Note: See TracBrowser for help on using the repository browser.