Imported Upstream version 1.57.0

[platform/upstream/boost.git] / libs / icl / doc / html / boost_icl / semantics / quantifiers__maps_of_numbers.html

diff --git a/libs/icl/doc/html/boost_icl/semantics/quantifiers__maps_of_numbers.html b/libs/icl/doc/html/boost_icl/semantics/quantifiers__maps_of_numbers.html
index 11dffc2..dbaa816 100644 (file)
--- a/libs/icl/doc/html/boost_icl/semantics/quantifiers__maps_of_numbers.html
+++ b/libs/icl/doc/html/boost_icl/semantics/quantifiers__maps_of_numbers.html
@@ -22,13 +22,13 @@
 <div class="spirit-nav">
 <a accesskey="p" href="collectors__maps_of_sets.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../semantics.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="concept_induction.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
 </div>
-<div class="section" lang="en">
+<div class="section boost_icl_semantics_quantifiers__maps_of_numbers" lang="en">
 <div class="titlepage"><div><div><h3 class="title">
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers"></a><a class="link" href="quantifiers__maps_of_numbers.html" title="Quantifiers: Maps of Numbers">Quantifiers:
       Maps of Numbers</a>
 </h3></div></div></div>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.subtraction_on_quantifiers"></a><h6>
-<a name="id1088708"></a>
+<a name="id1093602"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.subtraction_on_quantifiers">Subtraction
         on Quantifiers</a>
       </h6>
@@ -69,7 +69,7 @@
         element</strong></span></em></span> for that key <code class="computeroutput"><span class="special">(</span><span class="identifier">k</span><span class="special">,-</span><span class="identifier">v</span><span class="special">)</span></code>, if the key is not yet stored in the map.
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.partial_and_total_quantifiers_and_infinite_vectors"></a><h5>
-<a name="id1089246"></a>
+<a name="id1094139"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.partial_and_total_quantifiers_and_infinite_vectors">Partial
         and Total Quantifiers and Infinite Vectors</a>
       </h5>
@@ -94,7 +94,7 @@
         space</a> do provide.
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.intersection_on_quantifiers"></a><h6>
-<a name="id1089375"></a>
+<a name="id1094269"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.intersection_on_quantifiers">Intersection
         on Quantifiers</a>
       </h6>
@@ -150,7 +150,7 @@
 <p>
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.laws_for_quantifiers_of_unsigned_numbers"></a><h5>
-<a name="id1090039"></a>
+<a name="id1094932"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.laws_for_quantifiers_of_unsigned_numbers">Laws
         for Quantifiers of unsigned Numbers</a>
       </h5>
@@ -213,7 +213,7 @@
         are not valid for an <code class="computeroutput"><span class="keyword">unsigned</span> <span class="identifier">Quantifier</span></code>.
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.laws_for_quantifiers_of_signed_numbers"></a><h5>
-<a name="id1093163"></a>
+<a name="id1096964"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.laws_for_quantifiers_of_signed_numbers">Laws
         for Quantifiers of signed Numbers</a>
       </h5>
@@ -290,7 +290,7 @@
 <p>
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.existence_of_an_inverse"></a><h6>
-<a name="id1093984"></a>
+<a name="id1097785"></a>
         <a class="link" href="quantifiers__maps_of_numbers.html#boost_icl.semantics.quantifiers__maps_of_numbers.existence_of_an_inverse">Existence
         of an Inverse</a>
       </h6>