svf-tools 1.0.617 → 1.0.618
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/CFGNormalizer_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +8 -8
- package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +21 -21
- package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +47 -47
- package/SVF-doxygen/html/html/lib_2SVF-LLVM_2CMakeLists_8txt.html +73 -0
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/files_2.js +1 -1
- package/build.sh +44 -56
- package/include/AbstractExecution/NumericLiteral.h +20 -4
- package/lib/CFL/CFGNormalizer.cpp +2 -3
- package/lib/CMakeLists.txt +28 -11
- package/lib/SVF-LLVM/CMakeLists.txt +0 -0
- package/package.json +1 -1
- package/setup.sh +9 -9
|
@@ -506,7 +506,7 @@ Friends</h2></td></tr>
|
|
|
506
506
|
<p>Check two object is equal. </p>
|
|
507
507
|
|
|
508
508
|
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00118">118</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
509
|
-
<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  {</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(*<span class="keyword">this</span>, rhs);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
509
|
+
<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  {</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(*<span class="keyword">this</span>, rhs);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
510
510
|
</div><!-- fragment -->
|
|
511
511
|
</div>
|
|
512
512
|
</div>
|
|
@@ -876,8 +876,8 @@ Friends</h2></td></tr>
|
|
|
876
876
|
</table>
|
|
877
877
|
</div><div class="memdoc">
|
|
878
878
|
|
|
879
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
880
|
-
<div class="fragment"><div class="line"><a name="
|
|
879
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00355">355</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
880
|
+
<div class="fragment"><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  {</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keywordflow">return</span> lhs._n == rhs._n;</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  }</div></div><!-- fragment -->
|
|
881
881
|
</div>
|
|
882
882
|
</div>
|
|
883
883
|
<a id="af3544c0025b1796bce75891cf9c4e28a"></a>
|
|
@@ -922,8 +922,8 @@ Friends</h2></td></tr>
|
|
|
922
922
|
|
|
923
923
|
<p>Return ite? lhs : rhs. </p>
|
|
924
924
|
|
|
925
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
926
|
-
<div class="fragment"><div class="line"><a name="
|
|
925
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00339">339</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
926
|
+
<div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  {</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <span class="keywordflow">return</span> cond.getNumeral() ? lhs.getNumeral() : rhs.getNumeral();</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  }</div></div><!-- fragment -->
|
|
927
927
|
</div>
|
|
928
928
|
</div>
|
|
929
929
|
<a id="a9e7a696842de2a4fae08a75d72a807ec"></a>
|
|
@@ -960,8 +960,8 @@ Friends</h2></td></tr>
|
|
|
960
960
|
</table>
|
|
961
961
|
</div><div class="memdoc">
|
|
962
962
|
|
|
963
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
964
|
-
<div class="fragment"><div class="line"><a name="
|
|
963
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00365">365</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
964
|
+
<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  {</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keywordflow">return</span> std::max(lhs.getNumeral(), rhs.getNumeral());</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  }</div></div><!-- fragment -->
|
|
965
965
|
</div>
|
|
966
966
|
</div>
|
|
967
967
|
<a id="a4abe39a5e67635ed5dbd410ebbf36ab1"></a>
|
|
@@ -988,8 +988,8 @@ Friends</h2></td></tr>
|
|
|
988
988
|
</table>
|
|
989
989
|
</div><div class="memdoc">
|
|
990
990
|
|
|
991
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
992
|
-
<div class="fragment"><div class="line"><a name="
|
|
991
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00386">386</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
992
|
+
<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a> ret(INT_MIN);</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _l)</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keywordflow">if</span> (it.is_plus_infinity())</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>();</div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!it.leq(ret))</div><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  {</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  ret = it;</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  }</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  }</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get plus infinity +oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
993
993
|
<div class="ttc" id="classSVF_1_1NumericLiteral_html_a68e409232bf4bf0bbd688e36e8f526ee"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral()=delete</div><div class="ttdoc">Default constructor. </div></div>
|
|
994
994
|
</div><!-- fragment -->
|
|
995
995
|
</div>
|
|
@@ -1028,8 +1028,8 @@ Friends</h2></td></tr>
|
|
|
1028
1028
|
</table>
|
|
1029
1029
|
</div><div class="memdoc">
|
|
1030
1030
|
|
|
1031
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1032
|
-
<div class="fragment"><div class="line"><a name="
|
|
1031
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00360">360</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1032
|
+
<div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  {</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  <span class="keywordflow">return</span> std::min(lhs.getNumeral(), rhs.getNumeral());</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  }</div></div><!-- fragment -->
|
|
1033
1033
|
</div>
|
|
1034
1034
|
</div>
|
|
1035
1035
|
<a id="ad99117bc563574e2699a0b2950af4a05"></a>
|
|
@@ -1056,8 +1056,8 @@ Friends</h2></td></tr>
|
|
|
1056
1056
|
</table>
|
|
1057
1057
|
</div><div class="memdoc">
|
|
1058
1058
|
|
|
1059
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1060
|
-
<div class="fragment"><div class="line"><a name="
|
|
1059
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00371">371</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1060
|
+
<div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  {</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a> ret(INT_MAX);</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &it: _l)</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  {</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">if</span> (it.is_minus_infinity())</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!it.geq(ret))</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  {</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  ret = it;</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  }</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get minus infinity -oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00076">NumericLiteral.h:76</a></div></div>
|
|
1061
1061
|
<div class="ttc" id="classSVF_1_1NumericLiteral_html_a68e409232bf4bf0bbd688e36e8f526ee"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral()=delete</div><div class="ttdoc">Default constructor. </div></div>
|
|
1062
1062
|
</div><!-- fragment -->
|
|
1063
1063
|
</div>
|
|
@@ -1096,8 +1096,8 @@ Friends</h2></td></tr>
|
|
|
1096
1096
|
</table>
|
|
1097
1097
|
</div><div class="memdoc">
|
|
1098
1098
|
|
|
1099
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1100
|
-
<div class="fragment"><div class="line"><a name="
|
|
1099
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00282">282</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1100
|
+
<div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  {</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() & (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  }</div><div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1101
1101
|
</div><!-- fragment -->
|
|
1102
1102
|
</div>
|
|
1103
1103
|
</div>
|
|
@@ -1135,8 +1135,8 @@ Friends</h2></td></tr>
|
|
|
1135
1135
|
</table>
|
|
1136
1136
|
</div><div class="memdoc">
|
|
1137
1137
|
|
|
1138
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1139
|
-
<div class="fragment"><div class="line"><a name="
|
|
1138
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00318">318</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1139
|
+
<div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  <span class="keywordflow">return</span> lhs.getNumeral() && rhs.getNumeral();</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  }</div></div><!-- fragment -->
|
|
1140
1140
|
</div>
|
|
1141
1141
|
</div>
|
|
1142
1142
|
<a id="ad68b36d4cf69e4f627226a738d5d8a29"></a>
|
|
@@ -1163,8 +1163,8 @@ Friends</h2></td></tr>
|
|
|
1163
1163
|
</table>
|
|
1164
1164
|
</div><div class="memdoc">
|
|
1165
1165
|
|
|
1166
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1167
|
-
<div class="fragment"><div class="line"><a name="
|
|
1166
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00328">328</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1167
|
+
<div class="fragment"><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  {</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  <span class="keywordflow">return</span> !lhs.getNumeral();</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  }</div></div><!-- fragment -->
|
|
1168
1168
|
</div>
|
|
1169
1169
|
</div>
|
|
1170
1170
|
<a id="ad0b83965d54dd9a94b0ec0a87ef8aa83"></a>
|
|
@@ -1202,7 +1202,7 @@ Friends</h2></td></tr>
|
|
|
1202
1202
|
</div><div class="memdoc">
|
|
1203
1203
|
|
|
1204
1204
|
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00165">165</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1205
|
-
<div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs);</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
1205
|
+
<div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs);</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1206
1206
|
</div><!-- fragment -->
|
|
1207
1207
|
</div>
|
|
1208
1208
|
</div>
|
|
@@ -1240,11 +1240,11 @@ Friends</h2></td></tr>
|
|
|
1240
1240
|
</table>
|
|
1241
1241
|
</div><div class="memdoc">
|
|
1242
1242
|
|
|
1243
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1244
|
-
<div class="fragment"><div class="line"><a name="
|
|
1243
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00257">257</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1244
|
+
<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  {</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="keywordflow">if</span> (rhs.is_zero())</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  {</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"divide by zero"</span>);</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  abort();</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  }</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() % (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <span class="comment">// TODO: not sure</span></div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <span class="keywordflow">return</span> rhs.getNumeral() > 0 ? lhs : -lhs;</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="comment">// TODO: +oo/-oo L'Hôpital's rule?</span></div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs) ? <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>() : <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get minus infinity -oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00076">NumericLiteral.h:76</a></div></div>
|
|
1245
1245
|
<div class="ttc" id="classSVF_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="ttdoc">Get plus infinity +oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
1246
1246
|
<div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1247
|
-
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
1247
|
+
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1248
1248
|
</div><!-- fragment -->
|
|
1249
1249
|
</div>
|
|
1250
1250
|
</div>
|
|
@@ -1282,10 +1282,10 @@ Friends</h2></td></tr>
|
|
|
1282
1282
|
</table>
|
|
1283
1283
|
</div><div class="memdoc">
|
|
1284
1284
|
|
|
1285
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1286
|
-
<div class="fragment"><div class="line"><a name="
|
|
1285
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00224">224</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1286
|
+
<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <span class="keywordflow">if</span> (lhs.is_zero() || rhs.is_zero())</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs) ? <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>() : <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity())</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() > 0 ? lhs : -lhs;</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.is_infinity())</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  <span class="keywordflow">return</span> lhs.getNumeral() > 0 ? rhs : -rhs;</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>  <span class="keywordflow">return</span> lhs.getNumeral() * rhs.getNumeral();</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get minus infinity -oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00076">NumericLiteral.h:76</a></div></div>
|
|
1287
1287
|
<div class="ttc" id="classSVF_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="ttdoc">Get plus infinity +oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
1288
|
-
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
1288
|
+
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1289
1289
|
<div class="ttc" id="classSVF_1_1NumericLiteral_html_a1f9d85a8fee78c9a5f9fd9e781a57952"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">double getNumeral() const</div><div class="ttdoc">Return Numeral. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00112">NumericLiteral.h:112</a></div></div>
|
|
1290
1290
|
</div><!-- fragment -->
|
|
1291
1291
|
</div>
|
|
@@ -1325,7 +1325,7 @@ Friends</h2></td></tr>
|
|
|
1325
1325
|
</div><div class="memdoc">
|
|
1326
1326
|
|
|
1327
1327
|
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00190">190</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1328
|
-
<div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">if</span> (!lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> lhs.getNumeral() + rhs.getNumeral();</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">return</span> rhs;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs))</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined operation +oo + -oo"</span>);</div><div class="line"><a name="
|
|
1328
|
+
<div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  <span class="keywordflow">if</span> (!lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> lhs.getNumeral() + rhs.getNumeral();</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>  <span class="keywordflow">return</span> rhs;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs))</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined operation +oo + -oo"</span>);</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>  abort();</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  }</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1329
1329
|
</div><!-- fragment -->
|
|
1330
1330
|
</div>
|
|
1331
1331
|
</div>
|
|
@@ -1363,8 +1363,8 @@ Friends</h2></td></tr>
|
|
|
1363
1363
|
</table>
|
|
1364
1364
|
</div><div class="memdoc">
|
|
1365
1365
|
|
|
1366
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1367
|
-
<div class="fragment"><div class="line"><a name="
|
|
1366
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00207">207</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1367
|
+
<div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  {</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>  <span class="keywordflow">if</span> (!lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  <span class="keywordflow">return</span> lhs.getNumeral() - rhs.getNumeral();</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  <span class="keywordflow">return</span> -rhs;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs))</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  {</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"undefined operation +oo - +oo"</span>);</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>  abort();</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>  }</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1368
1368
|
</div><!-- fragment -->
|
|
1369
1369
|
</div>
|
|
1370
1370
|
</div>
|
|
@@ -1392,8 +1392,8 @@ Friends</h2></td></tr>
|
|
|
1392
1392
|
</table>
|
|
1393
1393
|
</div><div class="memdoc">
|
|
1394
1394
|
|
|
1395
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1396
|
-
<div class="fragment"><div class="line"><a name="
|
|
1395
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00333">333</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1396
|
+
<div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  {</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <span class="keywordflow">return</span> -lhs.getNumeral();</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  }</div></div><!-- fragment -->
|
|
1397
1397
|
</div>
|
|
1398
1398
|
</div>
|
|
1399
1399
|
<a id="a7b25cbee3dc405cb9c3e16305f263407"></a>
|
|
@@ -1430,10 +1430,10 @@ Friends</h2></td></tr>
|
|
|
1430
1430
|
</table>
|
|
1431
1431
|
</div><div class="memdoc">
|
|
1432
1432
|
|
|
1433
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1434
|
-
<div class="fragment"><div class="line"><a name="
|
|
1433
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00238">238</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1434
|
+
<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  {</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="keywordflow">if</span> (rhs.is_zero())</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  {</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  assert(<span class="keyword">false</span> && <span class="stringliteral">"divide by zero"</span>);</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  abort();</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  }</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  <span class="keywordflow">return</span> lhs.getNumeral() / rhs.getNumeral();</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.is_infinity() && rhs.is_infinity())</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity() && !rhs.is_infinity())</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordflow">return</span> rhs.getNumeral() > 0 ? lhs : -lhs;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="comment">// TODO: +oo/-oo L'Hôpital's rule?</span></div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs) ? <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>() : <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get minus infinity -oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00076">NumericLiteral.h:76</a></div></div>
|
|
1435
1435
|
<div class="ttc" id="classSVF_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="ttdoc">Get plus infinity +oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
1436
|
-
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
1436
|
+
<div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1437
1437
|
</div><!-- fragment -->
|
|
1438
1438
|
</div>
|
|
1439
1439
|
</div>
|
|
@@ -1509,8 +1509,8 @@ Friends</h2></td></tr>
|
|
|
1509
1509
|
</table>
|
|
1510
1510
|
</div><div class="memdoc">
|
|
1511
1511
|
|
|
1512
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1513
|
-
<div class="fragment"><div class="line"><a name="
|
|
1512
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00305">305</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1513
|
+
<div class="fragment"><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  assert(rhs.geq(0) && <span class="stringliteral">"rhs should be greater or equal than 0"</span>);</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">if</span> (lhs.is_zero())</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity())</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.is_infinity())</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">return</span> lhs._n >= 0 ? <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>() : <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() << (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div><div class="ttc" id="classSVF_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="ttdoc">Get minus infinity -oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00076">NumericLiteral.h:76</a></div></div>
|
|
1514
1514
|
<div class="ttc" id="classSVF_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="ttdoc">Get plus infinity +oo. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
1515
1515
|
<div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1516
1516
|
</div><!-- fragment -->
|
|
@@ -1550,8 +1550,8 @@ Friends</h2></td></tr>
|
|
|
1550
1550
|
</table>
|
|
1551
1551
|
</div><div class="memdoc">
|
|
1552
1552
|
|
|
1553
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1554
|
-
<div class="fragment"><div class="line"><a name="
|
|
1553
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00344">344</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1554
|
+
<div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  {</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  <span class="keywordflow">if</span> (expr.is_plus_infinity())</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  out << <span class="stringliteral">"+INF"</span>;</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (expr.is_minus_infinity())</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  out << <span class="stringliteral">"-INF"</span>;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  out << std::to_string(expr.getNumeral());</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  <span class="keywordflow">return</span> out;</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  }</div></div><!-- fragment -->
|
|
1555
1555
|
</div>
|
|
1556
1556
|
</div>
|
|
1557
1557
|
<a id="af40973365cb681abc4cc63c4fb2a6d07"></a>
|
|
@@ -1629,7 +1629,7 @@ Friends</h2></td></tr>
|
|
|
1629
1629
|
<p>Reload operator. </p>
|
|
1630
1630
|
|
|
1631
1631
|
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00160">160</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1632
|
-
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
1632
|
+
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(lhs, rhs);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div><div class="ttc" id="classSVF_1_1NumericLiteral_html_ab3e76e79e2113319688aad96db30b5ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">SVF::NumericLiteral::eq</a></div><div class="ttdeci">friend bool eq(const NumericLiteral &lhs, const NumericLiteral &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
|
|
1633
1633
|
</div><!-- fragment -->
|
|
1634
1634
|
</div>
|
|
1635
1635
|
</div>
|
|
@@ -1743,8 +1743,8 @@ Friends</h2></td></tr>
|
|
|
1743
1743
|
</table>
|
|
1744
1744
|
</div><div class="memdoc">
|
|
1745
1745
|
|
|
1746
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1747
|
-
<div class="fragment"><div class="line"><a name="
|
|
1746
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00292">292</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1747
|
+
<div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  {</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  assert(rhs.geq(0) && <span class="stringliteral">"rhs should be greater or equal than 0"</span>);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <span class="keywordflow">if</span> (lhs.is_zero())</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.is_infinity())</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.is_infinity())</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  <span class="keywordflow">return</span> lhs._n >= 0 ? 0 : -1;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  <a class="code" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() >> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  }</div><div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1748
1748
|
<div class="ttc" id="cJSON_8cpp_html_a15f779a174654a93596726f6eb6b57fe"><div class="ttname"><a href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a></div><div class="ttdeci">return(char *) p.buffer</div></div>
|
|
1749
1749
|
</div><!-- fragment -->
|
|
1750
1750
|
</div>
|
|
@@ -1783,8 +1783,8 @@ Friends</h2></td></tr>
|
|
|
1783
1783
|
</table>
|
|
1784
1784
|
</div><div class="memdoc">
|
|
1785
1785
|
|
|
1786
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1787
|
-
<div class="fragment"><div class="line"><a name="
|
|
1786
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00277">277</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1787
|
+
<div class="fragment"><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  {</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() ^ (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  }</div><div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1788
1788
|
</div><!-- fragment -->
|
|
1789
1789
|
</div>
|
|
1790
1790
|
</div>
|
|
@@ -1822,8 +1822,8 @@ Friends</h2></td></tr>
|
|
|
1822
1822
|
</table>
|
|
1823
1823
|
</div><div class="memdoc">
|
|
1824
1824
|
|
|
1825
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1826
|
-
<div class="fragment"><div class="line"><a name="
|
|
1825
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00287">287</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1826
|
+
<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  {</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.getNumeral() | (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.getNumeral();</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  }</div><div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
|
|
1827
1827
|
</div><!-- fragment -->
|
|
1828
1828
|
</div>
|
|
1829
1829
|
</div>
|
|
@@ -1861,8 +1861,8 @@ Friends</h2></td></tr>
|
|
|
1861
1861
|
</table>
|
|
1862
1862
|
</div><div class="memdoc">
|
|
1863
1863
|
|
|
1864
|
-
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#
|
|
1865
|
-
<div class="fragment"><div class="line"><a name="
|
|
1864
|
+
<p class="definition">Definition at line <a class="el" href="NumericLiteral_8h_source.html#l00323">323</a> of file <a class="el" href="NumericLiteral_8h_source.html">NumericLiteral.h</a>.</p>
|
|
1865
|
+
<div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  {</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <span class="keywordflow">return</span> lhs.getNumeral() || rhs.getNumeral();</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  }</div></div><!-- fragment -->
|
|
1866
1866
|
</div>
|
|
1867
1867
|
</div>
|
|
1868
1868
|
<h2 class="groupheader">Member Data Documentation</h2>
|