2004-11-28 03:35:12 +00:00
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
< html xmlns = "http://www.w3.org/1999/xhtml" xml:lang = "en" lang = "en" >
< head >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" />
2010-08-09 20:07:24 +00:00
< meta name = "generator" content = "Docutils 0.7: http://docutils.sourceforge.net/" />
2004-11-28 03:35:12 +00:00
< title > The MPL Reference Manual: reverse_unique</ title >
< link rel = "stylesheet" href = "../style.css" type = "text/css" />
</ head >
< body class = "docframe refmanual" >
< table class = "header" >< tr class = "header" >< td class = "header-group navigation-bar" >< span class = "navigation-group" >< a href = "./reverse-remove-if.html" class = "navigation-link" > Prev</ a > < a href = "./reverse-partition.html" class = "navigation-link" > Next</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./reverse-remove-if.html" class = "navigation-link" > Back</ a > < a href = "./reverse-partition.html" class = "navigation-link" > Along</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./transformation-algorithms.html" class = "navigation-link" > Up</ a > < a href = "../refmanual.html" class = "navigation-link" > Home</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./refmanual_toc.html" class = "navigation-link" > Full TOC</ a ></ span ></ td >
< td class = "header-group page-location" >< a href = "../refmanual.html" class = "navigation-link" > Front Page</ a > / < a href = "./algorithms.html" class = "navigation-link" > Algorithms</ a > / < a href = "./transformation-algorithms.html" class = "navigation-link" > Transformation Algorithms</ a > / < a href = "./reverse-unique.html" class = "navigation-link" > reverse_unique</ a ></ td >
</ tr ></ table >< div class = "header-separator" ></ div >
< div class = "section" id = "reverse-unique" >
2010-08-09 20:07:24 +00:00
< h1 >< a class = "toc-backref" href = "./transformation-algorithms.html#id1505" > reverse_unique</ a ></ h1 >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id785" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#synopsis" name = "synopsis" > Synopsis</ a ></ h3 >
< pre class = "literal-block" >
template<
typename Seq
, typename Pred
, typename In = < em > unspecified</ em >
>
struct < a href = "./reverse-unique.html" class = "identifier" > reverse_unique</ a >
{
typedef < em > unspecified</ em > type;
};
</ pre >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id786" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#description" name = "description" > Description</ a ></ h3 >
< p > Returns a sequence of the initial elements of every subrange of the
reversed original sequence < tt class = "literal" >< span class = "pre" > Seq</ span ></ tt > whose elements are all the same.</ p >
2009-08-17 11:30:52 +00:00
< p > [< em > Note:</ em > This wording applies to a no-inserter version(s) of the algorithm. See the
< cite > Expression semantics</ cite > subsection for a precise specification of the algorithm's
2004-11-28 03:35:12 +00:00
details in all cases — < em > end note</ em > ]</ p >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id787" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#header" name = "header" > Header</ a ></ h3 >
< pre class = "literal-block" >
#include < < a href = "../../../../boost/mpl/unique.hpp" class = "header" > boost/mpl/unique.hpp</ a > >
</ pre >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id788" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#model-of" name = "model-of" > Model of</ a ></ h3 >
2009-08-17 11:30:52 +00:00
< p >< a class = "reference internal" href = "./reversible-algorithm.html" > Reversible Algorithm</ a ></ p >
2004-11-28 03:35:12 +00:00
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id789" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#parameters" name = "parameters" > Parameters</ a ></ h3 >
2009-08-17 11:30:52 +00:00
< table border = "1" class = "docutils table" >
2004-11-28 03:35:12 +00:00
< colgroup >
< col width = "19%" />
< col width = "43%" />
< col width = "38%" />
</ colgroup >
< thead valign = "bottom" >
2009-08-17 11:30:52 +00:00
< tr >< th class = "head" > Parameter</ th >
< th class = "head" > Requirement</ th >
< th class = "head" > Description</ th >
2004-11-28 03:35:12 +00:00
</ tr >
</ thead >
< tbody valign = "top" >
< tr >< td >< tt class = "literal" >< span class = "pre" > Sequence</ span ></ tt ></ td >
2009-08-17 11:30:52 +00:00
< td >< a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence</ a ></ td >
2004-11-28 03:35:12 +00:00
< td > An original sequence.</ td >
</ tr >
< tr >< td >< tt class = "literal" >< span class = "pre" > Pred</ span ></ tt ></ td >
2009-08-17 11:30:52 +00:00
< td > Binary < a class = "reference internal" href = "./lambda-expression.html" > Lambda Expression</ a ></ td >
2004-11-28 03:35:12 +00:00
< td > An equivalence relation.</ td >
</ tr >
< tr >< td >< tt class = "literal" >< span class = "pre" > In</ span ></ tt ></ td >
2009-08-17 11:30:52 +00:00
< td >< a class = "reference internal" href = "./inserter.html" > Inserter</ a ></ td >
2004-11-28 03:35:12 +00:00
< td > An inserter.</ td >
</ tr >
</ tbody >
</ table >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id790" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#expression-semantics" name = "expression-semantics" > Expression semantics</ a ></ h3 >
< p > The semantics of an expression are defined only
2009-08-17 11:30:52 +00:00
where they differ from, or are not defined in < a class = "reference internal" href = "./reversible-algorithm.html" > Reversible Algorithm</ a > .</ p >
< p > For any < a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence</ a > < tt class = "literal" >< span class = "pre" > s</ span ></ tt > , a binary < a class = "reference internal" href = "./lambda-expression.html" > Lambda Expression</ a > < tt class = "literal" >< span class = "pre" > pred</ span ></ tt > ,
and an < a class = "reference internal" href = "./inserter.html" > Inserter</ a > < tt class = "literal" >< span class = "pre" > in</ span ></ tt > :</ p >
2004-11-28 03:35:12 +00:00
< pre class = "literal-block" >
2009-08-17 11:30:52 +00:00
typedef < a href = "./reverse-unique.html" class = "identifier" > reverse_unique</ a > < s,pred,in> ::type r;
2004-11-28 03:35:12 +00:00
</ pre >
2009-08-17 11:30:52 +00:00
< table class = "docutils field-list" frame = "void" rules = "none" >
2004-11-28 03:35:12 +00:00
< col class = "field-name" />
< col class = "field-body" />
< tbody valign = "top" >
2009-08-17 11:30:52 +00:00
< tr class = "field" >< th class = "field-name" > Return type:</ th >< td class = "field-body" >< p class = "first" > A type.</ p >
</ td >
2004-11-28 03:35:12 +00:00
</ tr >
< tr class = "field" >< th class = "field-name" > Semantics:</ th >< td class = "field-body" >< p class = "first" > If < tt class = "literal" >< span class = "pre" >< a href = "./size.html" class = "identifier" > size</ a > < s> ::value</ span > < span class = "pre" > < =</ span > < span class = "pre" > 1</ span ></ tt > , then equivalent to</ p >
< pre class = "literal-block" >
typedef < a href = "./reverse-copy.html" class = "identifier" > reverse_copy</ a > < s,in> ::type r;
</ pre >
< p > otherwise equivalent to</ p >
< pre class = "last literal-block" >
typedef < a href = "./lambda.html" class = "identifier" > lambda</ a > < pred> ::type p;
typedef < a href = "./lambda.html" class = "identifier" > lambda</ a > < in::operation> ::type in_op;
typedef < a href = "./apply-wrap.html" class = "identifier" > apply_wrap</ a >< tt class = "literal" >< span class = "pre" > 2</ span ></ tt > <
in_op
, in::state
2009-08-17 11:30:52 +00:00
, < a href = "./front.html" class = "identifier" > front</ a > < types> ::type
2004-11-28 03:35:12 +00:00
> ::type in_state;
typedef < a href = "./reverse-fold.html" class = "identifier" > reverse_fold</ a > <
s
, < a href = "./pair.html" class = "identifier" > pair</ a > < in_state, < a href = "./front.html" class = "identifier" > front</ a > < s> ::type >
2009-08-17 11:30:52 +00:00
, < a href = "./eval-if.html" class = "identifier" > eval_if</ a > <
< a href = "./apply-wrap.html" class = "identifier" > apply_wrap</ a >< tt class = "literal" >< span class = "pre" > 2</ span ></ tt > < p, second< < a href = "./placeholders.html" class = "identifier" > _1</ a > > , < a href = "./placeholders.html" class = "identifier" > _2</ a > >
, < a href = "./identity.html" class = "identifier" > identity</ a > < first< < a href = "./placeholders.html" class = "identifier" > _1</ a > > >
, < a href = "./apply-wrap.html" class = "identifier" > apply_wrap</ a >< tt class = "literal" >< span class = "pre" > 2</ span ></ tt > < in_op, first< < a href = "./placeholders.html" class = "identifier" > _1</ a > > , < a href = "./placeholders.html" class = "identifier" > _2</ a > >
2004-11-28 03:35:12 +00:00
>
> ::type::first r;
</ pre >
</ td >
</ tr >
</ tbody >
</ table >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id791" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#complexity" name = "complexity" > Complexity</ a ></ h3 >
2009-08-17 11:30:52 +00:00
< p > Linear. Performs exactly < tt class = "literal" >< span class = "pre" >< a href = "./size.html" class = "identifier" > size</ a > < s> ::value</ span > < span class = "pre" > -</ span > < span class = "pre" > 1</ span ></ tt > applications of < tt class = "literal" >< span class = "pre" > pred</ span ></ tt > , and at
2004-11-28 03:35:12 +00:00
most < tt class = "literal" >< span class = "pre" >< a href = "./size.html" class = "identifier" > size</ a > < s> ::value</ span ></ tt > insertions.</ p >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id792" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#example" name = "example" > Example</ a ></ h3 >
< pre class = "literal-block" >
typedef < a href = "./vector.html" class = "identifier" > vector</ a > < int,float,float,char,int,int,int,double> types;
typedef < a href = "./vector.html" class = "identifier" > vector</ a > < double,int,char,float,int> expected;
2009-08-17 11:30:52 +00:00
typedef < a href = "./reverse-unique.html" class = "identifier" > reverse_unique</ a > < types, is_same< < a href = "./placeholders.html" class = "identifier" > _1</ a > ,< a href = "./placeholders.html" class = "identifier" > _2</ a > > > ::type result;
2004-11-28 03:35:12 +00:00
< a href = "./assert.html" class = "identifier" > BOOST_MPL_ASSERT</ a > (( < a href = "./equal.html" class = "identifier" > equal</ a > < result,expected > ));
</ pre >
</ div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id793" >
2004-11-28 03:35:12 +00:00
< h3 >< a class = "subsection-title" href = "#see-also" name = "see-also" > See also</ a ></ h3 >
2009-08-17 11:30:52 +00:00
< p >< a class = "reference internal" href = "./transformation-algorithms.html" > Transformation Algorithms</ a > , < a class = "reference internal" href = "./reversible-algorithm.html" > Reversible Algorithm</ a > , < a class = "reference internal" href = "./unique.html" > unique</ a > , < a class = "reference internal" href = "./reverse-remove.html" > reverse_remove</ a > ,
< a class = "reference internal" href = "./reverse-copy-if.html" > reverse_copy_if</ a > , < a class = "reference internal" href = "./replace-if.html" > replace_if</ a ></ p >
2004-11-28 03:35:12 +00:00
<!-- Algorithms/Transformation Algorithms//reverse_partition |185 -->
</ div >
</ div >
< div class = "footer-separator" ></ div >
< table class = "footer" >< tr class = "footer" >< td class = "header-group navigation-bar" >< span class = "navigation-group" >< a href = "./reverse-remove-if.html" class = "navigation-link" > Prev</ a > < a href = "./reverse-partition.html" class = "navigation-link" > Next</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./reverse-remove-if.html" class = "navigation-link" > Back</ a > < a href = "./reverse-partition.html" class = "navigation-link" > Along</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./transformation-algorithms.html" class = "navigation-link" > Up</ a > < a href = "../refmanual.html" class = "navigation-link" > Home</ a ></ span >< span class = "navigation-group-separator" > | </ span >< span class = "navigation-group" >< a href = "./refmanual_toc.html" class = "navigation-link" > Full TOC</ a ></ span ></ td >
2009-08-17 11:30:52 +00:00
< td >< div class = "copyright-footer" >< div class = "copyright" > Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams</ div >
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at < a class = "reference external" href = "http://www.boost.org/LICENSE_1_0.txt" target = "_top" > http://www.boost.org/LICENSE_1_0.txt</ a > )</ div ></ td ></ tr ></ table ></ body >
2004-11-28 03:35:12 +00:00
</ html >