svf-tools 1.0.874 → 1.0.875

package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html

@@ -114,6 +114,8 @@ Public Types</h2></td></tr>
 Public Member Functions</h2></td></tr>
 <tr class="memitem:a34ef44c3ffad24255a72c8ecf2f2919e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a34ef44c3ffad24255a72c8ecf2f2919e">CFBasicBlockNode</a> (std::vector&lt; const <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> * &gt; icfgNodes)</td></tr>
 <tr class="separator:a34ef44c3ffad24255a72c8ecf2f2919e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a727211a748a2cdee4835884b2710e0d4"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a727211a748a2cdee4835884b2710e0d4">~CFBasicBlockNode</a> ()</td></tr>
+<tr class="separator:a727211a748a2cdee4835884b2710e0d4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a727f0ef59605adf99af4babee90eb8a8"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">toString</a> () const</td></tr>
 <tr class="separator:a727f0ef59605adf99af4babee90eb8a8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4ed32455eaafc3bd1a06ed9b417b329d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">getName</a> () const</td></tr>
@@ -346,6 +348,37 @@ Friends</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
+<a id="a727211a748a2cdee4835884b2710e0d4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a727211a748a2cdee4835884b2710e0d4">&#9670;&nbsp;</a></span>~CFBasicBlockNode()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual SVF::CFBasicBlockNode::~CFBasicBlockNode </td>
+          <td>(</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">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00133">133</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.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;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> edge : <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>)</div>
+<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            <span class="keyword">delete</span> edge;</div>
+<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div>
+</div><!-- fragment -->
+</div>
+</div>
 <h2 class="groupheader">Member Function Documentation</h2>
 <a id="abb240b6d11fb9fb08a2ea3d093cf800f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#abb240b6d11fb9fb08a2ea3d093cf800f">&#9670;&nbsp;</a></span>addIncomingEdge()</h2>
@@ -373,10 +406,10 @@ Friends</h2></td></tr>
 
 <p>Add incoming and outgoing edges. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00300">300</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    {</div>
-<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
-<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00306">306</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    {</div>
+<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
+<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -404,10 +437,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00175">175</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    {</div>
-<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(node);</div>
-<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00181">181</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.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;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.push_back(node);</div>
+<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -435,10 +468,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00305">305</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    {</div>
-<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
-<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00311">311</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    {</div>
+<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
+<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -465,10 +498,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00158">158</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div>
-<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cbegin();</div>
-<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00164">164</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.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_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cbegin();</div>
+<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -497,10 +530,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00267">267</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    {</div>
-<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
-<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00273">273</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div>
+<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
+<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -529,10 +562,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00287">287</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    {</div>
-<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
-<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00293">293</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    {</div>
+<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
+<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -561,10 +594,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00272">272</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    {</div>
-<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
-<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00278">278</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    {</div>
+<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
+<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -593,10 +626,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00292">292</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div>
-<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
-<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00298">298</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    {</div>
+<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
+<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -627,10 +660,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00257">257</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;    {</div>
-<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
-<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00263">263</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;    {</div>
+<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
+<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -659,10 +692,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00277">277</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    {</div>
-<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
-<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00283">283</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    {</div>
+<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
+<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -691,10 +724,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00262">262</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div>
-<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
-<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00268">268</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div>
+<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
+<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -723,10 +756,10 @@ Friends</h2></td></tr>
 
 <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00282">282</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    {</div>
-<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
-<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00288">288</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    {</div>
+<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
+<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -753,10 +786,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00163">163</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    {</div>
-<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cend();</div>
-<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00169">169</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    {</div>
+<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.cend();</div>
+<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -783,11 +816,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00152">152</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div>
-<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() &amp;&amp; <span class="stringliteral">&quot;no ICFG nodes in CFBB&quot;</span>);</div>
-<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())-&gt;getFun();</div>
-<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00158">158</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div>
+<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() &amp;&amp; <span class="stringliteral">&quot;no ICFG nodes in CFBB&quot;</span>);</div>
+<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())-&gt;getFun();</div>
+<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -814,10 +847,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00180">180</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    {</div>
-<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.size();</div>
-<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00186">186</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;    {</div>
+<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.size();</div>
+<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -844,10 +877,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00147">147</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div>
-<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>;</div>
-<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00153">153</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    {</div>
+<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>;</div>
+<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -874,10 +907,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00193">193</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    {</div>
-<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>;</div>
-<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00199">199</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    {</div>
+<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>;</div>
+<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -904,11 +937,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00141">141</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div>
-<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() &amp;&amp; <span class="stringliteral">&quot;no ICFG nodes in CFBB&quot;</span>);</div>
-<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> (*<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())-&gt;getBB()-&gt;getName();</div>
-<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00147">147</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div>
+<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.empty() &amp;&amp; <span class="stringliteral">&quot;no ICFG nodes in CFBB&quot;</span>);</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_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin())-&gt;getBB()-&gt;getName();</div>
+<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -936,10 +969,10 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 <p>Get incoming/outgoing edge set </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00188">188</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;    {</div>
-<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>;</div>
-<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00194">194</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    {</div>
+<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>;</div>
+<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -968,10 +1001,10 @@ Friends</h2></td></tr>
 
 <p>Has incoming/outgoing edge set. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00201">201</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    {</div>
