changed use of interoperable to say "if and only if"

also changed models section in indirect_iterator to mention
  iterator_traversal<>::type in addition to iterator_category


[SVN r21732]

doc/counting_iterator.html

@@ -142,10 +142,9 @@ tag <tt class="literal"><span class="pre">CategoryOrTraversal</span></tt>.  Othe
 <tt class="literal"><span class="pre">counting_iterator</span></tt> models Random Access Traversal Iterator.
 Otherwise, <tt class="literal"><span class="pre">counting_iterator</span></tt> models the same iterator traversal
 concepts modeled by <tt class="literal"><span class="pre">Incrementable</span></tt>.</p>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">counting_iterator&lt;X,C1,D1&gt;</span></tt> is interoperable with
-<tt class="literal"><span class="pre">counting_iterator&lt;X,C1,D1&gt;</span></tt> is interoperable with
+<tt class="literal"><span class="pre">counting_iterator&lt;Y,C2,D2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
-<tt class="literal"><span class="pre">counting_iterator&lt;Y,C2,D2&gt;</span></tt> if both counting iterators have the
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
-same traversal category and difference type.</p>
 </div>
 <div class="section" id="counting-iterator-operations">
 <h1><a class="toc-backref" href="#id5" name="counting-iterator-operations"><tt class="literal"><span class="pre">counting_iterator</span></tt> operations</a></h1>
@@ -272,7 +271,6 @@ indirectly printing out the numbers from 0 to 7
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="counting_iterator.rst">View document source</a>.
-Generated on: 2004-01-13 19:49 UTC.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>

doc/counting_iterator_ref.rst

@@ -83,10 +83,9 @@ tag ``CategoryOrTraversal``.  Otherwise, if
 Otherwise, ``counting_iterator`` models the same iterator traversal
 concepts modeled by ``Incrementable``.
 
-If iterator ``X`` is interoperable with iterator ``Y`` then
 ``counting_iterator<X,C1,D1>`` is interoperable with
-``counting_iterator<Y,C2,D2>`` if both counting iterators have the
+``counting_iterator<Y,C2,D2>`` if and only if iterator ``X`` is
-same traversal category and difference type.
+interoperable with iterator ``Y``.
 
 
 

doc/facade-and-adaptor.html

@@ -1479,7 +1479,8 @@ deducing the default for the <tt class="literal"><span class="pre">value_type</s
 </div>
 <div class="section" id="indirect-iterator-models">
 <h4><a class="toc-backref" href="#id46" name="indirect-iterator-models"><tt class="literal"><span class="pre">indirect_iterator</span></tt> models</a></h4>
-<p>In addition to the concepts indicated by <tt class="literal"><span class="pre">iterator_category</span></tt>, a
+<p>In addition to the concepts indicated by <tt class="literal"><span class="pre">iterator_category</span></tt>
+and by <tt class="literal"><span class="pre">iterator_traversal&lt;indirect_iterator&gt;::type</span></tt>, a
 specialization of <tt class="literal"><span class="pre">indirect_iterator</span></tt> models the following
 concepts, Where <tt class="literal"><span class="pre">v</span></tt> is an object of
 <tt class="literal"><span class="pre">iterator_traits&lt;Iterator&gt;::value_type</span></tt>:</p>
