npm - svf-tools - Versions diffs - 1.0.289 → 1.0.293 - Mend

svf-tools 1.0.289 → 1.0.293

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (275) hide show

package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html CHANGED Viewed

@@ -556,6 +556,8 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:a85cc81a4f9399e9a23372fa2658325a6 inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">addTypeForGepObjNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, const <a class="el" href="classSVF_1_1NormalGepCGEdge.html">NormalGepCGEdge</a> *)</td></tr>
 <tr class="memdesc:a85cc81a4f9399e9a23372fa2658325a6 inherit pro_methods_classSVF_1_1Andersen"><td class="mdescLeft">&#160;</td><td class="mdescRight">add type for newly created GepObjNode  <a href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">More...</a><br /></td></tr>
 <tr class="separator:a85cc81a4f9399e9a23372fa2658325a6 inherit pro_methods_classSVF_1_1Andersen"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae1ff65a411f2c4dfee0973ad4af48daf inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#ae1ff65a411f2c4dfee0973ad4af48daf">cluster</a> (void) const</td></tr>
+<tr class="separator:ae1ff65a411f2c4dfee0973ad4af48daf inherit pro_methods_classSVF_1_1Andersen"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adccf6acf63abc9cafc92b2148396fd10 inherit pro_methods_classSVF_1_1Andersen"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10">processAllAddr</a> ()</td></tr>
 <tr class="memdesc:adccf6acf63abc9cafc92b2148396fd10 inherit pro_methods_classSVF_1_1Andersen"><td class="mdescLeft">&#160;</td><td class="mdescRight">handling various constraints  <a href="classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10">More...</a><br /></td></tr>
 <tr class="separator:adccf6acf63abc9cafc92b2148396fd10 inherit pro_methods_classSVF_1_1Andersen"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -820,7 +822,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Hybrid Cycle Detection Based <a class="el" href="classSVF_1_1Andersen.html">Andersen</a> Analysis </p>
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00638">638</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00642">642</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a33cb18543abbcd434861c5da7e588356"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a33cb18543abbcd434861c5da7e588356">&#9670;&nbsp;</a></span>OSCC</h2>
@@ -834,7 +836,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00642">642</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00646">646</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div>
 </div>
