svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html

@@ -425,7 +425,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00247">247</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    {</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>.insert(inEdge);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00280">GenericGraph.h:280</a></div></div>
+<div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    {</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>.insert(inEdge);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00281">GenericGraph.h:281</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a214d8c0cb3913cb3403d686790c9eabb"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">SVF::ConstraintNode::addressInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressInEdges</div><div class="ttdoc">all incoming address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00066">ConsGNode.h:66</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -488,8 +488,8 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00262">262</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.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;        assert(inEdge-&gt;getDstID() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="keywordtype">bool</span> both_added = added1 &amp; added2;</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        assert(both_added &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        <span class="keywordflow">return</span> both_added;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_a53626700d25b5c004e42354c925df83c"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">SVF::ConstraintNode::directInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directInEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00057">ConsGNode.h:57</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00280">GenericGraph.h:280</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00170">GenericGraph.h:170</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00281">GenericGraph.h:281</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -549,7 +549,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00252">252</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    {</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>.insert(inEdge);</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_af7343134750575d3f335ed431f13a418"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">SVF::ConstraintNode::loadInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy loadInEdges</div><div class="ttdoc">all incoming load edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00049">ConsGNode.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00280">GenericGraph.h:280</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00281">GenericGraph.h:281</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -579,7 +579,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00257">257</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.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;        <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>.insert(inEdge);</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_aa57ef34caf4e8c37baec9405f4457e57"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">SVF::ConstraintNode::storeInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeInEdges</div><div class="ttdoc">all incoming store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00052">ConsGNode.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00280">GenericGraph.h:280</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00281">GenericGraph.h:281</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -609,7 +609,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00271">271</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    {</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>.insert(outEdge);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_af05accba5a61957323bc2fd409b6f6e0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode::addressOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressOutEdges</div><div class="ttdoc">all outgoing address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00067">ConsGNode.h:67</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00284">GenericGraph.h:284</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00285">GenericGraph.h:285</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -669,8 +669,8 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00292">292</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.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;        assert(outEdge-&gt;getSrcID() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <span class="keywordtype">bool</span> both_added = added1 &amp; added2;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        assert(both_added &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <span class="keywordflow">return</span> both_added;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_affb426040b05678fcbce62002a02bb06"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">SVF::ConstraintNode::directOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00058">ConsGNode.h:58</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00284">GenericGraph.h:284</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00170">GenericGraph.h:170</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00285">GenericGraph.h:285</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -730,7 +730,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00276">276</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="keywordtype">bool</span> both_added = added1 &amp; added2;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        assert(both_added &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> both_added;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_a85a6acbd708be0dfc63ea87050a4a934"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">SVF::ConstraintNode::loadOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy loadOutEdges</div><div class="ttdoc">all outgoing load edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00050">ConsGNode.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00284">GenericGraph.h:284</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00285">GenericGraph.h:285</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -759,7 +759,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00284">284</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    {</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordtype">bool</span> both_added = added1 &amp; added2;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        assert(both_added &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> both_added;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00284">GenericGraph.h:284</a></div></div>
+<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    {</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordtype">bool</span> both_added = added1 &amp; added2;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        assert(both_added &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> both_added;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00285">GenericGraph.h:285</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a8d28c94a72acf221177aeae135f73ec1"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">SVF::ConstraintNode::storeOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeOutEdges</div><div class="ttdoc">all outgoing store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00053">ConsGNode.h:53</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1871,7 +1871,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00314">314</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    {</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00292">GenericGraph.h:292</a></div></div>
+<div class="fragment"><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    {</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a214d8c0cb3913cb3403d686790c9eabb"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">SVF::ConstraintNode::addressInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressInEdges</div><div class="ttdoc">all incoming address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00066">ConsGNode.h:66</a></div></div>
 </div><!-- fragment -->
@@ -1904,7 +1904,7 @@ Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00336">336</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    {</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(inEdge))</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            <a class="code" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_a4d413d64bf554ecdc72709afeeb85775"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode::copyInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy copyInEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00060">ConsGNode.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a53626700d25b5c004e42354c925df83c"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">SVF::ConstraintNode::directInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directInEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00057">ConsGNode.h:57</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00292">GenericGraph.h:292</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a4d0113f2af3a61892acee1fb21f0b938"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">SVF::ConstraintNode::gepInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy gepInEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00063">ConsGNode.h:63</a></div></div>
 </div><!-- fragment -->
@@ -1936,7 +1936,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00358">358</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    {</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_af7343134750575d3f335ed431f13a418"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">SVF::ConstraintNode::loadInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy loadInEdges</div><div class="ttdoc">all incoming load edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00049">ConsGNode.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00292">GenericGraph.h:292</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1967,7 +1967,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00376">376</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    {</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>.erase(inEdge);</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_aa57ef34caf4e8c37baec9405f4457e57"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">SVF::ConstraintNode::storeInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeInEdges</div><div class="ttdoc">all incoming store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00052">ConsGNode.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00292">GenericGraph.h:292</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -2000,7 +2000,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00305">305</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.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;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_af05accba5a61957323bc2fd409b6f6e0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode::addressOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressOutEdges</div><div class="ttdoc">all outgoing address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00067">ConsGNode.h:67</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00299">GenericGraph.h:299</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00300">GenericGraph.h:300</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -2031,7 +2031,7 @@ Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00323">323</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    {</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(outEdge))</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;            <a class="code" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;            <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ConstraintNode_html_affb426040b05678fcbce62002a02bb06"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">SVF::ConstraintNode::directOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00058">ConsGNode.h:58</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00299">GenericGraph.h:299</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00300">GenericGraph.h:300</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a583880cd83a9f353003e199401d1b024"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">SVF::ConstraintNode::gepOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy gepOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00064">ConsGNode.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a12df688fd9b5b7617daadc7bee0fff40"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode::copyOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy copyOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00061">ConsGNode.h:61</a></div></div>
@@ -2063,7 +2063,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00349">349</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    {</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00299">GenericGraph.h:299</a></div></div>
+<div class="fragment"><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    {</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00300">GenericGraph.h:300</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a85a6acbd708be0dfc63ea87050a4a934"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">SVF::ConstraintNode::loadOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy loadOutEdges</div><div class="ttdoc">all outgoing load edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00050">ConsGNode.h:50</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 </div><!-- fragment -->
@@ -2094,7 +2094,7 @@ Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ConsGNode_8h_source.html#l00367">367</a> of file <a class="el" href="ConsGNode_8h_source.html">ConsGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00299">GenericGraph.h:299</a></div></div>
+<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>.erase(outEdge);</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;        <span class="keywordtype">bool</span> removed = (num1 &gt; 0) &amp; (num2 &gt; 0);</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;        assert(removed &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        <span class="keywordflow">return</span> removed;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00300">GenericGraph.h:300</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a8d28c94a72acf221177aeae135f73ec1"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">SVF::ConstraintNode::storeOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeOutEdges</div><div class="ttdoc">all outgoing store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00053">ConsGNode.h:53</a></div></div>
 </div><!-- fragment -->