svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html

@@ -322,7 +322,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="PAGEdge_8h_source.html#l00314">314</a> of file <a class="el" href="PAGEdge_8h_source.html">PAGEdge.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;                                       : <a class="code" href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">PAGEdge</a>(s,d,<a class="code" href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6aab0965e92d7414417a77f925efb79dac">PAGEdge::BinaryOp</a>)</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    {</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PAGEdge_html_a79080505b4744aa8806b55215ac2b0f6aab0965e92d7414417a77f925efb79dac"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6aab0965e92d7414417a77f925efb79dac">SVF::PAGEdge::BinaryOp</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00056">PAGEdge.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01002">PAG.cpp:1002</a></div></div>
+<div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00995">PAG.cpp:995</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html

@@ -777,7 +777,7 @@ Private Member Functions</h2></td></tr>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a071f592f2b811c136db5e05a6169aa99"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a071f592f2b811c136db5e05a6169aa99">SVF::PAGNode::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00110">PAGNode.h:110</a></div></div>
 <div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html_a01ca492acb9b769eb6e1fe2137dff47d"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d">SVF::BinaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00393">VFGNode.h:393</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html_aed5a32d1a145df7007ba7d934e4c2bd4"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4">SVF::BinaryOPVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00447">VFGNode.h:447</a></div></div>
 </div><!-- fragment -->
 </div>

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

@@ -151,7 +151,7 @@ $(function() {
   <tr><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 class="even"><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#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 class="even"><td class="entry"><a class="el" href="classSVF_1_1CHGraph.html#ae50fcba9fb131bc1956bcd6053bb7354">~CHGraph</a>()</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_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><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>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c">~GenericGraph</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">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->