@@ -873,9 +875,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00650">650</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;                                                         :</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">Andersen</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;    {</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;    }</div><div class="ttc" id="classSVF_1_1Andersen_html_aed87dd498ba5daf263624a74118ef007"><div class="ttname"><a href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">SVF::Andersen::Andersen</a></div><div class="ttdeci">Andersen(PAG *_pag, PTATY type=Andersen_WPA, bool alias_check=true)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00164">Andersen.h:164</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00647">Andersen.h:647</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00654">654</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;                                                         :</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">Andersen</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    {</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    }</div><div class="ttc" id="classSVF_1_1Andersen_html_aed87dd498ba5daf263624a74118ef007"><div class="ttname"><a href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">SVF::Andersen::Andersen</a></div><div class="ttdeci">Andersen(PAG *_pag, PTATY type=Andersen_WPA, bool alias_check=true)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00164">Andersen.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00651">Andersen.h:651</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -906,10 +908,10 @@ Additional Inherited Members</h2></td></tr>
 <p>Create an singleton instance directly instead of invoking llvm pass manager. </p>
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00656">656</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    {</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;        {</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">AndersenHCD</a>(_pag);</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>-&gt;<a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;        }</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_a2356a7f8215725d2ee035630b1487b05"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">SVF::AndersenHCD::hcdAndersen</a></div><div class="ttdeci">static AndersenHCD * hcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00645">Andersen.h:645</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00660">660</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    {</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;        {</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">AndersenHCD</a>(_pag);</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>-&gt;<a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;        }</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_a2356a7f8215725d2ee035630b1487b05"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">SVF::AndersenHCD::hcdAndersen</a></div><div class="ttdeci">static AndersenHCD * hcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00649">Andersen.h:649</a></div></div>
 <div class="ttc" id="classSVF_1_1AndersenBase_html_a944966086ecb716184c8cdcc43db5751"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase::analyze</a></div><div class="ttdeci">virtual void analyze() override</div><div class="ttdoc">Andersen analysis. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00094">Andersen.cpp:94</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_a37c2429f238adf0aa6e89bc2d20ee8df"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">SVF::AndersenHCD::AndersenHCD</a></div><div class="ttdeci">AndersenHCD(PAG *_pag, PTATY type=AndersenHCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00650">Andersen.h:650</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_a37c2429f238adf0aa6e89bc2d20ee8df"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">SVF::AndersenHCD::AndersenHCD</a></div><div class="ttdeci">AndersenHCD(PAG *_pag, PTATY type=AndersenHCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00654">Andersen.h:654</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -937,8 +939,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00683">683</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;    {</div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27">getOCGRep</a>(nodeId);</div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00647">Andersen.h:647</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00687">687</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00688"></a><span class="lineno">  688</span>&#160;    {</div><div class="line"><a name="l00689"></a><span class="lineno">  689</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27">getOCGRep</a>(nodeId);</div><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00651">Andersen.h:651</a></div></div>
 <div class="ttc" id="classSVF_1_1OfflineConsG_html_a3f390900ee8761055c6d59107bc0ad27"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27">SVF::OfflineConsG::getOCGRep</a></div><div class="ttdeci">NodeID getOCGRep(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8h_source.html#l00070">OfflineConsG.h:70</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -967,9 +969,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00679">679</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;    {</div><div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#a0a03ef009894059fa2591ea5f9ef87d9">hasOCGRep</a>(nodeId);</div><div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;    }</div><div class="ttc" id="classSVF_1_1OfflineConsG_html_a0a03ef009894059fa2591ea5f9ef87d9"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html#a0a03ef009894059fa2591ea5f9ef87d9">SVF::OfflineConsG::hasOCGRep</a></div><div class="ttdeci">bool hasOCGRep(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8h_source.html#l00065">OfflineConsG.h:65</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00647">Andersen.h:647</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00683">683</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;    {</div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#a0a03ef009894059fa2591ea5f9ef87d9">hasOCGRep</a>(nodeId);</div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;    }</div><div class="ttc" id="classSVF_1_1OfflineConsG_html_a0a03ef009894059fa2591ea5f9ef87d9"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html#a0a03ef009894059fa2591ea5f9ef87d9">SVF::OfflineConsG::hasOCGRep</a></div><div class="ttdeci">bool hasOCGRep(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8h_source.html#l00065">OfflineConsG.h:65</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00651">Andersen.h:651</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1002,8 +1004,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented in <a class="el" href="classSVF_1_1AndersenHLCD.html#a5926080868429040f5142843f01a2a5c">SVF::AndersenHLCD</a>.</p>
 <p class="definition">Definition at line <a class="el" href="AndersenHCD_8cpp_source.html#l00045">45</a> of file <a class="el" href="AndersenHCD_8cpp_source.html">AndersenHCD.cpp</a>.</p>
-<div class="fragment"><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;    <a class="code" href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">Andersen::initialize</a>();</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="comment">// Build offline constraint graph and solve its constraints</span></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1OfflineConsG.html">OfflineConsG</a>(<a class="code" href="classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49">pag</a>);</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">OSCC</a>* oscc = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">OSCC</a>(<a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>);</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    oscc-&gt;find();</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181">solveOfflineSCC</a>(oscc);</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keyword">delete</span> oscc;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;}</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00647">Andersen.h:647</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_a33cb18543abbcd434861c5da7e588356"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">SVF::AndersenHCD::OSCC</a></div><div class="ttdeci">SCCDetection&lt; OfflineConsG * &gt; OSCC</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00642">Andersen.h:642</a></div></div>
+<div class="fragment"><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;    <a class="code" href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">Andersen::initialize</a>();</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="comment">// Build offline constraint graph and solve its constraints</span></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1OfflineConsG.html">OfflineConsG</a>(<a class="code" href="classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49">pag</a>);</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">OSCC</a>* oscc = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">OSCC</a>(<a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>);</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    oscc-&gt;find();</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181">solveOfflineSCC</a>(oscc);</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <span class="keyword">delete</span> oscc;</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;}</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00651">Andersen.h:651</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_a33cb18543abbcd434861c5da7e588356"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356">SVF::AndersenHCD::OSCC</a></div><div class="ttdeci">SCCDetection&lt; OfflineConsG * &gt; OSCC</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00646">Andersen.h:646</a></div></div>
 <div class="ttc" id="classSVF_1_1OfflineConsG_html_ab7d06ed7e5e186b97452391c1162b181"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181">SVF::OfflineConsG::solveOfflineSCC</a></div><div class="ttdeci">void solveOfflineSCC(OSCC *oscc)</div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8cpp_source.html#l00124">OfflineConsG.cpp:124</a></div></div>
 <div class="ttc" id="classSVF_1_1OfflineConsG_html"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html">SVF::OfflineConsG</a></div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8h_source.html#l00044">OfflineConsG.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html_a20617a69c112ad423b1b5021e48a8548"><div class="ttname"><a href="classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548">SVF::Andersen::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize analysis. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00175">Andersen.cpp:175</a></div></div>
@@ -1035,8 +1037,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00691">691</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;    {</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;        NodeSet::const_iterator it = <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.find(node);</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;        <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.end();</div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    };</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ac1de536453e92d7628b12e54cc7b2df7"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">SVF::AndersenHCD::mergedNodes</a></div><div class="ttdeci">NodeSet mergedNodes</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00646">Andersen.h:646</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00695">695</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;    {</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        NodeSet::const_iterator it = <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.find(node);</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.end();</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;    };</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ac1de536453e92d7628b12e54cc7b2df7"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">SVF::AndersenHCD::mergedNodes</a></div><div class="ttdeci">NodeSet mergedNodes</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00650">Andersen.h:650</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1078,9 +1080,9 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="AndersenHCD_8cpp_source.html#l00104">104</a> of file <a class="el" href="AndersenHCD_8cpp_source.html">AndersenHCD.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;{</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    node = <a class="code" href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">sccRepNode</a>(node);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    rep = <a class="code" href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">sccRepNode</a>(rep);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">isaMergedNode</a>(node))</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4">unionPts</a>(rep, node))</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">pushIntoWorklist</a>(rep);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="comment">// Once a &#39;Node&#39; is merged to its rep, it is collapsed,</span></div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="comment">// only its &#39;NodeID&#39; remaining in the set &#39;subNodes&#39; of its rep node.</span></div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848">mergeNodeToRep</a>(node, rep);</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#a6d6d770848a42c6291db663ab138461d">setMergedNode</a>(node);</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;}</div><div class="ttc" id="classSVF_1_1WPASolver_html_a4af1c3e72f5af96c4facff672108da58"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">SVF::WPASolver::pushIntoWorklist</a></div><div class="ttdeci">virtual void pushIntoWorklist(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00163">WPASolver.h:163</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html_ab7dadfd4d810be4863f03ed996b3b3c4"><div class="ttname"><a href="classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4">SVF::Andersen::unionPts</a></div><div class="ttdeci">virtual bool unionPts(NodeID id, const PointsTo &amp;target)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00226">Andersen.h:226</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_a6d6d770848a42c6291db663ab138461d"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a6d6d770848a42c6291db663ab138461d">SVF::AndersenHCD::setMergedNode</a></div><div class="ttdeci">void setMergedNode(NodeID node)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00696">Andersen.h:696</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_ab0414e29a745ed14e790c296042d1fe9"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">SVF::AndersenHCD::isaMergedNode</a></div><div class="ttdeci">bool isaMergedNode(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00691">Andersen.h:691</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html_a36729160041bc3a3e2b0a92b29062848"><div class="ttname"><a href="classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848">SVF::Andersen::mergeNodeToRep</a></div><div class="ttdeci">virtual void mergeNodeToRep(NodeID nodeId, NodeID newRepId)</div><div class="ttdoc">Merge sub node to its rep. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00780">Andersen.cpp:780</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_a6d6d770848a42c6291db663ab138461d"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a6d6d770848a42c6291db663ab138461d">SVF::AndersenHCD::setMergedNode</a></div><div class="ttdeci">void setMergedNode(NodeID node)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00700">Andersen.h:700</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_ab0414e29a745ed14e790c296042d1fe9"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">SVF::AndersenHCD::isaMergedNode</a></div><div class="ttdeci">bool isaMergedNode(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00695">Andersen.h:695</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html_a36729160041bc3a3e2b0a92b29062848"><div class="ttname"><a href="classSVF_1_1Andersen.html#a36729160041bc3a3e2b0a92b29062848">SVF::Andersen::mergeNodeToRep</a></div><div class="ttdeci">virtual void mergeNodeToRep(NodeID nodeId, NodeID newRepId)</div><div class="ttdoc">Merge sub node to its rep. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00795">Andersen.cpp:795</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html_aad706e332847e6b0892350a05028ba30"><div class="ttname"><a href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">SVF::Andersen::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC methods. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00211">Andersen.h:211</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1115,18 +1117,18 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="AndersenHCD_8cpp_source.html#l00078">78</a> of file <a class="el" href="AndersenHCD_8cpp_source.html">AndersenHCD.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;{</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHCD.html#abeafc9d45d529577b99fe821e59fd9cb">hasOfflineRep</a>(nodeId))</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="comment">// get offline rep node</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> oRep = <a class="code" href="classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55">getOfflineRep</a>(nodeId);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="comment">// get online rep node</span></div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rep = <a class="code" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">consCG</a>-&gt;<a class="code" href="classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f">sccRepNode</a>(oRep);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;pts = <a class="code" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">getPts</a>(nodeId);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::iterator</a> ptIt = pts.<a class="code" href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">begin</a>(), ptEit = pts.<a class="code" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">end</a>(); ptIt != ptEit; ++ptIt)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> tgt = *ptIt;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;            <a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a>* tgtNode = <a class="code" href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">consCG</a>-&gt;<a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(tgt);</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            <span class="keywordflow">if</span> (!tgtNode-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44">getDirectInEdges</a>().empty())</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordflow">if</span> (tgtNode-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">getAddrOutEdges</a>().size() &gt; 1)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<a class="code" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">oCG</a>-&gt;<a class="code" href="classSVF_1_1OfflineConsG.html#ac2e7ddb9b7b45f9db47b60d8a0be06ae">isaRef</a>(tgt) &amp;&amp; <span class="stringliteral">&quot;Point-to target should not be a ref node!&quot;</span>);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#afea4ecab92720da2f5dad27840ac1e57">mergeNodeAndPts</a>(tgt, rep);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;}</div><div class="ttc" id="classSVF_1_1Andersen_html_a187285a5bdf9422d9188b2b11b667639"><div class="ttname"><a href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID id)</div><div class="ttdoc">Operation of points-to set. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00222">Andersen.h:222</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a26722666cc8f2fce61bed73f086a0e87"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">SVF::ConstraintGraph::getConstraintNode</a></div><div class="ttdeci">ConstraintNode * getConstraintNode(NodeID id) const</div><div class="ttdoc">Get/add/remove constraint node. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00107">ConsG.h:107</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00647">Andersen.h:647</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_af5fe01816e65ece685a3c3537ebd0137"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD::oCG</a></div><div class="ttdeci">OfflineConsG * oCG</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00651">Andersen.h:651</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html">SVF::PointsTo::PointsToIterator</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00174">PointsTo.h:174</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_abeafc9d45d529577b99fe821e59fd9cb"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#abeafc9d45d529577b99fe821e59fd9cb">SVF::AndersenHCD::hasOfflineRep</a></div><div class="ttdeci">bool hasOfflineRep(NodeID nodeId) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00679">Andersen.h:679</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_abeafc9d45d529577b99fe821e59fd9cb"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#abeafc9d45d529577b99fe821e59fd9cb">SVF::AndersenHCD::hasOfflineRep</a></div><div class="ttdeci">bool hasOfflineRep(NodeID nodeId) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00683">Andersen.h:683</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aa53962e561399bf493d1f2b9137356f6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo::begin</a></div><div class="ttdeci">const_iterator begin(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00127">PointsTo.h:127</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a9058618987da9d21156cea72a5d5ddad"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">SVF::ConstraintNode::getAddrOutEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getAddrOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00160">ConsGNode.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1OfflineConsG_html_ac2e7ddb9b7b45f9db47b60d8a0be06ae"><div class="ttname"><a href="classSVF_1_1OfflineConsG.html#ac2e7ddb9b7b45f9db47b60d8a0be06ae">SVF::OfflineConsG::isaRef</a></div><div class="ttdeci">bool isaRef(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="OfflineConsG_8h_source.html#l00081">OfflineConsG.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintGraph_html_a39b973543acdcdc5493832cc9d0f586f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f">SVF::ConstraintGraph::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC rep/sub nodes methods. </div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00232">ConsG.h:232</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
 <div class="ttc" id="classSVF_1_1AndersenHCD_html_afea4ecab92720da2f5dad27840ac1e57"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#afea4ecab92720da2f5dad27840ac1e57">SVF::AndersenHCD::mergeNodeAndPts</a></div><div class="ttdeci">void mergeNodeAndPts(NodeID node, NodeID tgt)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00104">AndersenHCD.cpp:104</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_ac2e6a5acffff567e729b6aa9e9beeb55"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55">SVF::AndersenHCD::getOfflineRep</a></div><div class="ttdeci">NodeID getOfflineRep(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00683">Andersen.h:683</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_ac2e6a5acffff567e729b6aa9e9beeb55"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55">SVF::AndersenHCD::getOfflineRep</a></div><div class="ttdeci">NodeID getOfflineRep(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00687">Andersen.h:687</a></div></div>
 <div class="ttc" id="classSVF_1_1AndersenBase_html_ae21e38a06a4397d11cdd17b0f8f282fd"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#ae21e38a06a4397d11cdd17b0f8f282fd">SVF::AndersenBase::consCG</a></div><div class="ttdeci">ConstraintGraph * consCG</div><div class="ttdoc">Constraint Graph. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00149">Andersen.h:149</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00128">PointsTo.h:128</a></div></div>
@@ -1157,8 +1159,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00667">667</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;    {</div><div class="line"><a name="l00669"></a><span class="lineno">  669</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>)</div><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_a2356a7f8215725d2ee035630b1487b05"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">SVF::AndersenHCD::hcdAndersen</a></div><div class="ttdeci">static AndersenHCD * hcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00645">Andersen.h:645</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00671">671</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;    {</div><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>)</div><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a>;</div><div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">hcdAndersen</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_a2356a7f8215725d2ee035630b1487b05"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a2356a7f8215725d2ee035630b1487b05">SVF::AndersenHCD::hcdAndersen</a></div><div class="ttdeci">static AndersenHCD * hcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00649">Andersen.h:649</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1186,9 +1188,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00696">696</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;    {</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">isaMergedNode</a>(node))</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.insert(node);</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;    };</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ac1de536453e92d7628b12e54cc7b2df7"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">SVF::AndersenHCD::mergedNodes</a></div><div class="ttdeci">NodeSet mergedNodes</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00646">Andersen.h:646</a></div></div>
-<div class="ttc" id="classSVF_1_1AndersenHCD_html_ab0414e29a745ed14e790c296042d1fe9"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">SVF::AndersenHCD::isaMergedNode</a></div><div class="ttdeci">bool isaMergedNode(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00691">Andersen.h:691</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00700">700</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    {</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">isaMergedNode</a>(node))</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;            <a class="code" href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">mergedNodes</a>.insert(node);</div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    };</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ac1de536453e92d7628b12e54cc7b2df7"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ac1de536453e92d7628b12e54cc7b2df7">SVF::AndersenHCD::mergedNodes</a></div><div class="ttdeci">NodeSet mergedNodes</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00650">Andersen.h:650</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHCD_html_ab0414e29a745ed14e790c296042d1fe9"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ab0414e29a745ed14e790c296042d1fe9">SVF::AndersenHCD::isaMergedNode</a></div><div class="ttdeci">bool isaMergedNode(NodeID node) const</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00695">Andersen.h:695</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1223,11 +1225,11 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="AndersenHCD_8cpp_source.html#l00059">59</a> of file <a class="el" href="AndersenHCD_8cpp_source.html">AndersenHCD.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">isWorklistEmpty</a>())</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId = <a class="code" href="classSVF_1_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df">popFromWorklist</a>();</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98">collapsePWCNode</a>(nodeId);</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="comment">//Merge detected offline SCC cycles</span></div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#a2bbd6a0af75b17a70b1451a69cc3d5d7">mergeSCC</a>(nodeId);</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <span class="comment">// Keep solving until workList is empty.</span></div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1">processNode</a>(nodeId);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f">collapseFields</a>();</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    }</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_a992b105a0ec126050a123e24db3bd45b"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">SVF::WPASolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00167">WPASolver.h:167</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html_ac22a6946de30bc5887b9e4ec9259764f"><div class="ttname"><a href="classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f">SVF::Andersen::collapseFields</a></div><div class="ttdeci">void collapseFields()</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00442">Andersen.cpp:442</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html_ac22a6946de30bc5887b9e4ec9259764f"><div class="ttname"><a href="classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f">SVF::Andersen::collapseFields</a></div><div class="ttdeci">void collapseFields()</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00457">Andersen.cpp:457</a></div></div>
 <div class="ttc" id="classSVF_1_1AndersenHCD_html_a2bbd6a0af75b17a70b1451a69cc3d5d7"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#a2bbd6a0af75b17a70b1451a69cc3d5d7">SVF::AndersenHCD::mergeSCC</a></div><div class="ttdeci">virtual void mergeSCC(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00078">AndersenHCD.cpp:78</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html_a1caa6fa0740f4fa789d960a5a6fcb9c1"><div class="ttname"><a href="classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1">SVF::Andersen::processNode</a></div><div class="ttdeci">virtual void processNode(NodeID nodeId)</div><div class="ttdoc">Override WPASolver function in order to use the default solver. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00199">Andersen.cpp:199</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html_a1caa6fa0740f4fa789d960a5a6fcb9c1"><div class="ttname"><a href="classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1">SVF::Andersen::processNode</a></div><div class="ttdeci">virtual void processNode(NodeID nodeId)</div><div class="ttdoc">Override WPASolver function in order to use the default solver. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00214">Andersen.cpp:214</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_a20a14ac31fe23d4fe67da15f5cc498df"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df">SVF::WPASolver::popFromWorklist</a></div><div class="ttdeci">NodeID popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00158">WPASolver.h:158</a></div></div>
-<div class="ttc" id="classSVF_1_1Andersen_html_ae79bff0e9c49f15e7db00ed605824d98"><div class="ttname"><a href="classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98">SVF::Andersen::collapsePWCNode</a></div><div class="ttdeci">void collapsePWCNode(NodeID nodeId)</div><div class="ttdoc">Collapse a field object into its base for field insensitive anlaysis. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00433">Andersen.cpp:433</a></div></div>
+<div class="ttc" id="classSVF_1_1Andersen_html_ae79bff0e9c49f15e7db00ed605824d98"><div class="ttname"><a href="classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98">SVF::Andersen::collapsePWCNode</a></div><div class="ttdeci">void collapsePWCNode(NodeID nodeId)</div><div class="ttdoc">Collapse a field object into its base for field insensitive anlaysis. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00448">Andersen.cpp:448</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1252,7 +1254,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00645">645</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00649">649</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div>
 </div>
@@ -1276,7 +1278,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00646">646</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00650">650</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div>
 </div>
@@ -1300,7 +1302,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00647">647</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00651">651</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div>
 </div>