svf-tools 1.0.752 → 1.0.753
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/BoundedZ3Expr_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h.html +24 -1
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +373 -376
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +12 -12
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +291 -296
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +3 -3
- package/SVF-doxygen/html/html/globals_defs.html +7 -0
- package/SVF-doxygen/html/html/globals_m.html +4 -1
- package/SVF-doxygen/html/html/menudata.js +1 -0
- package/SVF-doxygen/html/html/search/all_13.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/defines_b.js +1 -2
- package/SVF-doxygen/html/html/search/defines_c.js +2 -2
- package/SVF-doxygen/html/html/search/defines_d.js +2 -6
- package/SVF-doxygen/html/html/search/defines_e.js +6 -3
- package/SVF-doxygen/html/html/search/defines_f.html +6 -2
- package/SVF-doxygen/html/html/search/defines_f.js +3 -26
- package/SVF-doxygen/html/html/search/searchdata.js +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +5 -5
- package/package.json +1 -1
- package/svf/include/AbstractExecution/BoundedZ3Expr.h +8 -12
|
@@ -636,7 +636,7 @@ $(function() {
|
|
|
636
636
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap & getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00339">ConsExeState.h:339</a></div></div>
|
|
637
637
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
|
|
638
638
|
<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>
|
|
639
|
-
<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#
|
|
639
|
+
<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>
|
|
640
640
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00559">ConsExeState.cpp:559</a></div></div>
|
|
641
641
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &loc, const SingleAbsValue &value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00508">ConsExeState.cpp:508</a></div></div>
|
|
642
642
|
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00140">Z3Expr.h:140</a></div></div>
|
|
@@ -498,7 +498,7 @@ $(function() {
|
|
|
498
498
|
<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>
|
|
499
499
|
<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>
|
|
500
500
|
<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 &lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00348">NumericLiteral.h:348</a></div></div>
|
|
501
|
-
<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#
|
|
501
|
+
<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>
|
|
502
502
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00185">NumericLiteral.h:185</a></div></div>
|
|
503
503
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00277">NumericLiteral.h:277</a></div></div>
|
|
504
504
|
<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 &lhs, const NumericLiteral &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() {
|
|
|
510
510
|
<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>
|
|
511
511
|
<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>
|
|
512
512
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab0cb27a9c31ce20500babb0dff9b87bf"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral::operator>=</a></div><div class="ttdeci">friend NumericLiteral operator>=(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00205">NumericLiteral.h:205</a></div></div>
|
|
513
|
-
<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#
|
|
513
|
+
<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>
|
|
514
514
|
<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< NumericLiteral > &_l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00420">NumericLiteral.h:420</a></div></div>
|
|
515
515
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a89b4521f3907f4886fa1063e93319792"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">SVF::NumericLiteral::operator<<</a></div><div class="ttdeci">friend std::ostream & operator<<(std::ostream &out, const NumericLiteral &expr)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00373">NumericLiteral.h:373</a></div></div>
|
|
516
516
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00384">NumericLiteral.h:384</a></div></div>
|
|
517
|
-
<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 & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
518
|
-
<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#
|
|
517
|
+
<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 & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00109">BoundedZ3Expr.h:109</a></div></div>
|
|
518
|
+
<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>
|
|
519
519
|
<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 &e)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00053">NumericLiteral.h:53</a></div></div>
|
|
520
520
|
<div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
|
|
521
521
|
<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 & operator=(const NumericLiteral &)=default</div><div class="ttdoc">Operator = , another Copy Constructor.</div></div>
|
|
522
522
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a7139e461f2ac323b7e275f40dfd684da"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">SVF::NumericLiteral::operator&</a></div><div class="ttdeci">friend NumericLiteral operator&(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00302">NumericLiteral.h:302</a></div></div>
|
|
523
|
-
<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#
|
|
523
|
+
<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>
|
|
524
524
|
<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>
|
|
525
525
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00389">NumericLiteral.h:389</a></div></div>
|
|
526
526
|
<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>
|
|
527
527
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af40973365cb681abc4cc63c4fb2a6d07"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral::operator<=</a></div><div class="ttdeci">friend NumericLiteral operator<=(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00200">NumericLiteral.h:200</a></div></div>
|
|
528
528
|
<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>
|
|
529
|
-
<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#
|
|
530
|
-
<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 &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
529
|
+
<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>
|
|
530
|
+
<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 &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00134">BoundedZ3Expr.h:134</a></div></div>
|
|
531
531
|
<div class="ttc" id="aSVFType_8h_html"><div class="ttname"><a href="SVFType_8h.html">SVFType.h</a></div></div>
|
|
532
|
-
<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#
|
|
532
|
+
<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>
|
|
533
533
|
<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>
|
|
534
|
-
<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#
|
|
534
|
+
<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>
|
|
535
535
|
<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 &cond, const NumericLiteral &lhs, const NumericLiteral &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>
|
|
536
536
|
<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 &lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00399">NumericLiteral.h:399</a></div></div>
|
|
537
537
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00343">NumericLiteral.h:343</a></div></div>
|
|
538
538
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_adfd0722351b93c3ab7ffd4147e278f7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral::operator<<</a></div><div class="ttdeci">friend NumericLiteral operator<<(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00325">NumericLiteral.h:325</a></div></div>
|
|
539
539
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_af57d038fab712a70aab7a6984ec2ba67"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">SVF::NumericLiteral::operator&&</a></div><div class="ttdeci">friend NumericLiteral operator&&(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00338">NumericLiteral.h:338</a></div></div>
|
|
540
|
-
<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#
|
|
540
|
+
<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>
|
|
541
541
|
<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 &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00155">NumericLiteral.h:155</a></div></div>
|
|
542
542
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8f4a1492bdce0c3d04c50c746279272d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">SVF::NumericLiteral::operator<</a></div><div class="ttdeci">friend NumericLiteral operator<(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00195">NumericLiteral.h:195</a></div></div>
|
|
543
543
|
<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() {
|
|
|
554
554
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00227">NumericLiteral.h:227</a></div></div>
|
|
555
555
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00297">NumericLiteral.h:297</a></div></div>
|
|
556
556
|
<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 &lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00353">NumericLiteral.h:353</a></div></div>
|
|
557
|
-
<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 &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
557
|
+
<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 &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00129">BoundedZ3Expr.h:129</a></div></div>
|
|
558
558
|
<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 &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>
|
|
559
559
|
<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>
|
|
560
560
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ad99ed283f2b7875f13aea347fa2c8b54"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral::operator></a></div><div class="ttdeci">friend NumericLiteral operator>(const NumericLiteral &lhs, const NumericLiteral &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() {
|
|
|
562
562
|
<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>
|
|
563
563
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00210">NumericLiteral.h:210</a></div></div>
|
|
564
564
|
<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 &lhs, const NumericLiteral &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>
|
|
565
|
-
<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#
|
|
565
|
+
<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>
|
|
566
566
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a5b421ff78df11b84654155dc88bb5516"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral::operator>></a></div><div class="ttdeci">friend NumericLiteral operator>>(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00312">NumericLiteral.h:312</a></div></div>
|
|
567
567
|
<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 &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00307">NumericLiteral.h:307</a></div></div>
|
|
568
568
|
<!-- start footer part -->
|
|
@@ -558,10 +558,10 @@ $(function() {
|
|
|
558
558
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a817749cc657573d527c177d42b2f4950"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950">SVF::SingleAbsValue::operator<<</a></div><div class="ttdeci">friend std::ostream & operator<<(std::ostream &out, const SingleAbsValue &expr)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00447">SingleAbsValue.h:447</a></div></div>
|
|
559
559
|
<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 &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00322">SingleAbsValue.h:322</a></div></div>
|
|
560
560
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a99f9503d4daab12b3c4817b237c0a0fb"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb">SVF::SingleAbsValue::operator&</a></div><div class="ttdeci">friend SingleAbsValue operator&(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00293">SingleAbsValue.h:293</a></div></div>
|
|
561
|
-
<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 & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
561
|
+
<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 & operator=(const BoundedZ3Expr &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00059">BoundedZ3Expr.h:59</a></div></div>
|
|
562
562
|
<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 &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00157">SingleAbsValue.h:157</a></div></div>
|
|
563
|
-
<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 & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
564
|
-
<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#
|
|
563
|
+
<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 & getContext()</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00109">BoundedZ3Expr.h:109</a></div></div>
|
|
564
|
+
<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>
|
|
565
565
|
<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 &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00255">SingleAbsValue.h:255</a></div></div>
|
|
566
566
|
<div class="ttc" id="aBoundedZ3Expr_8h_html"><div class="ttname"><a href="BoundedZ3Expr_8h.html">BoundedZ3Expr.h</a></div></div>
|
|
567
567
|
<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() {
|
|
|
596
596
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_affc856ad42b2ebd5ee0adc28542d25e4"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue::operator></a></div><div class="ttdeci">friend SingleAbsValue operator>(const SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00169">SingleAbsValue.h:169</a></div></div>
|
|
597
597
|
<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>
|
|
598
598
|
<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 &lhs)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00418">SingleAbsValue.h:418</a></div></div>
|
|
599
|
-
<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 &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
599
|
+
<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 &expr)</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00119">BoundedZ3Expr.h:119</a></div></div>
|
|
600
600
|
<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 &z3Bound)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00024">SingleAbsValue.h:24</a></div></div>
|
|
601
601
|
<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>
|
|
602
602
|
<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>
|