@@ -1493,8 +1494,9 @@ expression (where <tt class="literal"><span class="pre">t</span></tt> is an obje
 <li>Lvalue Iterator if <tt class="literal"><span class="pre">reference</span></tt> is a reference type.</li>
 </ul>
 </blockquote>
-<p>Two specializations of <tt class="literal"><span class="pre">indirect_iterator</span></tt> are interoperable if
+<p><tt class="literal"><span class="pre">indirect_iterator&lt;X,V1,C1,R1,D1&gt;</span></tt> is interoperable with
-their <tt class="literal"><span class="pre">Iterator</span></tt> parameters are interoperable.</p>
+<tt class="literal"><span class="pre">indirect_iterator&lt;Y,V2,C2,R2,D2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="indirect-iterator-operations">
 <h4><a class="toc-backref" href="#id47" name="indirect-iterator-operations"><tt class="literal"><span class="pre">indirect_iterator</span></tt> operations</a></h4>
@@ -1668,8 +1670,8 @@ Random Access Traversal Iterator</td>
 </tr>
 </tbody>
 </table>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">reverse_iterator&lt;X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">reverse_iterator&lt;Y&gt;</span></tt>
-<tt class="literal"><span class="pre">reverse_iterator&lt;X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">reverse_iterator&lt;Y&gt;</span></tt>.</p>
+if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="reverse-iterator-operations">
 <h4><a class="toc-backref" href="#id52" name="reverse-iterator-operations"><tt class="literal"><span class="pre">reverse_iterator</span></tt> operations</a></h4>
@@ -1871,9 +1873,9 @@ the <tt class="literal"><span class="pre">Iterator</span></tt> argument models.<
 </table>
 <p>If <tt class="literal"><span class="pre">transform_iterator</span></tt> models Writable Lvalue Iterator then it is a
 mutable iterator (as defined in the old iterator requirements).</p>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">transform_iterator&lt;F1,</span> <span class="pre">X,</span> <span class="pre">R1,</span> <span class="pre">V1&gt;</span></tt> is interoperable with
-<tt class="literal"><span class="pre">transform_iterator&lt;F1,</span> <span class="pre">X,</span> <span class="pre">R1,</span> <span class="pre">V1&gt;</span></tt> is interoperable with
+<tt class="literal"><span class="pre">transform_iterator&lt;F2,</span> <span class="pre">Y,</span> <span class="pre">R2,</span> <span class="pre">V2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
-<tt class="literal"><span class="pre">transform_iterator&lt;F2,</span> <span class="pre">Y,</span> <span class="pre">R2,</span> <span class="pre">V2&gt;</span></tt>.</p>
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="transform-iterator-operations">
 <h4><a class="toc-backref" href="#id57" name="transform-iterator-operations"><tt class="literal"><span class="pre">transform_iterator</span></tt> operations</a></h4>
@@ -2100,9 +2102,8 @@ following tables.</p>
 </tr>
 </tbody>
 </table>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">filter_iterator&lt;P1,</span> <span class="pre">X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">filter_iterator&lt;P2,</span> <span class="pre">Y&gt;</span></tt> 
-<tt class="literal"><span class="pre">filter_iterator&lt;P1,</span> <span class="pre">X&gt;</span></tt> is interoperable with
+if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
-<tt class="literal"><span class="pre">filter_iterator&lt;P2,</span> <span class="pre">Y&gt;</span></tt>.</p>
 </div>
 <div class="section" id="filter-iterator-operations">
 <h4><a class="toc-backref" href="#id62" name="filter-iterator-operations"><tt class="literal"><span class="pre">filter_iterator</span></tt> operations</a></h4>
@@ -2301,10 +2302,9 @@ tag <tt class="literal"><span class="pre">CategoryOrTraversal</span></tt>.  Othe
 <tt class="literal"><span class="pre">counting_iterator</span></tt> models Random Access Traversal Iterator.
 Otherwise, <tt class="literal"><span class="pre">counting_iterator</span></tt> models the same iterator traversal
 concepts modeled by <tt class="literal"><span class="pre">Incrementable</span></tt>.</p>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">counting_iterator&lt;X,C1,D1&gt;</span></tt> is interoperable with
-<tt class="literal"><span class="pre">counting_iterator&lt;X,C1,D1&gt;</span></tt> is interoperable with
+<tt class="literal"><span class="pre">counting_iterator&lt;Y,C2,D2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
-<tt class="literal"><span class="pre">counting_iterator&lt;Y,C2,D2&gt;</span></tt> if both counting iterators have the
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
-same traversal category and difference type.</p>
 </div>
 <div class="section" id="counting-iterator-operations">
 <h4><a class="toc-backref" href="#id67" name="counting-iterator-operations"><tt class="literal"><span class="pre">counting_iterator</span></tt> operations</a></h4>

doc/filter_iterator.html

@@ -179,9 +179,8 @@ following tables.</p>
 </tr>
 </tbody>
 </table>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">filter_iterator&lt;P1,</span> <span class="pre">X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">filter_iterator&lt;P2,</span> <span class="pre">Y&gt;</span></tt> 
-<tt class="literal"><span class="pre">filter_iterator&lt;P1,</span> <span class="pre">X&gt;</span></tt> is interoperable with
+if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
-<tt class="literal"><span class="pre">filter_iterator&lt;P2,</span> <span class="pre">Y&gt;</span></tt>.</p>
 </div>
 <div class="section" id="filter-iterator-operations">
 <h1><a class="toc-backref" href="#id5" name="filter-iterator-operations"><tt class="literal"><span class="pre">filter_iterator</span></tt> operations</a></h1>
@@ -385,7 +384,6 @@ int main()
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="filter_iterator.rst">View document source</a>.
-Generated on: 2004-01-13 20:19 UTC.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>

doc/filter_iterator_ref.rst

@@ -92,9 +92,8 @@ following tables.
 +-------------------------------------------------------+---------------------------------+
 
 
-If iterator ``X`` is interoperable with iterator ``Y`` then
+``filter_iterator<P1, X>`` is interoperable with ``filter_iterator<P2, Y>`` 
-``filter_iterator<P1, X>`` is interoperable with
+if and only if iterator ``X`` is interoperable with iterator ``Y``.
-``filter_iterator<P2, Y>``.
 
 
 ``filter_iterator`` operations

doc/index.html

@@ -229,7 +229,6 @@ LocalWords:  TraversalTag typename lvalues DWA Hmm JGS -->
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="index.rst">View document source</a>.
-Generated on: 2004-01-13.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>

doc/indirect_iterator.html

@@ -193,7 +193,8 @@ deducing the default for the <tt class="literal"><span class="pre">value_type</s
 </div>
 <div class="section" id="indirect-iterator-models">
 <h1><a class="toc-backref" href="#id4" name="indirect-iterator-models"><tt class="literal"><span class="pre">indirect_iterator</span></tt> models</a></h1>
-<p>In addition to the concepts indicated by <tt class="literal"><span class="pre">iterator_category</span></tt>, a
+<p>In addition to the concepts indicated by <tt class="literal"><span class="pre">iterator_category</span></tt>
+and by <tt class="literal"><span class="pre">iterator_traversal&lt;indirect_iterator&gt;::type</span></tt>, a
 specialization of <tt class="literal"><span class="pre">indirect_iterator</span></tt> models the following
 concepts, Where <tt class="literal"><span class="pre">v</span></tt> is an object of
 <tt class="literal"><span class="pre">iterator_traits&lt;Iterator&gt;::value_type</span></tt>:</p>
@@ -207,8 +208,9 @@ expression (where <tt class="literal"><span class="pre">t</span></tt> is an obje
 <li>Lvalue Iterator if <tt class="literal"><span class="pre">reference</span></tt> is a reference type.</li>
 </ul>
 </blockquote>
-<p>Two specializations of <tt class="literal"><span class="pre">indirect_iterator</span></tt> are interoperable if
+<p><tt class="literal"><span class="pre">indirect_iterator&lt;X,V1,C1,R1,D1&gt;</span></tt> is interoperable with
-their <tt class="literal"><span class="pre">Iterator</span></tt> parameters are interoperable.</p>
+<tt class="literal"><span class="pre">indirect_iterator&lt;Y,V2,C2,R2,D2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="indirect-iterator-operations">
 <h1><a class="toc-backref" href="#id5" name="indirect-iterator-operations"><tt class="literal"><span class="pre">indirect_iterator</span></tt> operations</a></h1>

doc/indirect_iterator_ref.rst

@@ -93,7 +93,8 @@ deducing the default for the ``value_type`` member.]
 ``indirect_iterator`` models
 ............................
 
-In addition to the concepts indicated by ``iterator_category``, a
+In addition to the concepts indicated by ``iterator_category``
+and by ``iterator_traversal<indirect_iterator>::type``, a
 specialization of ``indirect_iterator`` models the following
 concepts, Where ``v`` is an object of
 ``iterator_traits<Iterator>::value_type``:
@@ -107,8 +108,10 @@ concepts, Where ``v`` is an object of
 
   * Lvalue Iterator if ``reference`` is a reference type.
 
-Two specializations of ``indirect_iterator`` are interoperable if
+``indirect_iterator<X,V1,C1,R1,D1>`` is interoperable with
-their ``Iterator`` parameters are interoperable.
+``indirect_iterator<Y,V2,C2,R2,D2>`` if and only if iterator ``X`` is
+interoperable with iterator ``Y``.
+
 
 ``indirect_iterator`` operations
 ................................

doc/permutation_iterator.html

@@ -131,9 +131,9 @@ as <tt class="literal"><span class="pre">IndexIterator</span></tt> and the same
 <p>If <tt class="literal"><span class="pre">IndexIterator</span></tt> models Random Access Traversal Iterator and
 <tt class="literal"><span class="pre">ElementIterator</span></tt> models Readable Lvalue Iterator then
 <tt class="literal"><span class="pre">permutation_iterator</span></tt> models Random Access Iterator.</p>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">permutation_iterator&lt;X,</span> <span class="pre">I1,</span> <span class="pre">V1,</span> <span class="pre">C2,</span> <span class="pre">R1,</span> <span class="pre">D1&gt;</span></tt> is interoperable with
-<tt class="literal"><span class="pre">permutation_iterator&lt;X,</span> <span class="pre">I1,</span> <span class="pre">V1,</span> <span class="pre">C2,</span> <span class="pre">R1,</span> <span class="pre">D1&gt;</span></tt> is interoperable with
+<tt class="literal"><span class="pre">permutation_iterator&lt;Y,</span> <span class="pre">I2,</span> <span class="pre">V2,</span> <span class="pre">C2,</span> <span class="pre">R2,</span> <span class="pre">D2&gt;</span></tt> if and only if
-<tt class="literal"><span class="pre">permutation_iterator&lt;Y,</span> <span class="pre">I2,</span> <span class="pre">V2,</span> <span class="pre">C2,</span> <span class="pre">R2,</span> <span class="pre">D2&gt;</span></tt>.</p>
+iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="permutation-iterator-operations">
 <h2><a class="toc-backref" href="#id6" name="permutation-iterator-operations"><tt class="literal"><span class="pre">permutation_iterator</span></tt> operations</a></h2>

doc/permutation_iterator_ref.rst

@@ -64,9 +64,9 @@ If ``IndexIterator`` models Random Access Traversal Iterator and
 ``ElementIterator`` models Readable Lvalue Iterator then
 ``permutation_iterator`` models Random Access Iterator.
 
-If iterator ``X`` is interoperable with iterator ``Y`` then
 ``permutation_iterator<X, I1, V1, C2, R1, D1>`` is interoperable with
-``permutation_iterator<Y, I2, V2, C2, R2, D2>``.
+``permutation_iterator<Y, I2, V2, C2, R2, D2>`` if and only if
+iterator ``X`` is interoperable with iterator ``Y``.
 
 
 ``permutation_iterator`` operations

doc/reverse_iterator.html

@@ -127,8 +127,8 @@ Random Access Traversal Iterator</td>
 </tr>
 </tbody>
 </table>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">reverse_iterator&lt;X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">reverse_iterator&lt;Y&gt;</span></tt>
-<tt class="literal"><span class="pre">reverse_iterator&lt;X&gt;</span></tt> is interoperable with <tt class="literal"><span class="pre">reverse_iterator&lt;Y&gt;</span></tt>.</p>
+if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="reverse-iterator-operations">
 <h1><a class="toc-backref" href="#id5" name="reverse-iterator-operations"><tt class="literal"><span class="pre">reverse_iterator</span></tt> operations</a></h1>
@@ -271,7 +271,6 @@ sequence in double-reversed (normal) order:     hello world!
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="reverse_iterator.rst">View document source</a>.
-Generated on: 2004-01-13 19:49 UTC.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>

doc/reverse_iterator_ref.rst

@@ -69,8 +69,8 @@ specified in the following table:
 +---------------------------------------+-----------------------------------+
 
 
-If iterator ``X`` is interoperable with iterator ``Y`` then
+``reverse_iterator<X>`` is interoperable with ``reverse_iterator<Y>``
-``reverse_iterator<X>`` is interoperable with ``reverse_iterator<Y>``.
+if and only if iterator ``X`` is interoperable with iterator ``Y``.
 
 
 

doc/transform_iterator.html

@@ -157,9 +157,9 @@ the <tt class="literal"><span class="pre">Iterator</span></tt> argument models.<
 </table>
 <p>If <tt class="literal"><span class="pre">transform_iterator</span></tt> models Writable Lvalue Iterator then it is a
 mutable iterator (as defined in the old iterator requirements).</p>
-<p>If iterator <tt class="literal"><span class="pre">X</span></tt> is interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt> then
+<p><tt class="literal"><span class="pre">transform_iterator&lt;F1,</span> <span class="pre">X,</span> <span class="pre">R1,</span> <span class="pre">V1&gt;</span></tt> is interoperable with
-<tt class="literal"><span class="pre">transform_iterator&lt;F1,</span> <span class="pre">X,</span> <span class="pre">R1,</span> <span class="pre">V1&gt;</span></tt> is interoperable with
+<tt class="literal"><span class="pre">transform_iterator&lt;F2,</span> <span class="pre">Y,</span> <span class="pre">R2,</span> <span class="pre">V2&gt;</span></tt> if and only if iterator <tt class="literal"><span class="pre">X</span></tt> is
-<tt class="literal"><span class="pre">transform_iterator&lt;F2,</span> <span class="pre">Y,</span> <span class="pre">R2,</span> <span class="pre">V2&gt;</span></tt>.</p>
+interoperable with iterator <tt class="literal"><span class="pre">Y</span></tt>.</p>
 </div>
 <div class="section" id="transform-iterator-operations">
 <h1><a class="toc-backref" href="#id5" name="transform-iterator-operations"><tt class="literal"><span class="pre">transform_iterator</span></tt> operations</a></h1>
@@ -321,7 +321,6 @@ adding 4 to each element in the array:
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="transform_iterator.rst">View document source</a>.
-Generated on: 2004-01-13 19:49 UTC.
 Generated by <a class="reference" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
 </div>
 </body>

doc/transform_iterator_ref.rst

@@ -102,9 +102,9 @@ the ``Iterator`` argument models.
 If ``transform_iterator`` models Writable Lvalue Iterator then it is a
 mutable iterator (as defined in the old iterator requirements).
 
-If iterator ``X`` is interoperable with iterator ``Y`` then
 ``transform_iterator<F1, X, R1, V1>`` is interoperable with
-``transform_iterator<F2, Y, R2, V2>``.
+``transform_iterator<F2, Y, R2, V2>`` if and only if iterator ``X`` is
+interoperable with iterator ``Y``.