-<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.empty() == <span class="keyword">false</span>);</div>
-<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00207">207</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    {</div>
+<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.empty() == <span class="keyword">false</span>);</div>
+<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1001,14 +1034,14 @@ Friends</h2></td></tr>
 
 <p>Find incoming and outgoing edges. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00328">328</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    {</div>
-<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
-<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            <span class="keywordflow">return</span> *it;</div>
-<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00334">334</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    {</div>
+<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
+<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
+<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;            <span class="keywordflow">return</span> *it;</div>
+<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1035,10 +1068,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00206">206</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    {</div>
-<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.empty() == <span class="keyword">false</span>);</div>
-<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00212">212</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    {</div>
+<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.empty() == <span class="keyword">false</span>);</div>
+<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1066,14 +1099,14 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00337">337</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    {</div>
-<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
-<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
-<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            <span class="keywordflow">return</span> *it;</div>
-<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
-<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00343">343</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    {</div>
+<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
+<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
+<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;            <span class="keywordflow">return</span> *it;</div>
+<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
+<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1100,10 +1133,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00224">224</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div>
-<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
-<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00230">230</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div>
+<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
+<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1130,10 +1163,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00244">244</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div>
-<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
-<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00250">250</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    {</div>
+<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
+<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1160,10 +1193,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00229">229</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    {</div>
-<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
-<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00235">235</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    {</div>
+<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
+<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1190,10 +1223,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00249">249</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div>
-<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
-<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00255">255</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    {</div>
+<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
+<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1222,10 +1255,10 @@ Friends</h2></td></tr>
 
 <p>iterators </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00214">214</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    {</div>
-<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
-<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00220">220</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    {</div>
+<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
+<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1252,10 +1285,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00234">234</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    {</div>
-<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
-<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00240">240</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    {</div>
+<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
+<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1282,10 +1315,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00219">219</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    {</div>
-<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
-<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00225">225</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    {</div>
+<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
+<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1312,10 +1345,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00239">239</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    {</div>
-<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
-<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00245">245</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;    {</div>
+<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
+<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1344,11 +1377,11 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 <p>Remove incoming and outgoing edges </p>
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00313">313</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    {</div>
-<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div>
-<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
-<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00319">319</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    {</div>
+<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;        assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div>
+<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
+<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1376,12 +1409,12 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00168">168</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.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="keyword">const</span> <span class="keyword">auto</span> it = std::find(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin(), <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end(), node);</div>
-<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        assert(it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end() &amp;&amp; <span class="stringliteral">&quot;icfg node not in BB?&quot;</span>);</div>
-<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.erase(it);</div>
-<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00174">174</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    {</div>
+<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <span class="keyword">const</span> <span class="keyword">auto</span> it = std::find(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.begin(), <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end(), node);</div>
+<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        assert(it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.end() &amp;&amp; <span class="stringliteral">&quot;icfg node not in BB?&quot;</span>);</div>
+<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a72e47a6254620d0b65a8d1182777440a">_icfgNodes</a>.erase(it);</div>
+<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1409,11 +1442,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00319">319</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    {</div>
-<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;        assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div>
-<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
-<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00325">325</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    {</div>
+<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div>
+<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
+<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1489,11 +1522,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00133">133</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.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;        o &lt;&lt; node.toString();</div>
-<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="keywordflow">return</span> o;</div>
-<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00139">139</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    {</div>
+<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        o &lt;&lt; node.toString();</div>
+<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> o;</div>
+<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1586,7 +1619,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a145051f43e03acd6ce9923a5c06150bc"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">SVF::CFBasicBlockNode::const_iterator</a></div><div class="ttdeci">CFBasicBlockEdge::CFBBEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00119">CFBasicBlockG.h:119</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a046a15f230ab41d50b04f0390df179f1"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">SVF::CFBasicBlockNode::OutEdges</a></div><div class="ttdeci">CFBBEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00124">CFBasicBlockG.h:124</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00141">CFBasicBlockG.h:141</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00147">CFBasicBlockG.h:147</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a7b1db0644849e066137c162e24026b67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">SVF::CFBasicBlockNode::InEdges</a></div><div class="ttdeci">CFBBEdgeSetTy InEdges</div><div class="ttdoc">Every CBFGNode holds a vector of ICFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00123">CFBasicBlockG.h:123</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>