summaryrefslogtreecommitdiff
path: root/libs/concept_check
diff options
context:
space:
mode:
authorDongHun Kwak <dh0128.kwak@samsung.com>2017-09-13 11:08:07 +0900
committerDongHun Kwak <dh0128.kwak@samsung.com>2017-09-13 11:09:00 +0900
commitb5c87084afaef42b2d058f68091be31988a6a874 (patch)
treeadef9a65870a41181687e11d57fdf98e7629de3c /libs/concept_check
parent34bd32e225e2a8a94104489b31c42e5801cc1f4a (diff)
downloadboost-b5c87084afaef42b2d058f68091be31988a6a874.tar.gz
boost-b5c87084afaef42b2d058f68091be31988a6a874.tar.bz2
boost-b5c87084afaef42b2d058f68091be31988a6a874.zip
Imported Upstream version 1.64.0upstream/1.64.0
Change-Id: Id9212edd016dd55f21172c427aa7894d1d24148b Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
Diffstat (limited to 'libs/concept_check')
-rw-r--r--libs/concept_check/concept_check.htm2
-rw-r--r--libs/concept_check/doc/html/Assignable.html12
-rw-r--r--libs/concept_check/doc/html/BidirectionalIterator.html20
-rw-r--r--libs/concept_check/doc/html/CopyConstructible.html8
-rw-r--r--libs/concept_check/doc/html/DefaultConstructible.html8
-rw-r--r--libs/concept_check/doc/html/EqualityComparable.html8
-rw-r--r--libs/concept_check/doc/html/ForwardIterator.html20
-rw-r--r--libs/concept_check/doc/html/InputIterator.html18
-rw-r--r--libs/concept_check/doc/html/LessThanComparable.html8
-rw-r--r--libs/concept_check/doc/html/OutputIterator.html14
-rw-r--r--libs/concept_check/doc/html/RandomAccessIterator.html18
-rw-r--r--libs/concept_check/doc/html/SignedInteger.html8
-rw-r--r--libs/concept_check/doc/html/index.html2
-rw-r--r--libs/concept_check/using_concept_check.htm8
14 files changed, 77 insertions, 77 deletions
diff --git a/libs/concept_check/concept_check.htm b/libs/concept_check/concept_check.htm
index 1dd72c2230..4a47fa8087 100644
--- a/libs/concept_check/concept_check.htm
+++ b/libs/concept_check/concept_check.htm
@@ -72,7 +72,7 @@
<li>A mechanism for inserting compile-time checks on template parameters
at their point of use.</li>
- <li>A framework for specifying concept requirements though concept
+ <li>A framework for specifying concept requirements through concept
checking classes.</li>
<li>A mechanism for verifying that concept requirements cover the
diff --git a/libs/concept_check/doc/html/Assignable.html b/libs/concept_check/doc/html/Assignable.html
index 5e0a2935e4..ad78a63c07 100644
--- a/libs/concept_check/doc/html/Assignable.html
+++ b/libs/concept_check/doc/html/Assignable.html
@@ -29,17 +29,17 @@
<p>Assignable</p>
</div>
<div class="refsect1">
-<a name="idp80105968"></a><h2>Description</h2>
+<a name="idp69148144"></a><h2>Description</h2>
<p>Assignable types must have copy constructors,
<code class="computeroutput">operator=</code> for assignment, and the <code class="computeroutput">swap()</code>
function defined.</p>
</div>
<div class="refsect1">
-<a name="idp80372320"></a><h2>Refinement of</h2>
+<a name="idp69150640"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="CopyConstructible.html" title="Concept CopyConstructible">CopyConstructible</a></p></li></ul></div>
</div>
<div class="refsect1">
-<a name="idp80252256"></a><h2>Notation</h2>
+<a name="idp69152192"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">X</span></dt>
<dd>A type playing the role of assignable-type in the <a class="link" href="Assignable.html" title="Concept Assignable">Assignable</a> concept.</dd>
@@ -50,7 +50,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp81417776"></a><h2>Valid expressions</h2>
+<a name="idp69155872"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -81,11 +81,11 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp79871744"></a><h2>Models</h2>
+<a name="idp69163552"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><span class="simplelist"><span class="type">int</span></span></li></ul></div>
</div>
<div class="refsect1">
-<a name="idp79473072"></a><h2>See also</h2>
+<a name="idp69165008"></a><h2>See also</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="CopyConstructible.html" title="Concept CopyConstructible">CopyConstructible</a></p></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/BidirectionalIterator.html b/libs/concept_check/doc/html/BidirectionalIterator.html
index 8879cf7ff9..422f7619bc 100644
--- a/libs/concept_check/doc/html/BidirectionalIterator.html
+++ b/libs/concept_check/doc/html/BidirectionalIterator.html
@@ -29,7 +29,7 @@
<p>BidirectionalIterator</p>
</div>
<div class="refsect1">
-<a name="idp82155728"></a><h2>Description</h2>
+<a name="idp74747728"></a><h2>Description</h2>
<p>A bidirectional iterator is an iterator that can read through a sequence
of values. It can move in either direction through the sequence, and can
be either mutable (data pointed to by it can be changed) or not mutable.</p>
@@ -39,11 +39,11 @@
incrementable).</p>
</div>
<div class="refsect1">
-<a name="idp82157504"></a><h2>Refinement of</h2>
+<a name="idp74749504"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="ForwardIterator.html" title="Concept ForwardIterator">ForwardIterator</a></p></li></ul></div>
</div>
<div class="refsect1">
-<a name="idp82158768"></a><h2>Associated types</h2>
+<a name="idp74750768"></a><h2>Associated types</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<p><span class="bold"><strong>value_type</strong></span></p>
@@ -58,7 +58,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82162912"></a><h2>Notation</h2>
+<a name="idp74754912"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Iter</span></dt>
<dd>A type playing the role of iterator-type in the <a class="link" href="BidirectionalIterator.html" title="Concept BidirectionalIterator">BidirectionalIterator</a> concept.</dd>
@@ -71,7 +71,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82166992"></a><h2>Type expressions</h2>
+<a name="idp74758992"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Category tag</span></dt>
<dd><p><span class="type">category</span> must be
@@ -80,7 +80,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82168912"></a><h2>Valid expressions</h2>
+<a name="idp74760912"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -122,13 +122,13 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82178928"></a><h2>Complexity</h2>
+<a name="idp74770928"></a><h2>Complexity</h2>
<p>
All iterator operations must take amortized constant time.
</p>
</div>
<div class="refsect1">
-<a name="idp82179568"></a><h2>Invariants</h2>
+<a name="idp74771568"></a><h2>Invariants</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Predecrement must return object</span></dt>
<dd><p>
@@ -147,14 +147,14 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82186752"></a><h2>Models</h2>
+<a name="idp74778752"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">T *</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::list&lt;T&gt;::iterator</span></span></li>
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82189024"></a><h2>See also</h2>
+<a name="idp74781024"></a><h2>See also</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="RandomAccessIterator.html" title="Concept RandomAccessIterator">RandomAccessIterator</a></p></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/CopyConstructible.html b/libs/concept_check/doc/html/CopyConstructible.html
index d7422d3fc6..172b071f7a 100644
--- a/libs/concept_check/doc/html/CopyConstructible.html
+++ b/libs/concept_check/doc/html/CopyConstructible.html
@@ -29,12 +29,12 @@
<p>CopyConstructible</p>
</div>
<div class="refsect1">
-<a name="idp82270240"></a><h2>Description</h2>
+<a name="idp74862400"></a><h2>Description</h2>
<p>Copy constructible types must be able to be constructed from another
member of the type.</p>
</div>
<div class="refsect1">
-<a name="idp82271248"></a><h2>Notation</h2>
+<a name="idp74863408"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">X</span></dt>
<dd>A type playing the role of copy-constructible-type in the <a class="link" href="CopyConstructible.html" title="Concept CopyConstructible">CopyConstructible</a> concept.</dd>
@@ -45,7 +45,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82274432"></a><h2>Valid expressions</h2>
+<a name="idp74866672"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -68,7 +68,7 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82278512"></a><h2>Models</h2>
+<a name="idp74870752"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><span class="simplelist"><span class="type">int</span></span></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/DefaultConstructible.html b/libs/concept_check/doc/html/DefaultConstructible.html
index 16c56cf47b..c86b591a70 100644
--- a/libs/concept_check/doc/html/DefaultConstructible.html
+++ b/libs/concept_check/doc/html/DefaultConstructible.html
@@ -29,19 +29,19 @@
<p>DefaultConstructible</p>
</div>
<div class="refsect1">
-<a name="idp82259824"></a><h2>Description</h2>
+<a name="idp74851728"></a><h2>Description</h2>
<p>DefaultConstructible objects only need to have a default
constructor.</p>
</div>
<div class="refsect1">
-<a name="idp82260464"></a><h2>Notation</h2>
+<a name="idp74852448"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">X</span></dt>
<dd>A type playing the role of default-constructible-type in the <a class="link" href="DefaultConstructible.html" title="Concept DefaultConstructible">DefaultConstructible</a> concept.</dd>
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82262368"></a><h2>Valid expressions</h2>
+<a name="idp74854448"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -64,7 +64,7 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82266448"></a><h2>Models</h2>
+<a name="idp74858608"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">int</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::vector&lt;double&gt;</span></span></li>
diff --git a/libs/concept_check/doc/html/EqualityComparable.html b/libs/concept_check/doc/html/EqualityComparable.html
index f5b1e6176e..c36ec3c3b8 100644
--- a/libs/concept_check/doc/html/EqualityComparable.html
+++ b/libs/concept_check/doc/html/EqualityComparable.html
@@ -29,12 +29,12 @@
<p>EqualityComparable</p>
</div>
<div class="refsect1">
-<a name="idp82281424"></a><h2>Description</h2>
+<a name="idp74873664"></a><h2>Description</h2>
<p>Equality Comparable types must have <code class="computeroutput">==</code> and
<code class="computeroutput">!=</code> operators.</p>
</div>
<div class="refsect1">
-<a name="idp82283312"></a><h2>Notation</h2>
+<a name="idp74875552"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">X</span></dt>
<dd>A type playing the role of comparable-type in the <a class="link" href="EqualityComparable.html" title="Concept EqualityComparable">EqualityComparable</a> concept.</dd>
@@ -45,7 +45,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82286496"></a><h2>Valid expressions</h2>
+<a name="idp74878736"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -72,7 +72,7 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82291600"></a><h2>Models</h2>
+<a name="idp74883840"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">int</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::vector&lt;int&gt;</span></span></li>
diff --git a/libs/concept_check/doc/html/ForwardIterator.html b/libs/concept_check/doc/html/ForwardIterator.html
index dfb89b1d09..2db5804bbd 100644
--- a/libs/concept_check/doc/html/ForwardIterator.html
+++ b/libs/concept_check/doc/html/ForwardIterator.html
@@ -29,7 +29,7 @@
<p>ForwardIterator</p>
</div>
<div class="refsect1">
-<a name="idp82117552"></a><h2>Description</h2>
+<a name="idp74709552"></a><h2>Description</h2>
<p>A forward iterator is an iterator that can read through a sequence of
values. It is multi-pass (old values of the iterator can be
re-used), and can be either mutable (data pointed to by it can be
@@ -40,14 +40,14 @@
incrementable).</p>
</div>
<div class="refsect1">
-<a name="idp82119328"></a><h2>Refinement of</h2>
+<a name="idp74711328"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p><a class="link" href="InputIterator.html" title="Concept InputIterator">InputIterator</a></p></li>
<li class="listitem"><p><a class="link" href="OutputIterator.html" title="Concept OutputIterator">OutputIterator</a></p></li>
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82121344"></a><h2>Associated types</h2>
+<a name="idp74713344"></a><h2>Associated types</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<p><span class="bold"><strong>value_type</strong></span></p>
@@ -62,7 +62,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82125488"></a><h2>Notation</h2>
+<a name="idp74717488"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Iter</span></dt>
<dd>A type playing the role of iterator-type in the <a class="link" href="ForwardIterator.html" title="Concept ForwardIterator">ForwardIterator</a> concept.</dd>
@@ -75,7 +75,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82129568"></a><h2>Type expressions</h2>
+<a name="idp74721568"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Category tag</span></dt>
<dd><p><span class="type">category</span> must be
@@ -84,7 +84,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82131488"></a><h2>Valid expressions</h2>
+<a name="idp74723488"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -144,13 +144,13 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82146112"></a><h2>Complexity</h2>
+<a name="idp74738112"></a><h2>Complexity</h2>
<p>
All iterator operations must take amortized constant time.
</p>
</div>
<div class="refsect1">
-<a name="idp82146752"></a><h2>Invariants</h2>
+<a name="idp74738752"></a><h2>Invariants</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Predecrement must return object</span></dt>
<dd><p>
@@ -163,14 +163,14 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82150672"></a><h2>Models</h2>
+<a name="idp74742672"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">T *</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::hash_set&lt;T&gt;::iterator</span></span></li>
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82152944"></a><h2>See also</h2>
+<a name="idp74744944"></a><h2>See also</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="BidirectionalIterator.html" title="Concept BidirectionalIterator">BidirectionalIterator</a></p></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/InputIterator.html b/libs/concept_check/doc/html/InputIterator.html
index 3aa6cd3591..6beef83ced 100644
--- a/libs/concept_check/doc/html/InputIterator.html
+++ b/libs/concept_check/doc/html/InputIterator.html
@@ -29,7 +29,7 @@
<p>InputIterator</p>
</div>
<div class="refsect1">
-<a name="idp79098112"></a><h2>Description</h2>
+<a name="idp69168208"></a><h2>Description</h2>
<p>An input iterator is an iterator that can read through a sequence of
values. It is single-pass (old values of the iterator cannot be
re-used), and read-only.</p>
@@ -39,7 +39,7 @@
incrementable).</p>
</div>
<div class="refsect1">
-<a name="idp77412592"></a><h2>Refinement of</h2>
+<a name="idp69169952"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p><a class="link" href="Assignable.html" title="Concept Assignable">Assignable</a></p></li>
<li class="listitem"><p><a class="link" href="DefaultConstructible.html" title="Concept DefaultConstructible">DefaultConstructible</a></p></li>
@@ -47,7 +47,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp76674816"></a><h2>Associated types</h2>
+<a name="idp69173520"></a><h2>Associated types</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<p><span class="bold"><strong>value_type</strong></span></p>
@@ -68,7 +68,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp76498416"></a><h2>Notation</h2>
+<a name="idp69181056"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Iter</span></dt>
<dd>A type playing the role of iterator-type in the <a class="link" href="InputIterator.html" title="Concept InputIterator">InputIterator</a> concept.</dd>
@@ -81,7 +81,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp76502976"></a><h2>Type expressions</h2>
+<a name="idp69185616"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Category tag</span></dt>
<dd><p><span class="type">category</span> must be
@@ -98,7 +98,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp76510912"></a><h2>Valid expressions</h2>
+<a name="idp74635392"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -159,17 +159,17 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp76528912"></a><h2>Complexity</h2>
+<a name="idp74651376"></a><h2>Complexity</h2>
<p>
All iterator operations must take amortized constant time.
</p>
</div>
<div class="refsect1">
-<a name="idp76529552"></a><h2>Models</h2>
+<a name="idp74652016"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><span class="simplelist"><span class="type">std::istream_iterator</span></span></li></ul></div>
</div>
<div class="refsect1">
-<a name="idp76531040"></a><h2>See also</h2>
+<a name="idp74653408"></a><h2>See also</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p><a class="link" href="DefaultConstructible.html" title="Concept DefaultConstructible">DefaultConstructible</a></p></li>
<li class="listitem"><p><a class="link" href="EqualityComparable.html" title="Concept EqualityComparable">EqualityComparable</a></p></li>
diff --git a/libs/concept_check/doc/html/LessThanComparable.html b/libs/concept_check/doc/html/LessThanComparable.html
index 2535dd8d85..52e4c67b4e 100644
--- a/libs/concept_check/doc/html/LessThanComparable.html
+++ b/libs/concept_check/doc/html/LessThanComparable.html
@@ -29,13 +29,13 @@
<p>LessThanComparable</p>
</div>
<div class="refsect1">
-<a name="idp82295392"></a><h2>Description</h2>
+<a name="idp74887632"></a><h2>Description</h2>
<p>LessThanComparable types must have <code class="computeroutput">&lt;</code>,
<code class="computeroutput">&gt;</code>, <code class="computeroutput">&lt;=</code>, and <code class="computeroutput">&gt;=</code>
operators.</p>
</div>
<div class="refsect1">
-<a name="idp82298528"></a><h2>Notation</h2>
+<a name="idp74890768"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">X</span></dt>
<dd>A type playing the role of comparable-type in the <a class="link" href="LessThanComparable.html" title="Concept LessThanComparable">LessThanComparable</a> concept.</dd>
@@ -46,7 +46,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82301712"></a><h2>Valid expressions</h2>
+<a name="idp74893952"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -89,7 +89,7 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82311680"></a><h2>Models</h2>
+<a name="idp74904080"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><span class="simplelist"><span class="type">int</span></span></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/OutputIterator.html b/libs/concept_check/doc/html/OutputIterator.html
index 1d3885cfac..f30467a2c0 100644
--- a/libs/concept_check/doc/html/OutputIterator.html
+++ b/libs/concept_check/doc/html/OutputIterator.html
@@ -29,7 +29,7 @@
<p>OutputIterator</p>
</div>
<div class="refsect1">
-<a name="idp82066448"></a><h2>Description</h2>
+<a name="idp74658448"></a><h2>Description</h2>
<p>An output iterator is an iterator that can write a sequence of
values. It is single-pass (old values of the iterator cannot be
re-used), and write-only.</p>
@@ -39,7 +39,7 @@
(and not dereferenceable or incrementable).</p>
</div>
<div class="refsect1">
-<a name="idp82068176"></a><h2>Associated types</h2>
+<a name="idp74660176"></a><h2>Associated types</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<p><span class="bold"><strong>value_type</strong></span></p>
@@ -61,7 +61,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82074688"></a><h2>Notation</h2>
+<a name="idp74666688"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Iter</span></dt>
<dd>A type playing the role of iterator-type in the <a class="link" href="OutputIterator.html" title="Concept OutputIterator">OutputIterator</a> concept.</dd>
@@ -76,7 +76,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82080160"></a><h2>Type expressions</h2>
+<a name="idp74672160"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term"></span></dt>
<dd><p>The type <span class="type">Iter</span> must be a model of <a class="link" href="Assignable.html" title="Concept Assignable">Assignable</a>.</p></dd>
@@ -98,7 +98,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82091568"></a><h2>Valid expressions</h2>
+<a name="idp74683568"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -169,13 +169,13 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82109824"></a><h2>Complexity</h2>
+<a name="idp74701824"></a><h2>Complexity</h2>
<p>
All iterator operations must take amortized constant time.
</p>
</div>
<div class="refsect1">
-<a name="idp82110464"></a><h2>Models</h2>
+<a name="idp74702464"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">std::ostream_iterator</span>, <span class="type">...</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::insert_iterator</span>, <span class="type">...</span></span></li>
diff --git a/libs/concept_check/doc/html/RandomAccessIterator.html b/libs/concept_check/doc/html/RandomAccessIterator.html
index a1831bf11d..1b7ba3dfd1 100644
--- a/libs/concept_check/doc/html/RandomAccessIterator.html
+++ b/libs/concept_check/doc/html/RandomAccessIterator.html
@@ -29,7 +29,7 @@
<p>RandomAccessIterator</p>
</div>
<div class="refsect1">
-<a name="idp82191808"></a><h2>Description</h2>
+<a name="idp74783808"></a><h2>Description</h2>
<p>A random access iterator is an iterator that can read through
a sequence of values. It can move in either direction through the
sequence (by any amount in constant time), and can be either mutable
@@ -40,14 +40,14 @@
dereferenceable or incrementable).</p>
</div>
<div class="refsect1">
-<a name="idp82193616"></a><h2>Refinement of</h2>
+<a name="idp74785616"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p><a class="link" href="BidirectionalIterator.html" title="Concept BidirectionalIterator">BidirectionalIterator</a></p></li>
<li class="listitem"><p><a class="link" href="LessThanComparable.html" title="Concept LessThanComparable">LessThanComparable</a></p></li>
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82195632"></a><h2>Associated types</h2>
+<a name="idp74787632"></a><h2>Associated types</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem">
<p><span class="bold"><strong>value_type</strong></span></p>
@@ -68,7 +68,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82201632"></a><h2>Notation</h2>
+<a name="idp74793632"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Iter</span></dt>
<dd>A type playing the role of iterator-type in the <a class="link" href="RandomAccessIterator.html" title="Concept RandomAccessIterator">RandomAccessIterator</a> concept.</dd>
@@ -85,7 +85,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82207504"></a><h2>Type expressions</h2>
+<a name="idp74799504"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Category tag</span></dt>
<dd><p><span class="type">category</span> must be
@@ -94,7 +94,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82209424"></a><h2>Valid expressions</h2>
+<a name="idp74801424"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
@@ -200,13 +200,13 @@
</table></div>
</div>
<div class="refsect1">
-<a name="idp82251296"></a><h2>Complexity</h2>
+<a name="idp74843200"></a><h2>Complexity</h2>
<p>
All iterator operations must take amortized constant time.
</p>
</div>
<div class="refsect1">
-<a name="idp82251936"></a><h2>Models</h2>
+<a name="idp74843840"></a><h2>Models</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><span class="simplelist"><span class="type">T *</span></span></li>
<li class="listitem"><span class="simplelist"><span class="type">std::vector&lt;T&gt;::iterator</span></span></li>
@@ -216,7 +216,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82256944"></a><h2>See also</h2>
+<a name="idp74848848"></a><h2>See also</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p><a class="link" href="LessThanComparable.html" title="Concept LessThanComparable">LessThanComparable</a></p></li></ul></div>
</div>
</div>
diff --git a/libs/concept_check/doc/html/SignedInteger.html b/libs/concept_check/doc/html/SignedInteger.html
index e593c125de..35925288a1 100644
--- a/libs/concept_check/doc/html/SignedInteger.html
+++ b/libs/concept_check/doc/html/SignedInteger.html
@@ -28,7 +28,7 @@
<p>SignedInteger</p>
</div>
<div class="refsect1">
-<a name="idp82314592"></a><h2>Refinement of</h2>
+<a name="idp74906992"></a><h2>Refinement of</h2>
<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
<li class="listitem"><p><a class="link" href="CopyConstructible.html" title="Concept CopyConstructible">CopyConstructible</a></p></li>
<li class="listitem"><p><a class="link" href="Assignable.html" title="Concept Assignable">Assignable</a></p></li>
@@ -38,7 +38,7 @@
</ul></div>
</div>
<div class="refsect1">
-<a name="idp82318864"></a><h2>Notation</h2>
+<a name="idp74911264"></a><h2>Notation</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">T</span></dt>
<dd>A type playing the role of integral-type in the <a class="link" href="SignedInteger.html" title="Concept SignedInteger">SignedInteger</a> concept.</dd>
@@ -53,7 +53,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82323712"></a><h2>Type expressions</h2>
+<a name="idp74916112"></a><h2>Type expressions</h2>
<div class="variablelist"><dl class="variablelist">
<dt><span class="term">Conversion to int</span></dt>
<dd><p><span class="type">T</span> must be
@@ -62,7 +62,7 @@
</dl></div>
</div>
<div class="refsect1">
-<a name="idp82325632"></a><h2>Valid expressions</h2>
+<a name="idp74918032"></a><h2>Valid expressions</h2>
<div class="informaltable"><table class="table">
<colgroup>
<col>
diff --git a/libs/concept_check/doc/html/index.html b/libs/concept_check/doc/html/index.html
index b528034885..17623537c3 100644
--- a/libs/concept_check/doc/html/index.html
+++ b/libs/concept_check/doc/html/index.html
@@ -29,7 +29,7 @@
<div><p class="copyright">Copyright &#169; 1996-1999 Silicon Graphics Computer Systems, Inc.</p></div>
<div><p class="copyright">Copyright &#169; 1994 Hewlett-Packard Company</p></div>
<div><div class="legalnotice">
-<a name="idp79304976"></a><p>Distributed under the Boost Software License, Version 1.0.
+<a name="idp69314800"></a><p>Distributed under the Boost Software License, Version 1.0.
(See accompanying file <code class="filename">LICENSE_1_0.txt</code> or copy at
<a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
</p>
diff --git a/libs/concept_check/using_concept_check.htm b/libs/concept_check/using_concept_check.htm
index 2d08db2da9..80c95cbd54 100644
--- a/libs/concept_check/using_concept_check.htm
+++ b/libs/concept_check/using_concept_check.htm
@@ -51,8 +51,8 @@ struct EqualityComparable;
</pre>
<p>The template argument is the type to be checked. That is, the purpose of
- <tt>EqualityComparable&lt;<em>X</em>&gt;</tt> is to make sure that
- <tt><em>X</em></tt> models the EqualityComparable concept.</p>
+ <tt>EqualityComparable&lt;<em>T</em>&gt;</tt> is to make sure that
+ <tt><em>T</em></tt> models the EqualityComparable concept.</p>
<h4><tt>BOOST_CONCEPT_ASSERT()</tt></h4>
@@ -112,9 +112,9 @@ int main() {
a sequence of adjacent concept checking template specializations,
<strong>in double parentheses</strong>, and the function's return type must
also be parenthesized. For example, the standard <code>stable_sort</code>
- algorithm might be declared as follows: class</p>
+ algorithm might be declared as follows: </p>
<pre>
-template&lt;typename RanIter&gt;
+template &lt;class RanIter&gt;
BOOST_CONCEPT_REQUIRES(
((Mutable_RandomAccessIterator&lt;RanIter&gt;))
((LessThanComparable&lt;typename Mutable_RandomAccessIterator&lt;RanIter&gt;::value_type&gt;)),