svf-tools 1.0.588 → 1.0.589

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html

@@ -138,7 +138,7 @@ struct llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</h3
 
 <p>GraphTraints </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00532">532</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00534">534</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a57c4c711251842dd9d969428ba5966f2"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a57c4c711251842dd9d969428ba5966f2">&#9670;&nbsp;</a></span>EdgeType</h2>
@@ -154,7 +154,7 @@ 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#l00536">536</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00538">538</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -172,7 +172,7 @@ 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#l00534">534</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00536">536</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -190,7 +190,7 @@ 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#l00550">550</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00552">552</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -208,7 +208,7 @@ 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#l00535">535</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00537">537</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -226,7 +226,7 @@ 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#l00543">543</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00545">545</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -257,8 +257,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#l00544">544</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;    {</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        <span class="keywordflow">return</span> P.second;</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00546">546</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;    {</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <span class="keywordflow">return</span> P.second;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a67da52700e19f69ffebf8532944df867"></a>
@@ -287,8 +287,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#l00538">538</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    {</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>; <span class="comment">// return null here, maybe later we could create a dummy node</span></div><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00540">540</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;    {</div><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>; <span class="comment">// return null here, maybe later we could create a dummy node</span></div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ad67b19903549bef892b8b059228e4d19"></a>
@@ -327,8 +327,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#l00570">570</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    {</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        <span class="keywordflow">return</span> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00572">572</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    {</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;        <span class="keywordflow">return</span> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a29ec19f4829cfe458c1eaab47e6fe8c0"></a>
@@ -357,8 +357,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#l00566">566</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;    {</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00568">568</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;    {</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a77e3e3addf59c1d6be1dba89fc3daa0c"></a>
@@ -387,8 +387,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#l00561">561</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;    {</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00563">563</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    {</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="ae71d73a9d9d6f11f96aed422757c00c3"></a>
@@ -417,8 +417,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#l00552">552</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;    {</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00554">554</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    {</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a8397bafa216b209b6bd2bcb20fec4322"></a>
@@ -447,8 +447,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#l00556">556</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;end(), &amp;deref_val);</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00558">558</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;    {</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;end(), &amp;deref_val);</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html

@@ -112,7 +112,7 @@ struct llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</h3
 
 <p>GraphTraits for nodes </p>
 
-<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00456">456</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00458">458</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="aec22c38e9fb74816d84a84e402ca562d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aec22c38e9fb74816d84a84e402ca562d">&#9670;&nbsp;</a></span>ChildIteratorType</h2>
@@ -128,7 +128,7 @@ 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#l00467">467</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00469">469</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -146,7 +146,7 @@ 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#l00459">459</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00461">461</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -164,7 +164,7 @@ 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#l00458">458</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00460">460</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
 
 </div>
 </div>
@@ -195,8 +195,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#l00474">474</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;    {</div><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00476">476</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;    {</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="af7353e7790e6d4828d76fc16bea16212"></a>
@@ -225,8 +225,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#l00478">478</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    {</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00480">480</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;    {</div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a0c74bc70e04aa3186fbc369717b22a12"></a>
@@ -255,8 +255,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#l00482">482</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    {</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00484">484</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.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;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a58094251972081b08b4c6db42a3a374f"></a>
@@ -285,8 +285,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#l00486">486</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00488">488</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    {</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a84cc3da79c2c9c5bcdf50da4b919b7da"></a>
@@ -315,8 +315,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#l00461">461</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;    {</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        <span class="keywordflow">return</span> E-&gt;getDstNode();</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00463">463</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;    {</div><div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;        <span class="keywordflow">return</span> E-&gt;getDstNode();</div><div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a24c5372fa6afca08d89759f66fa2a08e"></a>
@@ -345,8 +345,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#l00469">469</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;    {</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        <span class="keywordflow">return</span> pagN;</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00471">471</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;    {</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;        <span class="keywordflow">return</span> pagN;</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html

@@ -81,7 +81,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::ICFGNode * &gt;:</div>
 struct llvm::GraphTraits&lt; SVF::ICFGNode * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00313">313</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00314">314</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="ICFG_8h_source.html">ICFG.h</a></li>
 </ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html

@@ -90,7 +90,7 @@ Public Types</h2></td></tr>
 struct llvm::GraphTraits&lt; SVF::ICFG * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00323">323</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00324">324</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a56fc8804dac855c62d6d7d3842b6fff4"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a56fc8804dac855c62d6d7d3842b6fff4">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -104,7 +104,7 @@ struct llvm::GraphTraits&lt; SVF::ICFG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00325">325</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFG_8h_source.html#l00326">326</a> of file <a class="el" href="ICFG_8h_source.html">ICFG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html

