77</span>&#160;};</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160; </div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160; </div>
<div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classhelib_1_1_thin_eval_map.html">   87</a></span>&#160;<span class="keyword">class </span><a class="code" href="classhelib_1_1_thin_eval_map.html">ThinEvalMap</a></div>
<div class="line"><a name="l00088"></a><span class="lineno">   