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.
Files changed (15) hide show
  1. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +8 -8
  2. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +8 -8
  3. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +21 -21
  4. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +24 -24
  5. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +47 -47
  6. package/SVF-doxygen/html/html/lib_2SVF-LLVM_2CMakeLists_8txt.html +73 -0
  7. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  8. package/SVF-doxygen/html/html/search/files_2.js +1 -1
  9. package/build.sh +44 -56
  10. package/include/AbstractExecution/NumericLiteral.h +20 -4
  11. package/lib/CFL/CFGNormalizer.cpp +2 -3
  12. package/lib/CMakeLists.txt +28 -11
  13. package/lib/SVF-LLVM/CMakeLists.txt +0 -0
  14. package/package.json +1 -1
  15. package/setup.sh +9 -9
package/SVF-doxygen/html/html/NumericLiteral_8h_source.html CHANGED
@@ -66,61 +66,61 @@ $(function() {
66
66
  <div class="title">NumericLiteral.h</div> </div>
67
67
  </div><!--header-->
68
68
  <div class="contents">
69
- <a href="NumericLiteral_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- NumericLiteral.h ----Number wrapper for domains------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2022&gt; &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment"> * NumericLiteral.h</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> * Created on: Aug 4, 2022</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Author: Xiao Cheng, Jiawei Wang</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef Z3_EXAMPLE_Number_H</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define Z3_EXAMPLE_Number_H</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFType_8h.html">SVFIR/SVFType.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html"> 37</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a></div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;{</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535"> 40</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>() = <span class="keyword">delete</span>;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247"> 47</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247">NumericLiteral</a>(<span class="keywordtype">double</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730"> 50</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8"> 53</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506"> 56</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6"> 59</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">~NumericLiteral</a>() = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;&amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">operator=</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;&amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c"> 76</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>()</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; {</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(INT_MIN);</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d"> 82</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>()</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(INT_MAX);</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15"> 88</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">return</span> _n == INT_MIN;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7"> 94</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> _n == INT_MAX;</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d"> 100</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>() || <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71"> 106</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">return</span> _n == 0;</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952"> 112</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a"> 118</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <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>&#160; }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b"> 124</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() ^ rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>();</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">return</span> _n &lt;= rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="comment">// Greater than or equal</span></div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d"> 141</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() ^ rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>();</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="keywordflow">return</span> _n &gt;= rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="comment">//{%</span></div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed"> 160</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <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>&#160; }</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83"> 165</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <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>&#160; }</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54"> 170</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(rhs);</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d"> 175</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(rhs);</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07"> 180</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">operator&lt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(rhs);</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf"> 185</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">operator&gt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(rhs);</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;</div><div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84"> 190</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">operator+</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() + rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> rhs;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <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>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;undefined operation +oo + -oo&quot;</span>);</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;</div><div class="line"><a name="l00204"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d"> 204</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">operator-</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; {</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() - rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> -rhs;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <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="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;undefined operation +oo - +oo&quot;</span>);</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;</div><div class="line"><a name="l00218"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf"> 218</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">operator*</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; {</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() || rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>()) <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <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="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? rhs : -rhs;</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() * rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;</div><div class="line"><a name="l00231"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407"> 231</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">operator/</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>()) assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;divide by zero&quot;</span>);</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() / rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="comment">// TODO: +oo/-oo L&#39;Hôpital&#39;s rule?</span></div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <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="l00243"></a><span class="lineno"> 243</span>&#160; }</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160;</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39"> 245</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">operator%</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>()) assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;divide by zero&quot;</span>);</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() % (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="comment">// TODO: not sure</span></div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="comment">// TODO: +oo/-oo L&#39;Hôpital&#39;s rule?</span></div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <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="l00258"></a><span class="lineno"> 258</span>&#160; }</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160;</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="comment">// TODO: logic operation for infinity?</span></div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604"> 261</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">operator^</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; {</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() ^ (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; }</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160;</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb"> 266</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb">operator&amp;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; {</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &amp; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160;</div><div class="line"><a name="l00271"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05"> 271</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">operator|</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() | (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160;</div><div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516"> 276</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">operator&gt;&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; assert(rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(0) &amp;&amp; <span class="stringliteral">&quot;rhs should be greater or equal than 0&quot;</span>);</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> &gt;= 0 ? 0 : -1;</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <a class="code" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt;&gt; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160;</div><div class="line"><a name="l00289"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d"> 289</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">operator&lt;&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; {</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; assert(rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(0) &amp;&amp; <span class="stringliteral">&quot;rhs should be greater or equal than 0&quot;</span>);</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> &gt;= 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="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &lt;&lt; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; }</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160;</div><div class="line"><a name="l00302"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4"> 302</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4">operator&amp;&amp;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160;</div><div class="line"><a name="l00307"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8"> 307</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">operator||</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() || rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160;</div><div class="line"><a name="l00312"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29"> 312</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">operator!</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs)</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; {</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;</div><div class="line"><a name="l00317"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3"> 317</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">operator-</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs)</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; {</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">return</span> -lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; }</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160;</div><div class="line"><a name="l00323"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a"> 323</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">ite</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;cond, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> cond.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() ? lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() : rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160;</div><div class="line"><a name="l00328"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792"> 328</a></span>&#160; <span class="keyword">friend</span> std::ostream &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">operator&lt;&lt;</a>(std::ostream &amp;out, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;expr)</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; {</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">if</span> (expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>())</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; out &lt;&lt; <span class="stringliteral">&quot;+INF&quot;</span>;</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>())</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; out &lt;&lt; <span class="stringliteral">&quot;-INF&quot;</span>;</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; out &lt;&lt; std::to_string(expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> out;</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed"> 339</a></span>&#160; <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> == rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160;</div><div class="line"><a name="l00344"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97"> 344</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">min</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> std::min(lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160;</div><div class="line"><a name="l00349"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec"> 349</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">max</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">return</span> std::max(lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <span class="comment">// TODO: how to use initializer_list as argument?</span></div><div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05"> 355</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05">min</a>(std::initializer_list&lt;NumericLiteral&gt; _l)</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> ret(INT_MAX);</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _l)</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">if</span> (it.is_minus_infinity())</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>();</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!it.geq(ret))</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; ret = it;</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; }</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1"> 370</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1">max</a>(std::initializer_list&lt;NumericLiteral&gt; _l)</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; {</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> ret(INT_MIN);</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _l)</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; {</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordflow">if</span> (it.is_plus_infinity())</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>();</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!it.leq(ret))</div><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; {</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; ret = it;</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; }</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160;</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="comment">//%}</span></div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160;</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160;</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160;}; <span class="comment">// end class IntervalDouble</span></div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160;} <span class="comment">// end namespace SVF</span></div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_Number_H</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>
69
+ <a href="NumericLiteral_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- NumericLiteral.h ----Number wrapper for domains------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2022&gt; &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment"> * NumericLiteral.h</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> * Created on: Aug 4, 2022</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Author: Xiao Cheng, Jiawei Wang</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef Z3_EXAMPLE_Number_H</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define Z3_EXAMPLE_Number_H</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFType_8h.html">SVFIR/SVFType.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html"> 37</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a></div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;{</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535"> 40</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>() = <span class="keyword">delete</span>;</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247"> 47</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247">NumericLiteral</a>(<span class="keywordtype">double</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730"> 50</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;</div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8"> 53</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506"> 56</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6"> 59</a></span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6">NumericLiteral</a>(<a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) : _n(n) {}</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">~NumericLiteral</a>() = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;&amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">operator=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">operator=</a>(<a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;&amp;) noexcept = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c"> 76</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>()</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; {</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(INT_MIN);</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; }</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d"> 82</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>()</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>(INT_MAX);</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15"> 88</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">return</span> _n == INT_MIN;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7"> 94</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> _n == INT_MAX;</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d"> 100</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>() || <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71"> 106</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">return</span> _n == 0;</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952"> 112</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a"> 118</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <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>&#160; }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b"> 124</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() ^ rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; {</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>();</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">return</span> _n &lt;= rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; }</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="comment">// Greater than or equal</span></div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d"> 141</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() ^ rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>();</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <span class="keywordflow">return</span> _n &gt;= rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="comment">//{%</span></div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed"> 160</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <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>&#160; }</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83"> 165</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <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>&#160; }</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54"> 170</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(rhs);</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d"> 175</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(rhs);</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160;</div><div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07"> 180</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">operator&lt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(rhs);</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf"> 185</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">operator&gt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(rhs);</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;</div><div class="line"><a name="l00190"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84"> 190</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">operator+</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; rhs)</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() + rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> rhs;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <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>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;undefined operation +oo + -oo&quot;</span>);</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; abort();</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; }</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; }</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160;</div><div class="line"><a name="l00207"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d"> 207</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">operator-</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; {</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() - rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> -rhs;</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <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>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;undefined operation +oo - +oo&quot;</span>);</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; abort();</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; }</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160;</div><div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf"> 224</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">operator*</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() || rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <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>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? rhs : -rhs;</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() * rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;</div><div class="line"><a name="l00238"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407"> 238</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">operator/</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160;</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;divide by zero&quot;</span>);</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; abort();</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; }</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() / rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="comment">// TODO: +oo/-oo L&#39;Hôpital&#39;s rule?</span></div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <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>&#160; }</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160;</div><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39"> 257</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">operator%</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; {</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;divide by zero&quot;</span>);</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; abort();</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; }</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() % (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (!lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; <span class="comment">// TODO: not sure</span></div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() &amp;&amp; !rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt; 0 ? lhs : -lhs;</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="comment">// TODO: +oo/-oo L&#39;Hôpital&#39;s rule?</span></div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <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>&#160; }</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160;</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="comment">// TODO: logic operation for infinity?</span></div><div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604"> 277</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">operator^</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() ^ (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160;</div><div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb"> 282</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb">operator&amp;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &amp; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160;</div><div class="line"><a name="l00287"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05"> 287</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">operator|</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() | (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160;</div><div class="line"><a name="l00292"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516"> 292</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">operator&gt;&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; assert(rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(0) &amp;&amp; <span class="stringliteral">&quot;rhs should be greater or equal than 0&quot;</span>);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> &gt;= 0 ? 0 : -1;</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &gt;&gt; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160;</div><div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d"> 305</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">operator&lt;&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; assert(rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(0) &amp;&amp; <span class="stringliteral">&quot;rhs should be greater or equal than 0&quot;</span>);</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>())</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; <span class="keywordflow">return</span> lhs;</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>())</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> &gt;= 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>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &lt;&lt; (<a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>) rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160;</div><div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4"> 318</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4">operator&amp;&amp;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() &amp;&amp; rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160;</div><div class="line"><a name="l00323"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8"> 323</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">operator||</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() || rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160;</div><div class="line"><a name="l00328"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29"> 328</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">operator!</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs)</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; {</div><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> !lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; }</div><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160;</div><div class="line"><a name="l00333"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3"> 333</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">operator-</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs)</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; {</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">return</span> -lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; }</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160;</div><div class="line"><a name="l00339"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a"> 339</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">ite</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;cond, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div><div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">return</span> cond.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() ? lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>() : rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>();</div><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160;</div><div class="line"><a name="l00344"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792"> 344</a></span>&#160; <span class="keyword">friend</span> std::ostream &amp;<a class="code" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">operator&lt;&lt;</a>(std::ostream &amp;out, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;expr)</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">if</span> (expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>())</div><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; out &lt;&lt; <span class="stringliteral">&quot;+INF&quot;</span>;</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>())</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; out &lt;&lt; <span class="stringliteral">&quot;-INF&quot;</span>;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; out &lt;&lt; std::to_string(expr.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordflow">return</span> out;</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; }</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160;</div><div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed"> 355</a></span>&#160; <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed">eq</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keywordflow">return</span> lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a> == rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">_n</a>;</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160;</div><div class="line"><a name="l00360"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97"> 360</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">min</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> std::min(lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160;</div><div class="line"><a name="l00365"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec"> 365</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">max</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;lhs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;rhs)</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> std::max(lhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>(), rhs.<a class="code" href="classSVF_1_1NumericLiteral.html#a1f9d85a8fee78c9a5f9fd9e781a57952">getNumeral</a>());</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="comment">// TODO: how to use initializer_list as argument?</span></div><div class="line"><a name="l00371"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05"> 371</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05">min</a>(std::initializer_list&lt;NumericLiteral&gt; _l)</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; {</div><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> ret(INT_MAX);</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _l)</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; {</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">if</span> (it.is_minus_infinity())</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <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>&#160; <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>&#160; {</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; ret = it;</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; }</div><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; }</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160;</div><div class="line"><a name="l00386"></a><span class="lineno"><a class="line" href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1"> 386</a></span>&#160; <span class="keyword">friend</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> <a class="code" href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1">max</a>(std::initializer_list&lt;NumericLiteral&gt; _l)</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; {</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> ret(INT_MIN);</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;it: _l)</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">if</span> (it.is_plus_infinity())</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <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>&#160; <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>&#160; {</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; ret = it;</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span> ret;</div><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; }</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160;</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="comment">//%}</span></div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160;</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160;</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160;}; <span class="comment">// end class IntervalDouble</span></div><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160;} <span class="comment">// end namespace SVF</span></div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_Number_H</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>
70
70
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a0ed43f20cc24891d5c5eebe95914d730"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(s32_t n)</div><div class="ttdoc">Create a new NumericLiteral from s32_t. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00050">NumericLiteral.h:50</a></div></div>
71
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_adfd0722351b93c3ab7ffd4147e278f7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend NumericLiteral operator&lt;&lt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00289">NumericLiteral.h:289</a></div></div>
72
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a82340a506f381d4dad620cfd524aeb39"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">SVF::NumericLiteral::operator%</a></div><div class="ttdeci">friend NumericLiteral operator%(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00245">NumericLiteral.h:245</a></div></div>
73
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a9e7a696842de2a4fae08a75d72a807ec"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00349">NumericLiteral.h:349</a></div></div>
71
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_adfd0722351b93c3ab7ffd4147e278f7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend NumericLiteral operator&lt;&lt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00305">NumericLiteral.h:305</a></div></div>
72
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a82340a506f381d4dad620cfd524aeb39"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">SVF::NumericLiteral::operator%</a></div><div class="ttdeci">friend NumericLiteral operator%(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00257">NumericLiteral.h:257</a></div></div>
73
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a9e7a696842de2a4fae08a75d72a807ec"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00365">NumericLiteral.h:365</a></div></div>
74
74
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00088">NumericLiteral.h:88</a></div></div>
75
75
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_afef9ceccd945b00c4a542ac9f277bde2"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">SVF::NumericLiteral::operator=</a></div><div class="ttdeci">NumericLiteral &amp; operator=(const NumericLiteral &amp;) noexcept=default</div><div class="ttdoc">Operator = , another Copy Constructor. </div></div>
76
76
  <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>
77
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_acd6b5117399b0572133d3d94dc064acf"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">SVF::NumericLiteral::operator*</a></div><div class="ttdeci">friend NumericLiteral operator*(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00218">NumericLiteral.h:218</a></div></div>
77
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_acd6b5117399b0572133d3d94dc064acf"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">SVF::NumericLiteral::operator*</a></div><div class="ttdeci">friend NumericLiteral operator*(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00224">NumericLiteral.h:224</a></div></div>
78
78
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00118">NumericLiteral.h:118</a></div></div>
79
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_aecb4c8bd2c66a906a4b4556c80838d1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00204">NumericLiteral.h:204</a></div></div>
79
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_aecb4c8bd2c66a906a4b4556c80838d1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00207">NumericLiteral.h:207</a></div></div>
80
80
  <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>
81
81
  <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>
82
82
  <div class="ttc" id="SVFType_8h_html"><div class="ttname"><a href="SVFType_8h.html">SVFType.h</a></div></div>
83
83
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a4eb2b07a6aee71e66a16ffe690db9826"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">SVF::NumericLiteral::~NumericLiteral</a></div><div class="ttdeci">virtual ~NumericLiteral()=default</div></div>
84
84
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_ae780e2fce146fa830378089a63dedcc8"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(s64_t n)</div><div class="ttdoc">Create a new NumericLiteral from s64_t. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00053">NumericLiteral.h:53</a></div></div>
85
85
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a8d874a7b6396e8af210c4a36d3234d71"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">SVF::NumericLiteral::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdoc">Check if this is zero. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00106">NumericLiteral.h:106</a></div></div>
86
- <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 &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00339">NumericLiteral.h:339</a></div></div>
86
+ <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 &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
87
87
  <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>
88
88
  <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
89
89
  <div class="ttc" id="classSVF_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#l00094">NumericLiteral.h:94</a></div></div>
90
90
  <div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
91
91
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a1a06b5b2e22ba2265d57b6f0c9ed9d84"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">SVF::NumericLiteral::operator+</a></div><div class="ttdeci">friend NumericLiteral operator+(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00190">NumericLiteral.h:190</a></div></div>
92
92
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_af40973365cb681abc4cc63c4fb2a6d07"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral::operator&lt;=</a></div><div class="ttdeci">friend NumericLiteral operator&lt;=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00180">NumericLiteral.h:180</a></div></div>
93
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad68b36d4cf69e4f627226a738d5d8a29"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">SVF::NumericLiteral::operator!</a></div><div class="ttdeci">friend NumericLiteral operator!(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00312">NumericLiteral.h:312</a></div></div>
93
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad68b36d4cf69e4f627226a738d5d8a29"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">SVF::NumericLiteral::operator!</a></div><div class="ttdeci">friend NumericLiteral operator!(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00328">NumericLiteral.h:328</a></div></div>
94
94
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00124">NumericLiteral.h:124</a></div></div>
95
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_af3544c0025b1796bce75891cf9c4e28a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">SVF::NumericLiteral::ite</a></div><div class="ttdeci">friend NumericLiteral ite(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Return ite? lhs : rhs. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00323">NumericLiteral.h:323</a></div></div>
96
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a24e0085eb116dfcf0744af5531dbaf05"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">SVF::NumericLiteral::operator|</a></div><div class="ttdeci">friend NumericLiteral operator|(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00271">NumericLiteral.h:271</a></div></div>
95
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_af3544c0025b1796bce75891cf9c4e28a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">SVF::NumericLiteral::ite</a></div><div class="ttdeci">friend NumericLiteral ite(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Return ite? lhs : rhs. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00339">NumericLiteral.h:339</a></div></div>
96
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a24e0085eb116dfcf0744af5531dbaf05"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">SVF::NumericLiteral::operator|</a></div><div class="ttdeci">friend NumericLiteral operator|(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00287">NumericLiteral.h:287</a></div></div>
97
97
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a35245a54dbfc750c4d07cf6229b6b506"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(u32_t n)</div><div class="ttdoc">Create a new NumericLiteral from u32_t. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00056">NumericLiteral.h:56</a></div></div>
98
98
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00141">NumericLiteral.h:141</a></div></div>
99
99
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad0b83965d54dd9a94b0ec0a87ef8aa83"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">SVF::NumericLiteral::operator!=</a></div><div class="ttdeci">friend NumericLiteral operator!=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00165">NumericLiteral.h:165</a></div></div>
100
100
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a8f4a1492bdce0c3d04c50c746279272d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">SVF::NumericLiteral::operator&lt;</a></div><div class="ttdeci">friend NumericLiteral operator&lt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00175">NumericLiteral.h:175</a></div></div>
101
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a5b421ff78df11b84654155dc88bb5516"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral::operator&gt;&gt;</a></div><div class="ttdeci">friend NumericLiteral operator&gt;&gt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00276">NumericLiteral.h:276</a></div></div>
101
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a5b421ff78df11b84654155dc88bb5516"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">SVF::NumericLiteral::operator&gt;&gt;</a></div><div class="ttdeci">friend NumericLiteral operator&gt;&gt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00292">NumericLiteral.h:292</a></div></div>
102
102
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a0e8fd6054cb8b79d7e6c0b4b4b875247"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(double n)</div><div class="ttdoc">Create a new NumericLiteral from double. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00047">NumericLiteral.h:47</a></div></div>
103
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a7b25cbee3dc405cb9c3e16305f263407"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">SVF::NumericLiteral::operator/</a></div><div class="ttdeci">friend NumericLiteral operator/(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00231">NumericLiteral.h:231</a></div></div>
104
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a89b4521f3907f4886fa1063e93319792"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;out, const NumericLiteral &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00328">NumericLiteral.h:328</a></div></div>
103
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a7b25cbee3dc405cb9c3e16305f263407"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">SVF::NumericLiteral::operator/</a></div><div class="ttdeci">friend NumericLiteral operator/(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00238">NumericLiteral.h:238</a></div></div>
104
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a89b4521f3907f4886fa1063e93319792"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">SVF::NumericLiteral::operator&lt;&lt;</a></div><div class="ttdeci">friend std::ostream &amp; operator&lt;&lt;(std::ostream &amp;out, const NumericLiteral &amp;expr)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00344">NumericLiteral.h:344</a></div></div>
105
105
  <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>
106
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a71b7d5d1bd1842b1ba923c3780f692eb"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb">SVF::NumericLiteral::operator &amp;</a></div><div class="ttdeci">friend NumericLiteral operator &amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00266">NumericLiteral.h:266</a></div></div>
106
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a71b7d5d1bd1842b1ba923c3780f692eb"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb">SVF::NumericLiteral::operator &amp;</a></div><div class="ttdeci">friend NumericLiteral operator &amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00282">NumericLiteral.h:282</a></div></div>
107
107
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab0cb27a9c31ce20500babb0dff9b87bf"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral::operator&gt;=</a></div><div class="ttdeci">friend NumericLiteral operator&gt;=(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00185">NumericLiteral.h:185</a></div></div>
108
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab4f45675a9fecb201d0fe05d107fcb97"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">SVF::NumericLiteral::min</a></div><div class="ttdeci">friend NumericLiteral min(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00344">NumericLiteral.h:344</a></div></div>
108
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab4f45675a9fecb201d0fe05d107fcb97"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">SVF::NumericLiteral::min</a></div><div class="ttdeci">friend NumericLiteral min(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00360">NumericLiteral.h:360</a></div></div>
109
109
  <div class="ttc" id="namespaceSVF_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="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
110
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_aa4b036114c2980f578c359fff6f4e604"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral::operator^</a></div><div class="ttdeci">friend NumericLiteral operator^(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00261">NumericLiteral.h:261</a></div></div>
111
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad99117bc563574e2699a0b2950af4a05"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05">SVF::NumericLiteral::min</a></div><div class="ttdeci">friend NumericLiteral min(std::initializer_list&lt; NumericLiteral &gt; _l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00355">NumericLiteral.h:355</a></div></div>
112
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_aec2acc023ff24e72ac5ca7ea57761df3"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00317">NumericLiteral.h:317</a></div></div>
110
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_aa4b036114c2980f578c359fff6f4e604"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral::operator^</a></div><div class="ttdeci">friend NumericLiteral operator^(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00277">NumericLiteral.h:277</a></div></div>
111
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad99117bc563574e2699a0b2950af4a05"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad99117bc563574e2699a0b2950af4a05">SVF::NumericLiteral::min</a></div><div class="ttdeci">friend NumericLiteral min(std::initializer_list&lt; NumericLiteral &gt; _l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00371">NumericLiteral.h:371</a></div></div>
112
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_aec2acc023ff24e72ac5ca7ea57761df3"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">SVF::NumericLiteral::operator-</a></div><div class="ttdeci">friend NumericLiteral operator-(const NumericLiteral &amp;lhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00333">NumericLiteral.h:333</a></div></div>
113
113
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a02502afedfb6aba0954720e9479bd5f6"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6">SVF::NumericLiteral::NumericLiteral</a></div><div class="ttdeci">NumericLiteral(u64_t n)</div><div class="ttdoc">Create a new NumericLiteral from u64_t. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00059">NumericLiteral.h:59</a></div></div>
114
114
  <div class="ttc" id="classSVF_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#l00100">NumericLiteral.h:100</a></div></div>
115
115
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_ad99ed283f2b7875f13aea347fa2c8b54"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral::operator&gt;</a></div><div class="ttdeci">friend NumericLiteral operator&gt;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00170">NumericLiteral.h:170</a></div></div>
116
116
  <div class="ttc" id="classSVF_1_1NumericLiteral_html"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00037">NumericLiteral.h:37</a></div></div>
117
117
  <div class="ttc" id="namespaceSVF_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#l00053">SVFType.h:53</a></div></div>
118
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab5decc89d3b8a4f5a171b8a01a1afef8"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">SVF::NumericLiteral::operator||</a></div><div class="ttdeci">friend NumericLiteral operator||(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00307">NumericLiteral.h:307</a></div></div>
118
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_ab5decc89d3b8a4f5a171b8a01a1afef8"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">SVF::NumericLiteral::operator||</a></div><div class="ttdeci">friend NumericLiteral operator||(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00323">NumericLiteral.h:323</a></div></div>
119
119
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_a1ed3cffe1d4ee076b8683f40806619ed"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">SVF::NumericLiteral::operator==</a></div><div class="ttdeci">friend NumericLiteral operator==(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdoc">Reload operator. </div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00160">NumericLiteral.h:160</a></div></div>
120
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_adfd6ff137b58ba4731223c2bc917bbf4"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4">SVF::NumericLiteral::operator &amp;&amp;</a></div><div class="ttdeci">friend NumericLiteral operator &amp;&amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00302">NumericLiteral.h:302</a></div></div>
120
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_adfd6ff137b58ba4731223c2bc917bbf4"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4">SVF::NumericLiteral::operator &amp;&amp;</a></div><div class="ttdeci">friend NumericLiteral operator &amp;&amp;(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00318">NumericLiteral.h:318</a></div></div>
121
121
  <div class="ttc" id="namespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
122
122
  <div class="ttc" id="classSVF_1_1NumericLiteral_html_addf7a2f82f9bd13f159ce048b90b5535"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#addf7a2f82f9bd13f159ce048b90b5535">SVF::NumericLiteral::_n</a></div><div class="ttdeci">double _n</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00040">NumericLiteral.h:40</a></div></div>
123
- <div class="ttc" id="classSVF_1_1NumericLiteral_html_a4abe39a5e67635ed5dbd410ebbf36ab1"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(std::initializer_list&lt; NumericLiteral &gt; _l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00370">NumericLiteral.h:370</a></div></div>
123
+ <div class="ttc" id="classSVF_1_1NumericLiteral_html_a4abe39a5e67635ed5dbd410ebbf36ab1"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4abe39a5e67635ed5dbd410ebbf36ab1">SVF::NumericLiteral::max</a></div><div class="ttdeci">friend NumericLiteral max(std::initializer_list&lt; NumericLiteral &gt; _l)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00386">NumericLiteral.h:386</a></div></div>
124
124
  </div><!-- fragment --></div><!-- contents -->
125
125
  <!-- start footer part -->
126
126
  <hr class="footer"/><address class="footer"><small>