Boost logo

Boost-Commit :

From: dgregor_at_[hidden]
Date: 2008-04-17 15:48:42


Author: dgregor
Date: 2008-04-17 15:48:41 EDT (Thu, 17 Apr 2008)
New Revision: 44515
URL: http://svn.boost.org/trac/boost/changeset/44515

Log:
Clarify how we find concept maps corresponding to refinements
Text files modified:
   sandbox/committee/concepts/wording/wording.tex | 17 +++++++++++++----
   1 files changed, 13 insertions(+), 4 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-04-17 15:48:41 EDT (Thu, 17 Apr 2008)
@@ -4425,10 +4425,19 @@
 \rSec3[concept.refine.maps]{Implicit concept maps for refined concepts}
 
 \pnum
-\addedConcepts{When a concept map is defined for a concept \mbox{\tcode{C}} that has a
-refinement clause, concept maps for each of the concepts refined by
-\mbox{\tcode{C}} are implicitly defined in the namespace of which the
-concept map is a member unless already defined. \mbox{\enterexample}}
+\addedConcepts{When a concept map is defined for a concept
+ \mbox{\tcode{C}} that has a refinement clause, concept maps for each
+ of the }\changedCCC{concepts refined by}{concept instances in the
+ refinement clause of}
+\addedConcepts{\mbox{\tcode{C}}}
+\changedCCC{are implicitly}{shall be defined}
+\addedConcepts{in the namespace of which the
+concept map is a member}
+\removedCCC{unless already defined}\addedConcepts{.}
+\addedCC{If a concept map for a given concept instance in the
+ refinement clause has not be defined in the namespace of the
+ refining concept map, it is defined implicitly.}
+\addedConcepts{\mbox{\enterexample}}
 \begin{codeblock}
 concept A<typename T> { }
 concept B<typename T> : A<T> { }


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk