svf-tools 1.0.317 → 1.0.321

package/SVF-doxygen/html/html/CHG_8h.html

@@ -5,7 +5,7 @@
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen 1.8.13"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/SVF-FE/CHG.h File Reference</title>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/Graphs/CHG.h File Reference</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="jquery.js"></script>
 <script type="text/javascript" src="dynsections.js"></script>
@@ -58,7 +58,7 @@ $(function() {
 
 <div id="nav-path" class="navpath">
   <ul>
-<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_770a542efe75a1b68c109cb4e4290224.html">SVF-FE</a></li>  </ul>
+<li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_fa02919a30fec2d2c2d591b4d920d648.html">Graphs</a></li>  </ul>
 </div>
 </div><!-- top -->
 <div class="header">
@@ -71,7 +71,6 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <div class="textblock"><code>#include &quot;<a class="el" href="SVFModule_8h_source.html">Util/SVFModule.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="CommonCHG_8h_source.html">SVF-FE/CommonCHG.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="GenericGraph_8h_source.html">Graphs/GenericGraph.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="WorkList_8h_source.html">Util/WorkList.h</a>&quot;</code><br />
 </div>
@@ -79,6 +78,9 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
 Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CommonCHGraph.html">SVF::CommonCHGraph</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Common base for class hierarchy graph. Only implements what <a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> needs.  <a href="classSVF_1_1CommonCHGraph.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHEdge.html">SVF::CHEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a></td></tr>
@@ -103,6 +105,10 @@ Namespaces</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
 Typedefs</h2></td></tr>
+<tr class="memitem:a53511f619c06836ee85acf12153810e2"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; const GlobalValue * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a53511f619c06836ee85acf12153810e2">SVF::VTableSet</a></td></tr>
+<tr class="separator:a53511f619c06836ee85acf12153810e2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; const SVFFunction * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF::VFunSet</a></td></tr>
+<tr class="separator:ad2b487757f1e1a1d81073120fc1d49c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7cb629496a70d2dd22634405652e573a"><td class="memItemLeft" align="right" valign="top">typedef GenericEdge&lt; CHNode &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7cb629496a70d2dd22634405652e573a">SVF::GenericCHEdgeTy</a></td></tr>
 <tr class="separator:a7cb629496a70d2dd22634405652e573a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a838ed37e84836101711c25a760eec57d"><td class="memItemLeft" align="right" valign="top">typedef GenericNode&lt; CHNode, CHEdge &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a838ed37e84836101711c25a760eec57d">SVF::GenericCHNodeTy</a></td></tr>