[Boost-commit] svn:boost r44515 - sandbox/committee/concepts/wording

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> { }