svf-tools 1.0.772 → 1.0.773
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 +10 -9
- package/SVF-doxygen/html/html/BoundedZ3Expr_8h_source.html +380 -380
- package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +2 -2
- package/SVF-doxygen/html/html/IntervalValue_8h_source.html +35 -35
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +19 -18
- package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +323 -327
- package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SingleAbsValue_8h_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1BoundedZ3Expr.html +306 -305
- package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +28 -27
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +307 -311
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue-members.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SingleAbsValue.html +10 -10
- package/SVF-doxygen/html/html/functions_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_b.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +3 -3
- package/SVF-doxygen/html/html/functions_g.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF.html +9 -9
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -1
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +2 -2
- package/SVF-doxygen/html/html/search/functions_7.js +1 -1
- package/SVF-doxygen/html/html/search/functions_9.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.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 +4 -5
- package/svf/include/AbstractExecution/IntervalValue.h +19 -19
- package/svf/include/AbstractExecution/NumericLiteral.h +2 -2
- package/svf/lib/AbstractExecution/BoundedZ3Expr.cpp +5 -5
- package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +0 -4
|
@@ -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#l00113">BoundedZ3Expr.h:113</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>
|
|
@@ -310,7 +310,7 @@ $(function() {
|
|
|
310
310
|
<div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8"> 261</a></span>  <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8">Interval2NumValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &e)<span class="keyword"> const</span></div>
|
|
311
311
|
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span> <span class="keyword"> </span>{</div>
|
|
312
312
|
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="comment">//TODO: return concrete value;</span></div>
|
|
313
|
-
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) e.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
313
|
+
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) e.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
|
|
314
314
|
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  }</div>
|
|
315
315
|
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  </div>
|
|
316
316
|
<div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558"> 268</a></span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="classSVF_1_1IntervalExeState.html#a73d2e475625f5b9204cdecb94381c558">createIntervalValue</a>(<span class="keywordtype">double</span> lb, <span class="keywordtype">double</span> ub, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>)</div>
|
|
@@ -513,7 +513,6 @@ $(function() {
|
|
|
513
513
|
<div class="line"><a name="l00467"></a><span class="lineno"> 467</span>  </div>
|
|
514
514
|
<div class="line"><a name="l00468"></a><span class="lineno"> 468</span> <span class="preprocessor">#endif //Z3_EXAMPLE_INTERVAL_DOMAIN_H</span></div>
|
|
515
515
|
</div><!-- fragment --></div><!-- contents -->
|
|
516
|
-
<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>
|
|
517
516
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a92b846d3cd77ab12a35cb81815e22ee3"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState::operator==</a></div><div class="ttdeci">bool operator==(const IntervalExeState &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00421">IntervalExeState.h:421</a></div></div>
|
|
518
517
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7420a7637b62d451babadb852c9c2ac2"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">SVF::IntervalExeState::operator[]</a></div><div class="ttdeci">IntervalValue & operator[](u32_t varId)</div><div class="ttdoc">[], call getValueExpr()</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00215">IntervalExeState.h:215</a></div></div>
|
|
519
518
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3b95a08fa7b123549e732819d9371946"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">SVF::IntervalExeState::LocToValMap</a></div><div class="ttdeci">VarToValMap LocToValMap</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00062">IntervalExeState.h:62</a></div></div>
|
|
@@ -535,6 +534,7 @@ $(function() {
|
|
|
535
534
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_ac1272649c1549d0d942941bd8f4c4b41"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#ac1272649c1549d0d942941bd8f4c4b41">SVF::IntervalExeState::IntervalExeState</a></div><div class="ttdeci">IntervalExeState(IntervalExeState &&rhs)</div><div class="ttdoc">move constructor</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00102">IntervalExeState.h:102</a></div></div>
|
|
536
535
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a3139363dbe4bf20bb23e922f80d9e9c0"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState::top</a></div><div class="ttdeci">IntervalExeState top()</div><div class="ttdoc">Set all value top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00133">IntervalExeState.h:133</a></div></div>
|
|
537
536
|
<div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html">SVF::SVFIR2ItvExeState</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00041">SVFIR2ItvExeState.h:41</a></div></div>
|
|
537
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::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="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
538
538
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">key: nodeID value: Domain Value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00070">IntervalExeState.h:70</a></div></div>
|
|
539
539
|
<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>
|
|
540
540
|
<div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a7129d3e1901c527f7c4876cb1c54a890"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">SVF::IntervalExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00394">IntervalExeState.h:394</a></div></div>
|
|
@@ -157,28 +157,28 @@ $(function() {
|
|
|
157
157
|
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  </div>
|
|
158
158
|
<div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0"> 95</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</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="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>()), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>()) {}</div>
|
|
159
159
|
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  </div>
|
|
160
|
-
<div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#
|
|
160
|
+
<div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940"> 98</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a22796c07a495e1af7252b3dcb60d9940">IntervalValue</a>(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <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>
|
|
161
161
|
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  </div>
|
|
162
|
-
<div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2"> 100</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
162
|
+
<div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2"> 100</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_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>
|
|
163
163
|
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  </div>
|
|
164
|
-
<div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3"> 102</a></span>  <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>((
|
|
164
|
+
<div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3"> 102</a></span>  <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>
|
|
165
165
|
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  </div>
|
|
166
|
-
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b"> 104</a></span>  <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>((
|
|
166
|
+
<div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b"> 104</a></span>  <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>
|
|
167
167
|
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  </div>
|
|
168
168
|
<div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#aa339a88f42bea8c1adfe0db8ba3a5d2a"> 106</a></span>  <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>
|
|
169
169
|
<div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  </div>
|
|
170
170
|
<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30"> 109</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30">IntervalValue</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</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>),</div>
|
|
171
171
|
<div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(std::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>)), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(std::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
|
|
172
172
|
<div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  </div>
|
|
173
|
-
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#
|
|
173
|
+
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a6ec0263a3036734c28cd241007f8a490"> 112</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a6ec0263a3036734c28cd241007f8a490">IntervalValue</a>(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
|
|
174
174
|
<div class="line"><a name="l00113"></a><span class="lineno"> 113</span>  </div>
|
|
175
|
-
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5"> 114</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5">IntervalValue</a>(<span class="keywordtype">double</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>((
|
|
175
|
+
<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5"> 114</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5">IntervalValue</a>(<span class="keywordtype">double</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
|
|
176
176
|
<div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  </div>
|
|
177
|
-
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c"> 116</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
177
|
+
<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c"> 116</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</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="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
|
|
178
178
|
<div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  </div>
|
|
179
|
-
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905"> 118</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905">IntervalValue</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
179
|
+
<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905"> 118</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905">IntervalValue</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</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="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
|
|
180
180
|
<div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  </div>
|
|
181
|
-
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65"> 120</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) : <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
181
|
+
<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65"> 120</a></span>  <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1IntervalValue.html#a35e3062c24a13ac4ed50729339408f65">IntervalValue</a>(<a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</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="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
|
|
182
182
|
<div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  </div>
|
|
183
183
|
<div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &) = <span class="keywordflow">default</span>;</div>
|
|
184
184
|
<div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  </div>
|
|
@@ -304,10 +304,10 @@ $(function() {
|
|
|
304
304
|
<div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() || <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>();</div>
|
|
305
305
|
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  }</div>
|
|
306
306
|
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  </div>
|
|
307
|
-
<div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#
|
|
307
|
+
<div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9"> 263</a></span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">getNumeral</a>()<span class="keyword"> const</span></div>
|
|
308
308
|
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span> <span class="keyword"> </span>{</div>
|
|
309
309
|
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() && <span class="stringliteral">"this IntervalValue is not numeral"</span>);</div>
|
|
310
|
-
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
310
|
+
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
|
|
311
311
|
<div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  }</div>
|
|
312
312
|
<div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  </div>
|
|
313
313
|
<div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0"> 270</a></span>  <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>()<span class="keyword"> const</span></div>
|
|
@@ -587,9 +587,9 @@ $(function() {
|
|
|
587
587
|
<div class="line"><a name="l00559"></a><span class="lineno"> 559</span>  <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> d_ub = max(abs(rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>()), rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()) - 1;</div>
|
|
588
588
|
<div class="line"><a name="l00560"></a><span class="lineno"> 560</span>  <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> ub = min(n_ub, d_ub);</div>
|
|
589
589
|
<div class="line"><a name="l00561"></a><span class="lineno"> 561</span>  </div>
|
|
590
|
-
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
590
|
+
<div class="line"><a name="l00562"></a><span class="lineno"> 562</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() < 0)</div>
|
|
591
591
|
<div class="line"><a name="l00563"></a><span class="lineno"> 563</span>  {</div>
|
|
592
|
-
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
592
|
+
<div class="line"><a name="l00564"></a><span class="lineno"> 564</span>  <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() > 0)</div>
|
|
593
593
|
<div class="line"><a name="l00565"></a><span class="lineno"> 565</span>  {</div>
|
|
594
594
|
<div class="line"><a name="l00566"></a><span class="lineno"> 566</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(-ub, ub);</div>
|
|
595
595
|
<div class="line"><a name="l00567"></a><span class="lineno"> 567</span>  }</div>
|
|
@@ -769,9 +769,9 @@ $(function() {
|
|
|
769
769
|
<div class="line"><a name="l00746"></a><span class="lineno"> 746</span>  shift.<a class="code" href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">meet_with</a>(<a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(0, <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">IntervalValue::plus_infinity</a>()));</div>
|
|
770
770
|
<div class="line"><a name="l00747"></a><span class="lineno"> 747</span>  <span class="keywordflow">if</span> (shift.<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
|
|
771
771
|
<div class="line"><a name="l00748"></a><span class="lineno"> 748</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
772
|
-
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> coeff(1 << (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) shift.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
772
|
+
<div class="line"><a name="l00749"></a><span class="lineno"> 749</span>  <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> coeff(1 << (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) shift.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>(),</div>
|
|
773
773
|
<div class="line"><a name="l00750"></a><span class="lineno"> 750</span>  shift.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() ? <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">IntervalValue::plus_infinity</a>() : 1</div>
|
|
774
|
-
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  << (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) shift.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
774
|
+
<div class="line"><a name="l00751"></a><span class="lineno"> 751</span>  << (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) shift.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
775
775
|
<div class="line"><a name="l00752"></a><span class="lineno"> 752</span>  <span class="keywordflow">return</span> lhs * coeff;</div>
|
|
776
776
|
<div class="line"><a name="l00753"></a><span class="lineno"> 753</span>  }</div>
|
|
777
777
|
<div class="line"><a name="l00754"></a><span class="lineno"> 754</span> }</div>
|
|
@@ -819,17 +819,17 @@ $(function() {
|
|
|
819
819
|
<div class="line"><a name="l00798"></a><span class="lineno"> 798</span>  {</div>
|
|
820
820
|
<div class="line"><a name="l00799"></a><span class="lineno"> 799</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>() & rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>());</div>
|
|
821
821
|
<div class="line"><a name="l00800"></a><span class="lineno"> 800</span>  }</div>
|
|
822
|
-
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
822
|
+
<div class="line"><a name="l00801"></a><span class="lineno"> 801</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0 && rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0)</div>
|
|
823
823
|
<div class="line"><a name="l00802"></a><span class="lineno"> 802</span>  {</div>
|
|
824
|
-
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
824
|
+
<div class="line"><a name="l00803"></a><span class="lineno"> 803</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, min(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>(), rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()));</div>
|
|
825
825
|
<div class="line"><a name="l00804"></a><span class="lineno"> 804</span>  }</div>
|
|
826
|
-
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
826
|
+
<div class="line"><a name="l00805"></a><span class="lineno"> 805</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0)</div>
|
|
827
827
|
<div class="line"><a name="l00806"></a><span class="lineno"> 806</span>  {</div>
|
|
828
|
-
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
828
|
+
<div class="line"><a name="l00807"></a><span class="lineno"> 807</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>());</div>
|
|
829
829
|
<div class="line"><a name="l00808"></a><span class="lineno"> 808</span>  }</div>
|
|
830
|
-
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
830
|
+
<div class="line"><a name="l00809"></a><span class="lineno"> 809</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0)</div>
|
|
831
831
|
<div class="line"><a name="l00810"></a><span class="lineno"> 810</span>  {</div>
|
|
832
|
-
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
832
|
+
<div class="line"><a name="l00811"></a><span class="lineno"> 811</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>());</div>
|
|
833
833
|
<div class="line"><a name="l00812"></a><span class="lineno"> 812</span>  }</div>
|
|
834
834
|
<div class="line"><a name="l00813"></a><span class="lineno"> 813</span>  <span class="keywordflow">else</span></div>
|
|
835
835
|
<div class="line"><a name="l00814"></a><span class="lineno"> 814</span>  {</div>
|
|
@@ -852,12 +852,12 @@ $(function() {
|
|
|
852
852
|
<div class="line"><a name="l00832"></a><span class="lineno"> 832</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
853
853
|
<div class="line"><a name="l00833"></a><span class="lineno"> 833</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() && rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>())</div>
|
|
854
854
|
<div class="line"><a name="l00834"></a><span class="lineno"> 834</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>() | rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>());</div>
|
|
855
|
-
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
856
|
-
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
855
|
+
<div class="line"><a name="l00835"></a><span class="lineno"> 835</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0 && !lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &&</div>
|
|
856
|
+
<div class="line"><a name="l00836"></a><span class="lineno"> 836</span>  rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0 && !rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div>
|
|
857
857
|
<div class="line"><a name="l00837"></a><span class="lineno"> 837</span>  {</div>
|
|
858
|
-
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span> 
|
|
859
|
-
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span> 
|
|
860
|
-
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
858
|
+
<div class="line"><a name="l00838"></a><span class="lineno"> 838</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> m = std::max(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
859
|
+
<div class="line"><a name="l00839"></a><span class="lineno"> 839</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> ub = next_power_of_2(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>(m+1));</div>
|
|
860
|
+
<div class="line"><a name="l00840"></a><span class="lineno"> 840</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) ub);</div>
|
|
861
861
|
<div class="line"><a name="l00841"></a><span class="lineno"> 841</span>  }</div>
|
|
862
862
|
<div class="line"><a name="l00842"></a><span class="lineno"> 842</span>  <span class="keywordflow">else</span></div>
|
|
863
863
|
<div class="line"><a name="l00843"></a><span class="lineno"> 843</span>  {</div>
|
|
@@ -880,12 +880,12 @@ $(function() {
|
|
|
880
880
|
<div class="line"><a name="l00861"></a><span class="lineno"> 861</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
|
|
881
881
|
<div class="line"><a name="l00862"></a><span class="lineno"> 862</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() && rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>())</div>
|
|
882
882
|
<div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>() ^ rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>());</div>
|
|
883
|
-
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
884
|
-
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#
|
|
883
|
+
<div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0 && !lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &&</div>
|
|
884
|
+
<div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  rhs.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() >= 0 && !rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div>
|
|
885
885
|
<div class="line"><a name="l00866"></a><span class="lineno"> 866</span>  {</div>
|
|
886
|
-
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span> 
|
|
887
|
-
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span> 
|
|
888
|
-
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((
|
|
886
|
+
<div class="line"><a name="l00867"></a><span class="lineno"> 867</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> m = std::max(lhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>());</div>
|
|
887
|
+
<div class="line"><a name="l00868"></a><span class="lineno"> 868</span>  <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> ub = next_power_of_2(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>(m+1));</div>
|
|
888
|
+
<div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) 0, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) ub);</div>
|
|
889
889
|
<div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  }</div>
|
|
890
890
|
<div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  <span class="keywordflow">else</span></div>
|
|
891
891
|
<div class="line"><a name="l00872"></a><span class="lineno"> 872</span>  {</div>
|
|
@@ -904,7 +904,6 @@ $(function() {
|
|
|
904
904
|
<div class="line"><a name="l00886"></a><span class="lineno"> 886</span> <span class="preprocessor">#endif //Z3_EXAMPLE_IntervalValue_H</span></div>
|
|
905
905
|
</div><!-- fragment --></div><!-- contents -->
|
|
906
906
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a2dd004dda59ee5271081afd082374039"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039">SVF::IntervalValue::leq</a></div><div class="ttdeci">bool leq(const IntervalValue &other) const</div><div class="ttdoc">Check current IntervalValue is smaller than or equal to the other.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00290">IntervalValue.h:290</a></div></div>
|
|
907
|
-
<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>
|
|
908
907
|
<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>
|
|
909
908
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3ac170a902accf8d84b6b77ab88a8fd3"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3ac170a902accf8d84b6b77ab88a8fd3">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(u32_t n)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00102">IntervalValue.h:102</a></div></div>
|
|
910
909
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_ad51535cb50a03df7a439b4e5b5d305f0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue()</div><div class="ttdoc">Create default IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00095">IntervalValue.h:95</a></div></div>
|
|
@@ -917,7 +916,6 @@ $(function() {
|
|
|
917
916
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral & lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00218">IntervalValue.h:218</a></div></div>
|
|
918
917
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a18d0f2c15ea6fc84dfa28ca494423af9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9">SVF::IntervalValue::operator!=</a></div><div class="ttdeci">IntervalValue operator!=(const IntervalValue &other) const</div><div class="ttdoc">Equality comparison.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00169">IntervalValue.h:169</a></div></div>
|
|
919
918
|
<div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
|
|
920
|
-
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a2fa999764e68c2bbdc1f000f0c63b597"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a2fa999764e68c2bbdc1f000f0c63b597">SVF::IntervalValue::getNumeral</a></div><div class="ttdeci">int64_t getNumeral() const</div><div class="ttdoc">Return.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00263">IntervalValue.h:263</a></div></div>
|
|
921
919
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a926ca60622fdcd225ef7d8b7fd4054b2"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a926ca60622fdcd225ef7d8b7fd4054b2">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(s32_t n)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00100">IntervalValue.h:100</a></div></div>
|
|
922
920
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a144e17cec654e83654298b379ed4ce9f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">SVF::IntervalValue::meet_with</a></div><div class="ttdeci">void meet_with(const IntervalValue &other)</div><div class="ttdoc">Return a intersected IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00408">IntervalValue.h:408</a></div></div>
|
|
923
921
|
<div class="ttc" id="anamespaceSVF_html_abf0dfb872989751b13069f859ef408e1"><div class="ttname"><a href="namespaceSVF.html#abf0dfb872989751b13069f859ef408e1">SVF::operator*</a></div><div class="ttdeci">IntervalValue operator*(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Multiply IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00495">IntervalValue.h:495</a></div></div>
|
|
@@ -939,7 +937,6 @@ $(function() {
|
|
|
939
937
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0827c976d921894e89ca4ac88ecf3f95"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue::_lb</a></div><div class="ttdeci">NumericLiteral _lb</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00047">IntervalValue.h:47</a></div></div>
|
|
940
938
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3dba35c84607bd3ed4e62a90ae2799cf"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">static bool is_infinite(const NumericLiteral &e)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00077">IntervalValue.h:77</a></div></div>
|
|
941
939
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00270">IntervalValue.h:270</a></div></div>
|
|
942
|
-
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a8aeffab01720d40b72eb96b44c899b70"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a8aeffab01720d40b72eb96b44c899b70">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(int64_t lb, int64_t ub)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00112">IntervalValue.h:112</a></div></div>
|
|
943
940
|
<div class="ttc" id="aclassSVF_1_1AbstractValue_html_a74bc740e894dfbdb2253bedc2851dd2e"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">SVF::AbstractValue::getAbstractValueKind</a></div><div class="ttdeci">AbstractValueK getAbstractValueKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00069">AbstractValue.h:69</a></div></div>
|
|
944
941
|
<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#l00118">IntervalValue.h:118</a></div></div>
|
|
945
942
|
<div class="ttc" id="anamespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator></a></div><div class="ttdeci">IntervalValue operator>(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Greater than IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00581">IntervalValue.h:581</a></div></div>
|
|
@@ -949,6 +946,7 @@ $(function() {
|
|
|
949
946
|
<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>
|
|
950
947
|
<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 &lb, const NumericLiteral &ub)</div><div class="ttdoc">Set the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00244">IntervalValue.h:244</a></div></div>
|
|
951
948
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a78b5445006d765160bbcb4ae2e11bd8a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdoc">Return true if the IntervalValue is infinite IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00257">IntervalValue.h:257</a></div></div>
|
|
949
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::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="NumericLiteral_8h_source.html#l00120">NumericLiteral.h:120</a></div></div>
|
|
952
950
|
<div class="ttc" id="aNumericLiteral_8h_html"><div class="ttname"><a href="NumericLiteral_8h.html">NumericLiteral.h</a></div></div>
|
|
953
951
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a8a9edd3eb9c31ecff090953301bf822d"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d">SVF::IntervalValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdoc">Set current IntervalValue as top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00283">IntervalValue.h:283</a></div></div>
|
|
954
952
|
<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>
|
|
@@ -957,7 +955,6 @@ $(function() {
|
|
|
957
955
|
<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 &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Subtract IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00477">IntervalValue.h:477</a></div></div>
|
|
958
956
|
<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>
|
|
959
957
|
<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 & ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
|
|
960
|
-
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_acb48e1418d1b6beceb30b1513fde5d9a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#acb48e1418d1b6beceb30b1513fde5d9a">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(int64_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>
|
|
961
958
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00075">NumericLiteral.h:75</a></div></div>
|
|
962
959
|
<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>
|
|
963
960
|
<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#l00251">IntervalValue.h:251</a></div></div>
|
|
@@ -971,6 +968,7 @@ $(function() {
|
|
|
971
968
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_afcb91d48a79aeba3c78c1a41b0730a73"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afcb91d48a79aeba3c78c1a41b0730a73">SVF::IntervalValue::contains</a></div><div class="ttdeci">bool contains(int n) const</div><div class="ttdoc">Return true if the IntervalValue contains n.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00424">IntervalValue.h:424</a></div></div>
|
|
972
969
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00080">NumericLiteral.h:80</a></div></div>
|
|
973
970
|
<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#l00051">AbstractValue.h:51</a></div></div>
|
|
971
|
+
<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>
|
|
974
972
|
<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>
|
|
975
973
|
<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 &rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00126">NumericLiteral.h:126</a></div></div>
|
|
976
974
|
<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 &other)</div><div class="ttdoc">Current IntervalValue narrow with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00390">IntervalValue.h:390</a></div></div>
|
|
@@ -980,6 +978,7 @@ $(function() {
|
|
|
980
978
|
<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#l00206">IntervalValue.h:206</a></div></div>
|
|
981
979
|
<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#l00276">IntervalValue.h:276</a></div></div>
|
|
982
980
|
<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>
|
|
981
|
+
<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>
|
|
983
982
|
<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>
|
|
984
983
|
<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>
|
|
985
984
|
<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>
|
|
@@ -988,6 +987,7 @@ $(function() {
|
|
|
988
987
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a312f9257f8562fce510c1257d8a6e4df"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a312f9257f8562fce510c1257d8a6e4df">SVF::IntervalValue::geq</a></div><div class="ttdeci">bool geq(const IntervalValue &other) const</div><div class="ttdoc">Check current IntervalValue is greater than or equal to the other.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00308">IntervalValue.h:308</a></div></div>
|
|
989
988
|
<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00054">SVFType.h:54</a></div></div>
|
|
990
989
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_ad1a81f516a61f54a595fa15444e2001b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ad1a81f516a61f54a595fa15444e2001b">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(double n)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00104">IntervalValue.h:104</a></div></div>
|
|
990
|
+
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_ae081b5c462f8ed5b306719822e35cea9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">SVF::IntervalValue::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00263">IntervalValue.h:263</a></div></div>
|
|
991
991
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a50d11cbc14f717d679caafe3cf59e0c5"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue(double lb, double ub)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00114">IntervalValue.h:114</a></div></div>
|
|
992
992
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3771eb932069dcad8212009efc411b99"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">SVF::IntervalValue::join_with</a></div><div class="ttdeci">void join_with(const IntervalValue &other)</div><div class="ttdoc">Current IntervalValue joins with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00345">IntervalValue.h:345</a></div></div>
|
|
993
993
|
<div class="ttc" id="anamespaceSVF_html_a8803e977797624599af5b0a84fe1de3d"><div class="ttname"><a href="namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d">SVF::operator^</a></div><div class="ttdeci">IntervalValue operator^(const IntervalValue &lhs, const IntervalValue &rhs)</div><div class="ttdoc">Bitwise XOR of IntervalValues.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00849">IntervalValue.h:849</a></div></div>
|