<a class="line" href="classsfm_1_1Map.html#ae5835c400c8c6564ce5402ba21923831">   45</a></span>&#160;  <span class="keyword">virtual</span> <a class="code" href="classsfm_1_1Map.html#ae5835c400c8c6564ce5402ba21923831">~Map</a>()</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;  {</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;  }</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;  <span class="keyword">