svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html

@@ -245,7 +245,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a03686822a9dd7d886f3c41ba79f8b481"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a03686822a9dd7d886f3c41ba79f8b481">SVF::CFLGraphBuilder::getKindToLabelMap</a></div><div class="ttdeci">Map&lt; Kind, std::string &gt; &amp; getKindToLabelMap()</div><div class="ttdoc">Returns a reference to the map that associates Kinds with their corresponding string labels.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00105">CFLGraphBuilder.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a01e5d31c43d40f8a518aa8d371b085d8"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8">SVF::CFLGraphBuilder::buildlabelToKindMap</a></div><div class="ttdeci">void buildlabelToKindMap(GrammarBase *grammar)</div><div class="ttdoc">build label and kind connect from the grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00054">CFLGraphBuilder.cpp:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_af05b577fbb64082d80ca4cfa2e2bc4f1"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1">SVF::CFLGraphBuilder::addAttribute</a></div><div class="ttdeci">void addAttribute(CFGrammar::Kind kind, CFGrammar::Attribute attribute)</div><div class="ttdoc">Method to add an attribute to a specific kind.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00037">CFLGraphBuilder.cpp:37</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a2ab271d42ab82aea2adf8b0e641aa39c"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00056">CFLGraphBuilder.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</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="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>

package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html

