svf-tools 1.0.752 → 1.0.754

package/SVF-doxygen/html/html/NumericLiteral_8h_source.html

@@ -498,7 +498,7 @@ $(function() {
 <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_1NumericLiteral_html_ac154ddeb6516e240e091f4867c4c3593"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">SVF::NumericLiteral::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00090">NumericLiteral.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ad68b36d4cf69e4f627226a738d5d8a29"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">SVF::NumericLiteral::operator!</a></div><div class="ttdeci">friend NumericLiteral operator!(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00348">NumericLiteral.h:348</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_ad0b83965d54dd9a94b0ec0a87ef8aa83"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">SVF::NumericLiteral::operator!=</a></div><div class="ttdeci">friend NumericLiteral operator!=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00185">NumericLiteral.h:185</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a82340a506f381d4dad620cfd524aeb39"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">SVF::NumericLiteral::operator%</a></div><div class="ttdeci">friend NumericLiteral operator%(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00277">NumericLiteral.h:277</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a7b25cbee3dc405cb9c3e16305f263407"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">SVF::NumericLiteral::operator/</a></div><div class="ttdeci">friend NumericLiteral operator/(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00258">NumericLiteral.h:258</a></div></div>
@@ -510,34 +510,34 @@ $(function() {
 <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_1NumericLiteral_html_a4eb2b07a6aee71e66a16ffe690db9826"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">SVF::NumericLiteral::~NumericLiteral</a></div><div class="ttdeci">virtual ~NumericLiteral()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab0cb27a9c31ce20500babb0dff9b87bf"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral::operator&gt;=</a></div><div class="ttdeci">friend NumericLiteral operator&gt;=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00205">NumericLiteral.h:205</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_abeb6260917a412282ddd174bd835cfa2"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2">SVF::NumericLiteral::max</a></div><div class="ttdeci">static NumericLiteral max(std::vector&lt; NumericLiteral &gt; &amp;_l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00420">NumericLiteral.h:420</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a89b4521f3907f4886fa1063e93319792"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;out, const NumericLiteral &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00373">NumericLiteral.h:373</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"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00041">BoundedZ3Expr.h:41</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"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00042">BoundedZ3Expr.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a18b2e134e047b2dde1774b93bb5b40dd"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(const z3::expr &amp;e)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00053">NumericLiteral.h:53</a></div></div>
 <div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ad58b37aff4db180c548cde777b19ed6a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">SVF::NumericLiteral::operator=</a></div><div class="ttdeci">NumericLiteral &amp; operator=(const NumericLiteral &amp;)=default</div><div class="ttdoc">Operator = , another Copy Constructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a7139e461f2ac323b7e275f40dfd684da"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">SVF::NumericLiteral::operator&amp;</a></div><div class="ttdeci">friend NumericLiteral operator&amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00302">NumericLiteral.h:302</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_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_a1bf5f9d33d3c10e53537376d22936bdb"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(s32_t i)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00055">NumericLiteral.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab4f45675a9fecb201d0fe05d107fcb97"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">SVF::NumericLiteral::min</a></div><div class="ttdeci">friend NumericLiteral min(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00389">NumericLiteral.h:389</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html"><div class="ttname"><a href="classSVF_1_1Z3Expr.html">SVF::Z3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00038">Z3Expr.h:38</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af40973365cb681abc4cc63c4fb2a6d07"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral::operator&lt;=</a></div><div class="ttdeci">friend NumericLiteral operator&lt;=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00200">NumericLiteral.h:200</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_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="aSVFType_8h_html"><div class="ttname"><a href="SVFType_8h.html">SVFType.h</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_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="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#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_1NumericLiteral_html_a6ed0bfe0bbecc1a403434aa70744691c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c">SVF::NumericLiteral::abs</a></div><div class="ttdeci">friend NumericLiteral abs(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00399">NumericLiteral.h:399</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab5decc89d3b8a4f5a171b8a01a1afef8"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">SVF::NumericLiteral::operator||</a></div><div class="ttdeci">friend NumericLiteral operator||(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00343">NumericLiteral.h:343</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_adfd0722351b93c3ab7ffd4147e278f7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend NumericLiteral operator&lt;&lt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00325">NumericLiteral.h:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af57d038fab712a70aab7a6984ec2ba67"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">SVF::NumericLiteral::operator&amp;&amp;</a></div><div class="ttdeci">friend NumericLiteral operator&amp;&amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00338">NumericLiteral.h:338</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_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00155">NumericLiteral.h:155</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8f4a1492bdce0c3d04c50c746279272d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">SVF::NumericLiteral::operator&lt;</a></div><div class="ttdeci">friend NumericLiteral operator&lt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00195">NumericLiteral.h:195</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a54e463887bfcff9c1d0697e0293d0f0b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a54e463887bfcff9c1d0697e0293d0f0b">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(int64_t i)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00057">NumericLiteral.h:57</a></div></div>
@@ -554,7 +554,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aecb4c8bd2c66a906a4b4556c80838d1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00227">NumericLiteral.h:227</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa4b036114c2980f578c359fff6f4e604"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral::operator^</a></div><div class="ttdeci">friend NumericLiteral operator^(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00297">NumericLiteral.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aec2acc023ff24e72ac5ca7ea57761df3"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00353">NumericLiteral.h:353</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_1NumericLiteral_html_ad99ed283f2b7875f13aea347fa2c8b54"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral::operator&gt;</a></div><div class="ttdeci">friend NumericLiteral operator&gt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00190">NumericLiteral.h:190</a></div></div>
@@ -562,7 +562,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00040">NumericLiteral.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1a06b5b2e22ba2265d57b6f0c9ed9d84"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">SVF::NumericLiteral::operator+</a></div><div class="ttdeci">friend NumericLiteral operator+(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00210">NumericLiteral.h:210</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1ed3cffe1d4ee076b8683f40806619ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">SVF::NumericLiteral::operator==</a></div><div class="ttdeci">friend NumericLiteral operator==(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Reload operator.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00180">NumericLiteral.h:180</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>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a5b421ff78df11b84654155dc88bb5516"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral::operator&gt;&gt;</a></div><div class="ttdeci">friend NumericLiteral operator&gt;&gt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00312">NumericLiteral.h:312</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a24e0085eb116dfcf0744af5531dbaf05"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">SVF::NumericLiteral::operator|</a></div><div class="ttdeci">friend NumericLiteral operator|(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00307">NumericLiteral.h:307</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/PAGGrammar_8txt.html

@@ -0,0 +1,209 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.17"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/CFL/grammar/PAGGrammar.txt File Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.17 -->
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+/* @license-end */</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#var-members">Variables</a>  </div>
+  <div class="headertitle">
+<div class="title">/home/runner/work/SVF/SVF/svf/include/CFL/grammar/PAGGrammar.txt File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
+Variables</h2></td></tr>
+<tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
+<tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07b9538bf6c870253aed4d379891604c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> copybar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> loadbar V storebar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> loadbar Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">storebar</a></td></tr>
+<tr class="separator:a07b9538bf6c870253aed4d379891604c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a70678866f928eaca8c8322d57a451d0a"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> addr gepbar_i V gep_i gepbarpath V <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> gepbar_i <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gep_i gepbar_i <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a></td></tr>
+<tr class="separator:a70678866f928eaca8c8322d57a451d0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1181f56ceed612b4d77df931fa4dfaa9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a></td></tr>
+<tr class="separator:a1181f56ceed612b4d77df931fa4dfaa9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memItemLeft" align="right" valign="top">copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">vgepbar</a></td></tr>
+<tr class="separator:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9a4e1871fa395956be13e1d7a5089719"><td class="memItemLeft" align="right" valign="top">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> <a class="el" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a> <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719">gep_1</a></td></tr>
+<tr class="separator:a9a4e1871fa395956be13e1d7a5089719"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2bd2d1614b7b4f376c61366b17c0637d"><td class="memItemLeft" align="right" valign="top">gepbar_1 gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> gepbar_0 <a class="el" href="PAGGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">vgepbar</a> <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PAGGrammar_8txt.html#a2bd2d1614b7b4f376c61366b17c0637d">gepbar_0</a></td></tr>
+<tr class="separator:a2bd2d1614b7b4f376c61366b17c0637d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<h2 class="groupheader">Variable Documentation</h2>
+<a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">Start __pad0__</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00006">6</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a9a4e1871fa395956be13e1d7a5089719"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9a4e1871fa395956be13e1d7a5089719">&#9670;&nbsp;</a></span>gep_1</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> <a class="el" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a> <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gep_1</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a70678866f928eaca8c8322d57a451d0a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a70678866f928eaca8c8322d57a451d0a">&#9670;&nbsp;</a></span>gep_i</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">Memflowbar <a class="el" href="PAGGrammar_8txt.html#a07b9538bf6c870253aed4d379891604c">storebar</a> loadbar Memflowbar <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> Memflowbar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> gep_i Memflowbar gepbar_i gepbar_i Memflowbar gep_i</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00008">8</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a2bd2d1614b7b4f376c61366b17c0637d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2bd2d1614b7b4f376c61366b17c0637d">&#9670;&nbsp;</a></span>gepbar_0</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">gepbarpath gepbar_0 gepbar_0 gepbarpath gepbar_0</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00012">12</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a07b9538bf6c870253aed4d379891604c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a07b9538bf6c870253aed4d379891604c">&#9670;&nbsp;</a></span>storebar</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> copybar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> loadbar V storebar <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> loadbar Memflowbar storebar</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00007">7</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a1181f56ceed612b4d77df931fa4dfaa9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1181f56ceed612b4d77df931fa4dfaa9">&#9670;&nbsp;</a></span>vgep</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a> vgep</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00009">9</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a5cb31e8d975de240d0e0c173cb7f407f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5cb31e8d975de240d0e0c173cb7f407f">&#9670;&nbsp;</a></span>vgepbar</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">copybar vgepbar</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="PAGGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="PAGGrammar_8txt_source.html">PAGGrammar.txt</a>.</p>
+
+</div>
+</div>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.17
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/PEGGrammar_8txt.html

@@ -5,7 +5,7 @@
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen 1.8.17"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/CFL/PEGGrammar.txt File Reference</title>
+<title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/svf/include/CFL/grammar/PEGGrammar.txt File Reference</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="jquery.js"></script>
 <script type="text/javascript" src="dynsections.js"></script>
@@ -65,7 +65,7 @@ $(function() {
 <a href="#func-members">Functions</a> &#124;
 <a href="#var-members">Variables</a>  </div>
   <div class="headertitle">
-<div class="title">/home/runner/work/SVF/SVF/svf/include/CFL/PEGGrammar.txt File Reference</div>  </div>
+<div class="title">/home/runner/work/SVF/SVF/svf/include/CFL/grammar/PEGGrammar.txt File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
 <table class="memberdecls">
@@ -76,15 +76,15 @@ Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
 Variables</h2></td></tr>
-<tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
-<tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a13f26ce59806bd1663350be4f8888464"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a13f26ce59806bd1663350be4f8888464">__pad1__</a></td></tr>
+<tr class="separator:a13f26ce59806bd1663350be4f8888464"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ac0ba65b20304c39926bf018842207e87"><td class="memItemLeft" align="right" valign="top">M addr V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a></td></tr>
 <tr class="separator:ac0ba65b20304c39926bf018842207e87"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4c44ba149afa8531399b34ff202e7486"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gepbar_i V <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> M <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> gepbar_i Memcpy <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i ArrayPath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a></td></tr>
+<tr class="memitem:a4c44ba149afa8531399b34ff202e7486"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gepbar_i V <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> M <a class="el" href="VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> gepbar_i Memcpy <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i ArrayPath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a></td></tr>
 <tr class="separator:a4c44ba149afa8531399b34ff202e7486"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a32ac366bb4f2b6561e1aad6ec61b65d2"><td class="memItemLeft" align="right" valign="top">ArrayPath gepbar_0 gepbar_0 ArrayPath&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a32ac366bb4f2b6561e1aad6ec61b65d2">gepbar_0</a></td></tr>
 <tr class="separator:a32ac366bb4f2b6561e1aad6ec61b65d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1e8b28eb87d57c33c5c45731db639c91"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> V addr <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> Memcpy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">Fbar</a></td></tr>
+<tr class="memitem:a1e8b28eb87d57c33c5c45731db639c91"><td class="memItemLeft" align="right" valign="top">Memcpy <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> V addr <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> Memcpy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91">Fbar</a></td></tr>
 <tr class="separator:a1e8b28eb87d57c33c5c45731db639c91"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Function Documentation</h2>
@@ -107,14 +107,14 @@ Variables</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Variable Documentation</h2>
-<a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad8c410068267cc7ccd0765a7bd51a2bf">&#9670;&nbsp;</a></span>__pad0__</h2>
+<a id="a13f26ce59806bd1663350be4f8888464"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a13f26ce59806bd1663350be4f8888464">&#9670;&nbsp;</a></span>__pad1__</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Start __pad0__</td>
+          <td class="memname">Start __pad1__</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -146,7 +146,7 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> V addr <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> Memcpy Fbar</td>
+          <td class="memname">Memcpy <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> V addr <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> Memcpy Fbar</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -162,7 +162,7 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gepbar_i V <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> M <a class="el" href="VFG_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> gepbar_i Memcpy <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> <a class="el" href="CFLGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i ArrayPath V gep_0</td>
+          <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V <a class="el" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> gepbar_i V <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> M <a class="el" href="VFGGrammar_8txt.html#ac5f2eebeadca57b6dd4a532ba5f01757">epsilon</a> gepbar_i Memcpy <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> <a class="el" href="PAGGrammar_8txt.html#a70678866f928eaca8c8322d57a451d0a">gep_i</a> Memcpy gepbar_i ArrayPath V gep_0</td>
         </tr>
       </table>
 </div><div class="memdoc">

package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html

@@ -558,10 +558,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a817749cc657573d527c177d42b2f4950"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;out, const SingleAbsValue &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00447">SingleAbsValue.h:447</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a48568c2eb6d4b6088b7e1fd976730259"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue::ashr</a></div><div class="ttdeci">friend SingleAbsValue ashr(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00322">SingleAbsValue.h:322</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a99f9503d4daab12b3c4817b237c0a0fb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue::operator&amp;</a></div><div class="ttdeci">friend SingleAbsValue operator&amp;(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00293">SingleAbsValue.h:293</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr &amp; operator=(const BoundedZ3Expr &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00058">BoundedZ3Expr.h:58</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_aeed1aed239b2f80be8da4870f89c31d4"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4">SVF::BoundedZ3Expr::operator=</a></div><div class="ttdeci">BoundedZ3Expr &amp; operator=(const BoundedZ3Expr &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00059">BoundedZ3Expr.h:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a7fa4b919dfe1ae877298aea3b25f2b45"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45">SVF::SingleAbsValue::operator!=</a></div><div class="ttdeci">friend SingleAbsValue operator!=(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00157">SingleAbsValue.h:157</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"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00041">BoundedZ3Expr.h:41</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"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html">SVF::BoundedZ3Expr</a></div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00042">BoundedZ3Expr.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ad13d4fe654afd7ab08d27111b0b732bb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb">SVF::SingleAbsValue::operator/</a></div><div class="ttdeci">friend SingleAbsValue operator/(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00255">SingleAbsValue.h:255</a></div></div>
 <div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
@@ -596,7 +596,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_affc856ad42b2ebd5ee0adc28542d25e4"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue::operator&gt;</a></div><div class="ttdeci">friend SingleAbsValue operator&gt;(const SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00169">SingleAbsValue.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ab5e10abb06e9ead59de170d0128b3531"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ab5e10abb06e9ead59de170d0128b3531">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_ac1943aa4e51a3a748df209785eb42e22"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22">SVF::SingleAbsValue::operator!</a></div><div class="ttdeci">friend SingleAbsValue operator!(const SingleAbsValue &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00418">SingleAbsValue.h:418</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00118">BoundedZ3Expr.h:118</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_a9ee4ca16a8031420afec9f446ecdf24c"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#a9ee4ca16a8031420afec9f446ecdf24c">SVF::BoundedZ3Expr::isZero</a></div><div class="ttdeci">static bool isZero(const BoundedZ3Expr &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00119">BoundedZ3Expr.h:119</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a0f0a092868104d0f8e0c4c16ec07009b"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a0f0a092868104d0f8e0c4c16ec07009b">SVF::SingleAbsValue::SingleAbsValue</a></div><div class="ttdeci">SingleAbsValue(const BoundedZ3Expr &amp;z3Bound)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00024">SingleAbsValue.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_afef13058a5d730798bd8b10cdf3e5ea3"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#afef13058a5d730798bd8b10cdf3e5ea3">SVF::SingleAbsValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00089">SingleAbsValue.h:89</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>