svf-tools 1.0.752 → 1.0.754

package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html

@@ -73,7 +73,7 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 
-<p><code>#include &lt;<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>&gt;</code></p>
+<p><code>#include &lt;<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>&gt;</code></p>
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00120">120</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00120">120</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a9213c70ec0cb74fbd7559db8fb45fd54"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a9213c70ec0cb74fbd7559db8fb45fd54">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,7 +108,7 @@ Public Member Functions</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00123">123</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFGrammar_8h_source.html#l00123">123</a> of file <a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div>
 <div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            std::hash&lt;u32_t&gt; h;</div>
 <div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <span class="keywordflow">return</span> h(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(s));</div>
@@ -117,7 +117,7 @@ Public Member Functions</h2></td></tr>
 </div>
 </div>
 <hr/>The documentation for this class was generated from the following file:<ul>
-<li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a></li>
+<li>/home/runner/work/SVF/SVF/svf/include/CFL/<a class="el" href="CFGrammar_8h_source.html">CFGrammar.h</a></li>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html

@@ -435,17 +435,17 @@ Private Attributes</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="GrammarBuilder_8cpp_source.html">GrammarBuilder.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00190">CFLGrammar.h:190</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00231">CFLGrammar.cpp:231</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00177">CFLGrammar.cpp:177</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00190">CFGrammar.h:190</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00231">CFGrammar.cpp:231</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00177">CFGrammar.cpp:177</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip front and tail space.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00105">GrammarBuilder.cpp:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a5a34166b4b1ce1dcc985f4619f4a2bbc"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">SVF::GrammarBuilder::parseProductionsString</a></div><div class="ttdeci">const std::string parseProductionsString() const</div><div class="ttdoc">Parse start symbol and production from file string.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00039">GrammarBuilder.cpp:39</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_1GrammarBuilder_html_a7b81810150ce896801e4e6a831ab98aa"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder::grammar</a></div><div class="ttdeci">GrammarBase * grammar</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00074">GrammarBuilder.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a760208fb9737e766deb79d593ab86a3c"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">struct SVF::GrammarBase::Symbol Symbol</div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00210">CFLGrammar.h:210</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00210">CFGrammar.h:210</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00073">GrammarBuilder.h:73</a></div></div>
-<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="CFLGrammar_8h_source.html#l00156">CFLGrammar.h:156</a></div></div>
+<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_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00089">GrammarBuilder.cpp:89</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html

