svf-tools 1.0.347 → 1.0.351

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

@@ -114,8 +114,8 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">getTotalEdgeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1GenericGraph.html#a8c8d16036008f87c7811586047599858">getTotalNodeNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e">getVFnsFromVtbls</a>(CallSite cs, const VTableSet &amp;vtbls, VFunSet &amp;virtualFunctions) override</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#ab53198e1a85df15f04ed601f3346ef85">getVirtualFunctionBasedonID</a>(s32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a4ac546af1020af930f192460a7d40e4f">getVirtualFunctionID</a>(const SVFFunction *vfn) const</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a32f56db316a2a70940cf24435cff4965">getVirtualFunctionBasedonID</a>(s64_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a913889c72bb8d6637ab7cef4c34613c5">getVirtualFunctionID</a>(const SVFFunction *vfn) const</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">hasGNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&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_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">IDToNodeMap</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">IDToNodeMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
@@ -132,9 +132,9 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c">Standard</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CommonCHGraph.html">SVF::CommonCHGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">svfMod</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8">templateNameToInstancesMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">vfID</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">vfID</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">view</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00">~CHGraph</a>() override=default</td><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CommonCHGraph.html#aeb7e79b36c74bcded008fe227952c335">~CommonCHGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CommonCHGraph.html">SVF::CommonCHGraph</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html

@@ -141,10 +141,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a87a7d8c281490fbd2377d64b0115d262"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae382d5bab69843bdb9424c4c6ff94140"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140">printCH</a> ()</td></tr>
 <tr class="separator:ae382d5bab69843bdb9424c4c6ff94140"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4ac546af1020af930f192460a7d40e4f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a4ac546af1020af930f192460a7d40e4f">getVirtualFunctionID</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *vfn) const</td></tr>
-<tr class="separator:a4ac546af1020af930f192460a7d40e4f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab53198e1a85df15f04ed601f3346ef85"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#ab53198e1a85df15f04ed601f3346ef85">getVirtualFunctionBasedonID</a> (<a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> id) const</td></tr>
-<tr class="separator:ab53198e1a85df15f04ed601f3346ef85"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a913889c72bb8d6637ab7cef4c34613c5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a913889c72bb8d6637ab7cef4c34613c5">getVirtualFunctionID</a> (const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *vfn) const</td></tr>
+<tr class="separator:a913889c72bb8d6637ab7cef4c34613c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a32f56db316a2a70940cf24435cff4965"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a32f56db316a2a70940cf24435cff4965">getVirtualFunctionBasedonID</a> (<a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> id) const</td></tr>
+<tr class="separator:a32f56db316a2a70940cf24435cff4965"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5ee7e559425045f3af5c35ea6d6f03ee"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee">addInstances</a> (const std::string templateName, <a class="el" href="classSVF_1_1CHNode.html">CHNode</a> *node)</td></tr>
 <tr class="separator:a5ee7e559425045f3af5c35ea6d6f03ee"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a26f89a9b269cad3fc894110d25598715"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CHGraph.html#ad0f60c720b277c60ed8a8966189bb42b">CHNodeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a26f89a9b269cad3fc894110d25598715">getDescendants</a> (const std::string className)</td></tr>
@@ -217,8 +217,8 @@ Private Attributes</h2></td></tr>
 <tr class="separator:a62a3ccdbc55381d5f8d96dc23141f2e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adb99b732d20cfc8cc0f078cda6753bc0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">classNum</a></td></tr>
 <tr class="separator:adb99b732d20cfc8cc0f078cda6753bc0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1cf155a56d1a3b3c3ab1a3d593e1afcd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">vfID</a></td></tr>
-<tr class="separator:a1cf155a56d1a3b3c3ab1a3d593e1afcd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac3be8c8dfee16d7508b73b6f2270eb2d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">vfID</a></td></tr>
+<tr class="separator:ac3be8c8dfee16d7508b73b6f2270eb2d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab5bd2348e4418fcb2f3b18227fccd836"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836">buildingCHGTime</a></td></tr>
 <tr class="separator:ab5bd2348e4418fcb2f3b18227fccd836"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa040bc0a5653843419d24777343e1650"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1CHNode.html">CHNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#aa040bc0a5653843419d24777343e1650">classNameToNodeMap</a></td></tr>
@@ -233,8 +233,8 @@ Private Attributes</h2></td></tr>
 <tr class="separator:acd022005e2191bc3bcb265805abee4f8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7ef9982d89a4932883bd58bc49ad9986"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff">CallSiteToCHNodesMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a7ef9982d89a4932883bd58bc49ad9986">csToClassesMap</a></td></tr>
 <tr class="separator:a7ef9982d89a4932883bd58bc49ad9986"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6a581e9b4105745c518124b494b41c63"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a></td></tr>
-<tr class="separator:a6a581e9b4105745c518124b494b41c63"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af3484748d0dd2567542acd3be18d3c4a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *, <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a></td></tr>
+<tr class="separator:af3484748d0dd2567542acd3be18d3c4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af3ed2bee5d76e5a848b250950c3be333"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CHGraph.html#aefdf6c5fe8a26efce200e8225d463cac">CallSiteToVTableSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#af3ed2bee5d76e5a848b250950c3be333">csToCHAVtblsMap</a></td></tr>
 <tr class="separator:af3ed2bee5d76e5a848b250950c3be333"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5e6502c5baad99c70e1cf56c84ce9474"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74">CallSiteToVFunSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474">csToCHAVFnsMap</a></td></tr>
@@ -412,12 +412,12 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00226">226</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                                 : <a class="code" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">svfMod</a>(svfModule), <a class="code" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">classNum</a>(0), <a class="code" href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">vfID</a>(0), <a class="code" href="classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836">buildingCHGTime</a>(0)</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    {</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071">kind</a> = <a class="code" href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c">Standard</a>;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_adb99b732d20cfc8cc0f078cda6753bc0"><div class="ttname"><a href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">SVF::CHGraph::classNum</a></div><div class="ttdeci">u32_t classNum</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00311">CHG.h:311</a></div></div>
+<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;                                 : <a class="code" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">svfMod</a>(svfModule), <a class="code" href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">classNum</a>(0), <a class="code" href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">vfID</a>(0), <a class="code" href="classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836">buildingCHGTime</a>(0)</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    {</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        this-&gt;<a class="code" href="classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071">kind</a> = <a class="code" href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c">Standard</a>;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_adb99b732d20cfc8cc0f078cda6753bc0"><div class="ttname"><a href="classSVF_1_1CHGraph.html#adb99b732d20cfc8cc0f078cda6753bc0">SVF::CHGraph::classNum</a></div><div class="ttdeci">u32_t classNum</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00311">CHG.h:311</a></div></div>
 <div class="ttc" id="classSVF_1_1CommonCHGraph_html_a4d3f2b9ed7ae8e87baf69525e9115071"><div class="ttname"><a href="classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071">SVF::CommonCHGraph::kind</a></div><div class="ttdeci">CHGKind kind</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00072">CHG.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGraph_html_a62a3ccdbc55381d5f8d96dc23141f2e5"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph::svfMod</a></div><div class="ttdeci">SVFModule * svfMod</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00310">CHG.h:310</a></div></div>
 <div class="ttc" id="classSVF_1_1CommonCHGraph_html_a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c"><div class="ttname"><a href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c">SVF::CommonCHGraph::Standard</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00056">CHG.h:56</a></div></div>
+<div class="ttc" id="classSVF_1_1CHGraph_html_ac3be8c8dfee16d7508b73b6f2270eb2d"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ac3be8c8dfee16d7508b73b6f2270eb2d">SVF::CHGraph::vfID</a></div><div class="ttdeci">s64_t vfID</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00312">CHG.h:312</a></div></div>
 <div class="ttc" id="classSVF_1_1CHGraph_html_ab5bd2348e4418fcb2f3b18227fccd836"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ab5bd2348e4418fcb2f3b18227fccd836">SVF::CHGraph::buildingCHGTime</a></div><div class="ttdeci">double buildingCHGTime</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00313">CHG.h:313</a></div></div>
-<div class="ttc" id="classSVF_1_1CHGraph_html_a1cf155a56d1a3b3c3ab1a3d593e1afcd"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a1cf155a56d1a3b3c3ab1a3d593e1afcd">SVF::CHGraph::vfID</a></div><div class="ttdeci">s32_t vfID</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00312">CHG.h:312</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -854,8 +854,8 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab53198e1a85df15f04ed601f3346ef85"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab53198e1a85df15f04ed601f3346ef85">&#9670;&nbsp;</a></span>getVirtualFunctionBasedonID()</h2>
+<a id="a32f56db316a2a70940cf24435cff4965"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a32f56db316a2a70940cf24435cff4965">&#9670;&nbsp;</a></span>getVirtualFunctionBasedonID()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -866,7 +866,7 @@ Additional Inherited Members</h2></td></tr>
         <tr>
           <td class="memname">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* SVF::CHGraph::getVirtualFunctionBasedonID </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td>
           <td class="paramname"><em>id</em></td><td>)</td>
           <td> const</td>
         </tr>
@@ -879,12 +879,12 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00250">250</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    {</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        Map&lt;const SVFFunction*, s32_t&gt;::const_iterator it, eit;</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        <span class="keywordflow">for</span> (it = <a class="code" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a>.begin(), eit =</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                    <a class="code" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second == <span class="keywordtype">id</span>)</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;                <span class="keywordflow">return</span> it-&gt;first;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        }</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_a6a581e9b4105745c518124b494b41c63"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, s32_t &gt; virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00321">CHG.h:321</a></div></div>
+<div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    {</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        Map&lt;const SVFFunction*, s64_t&gt;::const_iterator it, eit;</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        <span class="keywordflow">for</span> (it = <a class="code" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a>.begin(), eit =</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                    <a class="code" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        {</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second == <span class="keywordtype">id</span>)</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;                <span class="keywordflow">return</span> it-&gt;first;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        }</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_af3484748d0dd2567542acd3be18d3c4a"><div class="ttname"><a href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, s64_t &gt; virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00321">CHG.h:321</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a4ac546af1020af930f192460a7d40e4f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4ac546af1020af930f192460a7d40e4f">&#9670;&nbsp;</a></span>getVirtualFunctionID()</h2>
+<a id="a913889c72bb8d6637ab7cef4c34613c5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a913889c72bb8d6637ab7cef4c34613c5">&#9670;&nbsp;</a></span>getVirtualFunctionID()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -893,7 +893,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> SVF::CHGraph::getVirtualFunctionID </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::CHGraph::getVirtualFunctionID </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td>
           <td class="paramname"><em>vfn</em></td><td>)</td>
@@ -908,7 +908,7 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CHG_8h_source.html#l00241">241</a> of file <a class="el" href="CHG_8h_source.html">CHG.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        Map&lt;const SVFFunction*, s32_t&gt;::const_iterator it =</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;            <a class="code" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a>.find(vfn);</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">virtualFunctionToIDMap</a>.end())</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;            <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_a6a581e9b4105745c518124b494b41c63"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a6a581e9b4105745c518124b494b41c63">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, s32_t &gt; virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00321">CHG.h:321</a></div></div>
+<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        Map&lt;const SVFFunction*, s64_t&gt;::const_iterator it =</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;            <a class="code" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a>.find(vfn);</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">virtualFunctionToIDMap</a>.end())</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;            <span class="keywordflow">return</span> -1;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CHGraph_html_af3484748d0dd2567542acd3be18d3c4a"><div class="ttname"><a href="classSVF_1_1CHGraph.html#af3484748d0dd2567542acd3be18d3c4a">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, s64_t &gt; virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00321">CHG.h:321</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1249,8 +1249,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a1cf155a56d1a3b3c3ab1a3d593e1afcd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1cf155a56d1a3b3c3ab1a3d593e1afcd">&#9670;&nbsp;</a></span>vfID</h2>
+<a id="ac3be8c8dfee16d7508b73b6f2270eb2d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac3be8c8dfee16d7508b73b6f2270eb2d">&#9670;&nbsp;</a></span>vfID</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1259,7 +1259,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> SVF::CHGraph::vfID</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::CHGraph::vfID</td>
         </tr>
       </table>
   </td>
@@ -1273,8 +1273,8 @@ Additional Inherited Members</h2></td></tr>
 
 </div>
 </div>
-<a id="a6a581e9b4105745c518124b494b41c63"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6a581e9b4105745c518124b494b41c63">&#9670;&nbsp;</a></span>virtualFunctionToIDMap</h2>
+<a id="af3484748d0dd2567542acd3be18d3c4a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af3484748d0dd2567542acd3be18d3c4a">&#9670;&nbsp;</a></span>virtualFunctionToIDMap</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1283,7 +1283,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>*, <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&gt; SVF::CHGraph::virtualFunctionToIDMap</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a>*, <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&gt; SVF::CHGraph::virtualFunctionToIDMap</td>
         </tr>
       </table>
   </td>

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

@@ -97,7 +97,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d">getVirtualFunctions</a>(u32_t idx, FuncVector &amp;virtualFunctions) const</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af">getVirtualFunctionVectors</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#a600b63dac83e526c933c141d4e2bcc0c">getVTable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</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#a363b90ab02cce2ebc3ede8e5b7cc141c">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#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><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">hasFlag</a>(CLASSATTR mask) const</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</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#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>
@@ -118,8 +118,8 @@ $(function() {
   <tr class="even"><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><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 class="even"><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">PURE_ABSTRACT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">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_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">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_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_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_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">setFlag</a>(CLASSATTR mask)</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440">setMultiInheritance</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024">setPureAbstract</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1CHNode.html

@@ -97,9 +97,9 @@ Public Types</h2></td></tr>
 <tr class="separator:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef EdgeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a></td></tr>
 <tr class="separator:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a363b90ab02cce2ebc3ede8e5b7cc141c inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a></td></tr>
-<tr class="memdesc:a363b90ab02cce2ebc3ede8e5b7cc141c inherit pub_types_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Edge kind.  <a href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">More...</a><br /></td></tr>
-<tr class="separator:a363b90ab02cce2ebc3ede8e5b7cc141c inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a></td></tr>
+<tr class="memdesc:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Edge kind.  <a href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">More...</a><br /></td></tr>
+<tr class="separator:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *, typename EdgeType::equalGEdge &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a></td></tr>
 <tr class="separator:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a></td></tr>
@@ -109,7 +109,7 @@ Public Types</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a1f2c496e378d01841e4dc164942dc145"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145">CHNode</a> (const std::string name, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i=0, <a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> k=0)</td></tr>
+<tr class="memitem:a1f2c496e378d01841e4dc164942dc145"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html#a1f2c496e378d01841e4dc164942dc145">CHNode</a> (const std::string name, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i=0, <a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> k=0)</td></tr>
 <tr class="separator:a1f2c496e378d01841e4dc164942dc145"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aff05589899b58112119af68df5d1997e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e">~CHNode</a> ()</td></tr>
 <tr class="separator:aff05589899b58112119af68df5d1997e"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -146,7 +146,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:aff23fda93401c60422a4a5a08d77d749"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">isTemplate</a> () const</td></tr>
 <tr class="separator:aff23fda93401c60422a4a5a08d77d749"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td></tr>
-<tr class="memitem:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> k)</td></tr>
+<tr class="memitem:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> k)</td></tr>
 <tr class="memdesc:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">More...</a><br /></td></tr>
 <tr class="separator:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a48a8d05b81b5c8099c3f3d1f2c4983a9 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a> ()</td></tr>
@@ -155,7 +155,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:ac3e55ef37aefb411ea4c87b1aa3b1895 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a> () const</td></tr>
 <tr class="memdesc:ac3e55ef37aefb411ea4c87b1aa3b1895 inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get ID.  <a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">More...</a><br /></td></tr>
 <tr class="separator:ac3e55ef37aefb411ea4c87b1aa3b1895 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a391e996d695b114530120723da1d003e inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a> () const</td></tr>
+<tr class="memitem:a391e996d695b114530120723da1d003e inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a> () const</td></tr>
 <tr class="memdesc:a391e996d695b114530120723da1d003e inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get node kind.  <a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">More...</a><br /></td></tr>
 <tr class="separator:a391e996d695b114530120723da1d003e inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2d9cd758d6f8c5189d9b90b74f43e009 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a> () const</td></tr>
@@ -206,10 +206,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a93d217b0c9fd8008a2989ca2b4f3fbfb inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae74283fbc788665296a69e56f334557b inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *outEdge)</td></tr>
 <tr class="separator:ae74283fbc788665296a69e56f334557b inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a56dff05dc2b3c5664d3b8fc1c6c927d5 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge)</td></tr>
-<tr class="separator:a56dff05dc2b3c5664d3b8fc1c6c927d5 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7c6192cb176bda3fad1819711302e468 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge)</td></tr>
-<tr class="separator:a7c6192cb176bda3fad1819711302e468 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a95415bebc5986e548f91169b201a5225 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge)</td></tr>
+<tr class="separator:a95415bebc5986e548f91169b201a5225 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1880a691130279625e5be6af36e86fc1 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge)</td></tr>
+<tr class="separator:a1880a691130279625e5be6af36e86fc1 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:add6b6b3bd45a9460335c5db9eda821b8 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge) const</td></tr>
 <tr class="memdesc:add6b6b3bd45a9460335c5db9eda821b8 inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Find incoming and outgoing edges.  <a href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">More...</a><br /></td></tr>
 <tr class="separator:add6b6b3bd45a9460335c5db9eda821b8 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -298,7 +298,7 @@ Private Attributes</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a>&#160;</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a>&#160;</td>
           <td class="paramname"><em>k</em> = <code>0</code>&#160;</td>
         </tr>
         <tr>

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

@@ -82,7 +82,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2">isVisited</a>(NodeID nId)</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e">setVisited</a>(NodeID nId)</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CSC.html#ae2cf80e57c85add6e68bf282e833e0e7">visit</a>(NodeID nodeId, Size_t _w)</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CSC.html#a2e595f5584ac62cddb45b70d8865f100">visit</a>(NodeID nodeId, s64_t _w)</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">WorkStack</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CSC.html">SVF::CSC</a></td><td class="entry"></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->