/span>&#160; </div>
<div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classsfm_1_1Map.html#ade56b20d14736f82804eabd0d8f4ba40">   42</a></span>&#160;  <a class="code" href="classsfm_1_1Map.html#ade56b20d14736f82804eabd0d8f4ba40">Map</a>()</div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;  {</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;  }</div>
<div class="line"><a name="l00045"></a><span class="lineno">