ml">stringintegerpair_</a></div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    <span class="keywordtype">use </span><a class="code" href="classstringrealpair__.html">stringrealpair_</a></div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordtype">use </span><a class="code" href="classstringrealmap__.html">stringrealmap_</a></div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span cla