From df66940f0f0c070a692fbb7a8df5c047ec81cbfc Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jeremy.siek@gmail.com>
Date: Tue, 13 Jan 2004 19:25:15 +0000
Subject: [PATCH] added another valid expression to Interoperable Iterators

[SVN r21699]
---
 doc/new-iter-concepts.html | 10 +++++++---
 doc/new-iter-concepts.rst  |  2 ++
 2 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/doc/new-iter-concepts.html b/doc/new-iter-concepts.html
index d6257a0..3dd2d53 100755
--- a/doc/new-iter-concepts.html
+++ b/doc/new-iter-concepts.html
@@ -7,7 +7,7 @@
 <title>New Iterator Concepts</title>
 <meta name="author" content="David Abrahams, Jeremy Siek, Thomas Witt" />
 <meta name="organization" content="Boost Consulting, Indiana University Open Systems Lab, University of Hanover Institute for Transport Railway Operation and Construction" />
-<meta name="date" content="2004-01-12" />
+<meta name="date" content="2004-01-13" />
 <meta name="copyright" content="Copyright David Abrahams, Jeremy Siek, and Thomas Witt 2003. All rights reserved" />
 <link rel="stylesheet" href="default.css" type="text/css" />
 </head>
@@ -27,7 +27,7 @@
 Systems Lab</a>, University of Hanover <a class="last reference" href="http://www.ive.uni-hannover.de">Institute for
 Transport Railway Operation and Construction</a></td></tr>
 <tr><th class="docinfo-name">Date:</th>
-<td>2004-01-12</td></tr>
+<td>2004-01-13</td></tr>
 <tr class="field"><th class="docinfo-name">Number:</th><td class="field-body">This is a revised version of <a class="reference" href="http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2003/n1550.html">n1550</a>=03-0133, which was
 accepted for Technical Report 1 by the C++ standard
 committee's library working group. This proposal is a
@@ -853,6 +853,10 @@ met.</p>
 <td><tt class="literal"><span class="pre">Y</span></tt></td>
 <td>post: <tt class="literal"><span class="pre">y</span> <span class="pre">==</span> <span class="pre">x</span></tt></td>
 </tr>
+<tr><td><tt class="literal"><span class="pre">Y(x)</span></tt></td>
+<td><tt class="literal"><span class="pre">Y</span></tt></td>
+<td>post: <tt class="literal"><span class="pre">Y(x)</span> <span class="pre">==</span> <span class="pre">x</span></tt></td>
+</tr>
 <tr><td><tt class="literal"><span class="pre">x</span> <span class="pre">==</span> <span class="pre">y</span></tt></td>
 <td>convertible to <tt class="literal"><span class="pre">bool</span></tt></td>
 <td><tt class="literal"><span class="pre">==</span></tt> is an equivalence relation over its domain.</td>
@@ -1019,7 +1023,7 @@ LocalWords:  TraversalTag typename lvalues DWA Hmm JGS mis enum -->
 <hr class="footer" />
 <div class="footer">
 <a class="reference" href="new-iter-concepts.rst">View document source</a>.
-Generated on: 2004-01-13 19:20 UTC.
+Generated on: 2004-01-13 19:24 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>
diff --git a/doc/new-iter-concepts.rst b/doc/new-iter-concepts.rst
index 05ee95e..ed382da 100644
--- a/doc/new-iter-concepts.rst
+++ b/doc/new-iter-concepts.rst
@@ -685,6 +685,8 @@ met.
 +===========================================+=================================================+===================================================+
 |``y = x``                                  |``Y``                                            |post: ``y == x``                                   |
 +-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
+|``Y(x)``                                   |``Y``                                            |post: ``Y(x) == x``                                |
++-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
 |``x == y``                                 |convertible to ``bool``                          |``==`` is an equivalence relation over its domain. |
 +-------------------------------------------+-------------------------------------------------+---------------------------------------------------+
 |``y == x``                                 |convertible to ``bool``                          |``==`` is an equivalence relation over its domain. |