svf-tools 1.0.533 → 1.0.536

package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html

@@ -156,10 +156,8 @@ Protected Member Functions</h2></td></tr>
 <tr class="memitem:abd7fd785e70f66d394088101d78598ca"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca">processNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>)</td></tr>
 <tr class="memdesc:abd7fd785e70f66d394088101d78598ca"><td class="mdescLeft">&#160;</td><td class="mdescRight">Following methods are to be implemented in child class, in order to achieve a fully worked PTA.  <a href="#abd7fd785e70f66d394088101d78598ca">More...</a><br /></td></tr>
 <tr class="separator:abd7fd785e70f66d394088101d78598ca"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a138b403af0370ad6fdf8cc6af0530392"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392">collapsePWCNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>)</td></tr>
-<tr class="memdesc:a138b403af0370ad6fdf8cc6af0530392"><td class="mdescLeft">&#160;</td><td class="mdescRight">collapse positive weight cycles of a graph  <a href="#a138b403af0370ad6fdf8cc6af0530392">More...</a><br /></td></tr>
-<tr class="separator:a138b403af0370ad6fdf8cc6af0530392"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79c2b3f10f3f813396d8caaa1f7bc62a"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">collapseFields</a> ()</td></tr>
+<tr class="memdesc:a79c2b3f10f3f813396d8caaa1f7bc62a"><td class="mdescLeft">&#160;</td><td class="mdescRight">collapse positive weight cycles of a graph  <a href="#a79c2b3f10f3f813396d8caaa1f7bc62a">More...</a><br /></td></tr>
 <tr class="separator:a79c2b3f10f3f813396d8caaa1f7bc62a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a541ef7fda44ce79086c30b07a5f6126c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c">propagate</a> (<a class="el" href="classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e">GNODE</a> *v)</td></tr>
 <tr class="separator:a541ef7fda44ce79086c30b07a5f6126c"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -341,11 +339,11 @@ template&lt;class GraphType&gt; </div>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00060">60</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;               : <a class="code" href="classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883">reanalyze</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">iterationForPrintStat</a>(1000), <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a>(0)</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_ac460772d9236a2fefe17b2557023b883"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883">SVF::WPASolver::reanalyze</a></div><div class="ttdeci">bool reanalyze</div><div class="ttdoc">Reanalyze if any constraint value changed. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00177">WPASolver.h:177</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00206">WPASolver.h:206</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00199">WPASolver.h:199</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00196">WPASolver.h:196</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00179">WPASolver.h:179</a></div></div>
+<div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;               : <a class="code" href="classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883">reanalyze</a>(<span class="keyword">false</span>), <a class="code" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">iterationForPrintStat</a>(1000), <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a>(0)</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_ac460772d9236a2fefe17b2557023b883"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883">SVF::WPASolver::reanalyze</a></div><div class="ttdeci">bool reanalyze</div><div class="ttdoc">Reanalyze if any constraint value changed. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00175">WPASolver.h:175</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00204">WPASolver.h:204</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00197">WPASolver.h:197</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00194">WPASolver.h:194</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00177">WPASolver.h:177</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -377,7 +375,7 @@ template&lt;class GraphType&gt; </div>
 <p>Destructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00064">64</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><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="keyword">delete</span> <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00199">WPASolver.h:199</a></div></div>
+<div class="fragment"><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="keyword">delete</span> <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a> = <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00197">WPASolver.h:197</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -407,44 +405,12 @@ template&lt;class GraphType&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f">SVF::Andersen</a>.</p>
-
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00130">130</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;{};</div></div><!-- fragment -->
-</div>
-</div>
-<a id="a138b403af0370ad6fdf8cc6af0530392"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a138b403af0370ad6fdf8cc6af0530392">&#9670;&nbsp;</a></span>collapsePWCNode()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<div class="memtemplate">
-template&lt;class GraphType&gt; </div>
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver</a>&lt; GraphType &gt;::collapsePWCNode </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
 <p>collapse positive weight cycles of a graph </p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98">SVF::Andersen</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f">SVF::Andersen</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00129">129</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00128">128</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a37ca8a99b8f83fba796293e6e13b0953"></a>
