svf-tools 1.0.898 → 1.0.899

package/SVF-doxygen/html/ConsExeState_8cpp_source.html

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

package/SVF-doxygen/html/ConsExeState_8h_source.html

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

package/SVF-doxygen/html/IntervalValue_8h_source.html

@@ -163,7 +163,7 @@ $(function() {
 <div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160; </div>
 <div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3">  102</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3">IntervalValue</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
 <div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160; </div>
-<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b">  104</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b">IntervalValue</a>(<span class="keywordtype">double</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
+<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b">  104</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b">IntervalValue</a>(<span class="keywordtype">double</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : <a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a>::<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">IntervalK</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
 <div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160; </div>
 <div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a">  106</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a">IntervalValue</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
 <div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160; </div>
@@ -1047,7 +1047,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a304db5abb4cc7added56dbcbcd94d905"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(u32_t lb, u32_t ub)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00120">IntervalValue.h:120</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00633">IntervalValue.h:633</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_add3acad151d5af6c9a5f692f7a01e65b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue::top</a></div><div class="ttdeci">static IntervalValue top()</div><div class="ttdoc">Create the IntervalValue [-oo, +oo].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00083">IntervalValue.h:83</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#l00411">NumericLiteral.h:411</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#l00417">NumericLiteral.h:417</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a2f3ddba25bc972f70300128369e4cd1d"><div class="ttname"><a href="namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d">SVF::operator%</a></div><div class="ttdeci">IntervalValue operator%(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Divide IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00593">IntervalValue.h:593</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#l00110">NumericLiteral.h:110</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a8de8e78efcee26d74fe3d34c405dee0a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">SVF::IntervalValue::setValue</a></div><div class="ttdeci">void setValue(const NumericLiteral &amp;lb, const NumericLiteral &amp;ub)</div><div class="ttdoc">Set the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00246">IntervalValue.h:246</a></div></div>
@@ -1060,13 +1060,13 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a23c136994bc83222e1913d43ec3e7468"><div class="ttname"><a href="namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468">SVF::operator/</a></div><div class="ttdeci">IntervalValue operator/(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Divide IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00567">IntervalValue.h:567</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a4bddb7dbd28d3c0deb3cd35e48179a36"><div class="ttname"><a href="namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36">SVF::operator-</a></div><div class="ttdeci">IntervalValue operator-(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00529">IntervalValue.h:529</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a75fc2abc930b9405130106a51c29f314"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">SVF::NumericLiteral::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00121">NumericLiteral.h:121</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#l00177">NumericLiteral.h:177</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#l00183">NumericLiteral.h:183</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00227">IntervalValue.h:227</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa69f9536301d6529eb1d0caaec2fcc63"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00137">NumericLiteral.h:137</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa69f9536301d6529eb1d0caaec2fcc63"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00143">NumericLiteral.h:143</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00077">NumericLiteral.h:77</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a970b85f66d80cfc8ca56a8846c921afa"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa">SVF::IntervalValue::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdoc">Return true if the IntervalValue is [0, 0].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00253">IntervalValue.h:253</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a9e7a696842de2a4fae08a75d72a807ec"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00416">NumericLiteral.h:416</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a9e7a696842de2a4fae08a75d72a807ec"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00422">NumericLiteral.h:422</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_afcd424e419fe66750c47df21774bb22c"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">SVF::IntervalValue::~IntervalValue</a></div><div class="ttdeci">~IntervalValue() override=default</div><div class="ttdoc">Destructor.</div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3e10b7d6fd99151cc73b2d942ae75190"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3e10b7d6fd99151cc73b2d942ae75190">SVF::IntervalValue::operator=</a></div><div class="ttdeci">IntervalValue &amp; operator=(const IntervalValue &amp;a)=default</div><div class="ttdoc">Copy assignment operator.</div></div>
@@ -1079,18 +1079,18 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">SVF::AbstractValue::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a22796c07a495e1af7252b3dcb60d9940"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(s64_t n)</div><div class="ttdoc">Create the IntervalValue [n, n].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00098">IntervalValue.h:98</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00154">NumericLiteral.h:154</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a6c175067e5573ae7180ae4d872c49c8f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f">SVF::IntervalValue::narrow_with</a></div><div class="ttdeci">void narrow_with(const IntervalValue &amp;other)</div><div class="ttdoc">Current IntervalValue narrow with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00442">IntervalValue.h:442</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac4896347f704db07695f4b8dfc42aad7"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac4896347f704db07695f4b8dfc42aad7">SVF::IntervalValue::dump</a></div><div class="ttdeci">void dump(std::ostream &amp;o) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00481">IntervalValue.h:481</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adf3cae41adaeb62c3b5da19e81adbb5d"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d">SVF::IntervalValue::setLb</a></div><div class="ttdeci">void setLb(const NumericLiteral &amp;lb)</div><div class="ttdoc">Set the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00234">IntervalValue.h:234</a></div></div>
-<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00142">NumericLiteral.h:142</a></div></div>
+<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3ac2a92a9d67dec907fa7ae4181dc171"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue::operator==</a></div><div class="ttdeci">IntervalValue operator==(const IntervalValue &amp;other) const</div><div class="ttdoc">Equality comparison.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00137">IntervalValue.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a101633c38e284f6e2bcad852daa3baae"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">SVF::IntervalValue::classof</a></div><div class="ttdeci">static bool classof(const IntervalValue *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00208">IntervalValue.h:208</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac763bab0b6fedbe5ec5b345c7b260e30"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue::set_to_bottom</a></div><div class="ttdeci">void set_to_bottom()</div><div class="ttdoc">Set current IntervalValue as bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00306">IntervalValue.h:306</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a73aee65aae0f2ef368d159d29e1d5a30"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(NumericLiteral lb, NumericLiteral ub)</div><div class="ttdoc">Create the IntervalValue [lb, ub].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00109">IntervalValue.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a6ec0263a3036734c28cd241007f8a490"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a6ec0263a3036734c28cd241007f8a490">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(s64_t lb, s64_t ub)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00112">IntervalValue.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</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#l00154">NumericLiteral.h:154</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#l00160">NumericLiteral.h:160</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#l00104">NumericLiteral.h:104</a></div></div>
 <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#l00038">NumericLiteral.h:38</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a08938c05911dac4ebd102adfafd14d24"><div class="ttname"><a href="namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24">SVF::operator&gt;=</a></div><div class="ttdeci">IntervalValue operator&gt;=(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00736">IntervalValue.h:736</a></div></div>