diff options
author | DongHun Kwak <dh0128.kwak@samsung.com> | 2017-09-13 11:08:07 +0900 |
---|---|---|
committer | DongHun Kwak <dh0128.kwak@samsung.com> | 2017-09-13 11:09:00 +0900 |
commit | b5c87084afaef42b2d058f68091be31988a6a874 (patch) | |
tree | adef9a65870a41181687e11d57fdf98e7629de3c /libs/concept_check | |
parent | 34bd32e225e2a8a94104489b31c42e5801cc1f4a (diff) | |
download | boost-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.htm | 2 | ||||
-rw-r--r-- | libs/concept_check/doc/html/Assignable.html | 12 | ||||
-rw-r--r-- | libs/concept_check/doc/html/BidirectionalIterator.html | 20 | ||||
-rw-r--r-- | libs/concept_check/doc/html/CopyConstructible.html | 8 | ||||
-rw-r--r-- | libs/concept_check/doc/html/DefaultConstructible.html | 8 | ||||
-rw-r--r-- | libs/concept_check/doc/html/EqualityComparable.html | 8 | ||||
-rw-r--r-- | libs/concept_check/doc/html/ForwardIterator.html | 20 | ||||
-rw-r--r-- | libs/concept_check/doc/html/InputIterator.html | 18 | ||||
-rw-r--r-- | libs/concept_check/doc/html/LessThanComparable.html | 8 | ||||
-rw-r--r-- | libs/concept_check/doc/html/OutputIterator.html | 14 | ||||
-rw-r--r-- | libs/concept_check/doc/html/RandomAccessIterator.html | 18 | ||||
-rw-r--r-- | libs/concept_check/doc/html/SignedInteger.html | 8 | ||||
-rw-r--r-- | libs/concept_check/doc/html/index.html | 2 | ||||
-rw-r--r-- | libs/concept_check/using_concept_check.htm | 8 |
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<T>::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<double></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<int></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<T>::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"><</code>, <code class="computeroutput">></code>, <code class="computeroutput"><=</code>, and <code class="computeroutput">>=</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<T>::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 © 1996-1999 Silicon Graphics Computer Systems, Inc.</p></div> <div><p class="copyright">Copyright © 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<<em>X</em>></tt> is to make sure that - <tt><em>X</em></tt> models the EqualityComparable concept.</p> + <tt>EqualityComparable<<em>T</em>></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<typename RanIter> +template <class RanIter> BOOST_CONCEPT_REQUIRES( ((Mutable_RandomAccessIterator<RanIter>)) ((LessThanComparable<typename Mutable_RandomAccessIterator<RanIter>::value_type>)), |