@@ -475,7 +441,7 @@ template&lt;class GraphType&gt; </div>
 <p>Get SCC detector. </p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00071">71</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00199">WPASolver.h:199</a></div></div>
+<div class="fragment"><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;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a>;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00197">WPASolver.h:197</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -507,7 +473,7 @@ template&lt;class GraphType&gt; </div>
 <p>Get/Set graph methods. </p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00078">78</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</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">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00196">WPASolver.h:196</a></div></div>
+<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">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00194">WPASolver.h:194</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -539,7 +505,7 @@ template&lt;class GraphType&gt; </div>
 <p>Reimplemented in <a class="el" href="classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480">SVF::Andersen</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00101">101</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">NodeStack</a>&amp; nodeStack = <a class="code" href="classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8">SCCDetect</a>();</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <span class="keywordflow">while</span> (!nodeStack.empty())</div><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;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId = nodeStack.top();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            nodeStack.pop();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">pushIntoWorklist</a>(nodeId);</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;    }</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#l00162">WPASolver.h:162</a></div></div>
+<div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    {</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">NodeStack</a>&amp; nodeStack = <a class="code" href="classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8">SCCDetect</a>();</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <span class="keywordflow">while</span> (!nodeStack.empty())</div><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;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId = nodeStack.top();</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            nodeStack.pop();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">pushIntoWorklist</a>(nodeId);</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;    }</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#l00160">WPASolver.h:160</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#l00019">MTAResultValidator.h:19</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00127">SVFBasicTypes.h:127</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_aaa932894d00b69cfa741f9987a9cc6b8"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8">SVF::WPASolver::SCCDetect</a></div><div class="ttdeci">virtual NodeStack &amp; SCCDetect()</div><div class="ttdoc">SCC detection. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00090">WPASolver.h:90</a></div></div>
@@ -572,8 +538,8 @@ template&lt;class GraphType&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00170">170</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">find</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00202">WPASolver.h:202</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00168">168</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    {</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">find</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a86f2393b1cce7969d6974b53970ead54"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00151">WorkList.h:151</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -603,9 +569,9 @@ template&lt;class GraphType&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00166">166</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    {</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00202">WPASolver.h:202</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00164">164</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    {</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -637,8 +603,8 @@ template&lt;class GraphType&gt; </div>
 
 <p>Get node on the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00183">183</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        <span class="keywordflow">return</span> GTraits::getNode(<a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>, <span class="keywordtype">id</span>);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00196">WPASolver.h:196</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00181">181</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    {</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> GTraits::getNode(<a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>, <span class="keywordtype">id</span>);</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00194">WPASolver.h:194</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -670,8 +636,8 @@ template&lt;class GraphType&gt; </div>
 
 <p>Get node ID. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00189">189</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        <span class="keywordflow">return</span> GTraits::getNodeID(node);</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00187">187</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <span class="keywordflow">return</span> GTraits::getNodeID(node);</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a20a14ac31fe23d4fe67da15f5cc498df"></a>
@@ -701,9 +667,9 @@ template&lt;class GraphType&gt; </div>
 
 <p>Worklist operations. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00157">157</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    {</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">sccRepNode</a>(<a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>());</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00202">WPASolver.h:202</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a3bd463cd456a1d58242f118328f51ddb"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">SVF::WPASolver::sccRepNode</a></div><div class="ttdeci">virtual NodeID sccRepNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00150">WPASolver.h:150</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00155">155</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    {</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">sccRepNode</a>(<a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>());</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a3bd463cd456a1d58242f118328f51ddb"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">SVF::WPASolver::sccRepNode</a></div><div class="ttdeci">virtual NodeID sccRepNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00148">WPASolver.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -739,8 +705,8 @@ template&lt;class GraphType&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1AndersenWaveDiff.html#afa1055cda6c910b24480505efd205895">SVF::AndersenWaveDiff</a>, <a class="el" href="classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1">SVF::Andersen</a>, <a class="el" href="classSVF_1_1FlowSensitive.html#a16f594356ea565eb1fed2acea516a16b">SVF::FlowSensitive</a>, and <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8cad0df2ae7df81dc2a966e694a0f7a2">SVF::VersionedFlowSensitive</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00127">127</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00126">126</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a541ef7fda44ce79086c30b07a5f6126c"></a>
@@ -772,11 +738,11 @@ template&lt;class GraphType&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1">SVF::WPASCCSolver&lt; GraphType &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00133">133</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    {</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">child_iterator</a> EI = GTraits::direct_child_begin(*v);</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">child_iterator</a> EE = GTraits::direct_child_end(*v);</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        {</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">propFromSrcToDst</a>(*(EI.getCurrent())))</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                <a class="code" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">Node_Index</a>(*EI));</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</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#l00162">WPASolver.h:162</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a904c056bcad2bdaff13763a48d372420"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">SVF::WPASolver::propFromSrcToDst</a></div><div class="ttdeci">virtual bool propFromSrcToDst(GEDGE *)</div><div class="ttdoc">Propagate information from source to destination node, to be implemented in the child class...</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00144">WPASolver.h:144</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00131">131</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">child_iterator</a> EI = GTraits::direct_child_begin(*v);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">child_iterator</a> EE = GTraits::direct_child_end(*v);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">propFromSrcToDst</a>(*(EI.getCurrent())))</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                <a class="code" href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">Node_Index</a>(*EI));</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        }</div><div class="line"><a name="l00140"></a><span class="lineno">  140</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#l00160">WPASolver.h:160</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a904c056bcad2bdaff13763a48d372420"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">SVF::WPASolver::propFromSrcToDst</a></div><div class="ttdeci">virtual bool propFromSrcToDst(GEDGE *)</div><div class="ttdoc">Propagate information from source to destination node, to be implemented in the child class...</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00142">WPASolver.h:142</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_a4d5b605b8932824a7088399305952f12"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">SVF::WPASolver::child_iterator</a></div><div class="ttdeci">GTraits::ChildIteratorType child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00051">WPASolver.h:51</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a01450e1475679d093413e6496c198fc0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver::Node_Index</a></div><div class="ttdeci">NodeID Node_Index(GNODE node)</div><div class="ttdoc">Get node ID. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00189">WPASolver.h:189</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a01450e1475679d093413e6496c198fc0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver::Node_Index</a></div><div class="ttdeci">NodeID Node_Index(GNODE node)</div><div class="ttdoc">Get node ID. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00187">WPASolver.h:187</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -808,8 +774,8 @@ template&lt;class GraphType&gt; </div>
 
 <p>Propagate information from source to destination node, to be implemented in the child class. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00144">144</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    {</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00142">142</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    {</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a4af1c3e72f5af96c4facff672108da58"></a>
@@ -838,10 +804,10 @@ template&lt;class GraphType&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00162">162</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    {</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(<a class="code" href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">sccRepNode</a>(<span class="keywordtype">id</span>));</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00202">WPASolver.h:202</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00160">160</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(<a class="code" href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">sccRepNode</a>(<span class="keywordtype">id</span>));</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a1775717a8c8d5d125b7561bc1ae6abf5"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a3bd463cd456a1d58242f118328f51ddb"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">SVF::WPASolver::sccRepNode</a></div><div class="ttdeci">virtual NodeID sccRepNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00150">WPASolver.h:150</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a3bd463cd456a1d58242f118328f51ddb"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb">SVF::WPASolver::sccRepNode</a></div><div class="ttdeci">virtual NodeID sccRepNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00148">WPASolver.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -942,8 +908,8 @@ template&lt;class GraphType&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30">SVF::Andersen</a>, and <a class="el" href="classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42">SVF::WPAFSSolver&lt; GraphType &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00150">150</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    {</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953">getSCCDetector</a>()-&gt;<a class="code" href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">repNode</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</a></div></div>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00148">148</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    {</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953">getSCCDetector</a>()-&gt;<a class="code" href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">repNode</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_a37ca8a99b8f83fba796293e6e13b0953"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953">SVF::WPASolver::getSCCDetector</a></div><div class="ttdeci">SCC * getSCCDetector() const</div><div class="ttdoc">Get SCC detector. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00071">WPASolver.h:71</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -975,8 +941,8 @@ template&lt;class GraphType&gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00082">82</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    {</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a> = g;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SCC</a>(<a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00199">WPASolver.h:199</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00196">WPASolver.h:196</a></div></div>
+<div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    {</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a> = g;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <a class="code" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">scc</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SCC</a>(<a class="code" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">_graph</a>);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div><div class="ttc" id="classSVF_1_1WPASolver_html_a21709a0f33b6238afe735cc9fe49ff70"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver::scc</a></div><div class="ttdeci">SCC * scc</div><div class="ttdoc">SCC. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00197">WPASolver.h:197</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a87e9adb7fb0e0a42abaf90adac27a9c0"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00194">WPASolver.h:194</a></div></div>
 <div class="ttc" id="classSVF_1_1WPASolver_html_a1352953966be14b2a1d6244f35e74a33"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver::SCC</a></div><div class="ttdeci">SCCDetection&lt; GraphType &gt; SCC</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00053">WPASolver.h:53</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1009,12 +975,11 @@ template&lt;class GraphType&gt; </div>
 <p>Reimplemented in <a class="el" href="classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9">SVF::AndersenWaveDiff</a>, <a class="el" href="classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2">SVF::AndersenSCD</a>, and <a class="el" href="classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8">SVF::Steensgaard</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00112">112</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">isWorklistEmpty</a>())</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</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="l00117"></a><span class="lineno">  117</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392">collapsePWCNode</a>(nodeId);</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            <span class="comment">// Keep solving until workList is empty.</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca">processNode</a>(nodeId);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">collapseFields</a>();</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        }</div><div class="line"><a name="l00122"></a><span class="lineno">  122</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#l00019">MTAResultValidator.h:19</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a138b403af0370ad6fdf8cc6af0530392"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a138b403af0370ad6fdf8cc6af0530392">SVF::WPASolver::collapsePWCNode</a></div><div class="ttdeci">virtual void collapsePWCNode(NodeID)</div><div class="ttdoc">collapse positive weight cycles of a graph </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00129">WPASolver.h:129</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#l00166">WPASolver.h:166</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_a79c2b3f10f3f813396d8caaa1f7bc62a"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">SVF::WPASolver::collapseFields</a></div><div class="ttdeci">virtual void collapseFields()</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00130">WPASolver.h:130</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_abd7fd785e70f66d394088101d78598ca"><div class="ttname"><a href="classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca">SVF::WPASolver::processNode</a></div><div class="ttdeci">virtual void processNode(NodeID)</div><div class="ttdoc">Following methods are to be implemented in child class, in order to achieve a fully worked PTA...</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00127">WPASolver.h:127</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#l00157">WPASolver.h:157</a></div></div>
+<div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">isWorklistEmpty</a>())</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</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="l00117"></a><span class="lineno">  117</span>&#160;            <span class="comment">// Keep solving until workList is empty.</span></div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca">processNode</a>(nodeId);</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <a class="code" href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">collapseFields</a>();</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        }</div><div class="line"><a name="l00121"></a><span class="lineno">  121</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#l00019">MTAResultValidator.h:19</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#l00164">WPASolver.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_a79c2b3f10f3f813396d8caaa1f7bc62a"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">SVF::WPASolver::collapseFields</a></div><div class="ttdeci">virtual void collapseFields()</div><div class="ttdoc">collapse positive weight cycles of a graph </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00128">WPASolver.h:128</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_abd7fd785e70f66d394088101d78598ca"><div class="ttname"><a href="classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca">SVF::WPASolver::processNode</a></div><div class="ttdeci">virtual void processNode(NodeID)</div><div class="ttdoc">Following methods are to be implemented in child class, in order to achieve a fully worked PTA...</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00126">WPASolver.h:126</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#l00155">WPASolver.h:155</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1043,7 +1008,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>Graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00196">196</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00194">194</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>
@@ -1071,7 +1036,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>print out statistics for i-th iteration </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00179">179</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00177">177</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>
@@ -1091,7 +1056,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>num of iterations during constaint solving </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00206">206</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00204">204</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>
@@ -1119,7 +1084,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>Reanalyze if any constraint value changed. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00177">177</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00175">175</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>
@@ -1147,7 +1112,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>SCC. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00199">199</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00197">197</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>
@@ -1175,7 +1140,7 @@ template&lt;class GraphType&gt; </div>
 
 <p>Worklist for resolution. </p>
 
-<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00202">202</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00200">200</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
 </div>
 </div>