@@ -2187,30 +2187,30 @@ Friends</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a221061ec858e5c51b222164a6c4f8152"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a221061ec858e5c51b222164a6c4f8152">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a1b58a124940bbc4da8c09f2b63b24b0c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c">SVF::BoundedZ3Expr::is_plus_infinite</a></div><div class="ttdeci">bool is_plus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00073">BoundedZ3Expr.h:73</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a1b58a124940bbc4da8c09f2b63b24b0c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a1b58a124940bbc4da8c09f2b63b24b0c">SVF::BoundedZ3Expr::is_plus_infinite</a></div><div class="ttdeci">bool is_plus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00074">BoundedZ3Expr.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ae3d91383159a67b9f5e102581229560a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ae3d91383159a67b9f5e102581229560a">SVF::NumericLiteral::_n</a></div><div class="ttdeci">BoundedZ3Expr _n</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00043">NumericLiteral.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a68e409232bf4bf0bbd688e36e8f526ee"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral()=delete</div><div class="ttdoc">Default constructor.</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_1BoundedZ3Expr_html_a9ab647fded972e0d0ed346bc94d0a73c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c">SVF::BoundedZ3Expr::plus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00098">BoundedZ3Expr.h:98</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ab647fded972e0d0ed346bc94d0a73c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c">SVF::BoundedZ3Expr::plus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00099">BoundedZ3Expr.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00384">NumericLiteral.h:384</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00108">BoundedZ3Expr.h:108</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a90c87bed7210246db310dbecc61326ac"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr::is_minus_infinite</a></div><div class="ttdeci">bool is_minus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00078">BoundedZ3Expr.h:78</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af40c5e287f17eace7182557f46501b29"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af40c5e287f17eace7182557f46501b29">SVF::BoundedZ3Expr::getContext</a></div><div class="ttdeci">static z3::context &amp; getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00109">BoundedZ3Expr.h:109</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a90c87bed7210246db310dbecc61326ac"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a90c87bed7210246db310dbecc61326ac">SVF::BoundedZ3Expr::is_minus_infinite</a></div><div class="ttdeci">bool is_minus_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00079">BoundedZ3Expr.h:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac4acd8ca01d2aa1715c18beb46b0ae1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral::is_infinity</a></div><div class="ttdeci">bool is_infinity() const</div><div class="ttdoc">Check if this is infinity (either of plus/minus)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00108">NumericLiteral.h:108</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00355">BoundedZ3Expr.h:355</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_acce45e2300e0c1871efec36e727ed77d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr::geq</a></div><div class="ttdeci">BoundedZ3Expr geq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00133">BoundedZ3Expr.h:133</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a69384aac86c966e7ae8609f5ea97361c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr::is_true</a></div><div class="ttdeci">bool is_true() const</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_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_a950c44fafa34b36a16e5913b6a9ea51d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a950c44fafa34b36a16e5913b6a9ea51d">SVF::BoundedZ3Expr::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00350">BoundedZ3Expr.h:350</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_acce45e2300e0c1871efec36e727ed77d"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#acce45e2300e0c1871efec36e727ed77d">SVF::BoundedZ3Expr::geq</a></div><div class="ttdeci">BoundedZ3Expr geq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00134">BoundedZ3Expr.h:134</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a69384aac86c966e7ae8609f5ea97361c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a69384aac86c966e7ae8609f5ea97361c">SVF::BoundedZ3Expr::is_true</a></div><div class="ttdeci">bool is_true() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00344">BoundedZ3Expr.h:344</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#l00114">BoundedZ3Expr.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af3544c0025b1796bce75891cf9c4e28a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">SVF::NumericLiteral::ite</a></div><div class="ttdeci">friend NumericLiteral ite(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Return ite? lhs : rhs.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00368">NumericLiteral.h:368</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a033ae449eba6157a1506f716cecc1a7b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b">SVF::BoundedZ3Expr::minus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00103">BoundedZ3Expr.h:103</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a033ae449eba6157a1506f716cecc1a7b"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a033ae449eba6157a1506f716cecc1a7b">SVF::BoundedZ3Expr::minus_infinity</a></div><div class="ttdeci">static BoundedZ3Expr minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00104">BoundedZ3Expr.h:104</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00075">NumericLiteral.h:75</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00096">NumericLiteral.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00080">NumericLiteral.h:80</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af962942fbf3341f0679959cfd810d3a5"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr::leq</a></div><div class="ttdeci">BoundedZ3Expr leq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00128">BoundedZ3Expr.h:128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_af962942fbf3341f0679959cfd810d3a5"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#af962942fbf3341f0679959cfd810d3a5">SVF::BoundedZ3Expr::leq</a></div><div class="ttdeci">BoundedZ3Expr leq(const BoundedZ3Expr &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00129">BoundedZ3Expr.h:129</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00132">NumericLiteral.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a538deb0b9e88fd99b9768f5775e58ca7"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral::is_plus_infinity</a></div><div class="ttdeci">bool is_plus_infinity() const</div><div class="ttdoc">Check if this is plus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00102">NumericLiteral.h:102</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a7f5158affedda8ddf53ec6cb442a6297"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">SVF::BoundedZ3Expr::simplify</a></div><div class="ttdeci">BoundedZ3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00344">BoundedZ3Expr.h:344</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a7f5158affedda8ddf53ec6cb442a6297"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a7f5158affedda8ddf53ec6cb442a6297">SVF::BoundedZ3Expr::simplify</a></div><div class="ttdeci">BoundedZ3Expr simplify() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00339">BoundedZ3Expr.h:339</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/html/classSVF_1_1POCRAlias-members.html

@@ -183,7 +183,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee">getVersionedPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">getVFnsFromCHA</a>(const CallICFGNode *cs, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">getVFnsFromPts</a>(const CallICFGNode *cs, const PointsTo &amp;target, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">grammarBase</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095">hasIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html

@@ -530,8 +530,8 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a8101683062b9a71c0b2309cbdfb7b26f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aef3da4ce970597586757cafd2a435c1f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">grammarBase</a></td></tr>
 <tr class="separator:aef3da4ce970597586757cafd2a435c1f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af7b0e90b8f8998ab6cf4e05155c7a503 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a></td></tr>
-<tr class="separator:af7b0e90b8f8998ab6cf4e05155c7a503 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8dd040c7078b7f1a61da76849c89a640 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a></td></tr>
+<tr class="separator:a8dd040c7078b7f1a61da76849c89a640 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a34c3a3eec2d7d34ef78b5031d8844b17 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLSolver.html">CFLSolver</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a></td></tr>
 <tr class="separator:a34c3a3eec2d7d34ef78b5031d8844b17 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1PointerAnalysis"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1PointerAnalysis')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td></tr>
@@ -641,7 +641,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CFLAlias_8cpp_source.html#l00249">249</a> of file <a class="el" href="CFLAlias_8cpp_source.html">CFLAlias.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;{</div>
-<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1POCRSolver.html">POCRSolver</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>, <a class="code" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a>);</div>
+<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1POCRSolver.html">POCRSolver</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>, <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>);</div>
 <div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
@@ -651,11 +651,11 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLAlias_8cpp_source.html">CFLAlias.cpp</a></li>
 </ul>
 </div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1CFLBase_html_a8dd040c7078b7f1a61da76849c89a640"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">SVF::CFLBase::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00112">CFLBase.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html"><div class="ttname"><a href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></div><div class="ttdoc">Solver Utilize CFLData.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00116">CFLSolver.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html_a34c3a3eec2d7d34ef78b5031d8844b17"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">SVF::CFLBase::solver</a></div><div class="ttdeci">CFLSolver * solver</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00113">CFLBase.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLAlias_html_aae1dbf8d8c413eb7812ca428edfbae48"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">SVF::CFLAlias::CFLAlias</a></div><div class="ttdeci">CFLAlias(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00047">CFLAlias.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html_a8101683062b9a71c0b2309cbdfb7b26f"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00110">CFLBase.h:110</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLBase_html_af7b0e90b8f8998ab6cf4e05155c7a503"><div class="ttname"><a href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">SVF::CFLBase::grammar</a></div><div class="ttdeci">CFLGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00112">CFLBase.h:112</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/html/classSVF_1_1POCRHybrid-members.html

@@ -183,7 +183,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee">getVersionedPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade41f3562704d56c7490dcfc941b3437">getVFnsFromCHA</a>(const CallICFGNode *cs, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">getVFnsFromPts</a>(const CallICFGNode *cs, const PointsTo &amp;target, VFunSet &amp;vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">grammarBase</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#abdacd060691add054839aa183babe095">hasIndCSCallees</a>(const CallICFGNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1POCRHybrid.html

@@ -530,8 +530,8 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a8101683062b9a71c0b2309cbdfb7b26f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aef3da4ce970597586757cafd2a435c1f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html">GrammarBase</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">grammarBase</a></td></tr>
 <tr class="separator:aef3da4ce970597586757cafd2a435c1f inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af7b0e90b8f8998ab6cf4e05155c7a503 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a></td></tr>
-<tr class="separator:af7b0e90b8f8998ab6cf4e05155c7a503 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8dd040c7078b7f1a61da76849c89a640 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFGrammar.html">CFGrammar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a></td></tr>
+<tr class="separator:a8dd040c7078b7f1a61da76849c89a640 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a34c3a3eec2d7d34ef78b5031d8844b17 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLSolver.html">CFLSolver</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a></td></tr>
 <tr class="separator:a34c3a3eec2d7d34ef78b5031d8844b17 inherit pro_attribs_classSVF_1_1CFLBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1PointerAnalysis"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1PointerAnalysis')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td></tr>
@@ -641,7 +641,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="CFLAlias_8cpp_source.html#l00254">254</a> of file <a class="el" href="CFLAlias_8cpp_source.html">CFLAlias.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;{</div>
-<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1POCRHybridSolver.html">POCRHybridSolver</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>, <a class="code" href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">grammar</a>);</div>
+<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a> = <span class="keyword">new</span> <a class="code" href="classSVF_1_1POCRHybridSolver.html">POCRHybridSolver</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>, <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>);</div>
 <div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
@@ -651,11 +651,11 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/CFL/<a class="el" href="CFLAlias_8cpp_source.html">CFLAlias.cpp</a></li>
 </ul>
 </div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1CFLBase_html_a8dd040c7078b7f1a61da76849c89a640"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">SVF::CFLBase::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00112">CFLBase.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html_a34c3a3eec2d7d34ef78b5031d8844b17"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">SVF::CFLBase::solver</a></div><div class="ttdeci">CFLSolver * solver</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00113">CFLBase.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLAlias_html_aae1dbf8d8c413eb7812ca428edfbae48"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">SVF::CFLAlias::CFLAlias</a></div><div class="ttdeci">CFLAlias(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00047">CFLAlias.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></div><div class="ttdoc">Solver Utilize Hybrid Representation of Graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00294">CFLSolver.h:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html_a8101683062b9a71c0b2309cbdfb7b26f"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00110">CFLBase.h:110</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLBase_html_af7b0e90b8f8998ab6cf4e05155c7a503"><div class="ttname"><a href="classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503">SVF::CFLBase::grammar</a></div><div class="ttdeci">CFLGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00112">CFLBase.h:112</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/html/classSVF_1_1POCRHybridSolver-members.html

@@ -85,7 +85,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab030e53206df7233d43037d89f97eb85">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed">begin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#af69130dc2dd292890adcc91d5d50a3dc">buildCFLData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">CFLSolver</a>(CFLGraph *_graph, CFLGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a>(CFLGraph *_graph, CFGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a5f3f6218e0934d4b3c87f2bdffe92b58">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a1c612d315cb42ea6d4722357e5869ebc">clearEdges</a>(const NodeID key)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"></td></tr>
@@ -94,7 +94,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0">emptyData</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a022b3a247e5b014e91cca52a9308b52c">end</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">getGrammar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">getGrammar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a6a1bf7bbf1b28aa762af4b51bff10afb">getNode_h</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">getPredMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -103,7 +103,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">getSuccMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">getSuccMap</a>(const NodeID key)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">getSuccs</a>(const NodeID key, const Label ty)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">hasEdge</a>(const NodeID src, const NodeID dst, const Label ty)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a92f7dab147eab44ee5e4bdf02708c9a0">hasInd_h</a>(NodeID src, NodeID dst)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"></td></tr>
@@ -116,16 +116,16 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a403f469326cd3066e6352bf2587f983d">meld</a>(NodeID x, TreeNode *uNode, TreeNode *vNode)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a6d3610151daec1ffa26e6b9fccad4e91">meld_h</a>(NodeID x, TreeNode *uNode, TreeNode *vNode)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac">POCRHybridSolver</a>(CFLGraph *_graph, CFLGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6">POCRSolver</a>(CFLGraph *_graph, CFLGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">POCRHybridSolver</a>(CFLGraph *_graph, CFGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</a>(CFLGraph *_graph, CFGrammar *_grammar)</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d">predMap</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html#afd7645f877ba1bfecccd194bbca094d7">processCFLEdge</a>(const CFLEdge *Y_edge)</td><td class="entry"><a class="el" href="classSVF_1_1POCRHybridSolver.html">SVF::POCRHybridSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#abb518bb0c0238c9fd1e04b8836f6ff36">succMap</a></td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">TypeMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1POCRSolver.html">SVF::POCRSolver</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>