svf-tools 1.0.874 → 1.0.875

package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html

@@ -2328,7 +2328,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;{</div>
 <div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71">removeOutgoingAddrEdge</a>(edge);</div>
 <div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6">removeIncomingAddrEdge</a>(edge);</div>
-<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">AddrCGEdgeSet</a>.erase(edge);</div>
+<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">AddrCGEdgeSet</a>.erase(edge);</div>
 <div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    (void)num; <span class="comment">// Suppress warning of unused variable under release build</span></div>
 <div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;    assert(num &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div>
 <div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    <span class="keyword">delete</span> edge;</div>
@@ -2391,7 +2391,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160; </div>
 <div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f">removeOutgoingDirectEdge</a>(edge);</div>
 <div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500">removeIncomingDirectEdge</a>(edge);</div>
-<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">directEdgeSet</a>.erase(edge);</div>
+<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">directEdgeSet</a>.erase(edge);</div>
 <div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;    (void)num; <span class="comment">// Suppress warning of unused variable under release build</span></div>
 <div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;    assert(num &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div>
 <div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;    <span class="keyword">delete</span> edge;</div>
@@ -2422,7 +2422,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;{</div>
 <div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0">removeOutgoingLoadEdge</a>(edge);</div>
 <div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b">removeIncomingLoadEdge</a>(edge);</div>
-<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">LoadCGEdgeSet</a>.erase(edge);</div>
+<div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">LoadCGEdgeSet</a>.erase(edge);</div>
 <div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    (void)num; <span class="comment">// Suppress warning of unused variable under release build</span></div>
 <div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    assert(num &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div>
 <div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;    <span class="keyword">delete</span> edge;</div>
@@ -2453,7 +2453,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;{</div>
 <div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4">removeOutgoingStoreEdge</a>(edge);</div>
 <div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;    <a class="code" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">getConstraintNode</a>(edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>())-&gt;<a class="code" href="classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea">removeIncomingStoreEdge</a>(edge);</div>
-<div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">StoreCGEdgeSet</a>.erase(edge);</div>
+<div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> num = <a class="code" href="classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025">StoreCGEdgeSet</a>.erase(edge);</div>
 <div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;    (void)num; <span class="comment">// Suppress warning of unused variable under release build</span></div>
 <div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    assert(num &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div>
 <div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;    <span class="keyword">delete</span> edge;</div>
@@ -3103,6 +3103,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a2d2131128ceb3362b5dc89317cfd88a0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a2d2131128ceb3362b5dc89317cfd88a0">SVF::SVFIR::getIndirectCallsites</a></div><div class="ttdeci">const CallSiteToFunPtrMap &amp; getIndirectCallsites() const</div><div class="ttdoc">Add/get indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00337">SVFIR.h:337</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_ab0b4f708097d4b3d92b4513818fef68c"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c">SVF::ConstraintGraph::addNormalGepCGEdge</a></div><div class="ttdeci">NormalGepCGEdge * addNormalGepCGEdge(NodeID src, NodeID dst, const AccessPath &amp;ap)</div><div class="ttdoc">Add Gep edge.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00233">ConsG.cpp:233</a></div></div>
+<div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00539">SVFStatements.h:539</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
@@ -3117,7 +3118,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_afe6a7b286d9af4992f41b59612fd2900"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">SVF::GenericNode::InEdgeEnd</a></div><div class="ttdeci">iterator InEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00229">GenericGraph.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_adee52f15f5ff58dd455e419c2643f89b"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#adee52f15f5ff58dd455e419c2643f89b">SVF::ConstraintGraph::getAddrCGEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy &amp; getAddrCGEdges()</div><div class="ttdoc">Get SVFIR edge.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00196">ConsG.h:196</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00138">IRGraph.h:138</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">SVF::ConstraintEdge::NormalGep</a></div><div class="ttdeci">@ NormalGep</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_acc23df2db1fa7b8e0270d8a04f08f2ee"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#acc23df2db1fa7b8e0270d8a04f08f2ee">SVF::ConstraintGraph::removeAddrEdge</a></div><div class="ttdeci">void removeAddrEdge(AddrCGEdge *edge)</div><div class="ttdoc">Remove addr edge from their src and dst edge sets.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00408">ConsG.cpp:408</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a18a52c763aa946f06798dc5592f5c1e0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0">SVF::ConstraintNode::addOutgoingStoreEdge</a></div><div class="ttdeci">bool addOutgoingStoreEdge(StoreCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00284">ConsGNode.h:284</a></div></div>
@@ -3232,7 +3233,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00066">SVFStatements.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VariantGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1VariantGepCGEdge.html">SVF::VariantGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00319">ConsGEdge.h:319</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a5ea9c47d232f36b66d985f979f33293b"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b">SVF::ConstraintGraph::addConstraintNode</a></div><div class="ttdeci">void addConstraintNode(ConstraintNode *node, NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00114">ConsG.h:114</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a77ba38543b1ee164f1ae95589d5dbc44"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44">SVF::ConstraintGraph::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00168">ConsG.cpp:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ad54cc825bb7f5642671e75b90b2633a2"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">SVF::ConstraintNode::addIncomingCopyEdge</a></div><div class="ttdeci">void addIncomingCopyEdge(CopyCGEdge *inEdge)</div><div class="ttdoc">Add constraint graph edges.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00227">ConsGNode.h:227</a></div></div>
 <!-- start footer part -->

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

@@ -76,14 +76,14 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">addIncomingAddrEdge</a>(AddrCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">addIncomingCopyEdge</a>(CopyCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819">addIncomingDirectEdge</a>(ConstraintEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">addIncomingGepEdge</a>(GepCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">addIncomingLoadEdge</a>(LoadCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">addIncomingStoreEdge</a>(StoreCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">addOutgoingAddrEdge</a>(AddrCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">addOutgoingCopyEdge</a>(CopyCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67">addOutgoingDirectEdge</a>(ConstraintEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">addOutgoingGepEdge</a>(GepCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1">addOutgoingLoadEdge</a>(LoadCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0">addOutgoingStoreEdge</a>(StoreCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -95,18 +95,18 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">directInEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">directInEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">directInEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">directInEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">directInEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">directOutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">directOutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">directOutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">directOutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">directOutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">getAddrInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -117,20 +117,20 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">getDirectOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">getGepInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">getGepOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">getLoadInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">getLoadOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">getStoreInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">getStoreOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">incomingAddrEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">incomingAddrsBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">incomingAddrsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -138,24 +138,24 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">incomingLoadsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">incomingStoresBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">incomingStoresEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">isdirectEdge</a>(ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">isIndirectEdge</a>(ConstraintEdge::ConstraintEdgeK kind)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">isPWCNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">outgoingAddrEdges</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">outgoingAddrsBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">outgoingAddrsEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -165,19 +165,19 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">outgoingStoresEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a5a97f47f5a65550dce11341c6f8d9ae6">removeIncomingAddrEdge</a>(AddrCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a7946aea5584d124f6c83fd91ab497500">removeIncomingDirectEdge</a>(ConstraintEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aa1f60c884d007524641d1a786410d41b">removeIncomingLoadEdge</a>(LoadCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a2d0e87fa3174562c97b519b2b144d8ea">removeIncomingStoreEdge</a>(StoreCGEdge *inEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#abaf196bcce496fbdee6740c42ca9dd71">removeOutgoingAddrEdge</a>(AddrCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f">removeOutgoingDirectEdge</a>(ConstraintEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a7d810ec9abc8817a938a557ac78dc8c0">removeOutgoingLoadEdge</a>(LoadCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a24ef3eedb218283d106eceb8a73ca1b4">removeOutgoingStoreEdge</a>(StoreCGEdge *outEdge)</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3">setPWCNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">strides</a></td><td class="entry"><a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>