svf-tools 1.0.906 → 1.0.908

package/SVF-doxygen/html/AbstractInterpretation_8cpp.html

@@ -120,7 +120,7 @@ Variables</h2></td></tr>
 </div><div class="memdoc">
 <b>Value:</b><div class="fragment"><div class="line">        <span class="keyword">auto</span> sse_##FUNC_NAME = [<span class="keyword">this</span>](<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallSite.html">CallSite</a> &amp;cs) { \</div>
 <div class="line">        <span class="comment">/* run real ext function */</span>                                            \</div>
-<div class="line">        SparseAbstractState&amp;es = _svfir2ExeState-&gt;getEs(); \</div>
+<div class="line">        AbstractState&amp;es = _svfir2ExeState-&gt;getEs(); \</div>
 <div class="line">        u32_t rhs_id = _svfir-&gt;getValueNode(cs.getArgument(0)); \</div>
 <div class="line">        if (!es.inVarToValTable(rhs_id)) <span class="keywordflow">return</span>; \</div>
 <div class="line">        u32_t rhs = _svfir2ExeState-&gt;getEs()[rhs_id].getInterval().lb().getIntNumeral(); \</div>
@@ -205,7 +205,7 @@ Variables</h2></td></tr>
 </div>
 </div>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00042">IntervalValue.h:42</a></div></div>
+<div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>