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

Subject: [Boost-commit] svn:boost r48696 - sandbox/committee/concepts/stdlib
From: dgregor_at_[hidden]
Date: 2008-09-10 10:17:57

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

Log:
Cleanup ArithmeticLike, [concept.transform] introduction
Text files modified: 
   sandbox/committee/concepts/stdlib/clib-concepts.tex |    13 ++++++++++---                           
   1 files changed, 10 insertions(+), 3 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-concepts.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-concepts.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-concepts.tex	2008-09-10 10:17:57 EDT (Wed, 10 Sep 2008)
@@ -116,6 +116,10 @@
   \end{itemize}
   \item Implicitly define \tcode{TriviallyEqualityComparable} concept
     maps for enumeration types.
+  \item Change \tcode{ArithmeticLike} to refine from
+    \tcode{LessThanComparable} rather than \tcode{HasLess},
+    \tcode{HasGreater}, \tcode{HasLessEqual}, and
+    \tcode{HasGreatEqual}. 
 \end{itemize}
 
 \end{titlepage}
@@ -687,8 +691,12 @@
 
 \rSec2[concept.transform]{Type transformations}
 \pnum
+\addedConcepts{The concepts in [concept.transform] provide simple type
+  transformations that can be used within constrained templates.}
+
+\pnum
 \addedConcepts{A program shall not provide concept maps for any concept in
-[concept.support].}
+[concept.transform].}
 
 \begin{itemdecl}
 auto concept IdentityOf<typename T> {
@@ -1776,9 +1784,8 @@
 
 \begin{itemdecl}
 concept ArithmeticLike<typename T> 
-  : Regular<T>, HasUnaryPlus<T>, HasNegate<T>,
+  : Regular<T>, LessThanComparable<T>, HasUnaryPlus<T>, HasNegate<T>,
     HasPlus<T, T>, HasMinus<T, T>, HasMultiply<T, T>, HasDivide<T, T>, 
-    HasLess<T, T>, HasGreater<T, T>, HasLessEqual<T, T>, HasGreaterEqual<T, T>,
     HasPreincrement<T>, HasPostincrement<T>, HasPredecrement<T>, HasPostdecrement<T>,
     HasPlusAssign<T, const T&>, HasMinusAssign<T, const T&>,
     HasMultiplyAssign<T, const T&>, HasDivideAssign<T, const T&> {