[Boost-commit] svn:boost r48809 - sandbox/committee/concepts/stdlib

Subject: [Boost-commit] svn:boost r48809 - sandbox/committee/concepts/stdlib
From: dgregor_at_[hidden]
Date: 2008-09-17 02:17:34

Author: dgregor
Date: 2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
New Revision: 48809
URL: http://svn.boost.org/trac/boost/changeset/48809

Log:
Address a few minor issues
Text files modified: 
   sandbox/committee/concepts/stdlib/clib-algorithms.tex |     9 +++++----                               
   sandbox/committee/concepts/stdlib/clib-utilities.tex  |     6 +++---                                  
   2 files changed, 8 insertions(+), 7 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-algorithms.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-algorithms.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-algorithms.tex	2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
@@ -82,6 +82,9 @@
   concept, which is used to constrain the third \tcode{random_shuffle}
   overload. Made the third \tcode{random_shuffle} accept its random
   number generator by rvalue reference.
+\item Now that \tcode{ShuffleIterator} requires
+  \tcode{ForwardIterator}, simplified the \tcode{rotate} algorithm to
+  only directly require \tcode{ShuffleIterator}.
 \end{itemize}
 
 \end{titlepage}
@@ -431,8 +434,7 @@
   template<BidirectionalIterator InIter, OutputIterator<auto, InIter::reference> OutIter>
     OutIter reverse_copy(InIter @\farg{first}@, InIter @\farg{last}@, OutIter @\farg{result}@);
 
-  template<ForwardIterator Iter>
-    requires ShuffleIterator<Iter>
+  template<ShuffleIterator Iter>
     Iter rotate(Iter @\farg{first}@, Iter @\farg{middle}@,
                 Iter @\farg{last}@);
   template<ForwardIterator InIter, OutputIterator<auto, InIter::reference> OutIter>
@@ -2450,8 +2452,7 @@
 
 \index{rotate@\tcode{rotate}}%
 \color{addclr}\begin{itemdecl}
-template<ForwardIterator Iter>
-  requires ShuffleIterator<Iter>
+template<ShuffleIterator Iter>
   Iter rotate(Iter @\farg{first}@, Iter @\farg{middle}@,
               Iter @\farg{last}@);
 \end{itemdecl}\color{black}

Modified: sandbox/committee/concepts/stdlib/clib-utilities.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-utilities.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-utilities.tex	2008-09-17 02:17:33 EDT (Wed, 17 Sep 2008)
@@ -636,7 +636,7 @@
 
 \begin{itemdecl}
 template<class @\farg{U}@, class @\farg{V}@> 
-  @\addedConcepts{requires HasAssign<T1, RvalueOf<U>::type> \&\& MoveAssignable<T2, RvalueOf<V>::type>}@
+  @\addedConcepts{requires HasAssign<T1, RvalueOf<U>::type> \&\& HasAssign<T2, RvalueOf<V>::type>}@
   pair& operator=(pair<@\farg{U}@, @\farg{V}@>&& @\farg{p}@);
 \end{itemdecl}
 
@@ -1164,7 +1164,7 @@
 \index{operator=@\tcode{operator=}!tuple@\tcode{tuple}}%
 \begin{itemdecl}
 template <@\addedD{class... UTypes}@>
-  @\addedConcepts{requires CopyAssignable<Types, UTypes>...}@ 
+  @\addedConcepts{requires HasAssign<Types, const UTypes\&>...}@ 
   tuple& operator=(const tuple<@\addedD{UTypes...}@>& u);
 \end{itemdecl}
 
@@ -1186,7 +1186,7 @@
 \index{operator=@\tcode{operator=}!tuple@\tcode{tuple}}%
 \begin{itemdecl}
 @\addedD{template <class... UTypes>}@
-  @\addedConcepts{requires MoveAssignable<Types, UTypes>...}@ 
+  @\addedConcepts{requires HasMoveAssign<Types, RvalueOf<UTypes>::type>...}@ 
   @\addedD{tuple\& operator=(tuple<UTypes...>\&\& u);}@
 \end{itemdecl}