svf-tools 1.0.898 → 1.0.899
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1 -1
- package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
- package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +399 -395
- package/SVF-doxygen/html/ConsExeState_8cpp_source.html +4 -4
- package/SVF-doxygen/html/ConsExeState_8h_source.html +4 -4
- package/SVF-doxygen/html/IntervalValue_8h_source.html +8 -8
- package/SVF-doxygen/html/NumericLiteral_8h_source.html +378 -371
- package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
- package/SVF-doxygen/html/Options_8h_source.html +8 -4
- package/SVF-doxygen/html/RelExeState_8cpp_source.html +4 -4
- package/SVF-doxygen/html/RelExeState_8h_source.html +3 -3
- package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
- package/SVF-doxygen/html/RelationSolver_8cpp_source.html +382 -374
- package/SVF-doxygen/html/RelationSolver_8h_source.html +10 -10
- package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +4 -4
- package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
- package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
- package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
- package/SVF-doxygen/html/ae_8cpp_source.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +81 -80
- package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +337 -302
- package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +6 -6
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +53 -52
- package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +333 -297
- package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
- package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
- package/SVF-doxygen/html/classSVF_1_1RelExeState.html +4 -4
- package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +358 -354
- package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1 -1
- package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +5 -5
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +100 -99
- package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +11 -5
- package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
- package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
- package/SVF-doxygen/html/classSymblicAbstractionTest.html +4 -4
- package/SVF-doxygen/html/functions_a.html +9 -6
- package/SVF-doxygen/html/functions_b.html +6 -6
- package/SVF-doxygen/html/functions_func_b.html +3 -3
- package/SVF-doxygen/html/functions_func_g.html +15 -14
- package/SVF-doxygen/html/functions_func_i.html +2 -2
- package/SVF-doxygen/html/functions_func_z.html +1 -1
- package/SVF-doxygen/html/functions_g.html +18 -17
- package/SVF-doxygen/html/functions_l.html +3 -3
- package/SVF-doxygen/html/functions_p.html +14 -18
- package/SVF-doxygen/html/functions_r.html +1 -1
- package/SVF-doxygen/html/functions_s.html +24 -20
- package/SVF-doxygen/html/functions_t.html +5 -5
- package/SVF-doxygen/html/functions_v.html +6 -6
- package/SVF-doxygen/html/functions_vars_a.html +3 -0
- package/SVF-doxygen/html/functions_z.html +1 -1
- package/SVF-doxygen/html/search/all_1.js +133 -132
- package/SVF-doxygen/html/search/all_10.js +326 -326
- package/SVF-doxygen/html/search/all_11.js +226 -226
- package/SVF-doxygen/html/search/all_12.js +574 -574
- package/SVF-doxygen/html/search/all_13.js +208 -208
- package/SVF-doxygen/html/search/all_14.js +73 -73
- package/SVF-doxygen/html/search/all_15.js +176 -176
- package/SVF-doxygen/html/search/all_16.js +77 -77
- package/SVF-doxygen/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/search/all_18.js +1 -1
- package/SVF-doxygen/html/search/all_19.js +27 -27
- package/SVF-doxygen/html/search/all_1a.js +179 -179
- package/SVF-doxygen/html/search/all_2.js +182 -182
- package/SVF-doxygen/html/search/all_3.js +642 -642
- package/SVF-doxygen/html/search/all_4.js +236 -236
- package/SVF-doxygen/html/search/all_5.js +126 -126
- package/SVF-doxygen/html/search/all_6.js +235 -235
- package/SVF-doxygen/html/search/all_7.js +1056 -1056
- package/SVF-doxygen/html/search/all_8.js +215 -215
- package/SVF-doxygen/html/search/all_9.js +632 -632
- package/SVF-doxygen/html/search/all_a.js +46 -46
- package/SVF-doxygen/html/search/all_b.js +26 -26
- package/SVF-doxygen/html/search/all_c.js +115 -115
- package/SVF-doxygen/html/search/all_d.js +204 -204
- package/SVF-doxygen/html/search/all_e.js +209 -209
- package/SVF-doxygen/html/search/all_f.js +122 -122
- package/SVF-doxygen/html/search/classes_0.js +28 -28
- package/SVF-doxygen/html/search/classes_1.js +11 -11
- package/SVF-doxygen/html/search/classes_10.js +74 -74
- package/SVF-doxygen/html/search/classes_11.js +14 -14
- package/SVF-doxygen/html/search/classes_12.js +2 -2
- package/SVF-doxygen/html/search/classes_13.js +10 -10
- package/SVF-doxygen/html/search/classes_14.js +19 -19
- package/SVF-doxygen/html/search/classes_15.js +1 -1
- package/SVF-doxygen/html/search/classes_2.js +73 -73
- package/SVF-doxygen/html/search/classes_3.js +35 -35
- package/SVF-doxygen/html/search/classes_4.js +8 -8
- package/SVF-doxygen/html/search/classes_5.js +28 -28
- package/SVF-doxygen/html/search/classes_6.js +98 -98
- package/SVF-doxygen/html/search/classes_7.js +38 -38
- package/SVF-doxygen/html/search/classes_8.js +59 -59
- package/SVF-doxygen/html/search/classes_9.js +1 -1
- package/SVF-doxygen/html/search/classes_a.js +12 -12
- package/SVF-doxygen/html/search/classes_b.js +29 -29
- package/SVF-doxygen/html/search/classes_c.js +6 -6
- package/SVF-doxygen/html/search/classes_d.js +19 -19
- package/SVF-doxygen/html/search/classes_e.js +36 -36
- package/SVF-doxygen/html/search/classes_f.js +25 -25
- package/SVF-doxygen/html/search/defines_0.js +3 -3
- package/SVF-doxygen/html/search/defines_1.js +3 -3
- package/SVF-doxygen/html/search/defines_10.js +2 -2
- package/SVF-doxygen/html/search/defines_2.js +30 -30
- package/SVF-doxygen/html/search/defines_3.js +20 -20
- package/SVF-doxygen/html/search/defines_4.js +3 -3
- package/SVF-doxygen/html/search/defines_5.js +4 -4
- package/SVF-doxygen/html/search/defines_6.js +2 -2
- package/SVF-doxygen/html/search/defines_7.js +5 -5
- package/SVF-doxygen/html/search/defines_8.js +11 -11
- package/SVF-doxygen/html/search/defines_9.js +9 -9
- package/SVF-doxygen/html/search/defines_a.js +2 -2
- package/SVF-doxygen/html/search/defines_b.js +1 -1
- package/SVF-doxygen/html/search/defines_c.js +4 -4
- package/SVF-doxygen/html/search/defines_d.js +2 -2
- package/SVF-doxygen/html/search/defines_e.js +8 -8
- package/SVF-doxygen/html/search/defines_f.js +4 -4
- package/SVF-doxygen/html/search/enums_0.js +4 -4
- package/SVF-doxygen/html/search/enums_1.js +2 -2
- package/SVF-doxygen/html/search/enums_10.js +1 -1
- package/SVF-doxygen/html/search/enums_11.js +1 -1
- package/SVF-doxygen/html/search/enums_2.js +9 -9
- package/SVF-doxygen/html/search/enums_3.js +1 -1
- package/SVF-doxygen/html/search/enums_4.js +4 -4
- package/SVF-doxygen/html/search/enums_5.js +1 -1
- package/SVF-doxygen/html/search/enums_6.js +2 -2
- package/SVF-doxygen/html/search/enums_7.js +2 -2
- package/SVF-doxygen/html/search/enums_8.js +4 -4
- package/SVF-doxygen/html/search/enums_9.js +1 -1
- package/SVF-doxygen/html/search/enums_a.js +1 -1
- package/SVF-doxygen/html/search/enums_b.js +7 -7
- package/SVF-doxygen/html/search/enums_c.js +1 -1
- package/SVF-doxygen/html/search/enums_d.js +4 -4
- package/SVF-doxygen/html/search/enums_e.js +2 -2
- package/SVF-doxygen/html/search/enums_f.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
- package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
- package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
- package/SVF-doxygen/html/search/enumvalues_11.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
- package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
- package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
- package/SVF-doxygen/html/search/enumvalues_2.js +37 -37
- package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
- package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
- package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
- package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
- package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
- package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
- package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
- package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
- package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
- package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
- package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
- package/SVF-doxygen/html/search/enumvalues_f.js +49 -49
- package/SVF-doxygen/html/search/files_0.js +16 -16
- package/SVF-doxygen/html/search/files_1.js +9 -9
- package/SVF-doxygen/html/search/files_10.js +8 -8
- package/SVF-doxygen/html/search/files_11.js +8 -8
- package/SVF-doxygen/html/search/files_12.js +2 -2
- package/SVF-doxygen/html/search/files_2.js +53 -53
- package/SVF-doxygen/html/search/files_3.js +14 -14
- package/SVF-doxygen/html/search/files_4.js +5 -5
- package/SVF-doxygen/html/search/files_5.js +13 -13
- package/SVF-doxygen/html/search/files_6.js +10 -10
- package/SVF-doxygen/html/search/files_7.js +17 -17
- package/SVF-doxygen/html/search/files_8.js +13 -13
- package/SVF-doxygen/html/search/files_9.js +18 -18
- package/SVF-doxygen/html/search/files_a.js +3 -3
- package/SVF-doxygen/html/search/files_b.js +4 -4
- package/SVF-doxygen/html/search/files_c.js +20 -20
- package/SVF-doxygen/html/search/files_d.js +4 -4
- package/SVF-doxygen/html/search/files_e.js +62 -62
- package/SVF-doxygen/html/search/files_f.js +8 -8
- package/SVF-doxygen/html/search/functions_0.js +13 -13
- package/SVF-doxygen/html/search/functions_1.js +368 -368
- package/SVF-doxygen/html/search/functions_10.js +140 -140
- package/SVF-doxygen/html/search/functions_11.js +140 -140
- package/SVF-doxygen/html/search/functions_12.js +299 -299
- package/SVF-doxygen/html/search/functions_13.js +73 -73
- package/SVF-doxygen/html/search/functions_14.js +41 -41
- package/SVF-doxygen/html/search/functions_15.js +72 -72
- package/SVF-doxygen/html/search/functions_16.js +38 -38
- package/SVF-doxygen/html/search/functions_17.js +3 -3
- package/SVF-doxygen/html/search/functions_18.js +179 -179
- package/SVF-doxygen/html/search/functions_2.js +94 -94
- package/SVF-doxygen/html/search/functions_3.js +261 -261
- package/SVF-doxygen/html/search/functions_4.js +85 -85
- package/SVF-doxygen/html/search/functions_5.js +57 -57
- package/SVF-doxygen/html/search/functions_6.js +65 -65
- package/SVF-doxygen/html/search/functions_7.js +872 -872
- package/SVF-doxygen/html/search/functions_8.js +162 -162
- package/SVF-doxygen/html/search/functions_9.js +440 -440
- package/SVF-doxygen/html/search/functions_a.js +30 -30
- package/SVF-doxygen/html/search/functions_b.js +2 -2
- package/SVF-doxygen/html/search/functions_c.js +25 -25
- package/SVF-doxygen/html/search/functions_d.js +82 -82
- package/SVF-doxygen/html/search/functions_e.js +36 -36
- package/SVF-doxygen/html/search/functions_f.js +58 -58
- package/SVF-doxygen/html/search/namespaces_0.js +1 -1
- package/SVF-doxygen/html/search/namespaces_1.js +7 -7
- package/SVF-doxygen/html/search/related_0.js +4 -4
- package/SVF-doxygen/html/search/related_1.js +2 -2
- package/SVF-doxygen/html/search/related_2.js +2 -2
- package/SVF-doxygen/html/search/related_3.js +2 -2
- package/SVF-doxygen/html/search/related_4.js +2 -2
- package/SVF-doxygen/html/search/related_5.js +1 -1
- package/SVF-doxygen/html/search/related_6.js +2 -2
- package/SVF-doxygen/html/search/related_7.js +5 -5
- package/SVF-doxygen/html/search/related_8.js +2 -2
- package/SVF-doxygen/html/search/related_9.js +4 -4
- package/SVF-doxygen/html/search/related_a.js +19 -19
- package/SVF-doxygen/html/search/related_b.js +4 -4
- package/SVF-doxygen/html/search/related_c.js +2 -2
- package/SVF-doxygen/html/search/related_d.js +12 -12
- package/SVF-doxygen/html/search/related_e.js +2 -2
- package/SVF-doxygen/html/search/related_f.js +2 -2
- package/SVF-doxygen/html/search/typedefs_0.js +19 -19
- package/SVF-doxygen/html/search/typedefs_1.js +27 -27
- package/SVF-doxygen/html/search/typedefs_10.js +65 -65
- package/SVF-doxygen/html/search/typedefs_11.js +13 -13
- package/SVF-doxygen/html/search/typedefs_12.js +13 -13
- package/SVF-doxygen/html/search/typedefs_13.js +40 -40
- package/SVF-doxygen/html/search/typedefs_14.js +11 -11
- package/SVF-doxygen/html/search/typedefs_2.js +125 -125
- package/SVF-doxygen/html/search/typedefs_3.js +39 -39
- package/SVF-doxygen/html/search/typedefs_4.js +17 -17
- package/SVF-doxygen/html/search/typedefs_5.js +42 -42
- package/SVF-doxygen/html/search/typedefs_6.js +54 -54
- package/SVF-doxygen/html/search/typedefs_7.js +47 -47
- package/SVF-doxygen/html/search/typedefs_8.js +1 -1
- package/SVF-doxygen/html/search/typedefs_9.js +6 -6
- package/SVF-doxygen/html/search/typedefs_a.js +29 -29
- package/SVF-doxygen/html/search/typedefs_b.js +29 -29
- package/SVF-doxygen/html/search/typedefs_c.js +41 -41
- package/SVF-doxygen/html/search/typedefs_d.js +15 -15
- package/SVF-doxygen/html/search/typedefs_e.js +52 -52
- package/SVF-doxygen/html/search/typedefs_f.js +14 -14
- package/SVF-doxygen/html/search/variables_0.js +177 -177
- package/SVF-doxygen/html/search/variables_1.js +77 -76
- package/SVF-doxygen/html/search/variables_10.js +98 -98
- package/SVF-doxygen/html/search/variables_11.js +46 -46
- package/SVF-doxygen/html/search/variables_12.js +93 -93
- package/SVF-doxygen/html/search/variables_13.js +76 -76
- package/SVF-doxygen/html/search/variables_14.js +14 -14
- package/SVF-doxygen/html/search/variables_15.js +49 -49
- package/SVF-doxygen/html/search/variables_16.js +11 -11
- package/SVF-doxygen/html/search/variables_17.js +1 -1
- package/SVF-doxygen/html/search/variables_18.js +17 -17
- package/SVF-doxygen/html/search/variables_2.js +40 -40
- package/SVF-doxygen/html/search/variables_3.js +143 -143
- package/SVF-doxygen/html/search/variables_4.js +51 -51
- package/SVF-doxygen/html/search/variables_5.js +39 -39
- package/SVF-doxygen/html/search/variables_6.js +66 -66
- package/SVF-doxygen/html/search/variables_7.js +34 -34
- package/SVF-doxygen/html/search/variables_8.js +8 -8
- package/SVF-doxygen/html/search/variables_9.js +79 -79
- package/SVF-doxygen/html/search/variables_a.js +4 -4
- package/SVF-doxygen/html/search/variables_b.js +10 -10
- package/SVF-doxygen/html/search/variables_c.js +45 -45
- package/SVF-doxygen/html/search/variables_d.js +57 -57
- package/SVF-doxygen/html/search/variables_e.js +123 -123
- package/SVF-doxygen/html/search/variables_f.js +31 -31
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
- package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
- package/package.json +1 -1
- package/svf/include/AE/Core/BoundedZ3Expr.h +2 -0
- package/svf/include/AE/Core/IntervalValue.h +1 -1
- package/svf/include/AE/Core/NumericLiteral.h +6 -0
- package/svf/include/AE/Core/RelationSolver.h +1 -1
- package/svf/include/Util/Options.h +3 -0
- package/svf/include/Util/Z3Expr.h +9 -2
- package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
- package/svf/lib/Util/Options.cpp +8 -0
|
@@ -2863,20 +2863,20 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2863
2863
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a2fa6360da2149684a9771fdbfae71a66"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">SVF::ConsExeState::load</a></div><div class="ttdeci">SingleAbsValue load(const SingleAbsValue &loc)</div><div class="ttdoc">Load value at location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00518">ConsExeState.cpp:518</a></div></div>
|
|
2864
2864
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a2e63af0f29d04484c09cca217b799986"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState::hash</a></div><div class="ttdeci">virtual u32_t hash() const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00102">ExeState.cpp:102</a></div></div>
|
|
2865
2865
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_af1b6335e3ca95d491b0d8dfb95cf3c9b"><div class="ttname"><a href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState::ExeState</a></div><div class="ttdeci">ExeState(ExeState_TYPE kind)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00064">ExeState.h:64</a></div></div>
|
|
2866
|
-
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#
|
|
2866
|
+
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_a1da8e647e12c0e105271eadbd72f437e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00122">Z3Expr.h:122</a></div></div>
|
|
2867
2867
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aee10058065f8c8be04b6e27fb18b4a00"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue::join_with</a></div><div class="ttdeci">void join_with(const SingleAbsValue &other)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00063">SingleAbsValue.h:63</a></div></div>
|
|
2868
2868
|
<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
|
|
2869
2869
|
<div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
|
|
2870
2870
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap & getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00164">ConsExeState.h:164</a></div></div>
|
|
2871
2871
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00057">ConsExeState.h:57</a></div></div>
|
|
2872
|
-
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#
|
|
2872
|
+
<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00115">BoundedZ3Expr.h:115</a></div></div>
|
|
2873
2873
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a8da7bf977911ca6d3bd27f38ef852321"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a8da7bf977911ca6d3bd27f38ef852321">SVF::ConsExeState::inLocalLocToValTable</a></div><div class="ttdeci">bool inLocalLocToValTable(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00179">ConsExeState.h:179</a></div></div>
|
|
2874
2874
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad42a15421be927dbb4eb7efb10548850"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">SVF::ConsExeState::inVarToValTable</a></div><div class="ttdeci">bool inVarToValTable(u32_t varId) const</div><div class="ttdoc">whether the variable is in varToVal table</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00147">ConsExeState.h:147</a></div></div>
|
|
2875
2875
|
<div class="ttc" id="aConsExeState_8h_html_aa55170332bc97806d620ddc920d0b88d"><div class="ttname"><a href="ConsExeState_8h.html#aa55170332bc97806d620ddc920d0b88d">NullptrID</a></div><div class="ttdeci">#define NullptrID</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00032">ConsExeState.h:32</a></div></div>
|
|
2876
2876
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &lhs, const VarToValMap &rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00556">ConsExeState.cpp:556</a></div></div>
|
|
2877
2877
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a0a24ad3ced48b6755b7fc917d0f0fbb9"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0a24ad3ced48b6755b7fc917d0f0fbb9">SVF::ExeState::eqVarToAddrs</a></div><div class="ttdeci">static bool eqVarToAddrs(const VarToAddrs &lhs, const VarToAddrs &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00191">ExeState.h:191</a></div></div>
|
|
2878
2878
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &loc, const SingleAbsValue &value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00505">ConsExeState.cpp:505</a></div></div>
|
|
2879
|
-
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#
|
|
2879
|
+
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00147">Z3Expr.h:147</a></div></div>
|
|
2880
2880
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a673a2b823a1c3ea46f38e3956ca143e8"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState::assign</a></div><div class="ttdeci">static bool assign(SingleAbsValue &lhs, const SingleAbsValue &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00592">ConsExeState.cpp:592</a></div></div>
|
|
2881
2881
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a64a755f61886ef3f43f48c47eb76e9cc"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState::VarToValMap</a></div><div class="ttdeci">Map< u32_t, SingleAbsValue > VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00054">ConsExeState.h:54</a></div></div>
|
|
2882
2882
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00399">ConsExeState.h:399</a></div></div>
|
|
@@ -2891,7 +2891,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2891
2891
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState::SingleValueK</a></div><div class="ttdeci">@ SingleValueK</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00058">ExeState.h:58</a></div></div>
|
|
2892
2892
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdoc">Map a memory address to its stored constant value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00117">ConsExeState.h:117</a></div></div>
|
|
2893
2893
|
<div class="ttc" id="aclassSVF_1_1ConsExeState_html_a755fbe99c6d02b6a7897dad86f46c580"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState::inVarToAddrsTable</a></div><div class="ttdeci">virtual bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdoc">whether the variable is in varToAddrs table</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00140">ConsExeState.h:140</a></div></div>
|
|
2894
|
-
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#
|
|
2894
|
+
<div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00127">Z3Expr.h:127</a></div></div>
|
|
2895
2895
|
<div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
2896
2896
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_a79866a547dc4805d3fefdfd528d2df2a"><div class="ttname"><a href="classSVF_1_1ExeState.html#a79866a547dc4805d3fefdfd528d2df2a">SVF::ExeState::_locToAddrs</a></div><div class="ttdeci">VarToAddrs _locToAddrs</div><div class="ttdoc">Map a memory address to its stored memory addresses.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00097">ExeState.h:97</a></div></div>
|
|
2897
2897
|
<div class="ttc" id="aclassSVF_1_1ExeState_html_aebeb2054a8118fd33df9fef31bacda03"><div class="ttname"><a href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a></div><div class="ttdeci">ExeState & operator=(const ExeState &rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00074">ExeState.h:74</a></div></div>
|
|
@@ -416,7 +416,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
416
416
|
</div><div class="memdoc">
|
|
417
417
|
|
|
418
418
|
<p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00104">104</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
|
|
419
|
-
<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> : <a class="code" href="classSVF_1_1IntervalValue.html#
|
|
419
|
+
<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> : <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
|
|
420
420
|
</div><!-- fragment -->
|
|
421
421
|
</div>
|
|
422
422
|
</div>
|
|
@@ -2299,20 +2299,20 @@ Additional Inherited Members</h2></td></tr>
|
|
|
2299
2299
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral, default type is double in case to support both int and float.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00132">NumericLiteral.h:132</a></div></div>
|
|
2300
2300
|
<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
2301
2301
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a75fc2abc930b9405130106a51c29f314"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">SVF::NumericLiteral::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00121">NumericLiteral.h:121</a></div></div>
|
|
2302
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
2302
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00183">NumericLiteral.h:183</a></div></div>
|
|
2303
2303
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral & ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00227">IntervalValue.h:227</a></div></div>
|
|
2304
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa69f9536301d6529eb1d0caaec2fcc63"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
2304
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa69f9536301d6529eb1d0caaec2fcc63"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00143">NumericLiteral.h:143</a></div></div>
|
|
2305
2305
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00077">NumericLiteral.h:77</a></div></div>
|
|
2306
2306
|
<div class="ttc" id="aclassSVF_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#l00098">NumericLiteral.h:98</a></div></div>
|
|
2307
2307
|
<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference< T >::type && move(T &&t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
|
|
2308
2308
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa027be2f9243ce4cae799b265b019443"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue::bottom</a></div><div class="ttdeci">static IntervalValue bottom()</div><div class="ttdoc">Create the bottom IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00089">IntervalValue.h:89</a></div></div>
|
|
2309
2309
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
|
|
2310
2310
|
<div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">SVF::AbstractValue::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
|
|
2311
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
2312
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
2311
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00154">NumericLiteral.h:154</a></div></div>
|
|
2312
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
|
|
2313
2313
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac763bab0b6fedbe5ec5b345c7b260e30"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue::set_to_bottom</a></div><div class="ttdeci">void set_to_bottom()</div><div class="ttdoc">Set current IntervalValue as bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00306">IntervalValue.h:306</a></div></div>
|
|
2314
2314
|
<div class="ttc" id="aclassSVF_1_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>
|
|
2315
|
-
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#
|
|
2315
|
+
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00160">NumericLiteral.h:160</a></div></div>
|
|
2316
2316
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a538deb0b9e88fd99b9768f5775e58ca7"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral::is_plus_infinity</a></div><div class="ttdeci">bool is_plus_infinity() const</div><div class="ttdoc">Check if this is plus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00104">NumericLiteral.h:104</a></div></div>
|
|
2317
2317
|
<div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a2fe2eb429c125e33014bab7e21c77b9e"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">SVF::NumericLiteral::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00126">NumericLiteral.h:126</a></div></div>
|
|
2318
2318
|
<div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
|
|
@@ -78,58 +78,59 @@ $(function() {
|
|
|
78
78
|
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(const NumericLiteral &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
79
79
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(const NumericLiteral &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
80
80
|
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a32f68f45719c8be05357d7622dd66f6b">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
81
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
82
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
83
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
84
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
85
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
86
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
87
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
88
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
89
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
90
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
91
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
92
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
93
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
94
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
95
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
96
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
97
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
98
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
99
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
100
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
101
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
102
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
103
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
104
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
105
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
106
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
107
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
108
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
109
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
110
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
111
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
112
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
113
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
114
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
115
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
116
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
117
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
118
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
119
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
120
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
121
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
122
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
123
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
124
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
125
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
126
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
127
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
128
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
129
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
130
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
131
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
132
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#
|
|
81
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac2994e13c3572b114c57a9bb4f155d67">getExpr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
84
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
85
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
86
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
87
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
88
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
89
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
90
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
91
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">ite</a>(const NumericLiteral &cond, const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
92
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(const NumericLiteral &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
93
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">max</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
94
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2">max</a>(std::vector< NumericLiteral > &_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
95
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">min</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
96
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3">min</a>(std::vector< NumericLiteral > &_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
97
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
98
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
|
|
99
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b">NumericLiteral</a>(const Z3Expr &z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">NumericLiteral</a>(const z3::expr &e)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ade14f3444a718ad742a84cdf18819b8e">NumericLiteral</a>(float i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad791e5e38d48edeaabefbbd020ec5dfc">NumericLiteral</a>(double i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb">NumericLiteral</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
104
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9">NumericLiteral</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6">NumericLiteral</a>(BoundedZ3Expr z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
106
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1">NumericLiteral</a>(const NumericLiteral &)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
|
|
107
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9">NumericLiteral</a>(NumericLiteral &&)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
|
|
108
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">operator!</a>(const NumericLiteral &lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
109
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">operator!=</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
110
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">operator%</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
111
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">operator&</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
112
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">operator&&</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
113
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">operator*</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
114
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">operator+</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
115
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">operator-</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
116
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">operator-</a>(const NumericLiteral &lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
117
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">operator/</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
118
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">operator<</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
119
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">operator<<</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
120
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">operator<<</a>(std::ostream &out, const NumericLiteral &expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
121
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">operator<=</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
122
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">operator=</a>(const NumericLiteral &)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
123
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa33eb1c41cb582eb23e2c1d6fceb598d">operator=</a>(NumericLiteral &&)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
124
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">operator==</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
125
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">operator></a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
126
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">operator>=</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
127
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">operator>></a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
128
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">operator^</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
129
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">operator|</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
130
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">operator||</a>(const NumericLiteral &lhs, const NumericLiteral &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
|
|
131
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
132
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
133
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">~NumericLiteral</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
133
134
|
</table></div><!-- contents -->
|
|
134
135
|
<!-- start footer part -->
|
|
135
136
|
<hr class="footer"/><address class="footer"><small>
|