@@ -81,7 +81,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::VFGNode * &gt;:</div>
 struct llvm::GraphTraits&lt; SVF::VFGNode * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00646">646</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00647">647</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>
 <li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="VFG_8h_source.html">VFG.h</a></li>
 </ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html

@@ -90,7 +90,7 @@ Public Types</h2></td></tr>
 struct llvm::GraphTraits&lt; SVF::VFG * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00656">656</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00657">657</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a0c6c42e5f1f75e34d71c39996f50e5b2"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a0c6c42e5f1f75e34d71c39996f50e5b2">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -104,7 +104,7 @@ struct llvm::GraphTraits&lt; SVF::VFG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00658">658</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00659">659</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html

@@ -115,10 +115,10 @@ template&lt;unsigned N&gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00298">298</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    {</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;std::pair&lt;size_t, size_t&gt;</a>, <span class="keywordtype">size_t</span>&gt;&gt; h;</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(std::make_pair(sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>(), sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">find_first</a>()), sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba">find_last</a>()));</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SparseBitVector_html_ac969500db9dbd1c63b6a47a1d9a5abba"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba">SVF::SparseBitVector::find_last</a></div><div class="ttdeci">int find_last() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01088">SparseBitVector.h:1088</a></div></div>
+<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    {</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;std::pair&lt;size_t, size_t&gt;</a>, <span class="keywordtype">size_t</span>&gt;&gt; h;</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(std::make_pair(sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">count</a>(), sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">find_first</a>()), sbv.<a class="code" href="classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba">find_last</a>()));</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SparseBitVector_html_ac969500db9dbd1c63b6a47a1d9a5abba"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba">SVF::SparseBitVector::find_last</a></div><div class="ttdeci">int find_last() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01090">SparseBitVector.h:1090</a></div></div>
 <div class="ttc" id="structSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00052">SVFBasicTypes.h:52</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01102">SparseBitVector.h:1102</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a06eeb5543eb160e08f9a41e30b52d963"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">SVF::SparseBitVector::find_first</a></div><div class="ttdeci">int find_first() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01079">SparseBitVector.h:1079</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01104">SparseBitVector.h:1104</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a06eeb5543eb160e08f9a41e30b52d963"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">SVF::SparseBitVector::find_first</a></div><div class="ttdeci">int find_first() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01081">SparseBitVector.h:1081</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/svf-ex_8cpp.html

@@ -216,7 +216,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_a2f8e91c075d90be66412a079fe73e936"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a></div><div class="ttdeci">static void releaseLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00077">LLVMModule.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00047">ICFG.h:47</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00438">ICFG.cpp:438</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00442">ICFG.cpp:442</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00042">SVFGBuilder.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
@@ -265,7 +265,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00200">PointerAnalysis.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_afaa33caa8d2a306f6741d9d066243e40"><div class="ttname"><a href="classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40">SVF::SVFVar::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00091">SVFVariables.h:91</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00391">GenericGraph.h:391</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00132">PointsTo.h:132</a></div></div>
@@ -359,7 +359,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00391">GenericGraph.h:391</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>

package/SVF-doxygen/html/html/svf-ex_8cpp_source.html