@@ -161,7 +161,7 @@ $(function() {
 <div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <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="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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>

package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html

@@ -124,7 +124,7 @@ $(function() {
 <div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="preprocessor">#endif //SVF_CFLSVFGBUILDER_H</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1CFLSVFGBuilder_html_a9559e6d0539425994d557984f962c999"><div class="ttname"><a href="classSVF_1_1CFLSVFGBuilder.html#a9559e6d0539425994d557984f962c999">SVF::CFLSVFGBuilder::NodeToPTSSMap</a></div><div class="ttdeci">Map&lt; NodeID, PointsTo &gt; NodeToPTSSMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSVFGBuilder_8h_source.html#l00039">CFLSVFGBuilder.h:39</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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aSaberSVFGBuilder_8h_html"><div class="ttname"><a href="SaberSVFGBuilder_8h.html">SaberSVFGBuilder.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSVFGBuilder_html_a287f937ab8cc7f493c942eb1bcdacd6d"><div class="ttname"><a href="classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d">SVF::CFLSVFGBuilder::WorkList</a></div><div class="ttdeci">FIFOWorkList&lt; NodeID &gt; WorkList</div><div class="ttdef"><b>Definition:</b> <a href="CFLSVFGBuilder_8h_source.html#l00040">CFLSVFGBuilder.h:40</a></div></div>
@@ -137,7 +137,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; NodeID &gt;</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSVFGBuilder_html_a6dc5b2c97c0e4948f78bd68fbbf0fdfc"><div class="ttname"><a href="classSVF_1_1CFLSVFGBuilder.html#a6dc5b2c97c0e4948f78bd68fbbf0fdfc">SVF::CFLSVFGBuilder::CFLSVFGBuilder</a></div><div class="ttdeci">CFLSVFGBuilder()=default</div><div class="ttdoc">Constructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSVFGBuilder_html_ab8c71c5af2877ccacd6c34a86a9eadf2"><div class="ttname"><a href="classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2">SVF::CFLSVFGBuilder::buildSVFG</a></div><div class="ttdeci">virtual void buildSVFG()</div><div class="ttdoc">Re-write create SVFG method.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSVFGBuilder_8cpp_source.html#l00035">CFLSVFGBuilder.cpp:35</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/CFLSolver_8h_source.html

@@ -484,7 +484,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00156">CFGrammar.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a4a688b3d2bc6d9fd9ad0414e715ad4f4"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">SVF::POCRSolver::hasEdge</a></div><div class="ttdeci">bool hasEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdoc">find src -&gt; find src[ty] -&gt; find dst in set</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00248">CFLSolver.h:248</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a15adcae81371065435eba8c38e909099"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a15adcae81371065435eba8c38e909099">SVF::POCRHybridSolver::TreeNode::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const TreeNode &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00316">CFLSolver.h:316</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a89781bbd0edd309b7c473ed154e7c11d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00109">CFLSolver.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_acaf3ed69888f4a3862dddf0de7508455"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455">SVF::POCRHybridSolver::indMap</a></div><div class="ttdeci">Map&lt; NodeID, std::unordered_map&lt; NodeID, TreeNode * &gt; &gt; indMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00323">CFLSolver.h:323</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/CHGBuilder_8cpp_source.html

@@ -823,7 +823,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c">SVF::CHEdge::INHERITANCE</a></div><div class="ttdeci">@ INHERITANCE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00086">CHG.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_af6e71c1a932464b1b615fc177f5af089"><div class="ttname"><a href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">SVF::CHNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00130">CHG.h:130</a></div></div>
 <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a8325774df9d65d78ef6a66fef59b9a97"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97">SVF::SVFValue::setName</a></div><div class="ttdeci">void setName(const std::string &amp;n)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00247">SVFValue.h:247</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGBuilder_html_ae0376b8ecdf2093b88e8c529f0e014e0"><div class="ttname"><a href="classSVF_1_1CHGBuilder.html#ae0376b8ecdf2093b88e8c529f0e014e0">SVF::CHGBuilder::createNode</a></div><div class="ttdeci">CHNode * createNode(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="CHGBuilder_8cpp_source.html#l00237">CHGBuilder.cpp:237</a></div></div>

package/SVF-doxygen/html/CHG_8h_source.html

@@ -441,7 +441,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a26f89a9b269cad3fc894110d25598715"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a26f89a9b269cad3fc894110d25598715">SVF::CHGraph::getDescendants</a></div><div class="ttdeci">const CHNodeSetTy &amp; getDescendants(const std::string className)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00280">CHG.h:280</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a26280c3b724551036f7e3ba2b5922676"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676">SVF::CHEdge::CHEDGETYPE</a></div><div class="ttdeci">CHEDGETYPE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00084">CHG.h:84</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a63c4f42eea94e786090a546fc2195a00"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00">SVF::CHGraph::~CHGraph</a></div><div class="ttdeci">~CHGraph() override=default</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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a70a2bab82563a910d32a9169030596c0"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0">SVF::CHGraph::virtualFunctionToIDMap</a></div><div class="ttdeci">Map&lt; const SVFFunction *, u32_t &gt; virtualFunctionToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00330">CHG.h:330</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_a1abfdc91ec77cab40d6894f471f0733d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d">SVF::CHNode::getVirtualFunctions</a></div><div class="ttdeci">void getVirtualFunctions(u32_t idx, FuncVector &amp;virtualFunctions) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00184">CHG.cpp:184</a></div></div>
@@ -534,7 +534,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a885a81b08477e6ccdd7df98d249b8c39"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a885a81b08477e6ccdd7df98d249b8c39">SVF::CHGraph::csHasVFnsBasedonCHA</a></div><div class="ttdeci">bool csHasVFnsBasedonCHA(CallSite cs) override</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00294">CHG.h:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_a5df1cf4d51bf3406d188c96bc9aae0af"><div class="ttname"><a href="classSVF_1_1CHNode.html#a5df1cf4d51bf3406d188c96bc9aae0af">SVF::CHNode::getVirtualFunctionVectors</a></div><div class="ttdeci">const std::vector&lt; FuncVector &gt; &amp; getVirtualFunctionVectors() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00178">CHG.h:178</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a7b678b4362a93e969f11b110b85d35ca"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a7b678b4362a93e969f11b110b85d35ca">SVF::CHGraph::getVirtualFunctionBasedonID</a></div><div class="ttdeci">const SVFFunction * getVirtualFunctionBasedonID(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00259">CHG.h:259</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22adfb68ad45ad216277b580d9a45926dc7">SVF::CHGraph::DESTRUCTOR</a></div><div class="ttdeci">@ DESTRUCTOR</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00232">CHG.h:232</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_ae2b90913c6c5a30df2b285d31c694525"><div class="ttname"><a href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge::getEdgeType</a></div><div class="ttdeci">CHEDGETYPE getEdgeType() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00098">CHG.h:98</a></div></div>

package/SVF-doxygen/html/CSC_8cpp_source.html

@@ -204,7 +204,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a5be4bd33793fe159397c16a80a05b570"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode::directOutEdgeBegin</a></div><div class="ttdeci">iterator directOutEdgeBegin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00654">ConsG.cpp:654</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NormalGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html">SVF::NormalGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00265">ConsGEdge.h:265</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge::Copy</a></div><div class="ttdeci">@ Copy</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_ac531556d88bedad2717aacc6575bfedd"><div class="ttname"><a href="classSVF_1_1CSC.html#ac531556d88bedad2717aacc6575bfedd">SVF::CSC::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8cpp_source.html#l00039">CSC.cpp:39</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a049dc6bd348b1108a8a9726d50a4f280"><div class="ttname"><a href="classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280">SVF::CSC::find</a></div><div class="ttdeci">void find(NodeStack &amp;candidates)</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8cpp_source.html#l00049">CSC.cpp:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">SVF::ConstraintEdge::VariantGep</a></div><div class="ttdeci">@ VariantGep</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
@@ -213,7 +213,7 @@ $(function() {
 <div class="ttc" id="acJSON_8cpp_html_a95bf816579e97b6f33bdb5e25ed6d5de"><div class="ttname"><a href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a></div><div class="ttdeci">buffer offset</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01113">cJSON.cpp:1113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_ab1868f04de44f6fe1e9ac14f3d4ee56b"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode::const_iterator</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00045">ConsGNode.h:45</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00113">GeneralType.h:113</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aCSC_8h_html"><div class="ttname"><a href="CSC_8h.html">CSC.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NormalGepCGEdge_html_ad00a9492e48686cb8a5d593a1a52e872"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html#ad00a9492e48686cb8a5d593a1a52e872">SVF::NormalGepCGEdge::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Get location set of the gep edge.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00309">ConsGEdge.h:309</a></div></div>

package/SVF-doxygen/html/CSC_8h_source.html

@@ -168,7 +168,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CSC_html_a2863ae212693f9ca6341e23f9d9634bf"><div class="ttname"><a href="classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf">SVF::CSC::visit</a></div><div class="ttdeci">void visit(NodeID nodeId, s32_t _w)</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8cpp_source.html#l00076">CSC.cpp:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a0eaf3a742fb8003b031528ee7c1c4799"><div class="ttname"><a href="classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799">SVF::CSC::_D</a></div><div class="ttdeci">IdToIdMap _D</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00061">CSC.h:61</a></div></div>
 <div class="ttc" id="aSCC_8h_html"><div class="ttname"><a href="SCC_8h.html">SCC.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a1f730acb8da8187da732631ca6bbff01"><div class="ttname"><a href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">SVF::CGSCC</a></div><div class="ttdeci">SCCDetection&lt; ConstraintGraph * &gt; CGSCC</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00044">CSC.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a0490b9998987d245ee6e56bc68db4f1e"><div class="ttname"><a href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC::WorkStack</a></div><div class="ttdeci">FILOWorkList&lt; NodeID &gt; WorkStack</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00053">CSC.h:53</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a2913a7a83deae0b91f1f42dc45c4f3b2"><div class="ttname"><a href="classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2">SVF::CSC::isVisited</a></div><div class="ttdeci">bool isVisited(NodeID nId)</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00075">CSC.h:75</a></div></div>
@@ -184,12 +184,12 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CSC_html_a98bf29b1b9a1ffee14fe65a7f6b56672"><div class="ttname"><a href="classSVF_1_1CSC.html#a98bf29b1b9a1ffee14fe65a7f6b56672">SVF::CSC::_visited</a></div><div class="ttdeci">NodeSet _visited</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00063">CSC.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a3fb06a0c1d3960c32e52ff485417035c"><div class="ttname"><a href="classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c">SVF::CSC::IdToIdMap</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; IdToIdMap</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00052">CSC.h:52</a></div></div>
 <div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00113">GeneralType.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FILOWorkList_html"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00044">AbstractExecution.h:44</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_adac02224ec722f0cf1954d7a484bd11e"><div class="ttname"><a href="classSVF_1_1CSC.html#adac02224ec722f0cf1954d7a484bd11e">SVF::CSC::setVisited</a></div><div class="ttdeci">void setVisited(NodeID nId)</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00080">CSC.h:80</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aConsG_8h_html"><div class="ttname"><a href="ConsG_8h.html">ConsG.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CSC_html_a8e740b5d0f02c66c09fec3f65a54d1c2"><div class="ttname"><a href="classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2">SVF::CSC::iterator</a></div><div class="ttdeci">IdToIdMap::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="CSC_8h_source.html#l00054">CSC.h:54</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/ConditionalPT_8h_source.html

@@ -900,7 +900,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_aa0d4ee196b91fce626f3f15bcc5599e4"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">SVF::PointsTo::count</a></div><div class="ttdeci">u32_t count() const</div><div class="ttdoc">Returns number of elements.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00111">PointsTo.cpp:111</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondStdSet_html_a347097404761b16a077eac1ae9fbfd94"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a347097404761b16a077eac1ae9fbfd94">SVF::CondStdSet::checkAndRemap</a></div><div class="ttdeci">void checkAndRemap(void) const</div><div class="ttdoc">TODO: dummy to use for PointsTo in the various PTData.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00293">ConditionalPT.h:293</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondStdSet_html_a93c232ef7e5dea652622da7f994e1dc3"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">SVF::CondStdSet::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00196">ConditionalPT.h:196</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_af81f9e91eec4bf82ccfb867c2415f9bd"><div class="ttname"><a href="classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd">SVF::PointsTo::intersectWithComplement</a></div><div class="ttdeci">bool intersectWithComplement(const PointsTo &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00286">PointsTo.cpp:286</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_af06ca0ddfcdca69199fbc9ab42f98558"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558">SVF::CondPointsToSet::operator!=</a></div><div class="ttdeci">bool operator!=(const CondPointsToSet&lt; Cond &gt; &amp;rhs)</div><div class="ttdoc">Overloading operator !=.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00601">ConditionalPT.h:601</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a14ce3ef70959f10e777e1090fd697116"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a14ce3ef70959f10e777e1090fd697116">SVF::PointsTo::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdoc">Empty the set.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00123">PointsTo.cpp:123</a></div></div>
@@ -962,7 +962,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a63f09ca69e00b317de29af6a6a12daac"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac">SVF::CondPointsToSet::pointsTo</a></div><div class="ttdeci">CondPts &amp; pointsTo(void)</div><div class="ttdoc">Get Conditional PointsTo and standard points-to.</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00332">ConditionalPT.h:332</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_aa9d3a8c42b6df3fa9c2e7bcd7af75e16"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#aa9d3a8c42b6df3fa9c2e7bcd7af75e16">SVF::CondPointsToSet::CondPtsConstIter</a></div><div class="ttdeci">CondPts::const_iterator CondPtsConstIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00309">ConditionalPT.h:309</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a54d9d3f3a38bf4066cd930845f86a63c"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c">SVF::CondPointsToSet::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const CondPointsToSet&lt; Cond &gt; &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00634">ConditionalPT.h:634</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a1ef805e714cfc29f0f3fa56c5ee964f6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a1ef805e714cfc29f0f3fa56c5ee964f6">SVF::PointsTo::reset</a></div><div class="ttdeci">void reset(u32_t n)</div><div class="ttdoc">Removes n from the set.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00166">PointsTo.cpp:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondStdSet_html_a29892f43cc8420d4d2b4046140476320"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320">SVF::CondStdSet::getElementSet</a></div><div class="ttdeci">const ElementSet &amp; getElementSet() const</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00287">ConditionalPT.h:287</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a2b34cb72c2ecc8e4fc7071b6ed814df9"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a2b34cb72c2ecc8e4fc7071b6ed814df9">SVF::CondPointsToSet::CondPtsSetIterator::_ptIter</a></div><div class="ttdeci">PointsTo::iterator _ptIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00809">ConditionalPT.h:809</a></div></div>
@@ -990,7 +990,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_ad9e4dea4b65d5f4a903a3cf89a421077"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077">SVF::CondPointsToSet::CondPtsIter</a></div><div class="ttdeci">CondPts::iterator CondPtsIter</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00308">ConditionalPT.h:308</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondVar_html_a26fd04b3f2d45f0c230e1823f3eea49a"><div class="ttname"><a href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">SVF::CondVar::m_id</a></div><div class="ttdeci">NodeID m_id</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00124">ConditionalPT.h:124</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00045">GeneralType.h:45</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_html_a5ead697952ada3fbb07da3459a2b1b86"><div class="ttname"><a href="classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86">SVF::CondPointsToSet::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00823">ConditionalPT.h:823</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondStdSet_html_a55152b7749868cc25f1c3c33ea57a650"><div class="ttname"><a href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet::const_iterator</a></div><div class="ttdeci">OrderedSet&lt; Element &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00137">ConditionalPT.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CondPointsToSet_1_1CondPtsSetIterator_html_a3ccbb22634968d2fca0f6aba7b57971e"><div class="ttname"><a href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a3ccbb22634968d2fca0f6aba7b57971e">SVF::CondPointsToSet::CondPtsSetIterator::cond</a></div><div class="ttdeci">Cond cond(void)</div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00801">ConditionalPT.h:801</a></div></div>

package/SVF-doxygen/html/ConsExeState_8cpp_source.html

@@ -615,14 +615,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdoc">Map a variable (symbol) to its constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00116">ConsExeState.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3f5fa4efdd0f45b375f18596734f3d07"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">SVF::ConsExeState::applySelect</a></div><div class="ttdeci">bool applySelect(u32_t res, u32_t cond, u32_t top, u32_t fop)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00443">ConsExeState.cpp:443</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &amp;other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00141">AddressValue.h:141</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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7009d1a2517b29dda0bb58e5676687c2"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7009d1a2517b29dda0bb58e5676687c2">SVF::SingleAbsValue::simplify</a></div><div class="ttdeci">SingleAbsValue simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00458">SingleAbsValue.h:458</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a2fa6360da2149684a9771fdbfae71a66"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">SVF::ConsExeState::load</a></div><div class="ttdeci">SingleAbsValue load(const SingleAbsValue &amp;loc)</div><div class="ttdoc">Load value at location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00518">ConsExeState.cpp:518</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExeState_html_a2e63af0f29d04484c09cca217b799986"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState::hash</a></div><div class="ttdeci">virtual u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00102">ExeState.cpp:102</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00115">Z3Expr.h:115</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00122">Z3Expr.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aee10058065f8c8be04b6e27fb18b4a00"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue::join_with</a></div><div class="ttdeci">void join_with(const SingleAbsValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00063">SingleAbsValue.h:63</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
 <div class="ttc" id="aConsExeState_8h_html"><div class="ttname"><a href="ConsExeState_8h.html">ConsExeState.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a642724fd50872cf54d427f46420bbc70"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a642724fd50872cf54d427f46420bbc70">SVF::ConsExeState::operator=</a></div><div class="ttdeci">ConsExeState &amp; operator=(const ConsExeState &amp;rhs)</div><div class="ttdoc">Copy operator.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00042">ConsExeState.cpp:42</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -631,11 +631,11 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00164">ConsExeState.h:164</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00057">ConsExeState.h:57</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00115">BoundedZ3Expr.h:115</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a8da7bf977911ca6d3bd27f38ef852321"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321">SVF::ConsExeState::inLocalLocToValTable</a></div><div class="ttdeci">bool inLocalLocToValTable(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00179">ConsExeState.h:179</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00556">ConsExeState.cpp:556</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &amp;loc, const SingleAbsValue &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00505">ConsExeState.cpp:505</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00140">Z3Expr.h:140</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00147">Z3Expr.h:147</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a374e087ef40804ed00a631ed22e91590"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState::hash</a></div><div class="ttdeci">u32_t hash() const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00094">ConsExeState.cpp:94</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a673a2b823a1c3ea46f38e3956ca143e8"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState::assign</a></div><div class="ttdeci">static bool assign(SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00592">ConsExeState.cpp:592</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a64a755f61886ef3f43f48c47eb76e9cc"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState::VarToValMap</a></div><div class="ttdeci">Map&lt; u32_t, SingleAbsValue &gt; VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00054">ConsExeState.h:54</a></div></div>
@@ -652,7 +652,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdoc">Map a memory address to its stored constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00117">ConsExeState.h:117</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a600317df0db3e813b952727884111cdd"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd">SVF::ConsExeState::applySummary</a></div><div class="ttdeci">void applySummary(const ConsExeState &amp;summary)</div><div class="ttdoc">Update symbolic states based on the summary/side-effect of callee.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00226">ConsExeState.cpp:226</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00120">Z3Expr.h:120</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00127">Z3Expr.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a000e1c5692e4027b38569898f683bada"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">SVF::ConsExeState::varToString</a></div><div class="ttdeci">std::string varToString(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00336">ConsExeState.cpp:336</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a6304348363989dde61754ae161756f0f"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f">SVF::ConsExeState::applyPhi</a></div><div class="ttdeci">bool applyPhi(u32_t res, std::vector&lt; u32_t &gt; &amp;ops)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00462">ConsExeState.cpp:462</a></div></div>

package/SVF-doxygen/html/ConsExeState_8h_source.html

@@ -490,10 +490,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdoc">Map a variable (symbol) to its constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00116">ConsExeState.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aea878187748d809fdcc2568273a8d65b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aea878187748d809fdcc2568273a8d65b">SVF::SingleAbsValue::leq</a></div><div class="ttdeci">bool leq(const SingleAbsValue &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00125">SingleAbsValue.h:125</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3f5fa4efdd0f45b375f18596734f3d07"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">SVF::ConsExeState::applySelect</a></div><div class="ttdeci">bool applySelect(u32_t res, u32_t cond, u32_t top, u32_t fop)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00443">ConsExeState.cpp:443</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00086">Z3Expr.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a79b012f5f551dfb27ce1ca3d193dba55"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(u32_t objId, const SingleAbsValue &amp;z3Expr)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00424">ConsExeState.h:424</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_ae93859318bf4f618b4cf681988a870ce"><div class="ttname"><a href="classSVF_1_1AddressValue.html#ae93859318bf4f618b4cf681988a870ce">SVF::AddressValue::size</a></div><div class="ttdeci">u32_t size() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00120">AddressValue.h:120</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="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#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4997055a5a0a87db5420c569a43a9376"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4997055a5a0a87db5420c569a43a9376">SVF::ConsExeState::getFalseZ3Expr</a></div><div class="ttdeci">static SingleAbsValue getFalseZ3Expr()</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00385">ConsExeState.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a7c8106f2fd388145018dd4dc77dd1e93"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a7c8106f2fd388145018dd4dc77dd1e93">SVF::ConsExeState::~ConsExeState</a></div><div class="ttdeci">~ConsExeState() override</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00075">ConsExeState.h:75</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
@@ -520,14 +520,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00556">ConsExeState.cpp:556</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_abc69e7a4742ed1a925d7b0b72d2b9497"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#abc69e7a4742ed1a925d7b0b72d2b9497">SVF::ConsExeState::getIntOneZ3Expr</a></div><div class="ttdeci">static SingleAbsValue getIntOneZ3Expr()</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00370">ConsExeState.h:370</a></div></div>
 <div class="ttc" id="aSingleAbsValue_8h_html"><div class="ttname"><a href="SingleAbsValue_8h.html">SingleAbsValue.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af62c2d6bc40080b9728c107cf317184b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00349">BoundedZ3Expr.h:349</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af62c2d6bc40080b9728c107cf317184b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af62c2d6bc40080b9728c107cf317184b">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00378">BoundedZ3Expr.h:378</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_aa3f16fb06541184e49ef4f4ea95d894c"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#aa3f16fb06541184e49ef4f4ea95d894c">SVF::ConsExeState::varToAddrs</a></div><div class="ttdeci">virtual std::string varToAddrs(u32_t varId) const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00253">ConsExeState.h:253</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &amp;loc, const SingleAbsValue &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00505">ConsExeState.cpp:505</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a7c96f8b3a9ba3d6d648a59388ef26ca6"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a7c96f8b3a9ba3d6d648a59388ef26ca6">SVF::ConsExeState::getIntZeroZ3Expr</a></div><div class="ttdeci">static SingleAbsValue getIntZeroZ3Expr()</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00375">ConsExeState.h:375</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a374e087ef40804ed00a631ed22e91590"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a374e087ef40804ed00a631ed22e91590">SVF::ConsExeState::hash</a></div><div class="ttdeci">u32_t hash() const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00094">ConsExeState.cpp:94</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a1effca0f87f2180e160600ee5528b12f"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState::inLocToAddrsTable</a></div><div class="ttdeci">virtual bool inLocToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the memory address stores memory addresses</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00153">ConsExeState.h:153</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a673a2b823a1c3ea46f38e3956ca143e8"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState::assign</a></div><div class="ttdeci">static bool assign(SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00592">ConsExeState.cpp:592</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad94bbaa31e6df4e8b8238d69b8f4ae06"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr::get_numeral_int64</a></div><div class="ttdeci">int64_t get_numeral_int64() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00135">Z3Expr.h:135</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad94bbaa31e6df4e8b8238d69b8f4ae06"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad94bbaa31e6df4e8b8238d69b8f4ae06">SVF::Z3Expr::get_numeral_int64</a></div><div class="ttdeci">int64_t get_numeral_int64() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00142">Z3Expr.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a64a755f61886ef3f43f48c47eb76e9cc"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState::VarToValMap</a></div><div class="ttdeci">Map&lt; u32_t, SingleAbsValue &gt; VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00054">ConsExeState.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00399">ConsExeState.h:399</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a2c661a9a6742cd091dccabee30314f89"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState::ConsExeState</a></div><div class="ttdeci">ConsExeState(ConsExeState &amp;&amp;rhs) noexcept</div><div class="ttdoc">Move Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00085">ConsExeState.h:85</a></div></div>
@@ -555,7 +555,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a22e7ec17139695a1ae73bd058aa78e36"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">SVF::ConsExeState::operator[]</a></div><div class="ttdeci">SingleAbsValue &amp; operator[](u32_t varId)</div><div class="ttdoc">get constant value of variable</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00130">ConsExeState.h:130</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a559fb9ebd9c5ca18bb0b9ea062cd27db"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db">SVF::ConsExeState::LocToValMap</a></div><div class="ttdeci">VarToValMap LocToValMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00120">Z3Expr.h:120</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00127">Z3Expr.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a000e1c5692e4027b38569898f683bada"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a000e1c5692e4027b38569898f683bada">SVF::ConsExeState::varToString</a></div><div class="ttdeci">std::string varToString(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00336">ConsExeState.cpp:336</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a6304348363989dde61754ae161756f0f"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f">SVF::ConsExeState::applyPhi</a></div><div class="ttdeci">bool applyPhi(u32_t res, std::vector&lt; u32_t &gt; &amp;ops)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00462">ConsExeState.cpp:462</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExeState_html_a79866a547dc4805d3fefdfd528d2df2a"><div class="ttname"><a href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState::_locToAddrs</a></div><div class="ttdeci">VarToAddrs _locToAddrs</div><div class="ttdoc">Map a memory address to its stored memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00097">ExeState.h:97</a></div></div>
@@ -564,7 +564,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a17ba209c5045d53c7df66d5cf031f8a4"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a17ba209c5045d53c7df66d5cf031f8a4">SVF::ConsExeState::getAddrs</a></div><div class="ttdeci">virtual Addrs &amp; getAddrs(u32_t id) override</div><div class="ttdoc">get memory addresses of variable</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00122">ConsExeState.h:122</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html"><div class="ttname"><a href="classSVF_1_1ConsExeState.html">SVF::ConsExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00049">ConsExeState.h:49</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4cdddbbcb6b07f2db9cfad565ca7e57b"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b">SVF::ConsExeState::buildGlobES</a></div><div class="ttdeci">void buildGlobES(ConsExeState &amp;globES, Set&lt; u32_t &gt; &amp;vars)</div><div class="ttdoc">Build global execution state.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00122">ConsExeState.cpp:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</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="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>

package/SVF-doxygen/html/ConsGEdge_8h_source.html

@@ -370,7 +370,7 @@ $(function() {
 <div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160; </div>
 <div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* CONSGEDGE_H_ */</span><span class="preprocessor"></span></div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrCGEdge_html_ac635af9bdde40ea73c267998b9e4b6c4"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html#ac635af9bdde40ea73c267998b9e4b6c4">SVF::AddrCGEdge::classof</a></div><div class="ttdeci">static bool classof(const ConstraintEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00106">ConsGEdge.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_ad155e1ed2473cc4f5f57128d282ac541"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">SVF::ConstraintEdge::ConstraintEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::GEdgeSetTy ConstraintEdgeSetTy</div><div class="ttdoc">Constraint edge type.</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00085">ConsGEdge.h:85</a></div></div>
 <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>
@@ -405,7 +405,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StoreCGEdge_html_a667b277ef845b866d3b11a7fbfce0815"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge::StoreCGEdge</a></div><div class="ttdeci">StoreCGEdge()</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_af51f8e9b3c1dd68855581d0d1739ba29"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29">SVF::ConstraintEdge::edgeId</a></div><div class="ttdeci">EdgeID edgeId</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00059">ConsGEdge.h:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">SVF::ConstraintEdge::ConstraintEdgeK</a></div><div class="ttdeci">ConstraintEdgeK</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00054">ConsGEdge.h:54</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00052">GeneralType.h:52</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge::Store</a></div><div class="ttdeci">@ Store</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_1VariantGepCGEdge_html_a4caf6f4b31b78ca02985fc4722d43522"><div class="ttname"><a href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge::operator=</a></div><div class="ttdeci">void operator=(const VariantGepCGEdge &amp;)</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1NormalGepCGEdge_html_a511d6bd2061e0ca441fc80abbf6075f7"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge::NormalGepCGEdge</a></div><div class="ttdeci">NormalGepCGEdge()</div><div class="ttdoc">place holder</div></div>