svf-tools 1.0.309 → 1.0.313

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#l00531">531</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#l00528">528</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#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#l00532">532</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#l00533">533</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#l00530">530</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#l00549">549</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#l00546">546</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#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#l00531">531</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#l00542">542</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#l00539">539</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#l00543">543</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    {</div><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;        <span class="keywordflow">return</span> P.second;</div><div class="line"><a name="l00546"></a><span class="lineno">  546</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> P.second;</div><div class="line"><a name="l00543"></a><span class="lineno">  543</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#l00537">537</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    {</div><div class="line"><a name="l00539"></a><span class="lineno">  539</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="l00540"></a><span class="lineno">  540</span>&#160;    }</div></div><!-- fragment -->
+<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 class="fragment"><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;    {</div><div class="line"><a name="l00536"></a><span class="lineno">  536</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="l00537"></a><span class="lineno">  537</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#l00569">569</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;    {</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        <span class="keywordflow">return</span> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;    }</div></div><!-- fragment -->
+<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> G-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00569"></a><span class="lineno">  569</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#l00565">565</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;    {</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00562">562</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <span class="keywordflow">return</span> N-&gt;getId();</div><div class="line"><a name="l00565"></a><span class="lineno">  565</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#l00560">560</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;    {</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00557">557</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;    {</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        <span class="keywordflow">return</span> G-&gt;getTotalNodeNum();</div><div class="line"><a name="l00560"></a><span class="lineno">  560</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#l00551">551</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;    {</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00548">548</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    {</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;begin(), &amp;deref_val);</div><div class="line"><a name="l00551"></a><span class="lineno">  551</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#l00555">555</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    {</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        <span class="keywordflow">return</span> map_iterator(G-&gt;end(), &amp;deref_val);</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;    }</div></div><!-- fragment -->
+<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;end(), &amp;deref_val);</div><div class="line"><a name="l00555"></a><span class="lineno">  555</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#l00455">455</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#l00452">452</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#l00466">466</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#l00463">463</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#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#l00455">455</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#l00457">457</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#l00454">454</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#l00473">473</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;    {</div><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00470">470</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    {</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00473"></a><span class="lineno">  473</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#l00477">477</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;    {</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;OutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    }</div></div><!-- fragment -->
+<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;OutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00477"></a><span class="lineno">  477</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#l00481">481</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;    {</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    }</div></div><!-- fragment -->
+<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;directOutEdgeBegin(), &amp;edge_dest);</div><div class="line"><a name="l00481"></a><span class="lineno">  481</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#l00485">485</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    {</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        <span class="keywordflow">return</span> map_iterator(N-&gt;directOutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    }</div></div><!-- fragment -->
+<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;directOutEdgeEnd(), &amp;edge_dest);</div><div class="line"><a name="l00485"></a><span class="lineno">  485</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#l00460">460</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    {</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        <span class="keywordflow">return</span> E-&gt;getDstNode();</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00457">457</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    {</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <span class="keywordflow">return</span> E-&gt;getDstNode();</div><div class="line"><a name="l00460"></a><span class="lineno">  460</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#l00468">468</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    {</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        <span class="keywordflow">return</span> pagN;</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00465">465</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    {</div><div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;        <span class="keywordflow">return</span> pagN;</div><div class="line"><a name="l00468"></a><span class="lineno">  468</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/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 struct std::hash&lt; SVF::NodePair &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00261">261</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00263">263</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a33d0d439057cbfab969516ea6a976aae"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a33d0d439057cbfab969516ea6a976aae">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,8 +108,8 @@ struct std::hash&lt; SVF::NodePair &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00262">262</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;                                                  {</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;        <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        uint32_t first = (uint32_t)(p.first);</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        uint32_t second = (uint32_t)(p.second);</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(p.first) &lt;&lt; 32) | (uint64_t)(p.second);</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00264">264</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.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="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;        uint32_t first = (uint32_t)(p.first);</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        uint32_t second = (uint32_t)(p.second);</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(first) &lt;&lt; 32) | (uint64_t)(second);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</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/structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html

@@ -86,7 +86,7 @@ struct std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</h3>
 
 <p>Specialise hash for SmallVectors. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00275">275</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00277">277</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="ae282a411b1a579a34ccd7eec3a492eb2"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ae282a411b1a579a34ccd7eec3a492eb2">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -114,8 +114,8 @@ template&lt;typename T , unsigned N&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00277">277</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;                                                            {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">if</span> (sv.empty()) <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <span class="keywordflow">if</span> (sv.size() == 1) <span class="keywordflow">return</span> sv[0];</div><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="comment">// Iterate and accumulate the hash.</span></div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordtype">size_t</span> hash = 0;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;T, size_t&gt;</a>&gt; hts;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        std::hash&lt;T&gt; ht;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> T &amp;t : sv)</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        {</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            hash = hts(std::make_pair(ht(t), hash));</div><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;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        <span class="keywordflow">return</span> hash;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    }</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>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00279">279</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.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">if</span> (sv.empty()) <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <span class="keywordflow">if</span> (sv.size() == 1) <span class="keywordflow">return</span> sv[0];</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="comment">// Iterate and accumulate the hash.</span></div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keywordtype">size_t</span> hash = 0;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;std::pair&lt;T, size_t&gt;</a>&gt; hts;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        std::hash&lt;T&gt; ht;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> T &amp;t : sv)</div><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;            hash = hts(std::make_pair(ht(t), hash));</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        }</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        <span class="keywordflow">return</span> hash;</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    }</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><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html

@@ -86,7 +86,7 @@ struct std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</h3>
 
 <p>Specialise hash for SparseBitVectors. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00296">296</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<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><h2 class="groupheader">Member Function Documentation</h2>
 <a id="ae6df53599aefcd010d7e3fd6bf95bdb6"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ae6df53599aefcd010d7e3fd6bf95bdb6">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -114,8 +114,8 @@ template&lt;unsigned N&gt; </div>
 </table>
 </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="l00298"></a><span class="lineno">  298</span>&#160;                                                               {</div><div class="line"><a name="l00299"></a><span class="lineno">  299</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="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(std::make_pair(sbv.count(), sbv.find_first()), sbv.find_last()));</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</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>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00300">300</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                                                               {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</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="l00302"></a><span class="lineno">  302</span>&#160;        <span class="keywordflow">return</span> h(std::make_pair(std::make_pair(sbv.count(), sbv.find_first()), sbv.find_last()));</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    }</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><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 struct std::hash&lt; std::vector&lt; T &gt; &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00305">305</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00307">307</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a921ca626d87c3eed7b71210cfc24d0dd"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a921ca626d87c3eed7b71210cfc24d0dd">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -110,8 +110,8 @@ template&lt;typename T &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00307">307</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;                                                   {</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="comment">// TODO: repetition with CBV.</span></div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="keywordtype">size_t</span> h = v.size();</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">SVF::Hash&lt;T&gt;</a> hf;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> T &amp;t : v)</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        {</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            h ^= hf(t) + 0x9e3779b9 + (h &lt;&lt; 6) + (h &gt;&gt; 2);</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        }</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">return</span> h;</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;    }</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>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00309">309</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                                                   {</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;        <span class="comment">// TODO: repetition with CBV.</span></div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordtype">size_t</span> h = v.size();</div><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="structSVF_1_1Hash.html">SVF::Hash&lt;T&gt;</a> hf;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> T &amp;t : v)</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        {</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;            h ^= hf(t) + 0x9e3779b9 + (h &lt;&lt; 6) + (h &gt;&gt; 2);</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        }</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keywordflow">return</span> h;</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    }</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><!-- fragment -->
 </div>
 </div>