@@ -108,7 +108,7 @@ $(function() {
 <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a6c01f259ad2379a422d7106ce0255eb8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const Value *V1, const Value *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos. </div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00438">ICFG.cpp:438</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00442">ICFG.cpp:442</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
@@ -117,7 +117,7 @@ $(function() {
 <div class="ttc" id="svf-ex_8cpp_html_a5fe2142b121150867c08ee9bd8f65940"><div class="ttname"><a href="svf-ex_8cpp.html#a5fe2142b121150867c08ee9bd8f65940">aliasQuery</a></div><div class="ttdeci">SVF::AliasResult aliasQuery(PointerAnalysis *pta, Value *v1, Value *v2)</div><div class="ttdef"><b>Definition:</b> <a href="svf-ex_8cpp_source.html#l00045">svf-ex.cpp:45</a></div></div>
 <div class="ttc" id="SVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00391">GenericGraph.h:391</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00393">GenericGraph.h:393</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00150">Andersen.h:150</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00436">LLVMUtil.cpp:436</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>

package/include/Graphs/ConsGNode.h

@@ -259,56 +259,68 @@ public:
         storeInEdges.insert(inEdge);
         addIncomingEdge(inEdge);
     }
-    inline void addIncomingDirectEdge(ConstraintEdge* inEdge)
+    inline bool addIncomingDirectEdge(ConstraintEdge* inEdge)
     {
         assert(inEdge->getDstID() == this->getId());
         bool added1 = directInEdges.insert(inEdge).second;
         bool added2 = addIncomingEdge(inEdge);
-        assert(added1 && added2 && "edge not added, duplicated adding!!");
+        bool both_added = added1 & added2;
+        assert(both_added && "edge not added, duplicated adding!!");
+        return both_added;
     }
     inline void addOutgoingAddrEdge(AddrCGEdge* outEdge)
     {
         addressOutEdges.insert(outEdge);
         addOutgoingEdge(outEdge);
     }
-    inline void addOutgoingLoadEdge(LoadCGEdge* outEdge)
+    inline bool addOutgoingLoadEdge(LoadCGEdge* outEdge)
     {
         bool added1 = loadOutEdges.insert(outEdge).second;
         bool added2 = addOutgoingEdge(outEdge);
-        assert(added1 && added2 && "edge not added, duplicated adding!!");
+        bool both_added = added1 & added2;
+        assert(both_added && "edge not added, duplicated adding!!");
+        return both_added;
     }
-    inline void addOutgoingStoreEdge(StoreCGEdge* outEdge)
+    inline bool addOutgoingStoreEdge(StoreCGEdge* outEdge)
     {
         bool added1 = storeOutEdges.insert(outEdge).second;
         bool added2 = addOutgoingEdge(outEdge);
-        assert(added1 && added2 && "edge not added, duplicated adding!!");
+        bool both_added = added1 & added2;
+        assert(both_added && "edge not added, duplicated adding!!");
+        return both_added;
     }
-    inline void addOutgoingDirectEdge(ConstraintEdge* outEdge)
+    inline bool addOutgoingDirectEdge(ConstraintEdge* outEdge)
     {
         assert(outEdge->getSrcID() == this->getId());
         bool added1 = directOutEdges.insert(outEdge).second;
         bool added2 = addOutgoingEdge(outEdge);
-        assert(added1 && added2 && "edge not added, duplicated adding!!");
+        bool both_added = added1 & added2;
+        assert(both_added && "edge not added, duplicated adding!!");
+        return both_added;
     }
     //@}
 
     /// Remove constraint graph edges
     //{@
-    inline void removeOutgoingAddrEdge(AddrCGEdge* outEdge)
+    inline bool removeOutgoingAddrEdge(AddrCGEdge* outEdge)
     {
         u32_t num1 = addressOutEdges.erase(outEdge);
         u32_t num2 = removeOutgoingEdge(outEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeIncomingAddrEdge(AddrCGEdge* inEdge)
+    inline bool removeIncomingAddrEdge(AddrCGEdge* inEdge)
     {
         u32_t num1 = addressInEdges.erase(inEdge);
         u32_t num2 = removeIncomingEdge(inEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeOutgoingDirectEdge(ConstraintEdge* outEdge)
+    inline bool removeOutgoingDirectEdge(ConstraintEdge* outEdge)
     {
         if (SVFUtil::isa<GepCGEdge>(outEdge))
             gepOutEdges.erase(outEdge);
@@ -316,10 +328,12 @@ public:
             copyOutEdges.erase(outEdge);
         u32_t num1 = directOutEdges.erase(outEdge);
         u32_t num2 = removeOutgoingEdge(outEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeIncomingDirectEdge(ConstraintEdge* inEdge)
+    inline bool removeIncomingDirectEdge(ConstraintEdge* inEdge)
     {
         if (SVFUtil::isa<GepCGEdge>(inEdge))
             gepInEdges.erase(inEdge);
@@ -327,35 +341,45 @@ public:
             copyInEdges.erase(inEdge);
         u32_t num1 = directInEdges.erase(inEdge);
         u32_t num2 = removeIncomingEdge(inEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeOutgoingLoadEdge(LoadCGEdge* outEdge)
+    inline bool removeOutgoingLoadEdge(LoadCGEdge* outEdge)
     {
         u32_t num1 = loadOutEdges.erase(outEdge);
         u32_t num2 = removeOutgoingEdge(outEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeIncomingLoadEdge(LoadCGEdge* inEdge)
+    inline bool removeIncomingLoadEdge(LoadCGEdge* inEdge)
     {
         u32_t num1 = loadInEdges.erase(inEdge);
         u32_t num2 = removeIncomingEdge(inEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeOutgoingStoreEdge(StoreCGEdge* outEdge)
+    inline bool removeOutgoingStoreEdge(StoreCGEdge* outEdge)
     {
         u32_t num1 = storeOutEdges.erase(outEdge);
         u32_t num2 = removeOutgoingEdge(outEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
 
-    inline void removeIncomingStoreEdge(StoreCGEdge* inEdge)
+    inline bool removeIncomingStoreEdge(StoreCGEdge* inEdge)
     {
         u32_t num1 = storeInEdges.erase(inEdge);
         u32_t num2 = removeIncomingEdge(inEdge);
-        assert((num1 && num2) && "edge not in the set, can not remove!!!");
+        bool removed = (num1 > 0) & (num2 > 0);
+        assert(removed && "edge not in the set, can not remove!!!");
+        return removed;
     }
     //@}