Imported Upstream version 1.57.0
[platform/upstream/boost.git] / libs / icl / doc / html / boost_icl / semantics / quantifiers__maps_of_numbers.html
index 004d84e..dbaa816 100644 (file)
@@ -28,7 +28,7 @@
       Maps of Numbers</a>
 </h3></div></div></div>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.subtraction_on_quantifiers"></a><h6>
-<a name="id1128756"></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="id1129293"></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="id1129423"></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>
 <p>
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.laws_for_quantifiers_of_unsigned_numbers"></a><h5>
-<a name="id1132271"></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>
         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="id1133206"></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>
 <p>
       </p>
 <a name="boost_icl.semantics.quantifiers__maps_of_numbers.existence_of_an_inverse"></a><h6>
-<a name="id1134028"></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>