svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html

@@ -408,7 +408,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 <p>Destructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00158">158</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div></div><!-- fragment -->
+<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">for</span> (<span class="keyword">auto</span> * edge : <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+</div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -440,8 +441,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Add incoming and outgoing edges. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00274">274</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    {</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00275">275</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -471,8 +472,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00278">278</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00279">279</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    {</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -503,8 +504,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00245">245</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00246">246</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    {</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -535,8 +536,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00262">262</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00263">263</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -567,8 +568,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00249">249</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00250">250</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -599,8 +600,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00266">266</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    {</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00267">267</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -633,8 +634,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00237">237</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    {</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00238">238</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    {</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -665,8 +666,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00254">254</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00255">255</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -697,8 +698,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00241">241</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00242">242</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    {</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -729,8 +730,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">SVF::ConstraintNode</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00258">258</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    {</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00259">259</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    {</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -761,8 +762,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Get ID. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00164">164</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00165">165</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    {</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -791,8 +792,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00181">181</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    {</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00182">182</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    {</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -823,8 +824,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Get node kind. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00170">170</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00171">171</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    {</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -854,8 +855,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </div><div class="memdoc">
 <p>Get incoming/outgoing edge set </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00177">177</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    {</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00178">178</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -886,8 +887,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Has incoming/outgoing edge set. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00189">189</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00190">190</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    {</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -919,8 +920,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>Find incoming and outgoing edges. </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00302">302</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    {</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end())</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00140">GenericGraph.h:140</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00303">303</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;    {</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end())</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;            <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00140">GenericGraph.h:140</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -950,8 +951,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00193">193</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00194">194</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -981,8 +982,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00310">310</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    {</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end())</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00140">GenericGraph.h:140</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00311">311</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;        <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end())</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00140">GenericGraph.h:140</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1012,8 +1013,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00209">209</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    {</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00210">210</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1042,8 +1043,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00225">225</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00226">226</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    {</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1072,8 +1073,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00213">213</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    {</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00214">214</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1102,8 +1103,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00229">229</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00230">230</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1134,8 +1135,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 
 <p>iterators </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00201">201</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00202">202</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1164,8 +1165,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00217">217</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    {</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00218">218</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    {</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1194,8 +1195,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00205">205</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00206">206</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1224,8 +1225,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00221">221</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    {</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00222">222</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    {</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1256,8 +1257,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </div><div class="memdoc">
 <p>Remove incoming and outgoing edges </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00286">286</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    {</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">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="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(edge);</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00287">287</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;        <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">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="l00291"></a><span class="lineno">  291</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(edge);</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00139">GenericGraph.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00147">GenericGraph.h:147</a></div></div>
 </div><!-- fragment -->
@@ -1289,8 +1290,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00292">292</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;        <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">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="l00296"></a><span class="lineno">  296</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(edge);</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00293">293</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;        <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">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="l00297"></a><span class="lineno">  297</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(edge);</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00139">GenericGraph.h:139</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00148">GenericGraph.h:148</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html

@@ -388,7 +388,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="PAGNode_8h_source.html#l00485">485</a> of file <a class="el" href="PAGNode_8h_source.html">PAGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;                                                                                        :</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;        <a class="code" href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">ObjPN</a>(<a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#ae952c8b6b92c6cbef9494a83b411a60f">getRefVal</a>(), i, <a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>, ty), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>(l)</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;    {</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        <a class="code" href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">base</a> = mem-&gt;getSymId();</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00457">PAGNode.h:457</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html_a3a326b64a747a2185978826a711736c3"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a3a326b64a747a2185978826a711736c3">SVF::ObjPN::ObjPN</a></div><div class="ttdeci">ObjPN(const Value *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00326">PAGNode.h:326</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_ae952c8b6b92c6cbef9494a83b411a60f"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae952c8b6b92c6cbef9494a83b411a60f">SVF::MemObj::getRefVal</a></div><div class="ttdeci">const Value * getRefVal() const</div><div class="ttdoc">Get the reference value to this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00325">MemModel.h:325</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_ae952c8b6b92c6cbef9494a83b411a60f"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae952c8b6b92c6cbef9494a83b411a60f">SVF::MemObj::getRefVal</a></div><div class="ttdeci">const Value * getRefVal() const</div><div class="ttdoc">Get the reference value to this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00309">MemModel.h:309</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00324">PAGNode.h:324</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_ae67e495253fc881c24ef21e1f87e2fa6"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ae67e495253fc881c24ef21e1f87e2fa6">SVF::GepObjPN::base</a></div><div class="ttdeci">NodeID base</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00458">PAGNode.h:458</a></div></div>
 </div><!-- fragment -->
@@ -606,9 +606,9 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="PAGNode_8h_source.html#l00510">510</a> of file <a class="el" href="PAGNode_8h_source.html">PAGNode.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;    {</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SymbolTableInfo::SymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a294a42ee0bc466104fb96a3136c34bd2">getOrigSubTypeWithByteOffset</a>(<a class="code" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">mem</a>-&gt;<a class="code" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>(), <a class="code" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">ls</a>.<a class="code" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a>());</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GepObjPN_html_ab7a3961b0a3f6a8cc89c3cd81168180b"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN::ls</a></div><div class="ttdeci">LocationSet ls</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00457">PAGNode.h:457</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a5322dcda48d6980c3f7aafa169fcd77d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet::getByteOffset</a></div><div class="ttdeci">Size_t getByteOffset() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00198">LocationSet.h:198</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const llvm::Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00278">MemModel.cpp:278</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00088">SymbolTableInfo.cpp:88</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a294a42ee0bc466104fb96a3136c34bd2"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a294a42ee0bc466104fb96a3136c34bd2">SVF::SymbolTableInfo::getOrigSubTypeWithByteOffset</a></div><div class="ttdeci">const Type * getOrigSubTypeWithByteOffset(const Type *baseType, u32_t byteOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00403">SymbolTableInfo.h:403</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00152">MemModel.cpp:152</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00064">SymbolTableInfo.cpp:64</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a294a42ee0bc466104fb96a3136c34bd2"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a294a42ee0bc466104fb96a3136c34bd2">SVF::SymbolTableInfo::getOrigSubTypeWithByteOffset</a></div><div class="ttdeci">const Type * getOrigSubTypeWithByteOffset(const Type *baseType, u32_t byteOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00387">SymbolTableInfo.h:387</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00324">PAGNode.h:324</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -714,7 +714,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00194">LocationSet.h:194</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::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#l00164">GenericGraph.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::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#l00165">GenericGraph.h:165</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>