svf-tools 1.0.289 → 1.0.293

package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html

@@ -457,6 +457,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>
@@ -844,7 +846,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Hybrid Lazy 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#l00714">714</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#l00718">718</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a019b99843214ee3293621c66af48bb04"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a019b99843214ee3293621c66af48bb04">&#9670;&nbsp;</a></span>AndersenHLCD()</h2>
@@ -880,10 +882,10 @@ 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#l00721">721</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;                                                           :</div><div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">Andersen</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">AndersenHCD</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenLCD.html#ae654ed2cf8cce00c649a30e573f5eefd">AndersenLCD</a>(_pag, type)</div><div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;    {</div><div class="line"><a name="l00724"></a><span class="lineno">  724</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_1AndersenLCD_html_ae654ed2cf8cce00c649a30e573f5eefd"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ae654ed2cf8cce00c649a30e573f5eefd">SVF::AndersenLCD::AndersenLCD</a></div><div class="ttdeci">AndersenLCD(PAG *_pag, PTATY type=AndersenLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00568">Andersen.h:568</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>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00725">725</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00725"></a><span class="lineno">  725</span>&#160;                                                           :</div><div class="line"><a name="l00726"></a><span class="lineno">  726</span>&#160;        <a class="code" href="classSVF_1_1Andersen.html#aed87dd498ba5daf263624a74118ef007">Andersen</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenHCD.html#a37c2429f238adf0aa6e89bc2d20ee8df">AndersenHCD</a>(_pag, type), <a class="code" href="classSVF_1_1AndersenLCD.html#ae654ed2cf8cce00c649a30e573f5eefd">AndersenLCD</a>(_pag, type)</div><div class="line"><a name="l00727"></a><span class="lineno">  727</span>&#160;    {</div><div class="line"><a name="l00728"></a><span class="lineno">  728</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_1AndersenLCD_html_ae654ed2cf8cce00c649a30e573f5eefd"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ae654ed2cf8cce00c649a30e573f5eefd">SVF::AndersenLCD::AndersenLCD</a></div><div class="ttdeci">AndersenLCD(PAG *_pag, PTATY type=AndersenLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00572">Andersen.h:572</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>
@@ -914,10 +916,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#l00727">727</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00728"></a><span class="lineno">  728</span>&#160;    {</div><div class="line"><a name="l00729"></a><span class="lineno">  729</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;        {</div><div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;            <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#a019b99843214ee3293621c66af48bb04">AndersenHLCD</a>(_pag);</div><div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;            <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>-&gt;<a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div><div class="line"><a name="l00733"></a><span class="lineno">  733</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;        }</div><div class="line"><a name="l00735"></a><span class="lineno">  735</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHLCD_html_ad22c1990d8faad9c7cae6d779c7de94a"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">SVF::AndersenHLCD::hlcdAndersen</a></div><div class="ttdeci">static AndersenHLCD * hlcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00718">Andersen.h:718</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00731">731</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;    {</div><div class="line"><a name="l00733"></a><span class="lineno">  733</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;        {</div><div class="line"><a name="l00735"></a><span class="lineno">  735</span>&#160;            <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#a019b99843214ee3293621c66af48bb04">AndersenHLCD</a>(_pag);</div><div class="line"><a name="l00736"></a><span class="lineno">  736</span>&#160;            <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>-&gt;<a class="code" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">analyze</a>();</div><div class="line"><a name="l00737"></a><span class="lineno">  737</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160;        }</div><div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHLCD_html_ad22c1990d8faad9c7cae6d779c7de94a"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">SVF::AndersenHLCD::hlcdAndersen</a></div><div class="ttdeci">static AndersenHLCD * hlcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00722">Andersen.h:722</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_1AndersenHLCD_html_a019b99843214ee3293621c66af48bb04"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#a019b99843214ee3293621c66af48bb04">SVF::AndersenHLCD::AndersenHLCD</a></div><div class="ttdeci">AndersenHLCD(PAG *_pag, PTATY type=AndersenHLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00721">Andersen.h:721</a></div></div>
+<div class="ttc" id="classSVF_1_1AndersenHLCD_html_a019b99843214ee3293621c66af48bb04"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#a019b99843214ee3293621c66af48bb04">SVF::AndersenHLCD::AndersenHLCD</a></div><div class="ttdeci">AndersenHLCD(PAG *_pag, PTATY type=AndersenHLCD_WPA)</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00725">Andersen.h:725</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -948,8 +950,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5">SVF::AndersenLCD</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00754">754</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160;    {</div><div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;        <a class="code" href="classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5">AndersenLCD::handleCopyGep</a>(node);</div><div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a139d80e25fe713194f719581915d36d5"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5">SVF::AndersenLCD::handleCopyGep</a></div><div class="ttdeci">virtual void handleCopyGep(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenLCD_8cpp_source.html#l00057">AndersenLCD.cpp:57</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00758">758</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;    {</div><div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;        <a class="code" href="classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5">AndersenLCD::handleCopyGep</a>(node);</div><div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_a139d80e25fe713194f719581915d36d5"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#a139d80e25fe713194f719581915d36d5">SVF::AndersenLCD::handleCopyGep</a></div><div class="ttdeci">virtual void handleCopyGep(ConstraintNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenLCD_8cpp_source.html#l00057">AndersenLCD.cpp:57</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -979,8 +981,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14">SVF::AndersenHCD</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00746">746</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno">  747</span>&#160;    {</div><div class="line"><a name="l00748"></a><span class="lineno">  748</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14">AndersenHCD::initialize</a>();</div><div class="line"><a name="l00749"></a><span class="lineno">  749</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_aaac9cac7fc5696adb585abd9d67f8c14"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14">SVF::AndersenHCD::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00045">AndersenHCD.cpp:45</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00750">750</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno">  751</span>&#160;    {</div><div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14">AndersenHCD::initialize</a>();</div><div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_aaac9cac7fc5696adb585abd9d67f8c14"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#aaac9cac7fc5696adb585abd9d67f8c14">SVF::AndersenHCD::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00045">AndersenHCD.cpp:45</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1057,8 +1059,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1AndersenLCD.html#ac78efb1e4246c06c64dad1d368ed032d">SVF::AndersenLCD</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00759">759</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;    {</div><div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenLCD.html#ac78efb1e4246c06c64dad1d368ed032d">AndersenLCD::mergeSrcToTgt</a>(nodeId, newRepId);</div><div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ac78efb1e4246c06c64dad1d368ed032d"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ac78efb1e4246c06c64dad1d368ed032d">SVF::AndersenLCD::mergeSrcToTgt</a></div><div class="ttdeci">bool mergeSrcToTgt(NodeID nodeId, NodeID newRepId)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenLCD_8cpp_source.html#l00131">AndersenLCD.cpp:131</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00763">763</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00764"></a><span class="lineno">  764</span>&#160;    {</div><div class="line"><a name="l00765"></a><span class="lineno">  765</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AndersenLCD.html#ac78efb1e4246c06c64dad1d368ed032d">AndersenLCD::mergeSrcToTgt</a>(nodeId, newRepId);</div><div class="line"><a name="l00766"></a><span class="lineno">  766</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenLCD_html_ac78efb1e4246c06c64dad1d368ed032d"><div class="ttname"><a href="classSVF_1_1AndersenLCD.html#ac78efb1e4246c06c64dad1d368ed032d">SVF::AndersenLCD::mergeSrcToTgt</a></div><div class="ttdeci">bool mergeSrcToTgt(NodeID nodeId, NodeID newRepId)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenLCD_8cpp_source.html#l00131">AndersenLCD.cpp:131</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1085,8 +1087,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#l00738">738</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;    {</div><div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>)</div><div class="line"><a name="l00741"></a><span class="lineno">  741</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00742"></a><span class="lineno">  742</span>&#160;        <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHLCD_html_ad22c1990d8faad9c7cae6d779c7de94a"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">SVF::AndersenHLCD::hlcdAndersen</a></div><div class="ttdeci">static AndersenHLCD * hlcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00718">Andersen.h:718</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00742">742</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;    {</div><div class="line"><a name="l00744"></a><span class="lineno">  744</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>)</div><div class="line"><a name="l00745"></a><span class="lineno">  745</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a>;</div><div class="line"><a name="l00746"></a><span class="lineno">  746</span>&#160;        <a class="code" href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">hlcdAndersen</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00747"></a><span class="lineno">  747</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHLCD_html_ad22c1990d8faad9c7cae6d779c7de94a"><div class="ttname"><a href="classSVF_1_1AndersenHLCD.html#ad22c1990d8faad9c7cae6d779c7de94a">SVF::AndersenHLCD::hlcdAndersen</a></div><div class="ttdeci">static AndersenHLCD * hlcdAndersen</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00722">Andersen.h:722</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1115,8 +1117,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1AndersenLCD.html#a52399086e540c2adabc03a978155f55d">SVF::AndersenLCD</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00750">750</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno">  751</span>&#160;    {</div><div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c">AndersenHCD::solveWorklist</a>();</div><div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ae3ac936d1ae3e46a9110b8c8ed9f279c"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c">SVF::AndersenHCD::solveWorklist</a></div><div class="ttdeci">virtual void solveWorklist()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00059">AndersenHCD.cpp:59</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Andersen_8h_source.html#l00754">754</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160;    {</div><div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;        <a class="code" href="classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c">AndersenHCD::solveWorklist</a>();</div><div class="line"><a name="l00757"></a><span class="lineno">  757</span>&#160;    }</div><div class="ttc" id="classSVF_1_1AndersenHCD_html_ae3ac936d1ae3e46a9110b8c8ed9f279c"><div class="ttname"><a href="classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c">SVF::AndersenHCD::solveWorklist</a></div><div class="ttdeci">virtual void solveWorklist()</div><div class="ttdef"><b>Definition:</b> <a href="AndersenHCD_8cpp_source.html#l00059">AndersenHCD.cpp:59</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1141,7 +1143,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#l00718">718</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#l00722">722</a> of file <a class="el" href="Andersen_8h_source.html">Andersen.h</a>.</p>
 
 </div>
 </div>