svf-tools 1.0.905 → 1.0.907

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 (438) hide show
  1. package/SVF-doxygen/html/AbstractInterpretation_8cpp.html +217 -0
  2. package/SVF-doxygen/html/AbstractInterpretation_8cpp_source.html +2093 -0
  3. package/SVF-doxygen/html/AbstractInterpretation_8h.html +115 -0
  4. package/SVF-doxygen/html/AbstractInterpretation_8h_source.html +459 -0
  5. package/SVF-doxygen/html/AbstractState_8cpp.html +84 -0
  6. package/SVF-doxygen/html/AbstractState_8cpp_source.html +461 -0
  7. package/SVF-doxygen/html/AbstractState_8h.html +105 -0
  8. package/SVF-doxygen/html/AbstractState_8h_source.html +891 -0
  9. package/SVF-doxygen/html/AbstractValue_8h.html +3 -3
  10. package/SVF-doxygen/html/AbstractValue_8h_source.html +652 -62
  11. package/SVF-doxygen/html/AddressValue_8h.html +4 -4
  12. package/SVF-doxygen/html/AddressValue_8h_source.html +180 -177
  13. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +782 -776
  14. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  15. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +19 -19
  16. package/SVF-doxygen/html/CFLGraph_8h_source.html +3 -3
  17. package/SVF-doxygen/html/CSC_8h_source.html +1 -1
  18. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/ConsExeState_8h_source.html +2 -2
  20. package/SVF-doxygen/html/ExeState_8cpp.html +1 -1
  21. package/SVF-doxygen/html/ExeState_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/ExeState_8h_source.html +8 -8
  23. package/SVF-doxygen/html/ICFGSimplification_8h.html +2 -2
  24. package/SVF-doxygen/html/ICFGSimplification_8h_source.html +17 -18
  25. package/SVF-doxygen/html/ICFG_8h_source.html +1 -1
  26. package/SVF-doxygen/html/IntervalValue_8h.html +2 -2
  27. package/SVF-doxygen/html/IntervalValue_8h_source.html +846 -864
  28. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  29. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  30. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  34. package/SVF-doxygen/html/RelExeState_8h_source.html +5 -5
  35. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +67 -68
  36. package/SVF-doxygen/html/RelationSolver_8h.html +1 -1
  37. package/SVF-doxygen/html/RelationSolver_8h_source.html +17 -17
  38. package/SVF-doxygen/html/SVFIR2AbsState_8cpp.html +84 -0
  39. package/SVF-doxygen/html/SVFIR2AbsState_8cpp_source.html +1348 -0
  40. package/SVF-doxygen/html/SVFIR2AbsState_8h.html +100 -0
  41. package/SVF-doxygen/html/SVFIR2AbsState_8h_source.html +378 -0
  42. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +9 -8
  43. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +920 -952
  44. package/SVF-doxygen/html/SVFIR2ItvExeState_8h.html +2 -3
  45. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +202 -207
  46. package/SVF-doxygen/html/SVFIR2Relation_8cpp.html +1 -1
  47. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +76 -72
  48. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  50. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  51. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  52. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  53. package/SVF-doxygen/html/ae_8cpp.html +57 -57
  54. package/SVF-doxygen/html/ae_8cpp_source.html +462 -466
  55. package/SVF-doxygen/html/annotated.html +409 -418
  56. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  57. package/SVF-doxygen/html/classSVF_1_1AEStat.html +184 -190
  58. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation-members.html +161 -0
  59. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.html +4325 -0
  60. package/SVF-doxygen/html/classSVF_1_1AbstractInterpretation.png +0 -0
  61. package/SVF-doxygen/html/classSVF_1_1AbstractState-members.html +134 -0
  62. package/SVF-doxygen/html/classSVF_1_1AbstractState.html +2166 -0
  63. package/SVF-doxygen/html/classSVF_1_1AbstractState.png +0 -0
  64. package/SVF-doxygen/html/classSVF_1_1AddressValue-members.html +15 -28
  65. package/SVF-doxygen/html/classSVF_1_1AddressValue.html +171 -230
  66. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +0 -1
  67. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.png +0 -0
  68. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +73 -73
  69. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +578 -574
  70. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  71. package/SVF-doxygen/html/classSVF_1_1CFLNode-members.html +48 -49
  72. package/SVF-doxygen/html/classSVF_1_1CFLNode.html +25 -25
  73. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1ExeState.html +12 -14
  75. package/SVF-doxygen/html/classSVF_1_1ExeState.png +0 -0
  76. package/SVF-doxygen/html/classSVF_1_1FILOWorkList.html +3 -3
  77. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +22 -8
  78. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  79. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +50 -64
  81. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +349 -459
  82. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1RelExeState-members.html +1 -1
  85. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +8 -8
  86. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +8 -8
  87. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +106 -107
  88. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState-members.html +141 -0
  89. package/SVF-doxygen/html/classSVF_1_1SVFIR2AbsState.html +3137 -0
  90. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +5 -5
  91. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +56 -57
  92. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1128 -1178
  93. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  94. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState-members.html +157 -0
  95. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.html +1512 -0
  96. package/SVF-doxygen/html/classSVF_1_1SparseAbstractState.png +0 -0
  97. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +0 -1
  98. package/SVF-doxygen/html/classSVF_1_1Z3Expr.png +0 -0
  99. package/SVF-doxygen/html/classSymblicAbstractionTest-members.html +3 -3
  100. package/SVF-doxygen/html/classSymblicAbstractionTest.html +400 -404
  101. package/SVF-doxygen/html/classes.html +326 -336
  102. package/SVF-doxygen/html/dir_2c6fb801affc4b3efe6e1ed5974683f6.html +2 -10
  103. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +2 -4
  104. package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html +2 -8
  105. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +2 -4
  106. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  107. package/SVF-doxygen/html/files.html +18 -27
  108. package/SVF-doxygen/html/functions.html +33 -56
  109. package/SVF-doxygen/html/functions_a.html +29 -42
  110. package/SVF-doxygen/html/functions_b.html +14 -21
  111. package/SVF-doxygen/html/functions_c.html +42 -52
  112. package/SVF-doxygen/html/functions_d.html +7 -4
  113. package/SVF-doxygen/html/functions_e.html +7 -21
  114. package/SVF-doxygen/html/functions_enum.html +4 -7
  115. package/SVF-doxygen/html/functions_eval.html +2 -2
  116. package/SVF-doxygen/html/functions_eval_c.html +0 -3
  117. package/SVF-doxygen/html/functions_eval_i.html +2 -3
  118. package/SVF-doxygen/html/functions_eval_m.html +2 -2
  119. package/SVF-doxygen/html/functions_eval_s.html +2 -5
  120. package/SVF-doxygen/html/functions_eval_u.html +4 -1
  121. package/SVF-doxygen/html/functions_f.html +6 -6
  122. package/SVF-doxygen/html/functions_func.html +24 -31
  123. package/SVF-doxygen/html/functions_func_b.html +10 -16
  124. package/SVF-doxygen/html/functions_func_c.html +30 -39
  125. package/SVF-doxygen/html/functions_func_d.html +1 -1
  126. package/SVF-doxygen/html/functions_func_e.html +7 -17
  127. package/SVF-doxygen/html/functions_func_g.html +61 -115
  128. package/SVF-doxygen/html/functions_func_h.html +22 -24
  129. package/SVF-doxygen/html/functions_func_i.html +64 -94
  130. package/SVF-doxygen/html/functions_func_j.html +4 -6
  131. package/SVF-doxygen/html/functions_func_l.html +9 -23
  132. package/SVF-doxygen/html/functions_func_m.html +7 -8
  133. package/SVF-doxygen/html/functions_func_n.html +8 -13
  134. package/SVF-doxygen/html/functions_func_o.html +57 -48
  135. package/SVF-doxygen/html/functions_func_p.html +6 -11
  136. package/SVF-doxygen/html/functions_func_r.html +4 -4
  137. package/SVF-doxygen/html/functions_func_s.html +35 -50
  138. package/SVF-doxygen/html/functions_func_t.html +26 -40
  139. package/SVF-doxygen/html/functions_func_u.html +6 -5
  140. package/SVF-doxygen/html/functions_func_v.html +2 -9
  141. package/SVF-doxygen/html/functions_func_w.html +9 -8
  142. package/SVF-doxygen/html/functions_func_z.html +1 -2
  143. package/SVF-doxygen/html/functions_func_~.html +10 -22
  144. package/SVF-doxygen/html/functions_g.html +61 -118
  145. package/SVF-doxygen/html/functions_h.html +21 -23
  146. package/SVF-doxygen/html/functions_i.html +76 -106
  147. package/SVF-doxygen/html/functions_j.html +4 -6
  148. package/SVF-doxygen/html/functions_k.html +0 -6
  149. package/SVF-doxygen/html/functions_l.html +11 -25
  150. package/SVF-doxygen/html/functions_m.html +8 -9
  151. package/SVF-doxygen/html/functions_n.html +14 -17
  152. package/SVF-doxygen/html/functions_o.html +71 -90
  153. package/SVF-doxygen/html/functions_p.html +31 -30
  154. package/SVF-doxygen/html/functions_r.html +11 -15
  155. package/SVF-doxygen/html/functions_rela.html +2 -3
  156. package/SVF-doxygen/html/functions_rela_b.html +0 -1
  157. package/SVF-doxygen/html/functions_rela_e.html +0 -1
  158. package/SVF-doxygen/html/functions_rela_i.html +0 -2
  159. package/SVF-doxygen/html/functions_rela_l.html +0 -1
  160. package/SVF-doxygen/html/functions_rela_o.html +0 -18
  161. package/SVF-doxygen/html/functions_rela_r.html +2 -2
  162. package/SVF-doxygen/html/functions_rela_s.html +4 -9
  163. package/SVF-doxygen/html/functions_s.html +45 -70
  164. package/SVF-doxygen/html/functions_t.html +29 -45
  165. package/SVF-doxygen/html/functions_type.html +0 -5
  166. package/SVF-doxygen/html/functions_type_c.html +1 -1
  167. package/SVF-doxygen/html/functions_type_k.html +0 -6
  168. package/SVF-doxygen/html/functions_type_l.html +4 -3
  169. package/SVF-doxygen/html/functions_type_t.html +0 -3
  170. package/SVF-doxygen/html/functions_type_v.html +3 -5
  171. package/SVF-doxygen/html/functions_u.html +8 -4
  172. package/SVF-doxygen/html/functions_v.html +11 -20
  173. package/SVF-doxygen/html/functions_vars.html +33 -56
  174. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  175. package/SVF-doxygen/html/functions_vars_g.html +2 -5
  176. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  177. package/SVF-doxygen/html/functions_vars_t.html +1 -0
  178. package/SVF-doxygen/html/functions_w.html +11 -10
  179. package/SVF-doxygen/html/functions_z.html +1 -2
  180. package/SVF-doxygen/html/functions_~.html +10 -22
  181. package/SVF-doxygen/html/globals.html +2 -2
  182. package/SVF-doxygen/html/globals_defs.html +1 -4
  183. package/SVF-doxygen/html/globals_n.html +2 -5
  184. package/SVF-doxygen/html/globals_s.html +1 -1
  185. package/SVF-doxygen/html/globals_vars.html +5 -5
  186. package/SVF-doxygen/html/globals_z.html +3 -3
  187. package/SVF-doxygen/html/hierarchy.html +622 -631
  188. package/SVF-doxygen/html/namespaceSVF.html +449 -458
  189. package/SVF-doxygen/html/search/all_0.js +155 -161
  190. package/SVF-doxygen/html/search/all_1.js +502 -503
  191. package/SVF-doxygen/html/search/all_10.js +325 -326
  192. package/SVF-doxygen/html/search/all_11.js +227 -227
  193. package/SVF-doxygen/html/search/all_12.js +563 -574
  194. package/SVF-doxygen/html/search/all_13.js +206 -208
  195. package/SVF-doxygen/html/search/all_14.js +74 -73
  196. package/SVF-doxygen/html/search/all_15.js +175 -176
  197. package/SVF-doxygen/html/search/all_16.js +77 -77
  198. package/SVF-doxygen/html/search/all_17.js +1 -1
  199. package/SVF-doxygen/html/search/all_18.js +1 -1
  200. package/SVF-doxygen/html/search/all_19.js +27 -27
  201. package/SVF-doxygen/html/search/all_1a.js +175 -179
  202. package/SVF-doxygen/html/search/all_2.js +180 -182
  203. package/SVF-doxygen/html/search/all_3.js +636 -642
  204. package/SVF-doxygen/html/search/all_4.js +237 -236
  205. package/SVF-doxygen/html/search/all_5.js +120 -126
  206. package/SVF-doxygen/html/search/all_6.js +236 -236
  207. package/SVF-doxygen/html/search/all_7.js +1040 -1056
  208. package/SVF-doxygen/html/search/all_8.js +211 -215
  209. package/SVF-doxygen/html/search/all_9.js +631 -638
  210. package/SVF-doxygen/html/search/all_a.js +46 -46
  211. package/SVF-doxygen/html/search/all_b.js +24 -26
  212. package/SVF-doxygen/html/search/all_c.js +113 -115
  213. package/SVF-doxygen/html/search/all_d.js +205 -205
  214. package/SVF-doxygen/html/search/all_e.js +207 -209
  215. package/SVF-doxygen/html/search/all_f.js +122 -122
  216. package/SVF-doxygen/html/search/classes_0.js +29 -28
  217. package/SVF-doxygen/html/search/classes_1.js +11 -11
  218. package/SVF-doxygen/html/search/classes_10.js +72 -74
  219. package/SVF-doxygen/html/search/classes_11.js +14 -14
  220. package/SVF-doxygen/html/search/classes_12.js +2 -2
  221. package/SVF-doxygen/html/search/classes_13.js +10 -10
  222. package/SVF-doxygen/html/search/classes_14.js +19 -19
  223. package/SVF-doxygen/html/search/classes_15.js +1 -1
  224. package/SVF-doxygen/html/search/classes_2.js +72 -73
  225. package/SVF-doxygen/html/search/classes_3.js +35 -35
  226. package/SVF-doxygen/html/search/classes_4.js +7 -8
  227. package/SVF-doxygen/html/search/classes_5.js +28 -28
  228. package/SVF-doxygen/html/search/classes_6.js +98 -98
  229. package/SVF-doxygen/html/search/classes_7.js +34 -38
  230. package/SVF-doxygen/html/search/classes_8.js +57 -59
  231. package/SVF-doxygen/html/search/classes_9.js +1 -1
  232. package/SVF-doxygen/html/search/classes_a.js +12 -12
  233. package/SVF-doxygen/html/search/classes_b.js +29 -29
  234. package/SVF-doxygen/html/search/classes_c.js +6 -6
  235. package/SVF-doxygen/html/search/classes_d.js +19 -19
  236. package/SVF-doxygen/html/search/classes_e.js +36 -36
  237. package/SVF-doxygen/html/search/classes_f.js +25 -25
  238. package/SVF-doxygen/html/search/defines_0.js +3 -3
  239. package/SVF-doxygen/html/search/defines_1.js +3 -3
  240. package/SVF-doxygen/html/search/defines_10.js +2 -2
  241. package/SVF-doxygen/html/search/defines_2.js +30 -30
  242. package/SVF-doxygen/html/search/defines_3.js +20 -20
  243. package/SVF-doxygen/html/search/defines_4.js +3 -3
  244. package/SVF-doxygen/html/search/defines_5.js +4 -4
  245. package/SVF-doxygen/html/search/defines_6.js +2 -2
  246. package/SVF-doxygen/html/search/defines_7.js +5 -5
  247. package/SVF-doxygen/html/search/defines_8.js +11 -11
  248. package/SVF-doxygen/html/search/defines_9.js +9 -9
  249. package/SVF-doxygen/html/search/defines_a.js +2 -2
  250. package/SVF-doxygen/html/search/defines_b.js +1 -1
  251. package/SVF-doxygen/html/search/defines_c.js +3 -4
  252. package/SVF-doxygen/html/search/defines_d.js +2 -2
  253. package/SVF-doxygen/html/search/defines_e.js +8 -8
  254. package/SVF-doxygen/html/search/defines_f.js +4 -4
  255. package/SVF-doxygen/html/search/enums_0.js +3 -4
  256. package/SVF-doxygen/html/search/enums_1.js +2 -2
  257. package/SVF-doxygen/html/search/enums_10.js +1 -1
  258. package/SVF-doxygen/html/search/enums_11.js +1 -1
  259. package/SVF-doxygen/html/search/enums_2.js +9 -9
  260. package/SVF-doxygen/html/search/enums_3.js +2 -1
  261. package/SVF-doxygen/html/search/enums_4.js +3 -4
  262. package/SVF-doxygen/html/search/enums_5.js +1 -1
  263. package/SVF-doxygen/html/search/enums_6.js +2 -2
  264. package/SVF-doxygen/html/search/enums_7.js +2 -2
  265. package/SVF-doxygen/html/search/enums_8.js +4 -4
  266. package/SVF-doxygen/html/search/enums_9.js +1 -1
  267. package/SVF-doxygen/html/search/enums_a.js +1 -1
  268. package/SVF-doxygen/html/search/enums_b.js +7 -7
  269. package/SVF-doxygen/html/search/enums_c.js +1 -1
  270. package/SVF-doxygen/html/search/enums_d.js +4 -4
  271. package/SVF-doxygen/html/search/enums_e.js +2 -2
  272. package/SVF-doxygen/html/search/enums_f.js +4 -4
  273. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  274. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  275. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  276. package/SVF-doxygen/html/search/enumvalues_11.js +6 -5
  277. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  278. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  279. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  280. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  281. package/SVF-doxygen/html/search/enumvalues_2.js +36 -37
  282. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  283. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  284. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  285. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  286. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  287. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  288. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  289. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  290. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  291. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  292. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  293. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  294. package/SVF-doxygen/html/search/enumvalues_f.js +48 -49
  295. package/SVF-doxygen/html/search/files_0.js +18 -16
  296. package/SVF-doxygen/html/search/files_1.js +9 -9
  297. package/SVF-doxygen/html/search/files_10.js +8 -8
  298. package/SVF-doxygen/html/search/files_11.js +8 -8
  299. package/SVF-doxygen/html/search/files_12.js +2 -2
  300. package/SVF-doxygen/html/search/files_2.js +51 -53
  301. package/SVF-doxygen/html/search/files_3.js +14 -14
  302. package/SVF-doxygen/html/search/files_4.js +3 -5
  303. package/SVF-doxygen/html/search/files_5.js +13 -13
  304. package/SVF-doxygen/html/search/files_6.js +10 -10
  305. package/SVF-doxygen/html/search/files_7.js +15 -17
  306. package/SVF-doxygen/html/search/files_8.js +13 -13
  307. package/SVF-doxygen/html/search/files_9.js +18 -18
  308. package/SVF-doxygen/html/search/files_a.js +3 -3
  309. package/SVF-doxygen/html/search/files_b.js +4 -4
  310. package/SVF-doxygen/html/search/files_c.js +20 -20
  311. package/SVF-doxygen/html/search/files_d.js +4 -4
  312. package/SVF-doxygen/html/search/files_e.js +57 -62
  313. package/SVF-doxygen/html/search/files_f.js +8 -8
  314. package/SVF-doxygen/html/search/functions_0.js +13 -13
  315. package/SVF-doxygen/html/search/functions_1.js +366 -368
  316. package/SVF-doxygen/html/search/functions_10.js +139 -140
  317. package/SVF-doxygen/html/search/functions_11.js +140 -140
  318. package/SVF-doxygen/html/search/functions_12.js +294 -299
  319. package/SVF-doxygen/html/search/functions_13.js +72 -73
  320. package/SVF-doxygen/html/search/functions_14.js +41 -41
  321. package/SVF-doxygen/html/search/functions_15.js +70 -72
  322. package/SVF-doxygen/html/search/functions_16.js +38 -38
  323. package/SVF-doxygen/html/search/functions_17.js +3 -3
  324. package/SVF-doxygen/html/search/functions_18.js +175 -179
  325. package/SVF-doxygen/html/search/functions_2.js +92 -94
  326. package/SVF-doxygen/html/search/functions_3.js +258 -261
  327. package/SVF-doxygen/html/search/functions_4.js +85 -85
  328. package/SVF-doxygen/html/search/functions_5.js +54 -57
  329. package/SVF-doxygen/html/search/functions_6.js +65 -65
  330. package/SVF-doxygen/html/search/functions_7.js +857 -872
  331. package/SVF-doxygen/html/search/functions_8.js +162 -162
  332. package/SVF-doxygen/html/search/functions_9.js +440 -446
  333. package/SVF-doxygen/html/search/functions_a.js +30 -30
  334. package/SVF-doxygen/html/search/functions_b.js +2 -2
  335. package/SVF-doxygen/html/search/functions_c.js +22 -25
  336. package/SVF-doxygen/html/search/functions_d.js +82 -82
  337. package/SVF-doxygen/html/search/functions_e.js +34 -36
  338. package/SVF-doxygen/html/search/functions_f.js +58 -58
  339. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  340. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  341. package/SVF-doxygen/html/search/related_0.js +4 -4
  342. package/SVF-doxygen/html/search/related_1.js +2 -2
  343. package/SVF-doxygen/html/search/related_2.js +2 -2
  344. package/SVF-doxygen/html/search/related_3.js +2 -2
  345. package/SVF-doxygen/html/search/related_4.js +2 -2
  346. package/SVF-doxygen/html/search/related_5.js +1 -1
  347. package/SVF-doxygen/html/search/related_6.js +2 -2
  348. package/SVF-doxygen/html/search/related_7.js +5 -5
  349. package/SVF-doxygen/html/search/related_8.js +2 -2
  350. package/SVF-doxygen/html/search/related_9.js +4 -4
  351. package/SVF-doxygen/html/search/related_a.js +19 -19
  352. package/SVF-doxygen/html/search/related_b.js +4 -4
  353. package/SVF-doxygen/html/search/related_c.js +2 -2
  354. package/SVF-doxygen/html/search/related_d.js +11 -12
  355. package/SVF-doxygen/html/search/related_e.js +2 -2
  356. package/SVF-doxygen/html/search/related_f.js +2 -2
  357. package/SVF-doxygen/html/search/typedefs_0.js +18 -19
  358. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  359. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  360. package/SVF-doxygen/html/search/typedefs_11.js +12 -13
  361. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  362. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  363. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  364. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  365. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  366. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  367. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  368. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  369. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  370. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  371. package/SVF-doxygen/html/search/typedefs_9.js +4 -6
  372. package/SVF-doxygen/html/search/typedefs_a.js +30 -29
  373. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  374. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  375. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  376. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  377. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  378. package/SVF-doxygen/html/search/variables_0.js +171 -177
  379. package/SVF-doxygen/html/search/variables_1.js +78 -77
  380. package/SVF-doxygen/html/search/variables_10.js +98 -98
  381. package/SVF-doxygen/html/search/variables_11.js +47 -47
  382. package/SVF-doxygen/html/search/variables_12.js +93 -93
  383. package/SVF-doxygen/html/search/variables_13.js +76 -76
  384. package/SVF-doxygen/html/search/variables_14.js +14 -14
  385. package/SVF-doxygen/html/search/variables_15.js +49 -49
  386. package/SVF-doxygen/html/search/variables_16.js +11 -11
  387. package/SVF-doxygen/html/search/variables_17.js +1 -1
  388. package/SVF-doxygen/html/search/variables_18.js +17 -17
  389. package/SVF-doxygen/html/search/variables_2.js +40 -40
  390. package/SVF-doxygen/html/search/variables_3.js +143 -143
  391. package/SVF-doxygen/html/search/variables_4.js +51 -51
  392. package/SVF-doxygen/html/search/variables_5.js +39 -39
  393. package/SVF-doxygen/html/search/variables_6.js +66 -66
  394. package/SVF-doxygen/html/search/variables_7.js +33 -34
  395. package/SVF-doxygen/html/search/variables_8.js +8 -8
  396. package/SVF-doxygen/html/search/variables_9.js +80 -79
  397. package/SVF-doxygen/html/search/variables_a.js +4 -4
  398. package/SVF-doxygen/html/search/variables_b.js +10 -10
  399. package/SVF-doxygen/html/search/variables_c.js +44 -44
  400. package/SVF-doxygen/html/search/variables_d.js +58 -58
  401. package/SVF-doxygen/html/search/variables_e.js +123 -123
  402. package/SVF-doxygen/html/search/variables_f.js +31 -31
  403. package/SVF-doxygen/html/structSVF_1_1AbstractValue-members.html +164 -0
  404. package/SVF-doxygen/html/structSVF_1_1AbstractValue.html +2820 -0
  405. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4-members.html +84 -0
  406. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseAbstractState_01_4.html +130 -0
  407. package/SVF-doxygen/html/svf-ex_8cpp.html +25 -25
  408. package/SVF-doxygen/html/svf-ex_8cpp_source.html +26 -26
  409. package/package.json +1 -1
  410. package/svf/include/AE/Core/AbstractState.h +749 -0
  411. package/svf/include/AE/Core/AbstractValue.h +514 -39
  412. package/svf/include/AE/Core/AddressValue.h +32 -25
  413. package/svf/include/AE/Core/IntervalValue.h +10 -24
  414. package/svf/include/AE/Core/RelExeState.h +1 -1
  415. package/svf/include/AE/Core/RelationSolver.h +9 -9
  416. package/svf/include/AE/Svfexe/{AbstractExecution.h → AbstractInterpretation.h} +27 -26
  417. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  418. package/svf/include/AE/Svfexe/ICFGSimplification.h +1 -2
  419. package/svf/include/AE/Svfexe/{SVFIR2ItvExeState.h → SVFIR2AbsState.h} +30 -33
  420. package/svf/lib/AE/Core/AbstractState.cpp +357 -0
  421. package/svf/lib/AE/Core/RelationSolver.cpp +31 -31
  422. package/svf/lib/AE/Core/SVFIR2Relation.cpp +17 -16
  423. package/svf/lib/AE/Svfexe/{AbstractExecution.cpp → AbstractInterpretation.cpp} +166 -156
  424. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +51 -47
  425. package/svf/lib/AE/Svfexe/{SVFIR2ItvExeState.cpp → SVFIR2AbsState.cpp} +211 -247
  426. package/svf-llvm/tools/AE/ae.cpp +105 -108
  427. package/svf-llvm/tools/Example/svf-ex.cpp +2 -2
  428. package/svf/include/AE/Core/ConsExeState.h +0 -453
  429. package/svf/include/AE/Core/ExeState.h +0 -304
  430. package/svf/include/AE/Core/IntervalExeState.h +0 -650
  431. package/svf/include/AE/Core/SingleAbsValue.h +0 -477
  432. package/svf/include/AE/Core/SymState.h +0 -221
  433. package/svf/include/AE/Svfexe/SVFIR2ConsExeState.h +0 -148
  434. package/svf/lib/AE/Core/ConsExeState.cpp +0 -603
  435. package/svf/lib/AE/Core/ExeState.cpp +0 -117
  436. package/svf/lib/AE/Core/IntervalExeState.cpp +0 -329
  437. package/svf/lib/AE/Core/SymState.cpp +0 -37
  438. package/svf/lib/AE/Svfexe/SVFIR2ConsExeState.cpp +0 -772
package/SVF-doxygen/html/classSVF_1_1IntervalValue.html CHANGED
@@ -71,27 +71,18 @@ $(function() {
71
71
  <a href="#pri-attribs">Private Attributes</a> &#124;
72
72
  <a href="classSVF_1_1IntervalValue-members.html">List of all members</a> </div>
73
73
  <div class="headertitle">
74
- <div class="title">SVF::IntervalValue Class Reference<span class="mlabels"><span class="mlabel">final</span></span></div> </div>
74
+ <div class="title">SVF::IntervalValue Class Reference</div> </div>
75
75
  </div><!--header-->
76
76
  <div class="contents">
77
77
 
78
78
  <p><code>#include &lt;<a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>&gt;</code></p>
79
- <div class="dynheader">
80
- Inheritance diagram for SVF::IntervalValue:</div>
81
- <div class="dyncontent">
82
- <div class="center">
83
- <img src="classSVF_1_1IntervalValue.png" usemap="#SVF::IntervalValue_map" alt=""/>
84
- <map id="SVF::IntervalValue_map" name="SVF::IntervalValue_map">
85
- <area href="classSVF_1_1AbstractValue.html" alt="SVF::AbstractValue" shape="rect" coords="0,0,123,24"/>
86
- </map>
87
- </div></div>
88
79
  <table class="memberdecls">
89
80
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
90
81
  Public Member Functions</h2></td></tr>
91
- <tr class="memitem:a977128211266b93e58e298a7ac29a059"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a> () const override</td></tr>
92
- <tr class="separator:a977128211266b93e58e298a7ac29a059"><td class="memSeparator" colspan="2">&#160;</td></tr>
93
- <tr class="memitem:af8be90fc1b61103187908dce4ba68001"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a> () const override</td></tr>
94
- <tr class="separator:af8be90fc1b61103187908dce4ba68001"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ <tr class="memitem:a1fc899db5c37229692782406ad56f34f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">isTop</a> () const</td></tr>
83
+ <tr class="separator:a1fc899db5c37229692782406ad56f34f"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
+ <tr class="memitem:a674f9bb98053f8658e246863d6561072"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a> () const</td></tr>
85
+ <tr class="separator:a674f9bb98053f8658e246863d6561072"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
86
  <tr class="memitem:ad51535cb50a03df7a439b4e5b5d305f0"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> ()</td></tr>
96
87
  <tr class="memdesc:ad51535cb50a03df7a439b4e5b5d305f0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create default <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. <a href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">More...</a><br /></td></tr>
97
88
  <tr class="separator:ad51535cb50a03df7a439b4e5b5d305f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -139,9 +130,9 @@ Public Member Functions</h2></td></tr>
139
130
  <tr class="memitem:a18d0f2c15ea6fc84dfa28ca494423af9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9">operator!=</a> (const <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other) const</td></tr>
140
131
  <tr class="memdesc:a18d0f2c15ea6fc84dfa28ca494423af9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equality comparison. <a href="classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9">More...</a><br /></td></tr>
141
132
  <tr class="separator:a18d0f2c15ea6fc84dfa28ca494423af9"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
- <tr class="memitem:afcd424e419fe66750c47df21774bb22c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">~IntervalValue</a> () override=default</td></tr>
143
- <tr class="memdesc:afcd424e419fe66750c47df21774bb22c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1IntervalValue.html#afcd424e419fe66750c47df21774bb22c">More...</a><br /></td></tr>
144
- <tr class="separator:afcd424e419fe66750c47df21774bb22c"><td class="memSeparator" colspan="2">&#160;</td></tr>
133
+ <tr class="memitem:a8fc5e1a30d60fd01fd3ddf3d5ec0e306"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a8fc5e1a30d60fd01fd3ddf3d5ec0e306">~IntervalValue</a> ()=default</td></tr>
134
+ <tr class="memdesc:a8fc5e1a30d60fd01fd3ddf3d5ec0e306"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1IntervalValue.html#a8fc5e1a30d60fd01fd3ddf3d5ec0e306">More...</a><br /></td></tr>
135
+ <tr class="separator:a8fc5e1a30d60fd01fd3ddf3d5ec0e306"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
136
  <tr class="memitem:a0df07a2659cbf3a918de5b0d7c407264"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a> () const</td></tr>
146
137
  <tr class="memdesc:a0df07a2659cbf3a918de5b0d7c407264"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the lower bound. <a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">More...</a><br /></td></tr>
147
138
  <tr class="separator:a0df07a2659cbf3a918de5b0d7c407264"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -211,21 +202,6 @@ Public Member Functions</h2></td></tr>
211
202
  <tr class="separator:ac4896347f704db07695f4b8dfc42aad7"><td class="memSeparator" colspan="2">&#160;</td></tr>
212
203
  <tr class="memitem:a5d73cc2aa0a6ed49e8301fa7b0cd5045"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045">toString</a> () const</td></tr>
213
204
  <tr class="separator:a5d73cc2aa0a6ed49e8301fa7b0cd5045"><td class="memSeparator" colspan="2">&#160;</td></tr>
214
- <tr class="inherit_header pub_methods_classSVF_1_1AbstractValue"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1AbstractValue')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td></tr>
215
- <tr class="memitem:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a> (<a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> kind)</td></tr>
216
- <tr class="separator:a56c3cfc51a812f4a9b3171371d3efa60 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
217
- <tr class="memitem:ab6901c81e0a0153120de25876b44e3c4 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">~AbstractValue</a> ()=default</td></tr>
218
- <tr class="separator:ab6901c81e0a0153120de25876b44e3c4 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
219
- <tr class="memitem:a40a7792f8cf21c268990d546ccc0a378 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378">AbstractValue</a> (const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept=default</td></tr>
220
- <tr class="separator:a40a7792f8cf21c268990d546ccc0a378 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
221
- <tr class="memitem:a77574a2e9822d339124cf46eedcfb253 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253">AbstractValue</a> (<a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept=default</td></tr>
222
- <tr class="separator:a77574a2e9822d339124cf46eedcfb253 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
223
- <tr class="memitem:afaf73f48b769b40f990418f390dd5eb3 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3">operator=</a> (const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept=default</td></tr>
224
- <tr class="separator:afaf73f48b769b40f990418f390dd5eb3 inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
225
- <tr class="memitem:a04166c2df89bf2f5edf54c3d6396608a inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a04166c2df89bf2f5edf54c3d6396608a">operator=</a> (<a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept=default</td></tr>
226
- <tr class="separator:a04166c2df89bf2f5edf54c3d6396608a inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
227
- <tr class="memitem:a74bc740e894dfbdb2253bedc2851dd2e inherit pub_methods_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">getAbstractValueKind</a> () const</td></tr>
228
- <tr class="separator:a74bc740e894dfbdb2253bedc2851dd2e inherit pub_methods_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
229
205
  </table><table class="memberdecls">
230
206
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
231
207
  Static Public Member Functions</h2></td></tr>
@@ -243,11 +219,6 @@ Static Public Member Functions</h2></td></tr>
243
219
  <tr class="memitem:aa027be2f9243ce4cae799b265b019443"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a> ()</td></tr>
244
220
  <tr class="memdesc:aa027be2f9243ce4cae799b265b019443"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create the bottom <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. <a href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">More...</a><br /></td></tr>
245
221
  <tr class="separator:aa027be2f9243ce4cae799b265b019443"><td class="memSeparator" colspan="2">&#160;</td></tr>
246
- <tr class="memitem:a101633c38e284f6e2bcad852daa3baae"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">classof</a> (const <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> *)</td></tr>
247
- <tr class="memdesc:a101633c38e284f6e2bcad852daa3baae"><td class="mdescLeft">&#160;</td><td class="mdescRight">Methods for support type inquiry through isa, cast, and dyn_cast: <a href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">More...</a><br /></td></tr>
248
- <tr class="separator:a101633c38e284f6e2bcad852daa3baae"><td class="memSeparator" colspan="2">&#160;</td></tr>
249
- <tr class="memitem:a72d89f686c6239c43ea1ea6fcab3062a"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a72d89f686c6239c43ea1ea6fcab3062a">classof</a> (const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> *v)</td></tr>
250
- <tr class="separator:a72d89f686c6239c43ea1ea6fcab3062a"><td class="memSeparator" colspan="2">&#160;</td></tr>
251
222
  </table><table class="memberdecls">
252
223
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
253
224
  Private Attributes</h2></td></tr>
@@ -255,16 +226,6 @@ Private Attributes</h2></td></tr>
255
226
  <tr class="separator:a0827c976d921894e89ca4ac88ecf3f95"><td class="memSeparator" colspan="2">&#160;</td></tr>
256
227
  <tr class="memitem:a3c00a3b16192645f667a88bf636f01ff"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a></td></tr>
257
228
  <tr class="separator:a3c00a3b16192645f667a88bf636f01ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
258
- </table><table class="memberdecls">
259
- <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
260
- Additional Inherited Members</h2></td></tr>
261
- <tr class="inherit_header pub_types_classSVF_1_1AbstractValue"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1AbstractValue')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></td></tr>
262
- <tr class="memitem:afc79860ce75455825ff75d1fef804c16 inherit pub_types_classSVF_1_1AbstractValue"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> { <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">IntervalK</a>,
263
- <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5">ConcreteK</a>,
264
- <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a>
265
- }</td></tr>
266
- <tr class="memdesc:afc79860ce75455825ff75d1fef804c16"><td class="mdescLeft">&#160;</td><td class="mdescRight">Abstract value kind. <a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">More...</a><br /></td></tr>
267
- <tr class="separator:afc79860ce75455825ff75d1fef804c16 inherit pub_types_classSVF_1_1AbstractValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
268
229
  </table>
269
230
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
270
231
  <div class="textblock"><p><a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> abstract value</p>
@@ -298,7 +259,7 @@ Additional Inherited Members</h2></td></tr>
298
259
  <p>Create default <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
299
260
 
300
261
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00095">95</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
301
- <div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;: <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="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>()), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>()) {}</div>
262
+ <div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>()), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>()) {}</div>
302
263
  </div><!-- fragment -->
303
264
  </div>
304
265
  </div>
@@ -329,7 +290,7 @@ Additional Inherited Members</h2></td></tr>
329
290
  <p>Create the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> [n, n]. </p>
330
291
 
331
292
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00098">98</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
332
- <div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;: <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>
293
+ <div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160;: <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>
333
294
  </div><!-- fragment -->
334
295
  </div>
335
296
  </div>
@@ -416,7 +377,7 @@ Additional Inherited Members</h2></td></tr>
416
377
  </div><div class="memdoc">
417
378
 
418
379
  <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>&#160;: <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>
380
+ <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;: <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
381
  </div><!-- fragment -->
421
382
  </div>
422
383
  </div>
@@ -486,8 +447,7 @@ Additional Inherited Members</h2></td></tr>
486
447
  <p>Create the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> [lb, ub]. </p>
487
448
 
488
449
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00109">109</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
489
- <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; : <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>),</div>
490
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>)), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
450
+ <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>)), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
491
451
  </div><!-- fragment -->
492
452
  </div>
493
453
  </div>
@@ -525,8 +485,8 @@ Additional Inherited Members</h2></td></tr>
525
485
  </table>
526
486
  </div><div class="memdoc">
527
487
 
528
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00112">112</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
529
- <div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
488
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00111">111</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
489
+ <div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
530
490
  </div><!-- fragment -->
531
491
  </div>
532
492
  </div>
@@ -564,8 +524,8 @@ Additional Inherited Members</h2></td></tr>
564
524
  </table>
565
525
  </div><div class="memdoc">
566
526
 
567
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00114">114</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
568
- <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
527
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00113">113</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
528
+ <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
569
529
  </div><!-- fragment -->
570
530
  </div>
571
531
  </div>
@@ -603,8 +563,8 @@ Additional Inherited Members</h2></td></tr>
603
563
  </table>
604
564
  </div><div class="memdoc">
605
565
 
606
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00116">116</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
607
- <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
566
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00115">115</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
567
+ <div class="fragment"><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
608
568
  </div><!-- fragment -->
609
569
  </div>
610
570
  </div>
@@ -642,8 +602,8 @@ Additional Inherited Members</h2></td></tr>
642
602
  </table>
643
603
  </div><div class="memdoc">
644
604
 
645
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00118">118</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
646
- <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
605
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00117">117</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
606
+ <div class="fragment"><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
647
607
  </div><!-- fragment -->
648
608
  </div>
649
609
  </div>
@@ -681,8 +641,8 @@ Additional Inherited Members</h2></td></tr>
681
641
  </table>
682
642
  </div><div class="memdoc">
683
643
 
684
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00120">120</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
685
- <div class="fragment"><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
644
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00119">119</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
645
+ <div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
686
646
  </div><!-- fragment -->
687
647
  </div>
688
648
  </div>
@@ -720,8 +680,8 @@ Additional Inherited Members</h2></td></tr>
720
680
  </table>
721
681
  </div><div class="memdoc">
722
682
 
723
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00122">122</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
724
- <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
683
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00121">121</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
684
+ <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
725
685
  </div><!-- fragment -->
726
686
  </div>
727
687
  </div>
@@ -781,8 +741,8 @@ Additional Inherited Members</h2></td></tr>
781
741
 
782
742
  </div>
783
743
  </div>
784
- <a id="afcd424e419fe66750c47df21774bb22c"></a>
785
- <h2 class="memtitle"><span class="permalink"><a href="#afcd424e419fe66750c47df21774bb22c">&#9670;&nbsp;</a></span>~IntervalValue()</h2>
744
+ <a id="a8fc5e1a30d60fd01fd3ddf3d5ec0e306"></a>
745
+ <h2 class="memtitle"><span class="permalink"><a href="#a8fc5e1a30d60fd01fd3ddf3d5ec0e306">&#9670;&nbsp;</a></span>~IntervalValue()</h2>
786
746
 
787
747
  <div class="memitem">
788
748
  <div class="memproto">
@@ -799,7 +759,7 @@ Additional Inherited Members</h2></td></tr>
799
759
  </table>
800
760
  </td>
801
761
  <td class="mlabels-right">
802
- <span class="mlabels"><span class="mlabel">override</span><span class="mlabel">default</span></span> </td>
762
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
803
763
  </tr>
804
764
  </table>
805
765
  </div><div class="memdoc">
@@ -841,70 +801,6 @@ Additional Inherited Members</h2></td></tr>
841
801
  </div><!-- fragment -->
842
802
  </div>
843
803
  </div>
844
- <a id="a72d89f686c6239c43ea1ea6fcab3062a"></a>
845
- <h2 class="memtitle"><span class="permalink"><a href="#a72d89f686c6239c43ea1ea6fcab3062a">&#9670;&nbsp;</a></span>classof() <span class="overload">[1/2]</span></h2>
846
-
847
- <div class="memitem">
848
- <div class="memproto">
849
- <table class="mlabels">
850
- <tr>
851
- <td class="mlabels-left">
852
- <table class="memname">
853
- <tr>
854
- <td class="memname">static bool SVF::IntervalValue::classof </td>
855
- <td>(</td>
856
- <td class="paramtype">const <a class="el" href="classSVF_1_1AbstractValue.html">AbstractValue</a> *&#160;</td>
857
- <td class="paramname"><em>v</em></td><td>)</td>
858
- <td></td>
859
- </tr>
860
- </table>
861
- </td>
862
- <td class="mlabels-right">
863
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
864
- </tr>
865
- </table>
866
- </div><div class="memdoc">
867
-
868
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00213">213</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
869
- <div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
870
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">return</span> v-&gt;getAbstractValueKind() == <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>;</div>
871
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div>
872
- </div><!-- fragment -->
873
- </div>
874
- </div>
875
- <a id="a101633c38e284f6e2bcad852daa3baae"></a>
876
- <h2 class="memtitle"><span class="permalink"><a href="#a101633c38e284f6e2bcad852daa3baae">&#9670;&nbsp;</a></span>classof() <span class="overload">[2/2]</span></h2>
877
-
878
- <div class="memitem">
879
- <div class="memproto">
880
- <table class="mlabels">
881
- <tr>
882
- <td class="mlabels-left">
883
- <table class="memname">
884
- <tr>
885
- <td class="memname">static bool SVF::IntervalValue::classof </td>
886
- <td>(</td>
887
- <td class="paramtype">const <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> *&#160;</td>
888
- <td class="paramname"></td><td>)</td>
889
- <td></td>
890
- </tr>
891
- </table>
892
- </td>
893
- <td class="mlabels-right">
894
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span> </td>
895
- </tr>
896
- </table>
897
- </div><div class="memdoc">
898
-
899
- <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
900
-
901
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00208">208</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
902
- <div class="fragment"><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; {</div>
903
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
904
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
905
- </div><!-- fragment -->
906
- </div>
907
- </div>
908
804
  <a id="afcb91d48a79aeba3c78c1a41b0730a73"></a>
909
805
  <h2 class="memtitle"><span class="permalink"><a href="#afcb91d48a79aeba3c78c1a41b0730a73">&#9670;&nbsp;</a></span>contains()</h2>
910
806
 
@@ -931,10 +827,10 @@ Additional Inherited Members</h2></td></tr>
931
827
 
932
828
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> contains n. </p>
933
829
 
934
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00476">476</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
935
- <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
936
- <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
937
- <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; }</div>
830
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00462">462</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
831
+ <div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; {</div>
832
+ <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
833
+ <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div>
938
834
  </div><!-- fragment -->
939
835
  </div>
940
836
  </div>
@@ -962,17 +858,17 @@ Additional Inherited Members</h2></td></tr>
962
858
  </table>
963
859
  </div><div class="memdoc">
964
860
 
965
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00481">481</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
966
- <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div>
967
- <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
968
- <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; {</div>
969
- <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
970
- <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; }</div>
971
- <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">else</span></div>
972
- <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div>
973
- <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
974
- <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
975
- <div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; }</div>
861
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00467">467</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
862
+ <div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; {</div>
863
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
864
+ <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; {</div>
865
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
866
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
867
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">else</span></div>
868
+ <div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; {</div>
869
+ <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
870
+ <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; }</div>
871
+ <div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; }</div>
976
872
  </div><!-- fragment -->
977
873
  </div>
978
874
  </div>
@@ -1002,45 +898,45 @@ Additional Inherited Members</h2></td></tr>
1002
898
 
1003
899
  <p>Equality comparison. </p>
1004
900
 
1005
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00356">356</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1006
- <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; {</div>
1007
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1008
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
1009
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> other.isBottom();</div>
1010
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
1011
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1012
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
1013
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1014
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
1015
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">else</span></div>
1016
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
1017
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">is_real</a>() &amp;&amp; other.is_real())</div>
1018
- <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; {</div>
1019
- <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
1020
- <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; }</div>
1021
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>() &amp;&amp; other.is_int())</div>
1022
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
1023
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
1024
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
1025
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>())</div>
1026
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1027
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1028
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1029
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getRealNumeral();</div>
1030
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getRealNumeral();</div>
1031
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
1032
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; }</div>
1033
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">else</span></div>
1034
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div>
1035
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1036
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1037
- <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getIntNumeral();</div>
1038
- <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getIntNumeral();</div>
1039
- <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
1040
- <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
1041
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;not implemented&quot;</span>);</div>
1042
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; }</div>
1043
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; }</div>
901
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00342">342</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
902
+ <div class="fragment"><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; {</div>
903
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
904
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
905
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> other.isBottom();</div>
906
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
907
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
908
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
909
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
910
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div>
911
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordflow">else</span></div>
912
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; {</div>
913
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">is_real</a>() &amp;&amp; other.is_real())</div>
914
+ <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; {</div>
915
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
916
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div>
917
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>() &amp;&amp; other.is_int())</div>
918
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
919
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
920
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
921
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>())</div>
922
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
923
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
924
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
925
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getRealNumeral();</div>
926
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getRealNumeral();</div>
927
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
928
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; }</div>
929
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">else</span></div>
930
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; {</div>
931
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
932
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
933
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getIntNumeral();</div>
934
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getIntNumeral();</div>
935
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
936
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; }</div>
937
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;not implemented&quot;</span>);</div>
938
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; }</div>
939
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div>
1044
940
  </div><!-- fragment -->
1045
941
  </div>
1046
942
  </div>
@@ -1070,21 +966,21 @@ Additional Inherited Members</h2></td></tr>
1070
966
 
1071
967
  <p>Check current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is greater than or equal to the other. </p>
1072
968
 
1073
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00338">338</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1074
- <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
1075
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1076
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div>
1077
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1078
- <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; }</div>
1079
- <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1080
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
1081
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1082
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
1083
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">else</span></div>
1084
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
1085
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> other._lb.geq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other._ub);</div>
1086
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div>
1087
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
969
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00324">324</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
970
+ <div class="fragment"><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; {</div>
971
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
972
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
973
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
974
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
975
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
976
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; {</div>
977
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
978
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; }</div>
979
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">else</span></div>
980
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
981
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> other._lb.geq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other._ub);</div>
982
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
983
+ <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; }</div>
1088
984
  </div><!-- fragment -->
1089
985
  </div>
1090
986
  </div>
@@ -1111,11 +1007,11 @@ Additional Inherited Members</h2></td></tr>
1111
1007
  </table>
1112
1008
  </div><div class="memdoc">
1113
1009
 
1114
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00287">287</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1115
- <div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div>
1116
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1117
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1118
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; }</div>
1010
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00273">273</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1011
+ <div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
1012
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1013
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1014
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; }</div>
1119
1015
  </div><!-- fragment -->
1120
1016
  </div>
1121
1017
  </div>
@@ -1144,11 +1040,11 @@ Additional Inherited Members</h2></td></tr>
1144
1040
 
1145
1041
  <p>Return. </p>
1146
1042
 
1147
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00281">281</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1148
- <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; {</div>
1149
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1150
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
1151
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div>
1043
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00267">267</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1044
+ <div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; {</div>
1045
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1046
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
1047
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
1152
1048
  </div><!-- fragment -->
1153
1049
  </div>
1154
1050
  </div>
@@ -1175,11 +1071,11 @@ Additional Inherited Members</h2></td></tr>
1175
1071
  </table>
1176
1072
  </div><div class="memdoc">
1177
1073
 
1178
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00293">293</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1179
- <div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div>
1180
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1181
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1182
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
1074
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00279">279</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1075
+ <div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; {</div>
1076
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1077
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1078
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
1183
1079
  </div><!-- fragment -->
1184
1080
  </div>
1185
1081
  </div>
@@ -1208,10 +1104,10 @@ Additional Inherited Members</h2></td></tr>
1208
1104
 
1209
1105
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is infinite <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1210
1106
 
1211
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00259">259</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1212
- <div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div>
1213
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() || <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>();</div>
1214
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
1107
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00245">245</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1108
+ <div class="fragment"><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div>
1109
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() || <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>();</div>
1110
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; }</div>
1215
1111
  </div><!-- fragment -->
1216
1112
  </div>
1217
1113
  </div>
@@ -1269,13 +1165,13 @@ Additional Inherited Members</h2></td></tr>
1269
1165
  </table>
1270
1166
  </div><div class="memdoc">
1271
1167
 
1272
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00264">264</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1273
- <div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div>
1274
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordtype">bool</span> lb_int = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1275
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordtype">bool</span> ub_int = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1276
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; assert (lb_int == ub_int &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both int or both float&quot;</span>);</div>
1277
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1278
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; }</div>
1168
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00250">250</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1169
+ <div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; {</div>
1170
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <span class="keywordtype">bool</span> lb_int = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1171
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordtype">bool</span> ub_int = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1172
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; assert (lb_int == ub_int &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both int or both float&quot;</span>);</div>
1173
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1174
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; }</div>
1279
1175
  </div><!-- fragment -->
1280
1176
  </div>
1281
1177
  </div>
@@ -1304,10 +1200,10 @@ Additional Inherited Members</h2></td></tr>
1304
1200
 
1305
1201
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is a number [num, num]. </p>
1306
1202
 
1307
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00300">300</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1308
- <div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div>
1309
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">return</span> eq(<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>);</div>
1310
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div>
1203
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00286">286</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1204
+ <div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; {</div>
1205
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; <span class="keywordflow">return</span> eq(<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>);</div>
1206
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
1311
1207
  </div><!-- fragment -->
1312
1208
  </div>
1313
1209
  </div>
@@ -1334,13 +1230,13 @@ Additional Inherited Members</h2></td></tr>
1334
1230
  </table>
1335
1231
  </div><div class="memdoc">
1336
1232
 
1337
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00272">272</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1338
- <div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div>
1339
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordtype">bool</span> lb_real = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1340
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordtype">bool</span> ub_real = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1341
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; assert (lb_real == ub_real &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both real or both int&quot;</span>);</div>
1342
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1343
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; }</div>
1233
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00258">258</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1234
+ <div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div>
1235
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordtype">bool</span> lb_real = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1236
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordtype">bool</span> ub_real = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1237
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; assert (lb_real == ub_real &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both real or both int&quot;</span>);</div>
1238
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1239
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; }</div>
1344
1240
  </div><!-- fragment -->
1345
1241
  </div>
1346
1242
  </div>
@@ -1369,15 +1265,15 @@ Additional Inherited Members</h2></td></tr>
1369
1265
 
1370
1266
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is [0, 0]. </p>
1371
1267
 
1372
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00253">253</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1373
- <div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
1374
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() &amp;&amp; <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>();</div>
1375
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; }</div>
1268
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00239">239</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1269
+ <div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; {</div>
1270
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() &amp;&amp; <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>();</div>
1271
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; }</div>
1376
1272
  </div><!-- fragment -->
1377
1273
  </div>
1378
1274
  </div>
1379
- <a id="af8be90fc1b61103187908dce4ba68001"></a>
1380
- <h2 class="memtitle"><span class="permalink"><a href="#af8be90fc1b61103187908dce4ba68001">&#9670;&nbsp;</a></span>isBottom()</h2>
1275
+ <a id="a674f9bb98053f8658e246863d6561072"></a>
1276
+ <h2 class="memtitle"><span class="permalink"><a href="#a674f9bb98053f8658e246863d6561072">&#9670;&nbsp;</a></span>isBottom()</h2>
1381
1277
 
1382
1278
  <div class="memitem">
1383
1279
  <div class="memproto">
@@ -1394,13 +1290,11 @@ Additional Inherited Members</h2></td></tr>
1394
1290
  </table>
1395
1291
  </td>
1396
1292
  <td class="mlabels-right">
1397
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
1293
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1398
1294
  </tr>
1399
1295
  </table>
1400
1296
  </div><div class="memdoc">
1401
1297
 
1402
- <p>Implements <a class="el" href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">SVF::AbstractValue</a>.</p>
1403
-
1404
1298
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00060">60</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1405
1299
  <div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; {</div>
1406
1300
  <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>);</div>
@@ -1408,8 +1302,8 @@ Additional Inherited Members</h2></td></tr>
1408
1302
  </div><!-- fragment -->
1409
1303
  </div>
1410
1304
  </div>
1411
- <a id="a977128211266b93e58e298a7ac29a059"></a>
1412
- <h2 class="memtitle"><span class="permalink"><a href="#a977128211266b93e58e298a7ac29a059">&#9670;&nbsp;</a></span>isTop()</h2>
1305
+ <a id="a1fc899db5c37229692782406ad56f34f"></a>
1306
+ <h2 class="memtitle"><span class="permalink"><a href="#a1fc899db5c37229692782406ad56f34f">&#9670;&nbsp;</a></span>isTop()</h2>
1413
1307
 
1414
1308
  <div class="memitem">
1415
1309
  <div class="memproto">
@@ -1426,13 +1320,11 @@ Additional Inherited Members</h2></td></tr>
1426
1320
  </table>
1427
1321
  </td>
1428
1322
  <td class="mlabels-right">
1429
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
1323
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1430
1324
  </tr>
1431
1325
  </table>
1432
1326
  </div><div class="memdoc">
1433
1327
 
1434
- <p>Implements <a class="el" href="classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6">SVF::AbstractValue</a>.</p>
1435
-
1436
1328
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00055">55</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1437
1329
  <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
1438
1330
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>() &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>();</div>
@@ -1466,30 +1358,30 @@ Additional Inherited Members</h2></td></tr>
1466
1358
 
1467
1359
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> joins with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1468
1360
 
1469
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00397">397</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1470
- <div class="fragment"><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; {</div>
1471
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1472
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div>
1473
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">if</span> (other.isBottom())</div>
1474
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; {</div>
1475
- <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; <span class="keywordflow">return</span>;</div>
1476
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div>
1477
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">else</span></div>
1478
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; {</div>
1479
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other.lb();</div>
1480
- <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other.ub();</div>
1481
- <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
1482
- <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; }</div>
1483
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1484
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
1485
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span>;</div>
1486
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
1487
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">else</span></div>
1488
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; {</div>
1489
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>(), other.lb());</div>
1490
- <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>(), other.ub());</div>
1491
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
1492
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div>
1361
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00383">383</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1362
+ <div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; {</div>
1363
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
1364
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; {</div>
1365
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordflow">if</span> (other.isBottom())</div>
1366
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; {</div>
1367
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordflow">return</span>;</div>
1368
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; }</div>
1369
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">else</span></div>
1370
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; {</div>
1371
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other.lb();</div>
1372
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other.ub();</div>
1373
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; }</div>
1374
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div>
1375
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1376
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; {</div>
1377
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">return</span>;</div>
1378
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; }</div>
1379
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">else</span></div>
1380
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; {</div>
1381
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>(), other.lb());</div>
1382
+ <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>(), other.ub());</div>
1383
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
1384
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; }</div>
1493
1385
  </div><!-- fragment -->
1494
1386
  </div>
1495
1387
  </div>
@@ -1518,11 +1410,11 @@ Additional Inherited Members</h2></td></tr>
1518
1410
 
1519
1411
  <p>Return the lower bound. </p>
1520
1412
 
1521
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00220">220</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1522
- <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
1523
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
1524
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1525
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
1413
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00206">206</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1414
+ <div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
1415
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>());</div>
1416
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1417
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div>
1526
1418
  </div><!-- fragment -->
1527
1419
  </div>
1528
1420
  </div>
@@ -1552,22 +1444,22 @@ Additional Inherited Members</h2></td></tr>
1552
1444
 
1553
1445
  <p>Check current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is smaller than or equal to the other. </p>
1554
1446
 
1555
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00320">320</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1556
- <div class="fragment"><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; {</div>
1557
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1558
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
1559
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1560
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div>
1561
- <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1562
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
1563
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1564
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
1565
- <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">else</span></div>
1566
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; {</div>
1567
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">return</span> other._lb.leq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other._ub);</div>
1568
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; }</div>
1569
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; </div>
1570
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
1447
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00306">306</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1448
+ <div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
1449
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
1450
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div>
1451
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1452
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; }</div>
1453
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1454
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; {</div>
1455
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1456
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
1457
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">else</span></div>
1458
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; {</div>
1459
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">return</span> other._lb.leq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other._ub);</div>
1460
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; }</div>
1461
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; </div>
1462
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
1571
1463
  </div><!-- fragment -->
1572
1464
  </div>
1573
1465
  </div>
@@ -1597,20 +1489,20 @@ Additional Inherited Members</h2></td></tr>
1597
1489
 
1598
1490
  <p>Return a intersected <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1599
1491
 
1600
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00460">460</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1601
- <div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div>
1602
- <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1603
- <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; {</div>
1604
- <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1605
- <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div>
1606
- <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">else</span></div>
1607
- <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1608
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other.lb());</div>
1609
- <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>, other.ub());</div>
1610
- <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1611
- <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1612
- <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
1613
- <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div>
1492
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00446">446</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1493
+ <div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; {</div>
1494
+ <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>() || other.isBottom())</div>
1495
+ <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
1496
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1497
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
1498
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">else</span></div>
1499
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div>
1500
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other.lb());</div>
1501
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>, other.ub());</div>
1502
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
1503
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1504
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; }</div>
1505
+ <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; }</div>
1614
1506
  </div><!-- fragment -->
1615
1507
  </div>
1616
1508
  </div>
@@ -1672,22 +1564,22 @@ Additional Inherited Members</h2></td></tr>
1672
1564
 
1673
1565
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> narrow with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1674
1566
 
1675
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00442">442</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1676
- <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div>
1677
- <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1678
- <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; {</div>
1679
- <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1680
- <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; }</div>
1681
- <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1682
- <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
1683
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span>;</div>
1684
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
1685
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">else</span></div>
1686
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div>
1687
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>()) ? other._lb : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1688
- <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()) ? other._ub : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
1689
- <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div>
1690
- <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; }</div>
1567
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00428">428</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1568
+ <div class="fragment"><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; {</div>
1569
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>() || other.isBottom())</div>
1570
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; {</div>
1571
+ <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1572
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; }</div>
1573
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1574
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div>
1575
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; <span class="keywordflow">return</span>;</div>
1576
+ <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; }</div>
1577
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <span class="keywordflow">else</span></div>
1578
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; {</div>
1579
+ <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>()) ? other._lb : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1580
+ <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()) ? other._ub : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
1581
+ <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; }</div>
1582
+ <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; }</div>
1691
1583
  </div><!-- fragment -->
1692
1584
  </div>
1693
1585
  </div>
@@ -1717,37 +1609,37 @@ Additional Inherited Members</h2></td></tr>
1717
1609
 
1718
1610
  <p>Equality comparison. </p>
1719
1611
 
1720
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00171">171</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1721
- <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
1722
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1723
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
1724
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1725
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
1726
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1727
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div>
1728
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1729
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
1730
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">else</span></div>
1731
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div>
1732
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1733
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
1734
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1735
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
1736
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">else</span></div>
1737
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; {</div>
1738
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1739
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; value.meet_with(other);</div>
1740
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span> (!value.isBottom())</div>
1741
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; {</div>
1742
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1743
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
1744
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">else</span></div>
1745
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
1746
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1747
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
1748
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
1749
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
1750
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div>
1612
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00170">170</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1613
+ <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
1614
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>() || other.isBottom())</div>
1615
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
1616
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1617
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
1618
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">isTop</a>() || other.isTop())</div>
1619
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
1620
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1621
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
1622
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">else</span></div>
1623
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
1624
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1625
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div>
1626
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1627
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div>
1628
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">else</span></div>
1629
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div>
1630
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1631
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; value.meet_with(other);</div>
1632
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">if</span> (!value.isBottom())</div>
1633
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
1634
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1635
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; }</div>
1636
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">else</span></div>
1637
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
1638
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1639
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; }</div>
1640
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
1641
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
1642
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
1751
1643
  </div><!-- fragment -->
1752
1644
  </div>
1753
1645
  </div>
@@ -1833,38 +1725,38 @@ Additional Inherited Members</h2></td></tr>
1833
1725
 
1834
1726
  <p>Equality comparison. </p>
1835
1727
 
1836
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00137">137</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1837
- <div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div>
1838
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1839
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; {</div>
1840
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1841
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; }</div>
1842
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1843
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
1844
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1845
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; }</div>
1846
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">else</span></div>
1847
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
1848
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1849
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div>
1850
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1851
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div>
1852
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordflow">else</span></div>
1853
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div>
1854
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1855
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; value.meet_with(other);</div>
1856
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span> (value.isBottom())</div>
1857
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
1858
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1859
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
1860
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">else</span></div>
1861
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
1862
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="comment">// return top();</span></div>
1863
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1864
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
1865
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1866
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
1867
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
1728
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00136">136</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1729
+ <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div>
1730
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>() || other.isBottom())</div>
1731
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; {</div>
1732
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1733
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
1734
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">isTop</a>() || other.isTop())</div>
1735
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
1736
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1737
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
1738
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">else</span></div>
1739
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
1740
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1741
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div>
1742
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1743
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
1744
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">else</span></div>
1745
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
1746
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1747
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; value.meet_with(other);</div>
1748
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">if</span> (value.isBottom())</div>
1749
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
1750
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1751
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div>
1752
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">else</span></div>
1753
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div>
1754
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="comment">// return top();</span></div>
1755
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1756
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
1757
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
1758
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1759
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
1868
1760
  </div><!-- fragment -->
1869
1761
  </div>
1870
1762
  </div>
@@ -1925,11 +1817,11 @@ Additional Inherited Members</h2></td></tr>
1925
1817
 
1926
1818
  <p>Set current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> as bottom. </p>
1927
1819
 
1928
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00306">306</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1929
- <div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
1930
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = 1;</div>
1931
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = 0;</div>
1932
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
1820
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00292">292</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1821
+ <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
1822
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = 1;</div>
1823
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = 0;</div>
1824
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
1933
1825
  </div><!-- fragment -->
1934
1826
  </div>
1935
1827
  </div>
@@ -1958,11 +1850,11 @@ Additional Inherited Members</h2></td></tr>
1958
1850
 
1959
1851
  <p>Set current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> as top. </p>
1960
1852
 
1961
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00313">313</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1962
- <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; {</div>
1963
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>();</div>
1964
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>();</div>
1965
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
1853
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00299">299</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1854
+ <div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div>
1855
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>();</div>
1856
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>();</div>
1857
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div>
1966
1858
  </div><!-- fragment -->
1967
1859
  </div>
1968
1860
  </div>
@@ -1992,10 +1884,10 @@ Additional Inherited Members</h2></td></tr>
1992
1884
 
1993
1885
  <p>Set the lower bound. </p>
1994
1886
 
1995
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00234">234</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1996
- <div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div>
1997
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1998
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div>
1887
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00220">220</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1888
+ <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
1889
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1890
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
1999
1891
  </div><!-- fragment -->
2000
1892
  </div>
2001
1893
  </div>
@@ -2025,10 +1917,10 @@ Additional Inherited Members</h2></td></tr>
2025
1917
 
2026
1918
  <p>Set the upper bound. </p>
2027
1919
 
2028
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00240">240</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2029
- <div class="fragment"><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
2030
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
2031
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
1920
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00226">226</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1921
+ <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
1922
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
1923
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
2032
1924
  </div><!-- fragment -->
2033
1925
  </div>
2034
1926
  </div>
@@ -2068,11 +1960,11 @@ Additional Inherited Members</h2></td></tr>
2068
1960
 
2069
1961
  <p>Set the lower bound. </p>
2070
1962
 
2071
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00246">246</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2072
- <div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; {</div>
2073
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
2074
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
2075
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
1963
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00232">232</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1964
+ <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div>
1965
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1966
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
1967
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
2076
1968
  </div><!-- fragment -->
2077
1969
  </div>
2078
1970
  </div>
@@ -2131,20 +2023,20 @@ Additional Inherited Members</h2></td></tr>
2131
2023
  </table>
2132
2024
  </div><div class="memdoc">
2133
2025
 
2134
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00493">493</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2135
- <div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; {</div>
2136
- <div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
2137
- <div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; std::stringstream rawStr(str);</div>
2138
- <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
2139
- <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div>
2140
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
2141
- <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
2142
- <div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; <span class="keywordflow">else</span></div>
2143
- <div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div>
2144
- <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
2145
- <div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div>
2146
- <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; <span class="keywordflow">return</span> rawStr.str();</div>
2147
- <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; }</div>
2026
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00479">479</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2027
+ <div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; {</div>
2028
+ <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
2029
+ <div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; std::stringstream rawStr(str);</div>
2030
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
2031
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; {</div>
2032
+ <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
2033
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; }</div>
2034
+ <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">else</span></div>
2035
+ <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div>
2036
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
2037
+ <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
2038
+ <div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; <span class="keywordflow">return</span> rawStr.str();</div>
2039
+ <div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; }</div>
2148
2040
  </div><!-- fragment -->
2149
2041
  </div>
2150
2042
  </div>
@@ -2173,11 +2065,11 @@ Additional Inherited Members</h2></td></tr>
2173
2065
 
2174
2066
  <p>Return the upper bound. </p>
2175
2067
 
2176
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00227">227</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2177
- <div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
2178
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
2179
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
2180
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
2068
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00213">213</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2069
+ <div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
2070
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>());</div>
2071
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
2072
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; }</div>
2181
2073
  </div><!-- fragment -->
2182
2074
  </div>
2183
2075
  </div>
@@ -2207,23 +2099,23 @@ Additional Inherited Members</h2></td></tr>
2207
2099
 
2208
2100
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> widen with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
2209
2101
 
2210
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00423">423</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2211
- <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div>
2212
- <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
2213
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; {</div>
2214
- <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other._lb;</div>
2215
- <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other._ub;</div>
2216
- <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div>
2217
- <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
2218
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; {</div>
2219
- <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; <span class="keywordflow">return</span>;</div>
2220
- <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; }</div>
2221
- <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <span class="keywordflow">else</span></div>
2222
- <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div>
2223
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other.lb()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>();</div>
2224
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other.ub()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>();</div>
2225
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; }</div>
2226
- <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
2102
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00409">409</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2103
+ <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div>
2104
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>())</div>
2105
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
2106
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other._lb;</div>
2107
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other._ub;</div>
2108
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; }</div>
2109
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
2110
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; {</div>
2111
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span>;</div>
2112
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
2113
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">else</span></div>
2114
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div>
2115
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other.lb()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>();</div>
2116
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other.ub()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>();</div>
2117
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div>
2118
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; }</div>
2227
2119
  </div><!-- fragment -->
2228
2120
  </div>
2229
2121
  </div>
@@ -2281,42 +2173,40 @@ Additional Inherited Members</h2></td></tr>
2281
2173
  </ul>
2282
2174
  </div><!-- contents -->
2283
2175
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac154ddeb6516e240e091f4867c4c3593"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">SVF::NumericLiteral::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00092">NumericLiteral.h:92</a></div></div>
2284
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a56c3cfc51a812f4a9b3171371d3efa60"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(AbstractValueK kind)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00056">AbstractValue.h:56</a></div></div>
2285
2176
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ad51535cb50a03df7a439b4e5b5d305f0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue()</div><div class="ttdoc">Create default IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00095">IntervalValue.h:95</a></div></div>
2286
2177
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a739ab04e16ec1156be71b29d49998a4f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">SVF::IntervalValue::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="IntervalValue_8h_source.html#l00072">IntervalValue.h:72</a></div></div>
2287
2178
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3c00a3b16192645f667a88bf636f01ff"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue::_ub</a></div><div class="ttdeci">NumericLiteral _ub</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00050">IntervalValue.h:50</a></div></div>
2288
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a20d391da7bcd46a14c5ec1960aee2536"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">SVF::IntervalValue::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00264">IntervalValue.h:264</a></div></div>
2289
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00220">IntervalValue.h:220</a></div></div>
2179
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a20d391da7bcd46a14c5ec1960aee2536"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">SVF::IntervalValue::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00250">IntervalValue.h:250</a></div></div>
2180
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00206">IntervalValue.h:206</a></div></div>
2290
2181
  <div class="ttc" id="aclassSVF_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#l00116">NumericLiteral.h:116</a></div></div>
2291
2182
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a43f48c744f7bda0dc689b8f186449371"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">SVF::IntervalValue::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="IntervalValue_8h_source.html#l00066">IntervalValue.h:66</a></div></div>
2292
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_af8be90fc1b61103187908dce4ba68001"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">SVF::IntervalValue::isBottom</a></div><div class="ttdeci">bool isBottom() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00060">IntervalValue.h:60</a></div></div>
2293
2183
  <div class="ttc" id="acJSON_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>
2294
2184
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0827c976d921894e89ca4ac88ecf3f95"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue::_lb</a></div><div class="ttdeci">NumericLiteral _lb</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00047">IntervalValue.h:47</a></div></div>
2295
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00300">IntervalValue.h:300</a></div></div>
2185
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a1fc899db5c37229692782406ad56f34f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>
2186
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00286">IntervalValue.h:286</a></div></div>
2296
2187
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_add3acad151d5af6c9a5f692f7a01e65b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue::top</a></div><div class="ttdeci">static IntervalValue top()</div><div class="ttdoc">Create the IntervalValue [-oo, +oo].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00083">IntervalValue.h:83</a></div></div>
2297
2188
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac4acd8ca01d2aa1715c18beb46b0ae1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral::is_infinity</a></div><div class="ttdeci">bool is_infinity() const</div><div class="ttdoc">Check if this is infinity (either of plus/minus)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00110">NumericLiteral.h:110</a></div></div>
2298
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a78b5445006d765160bbcb4ae2e11bd8a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdoc">Return true if the IntervalValue is infinite IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00259">IntervalValue.h:259</a></div></div>
2189
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a78b5445006d765160bbcb4ae2e11bd8a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdoc">Return true if the IntervalValue is infinite IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00245">IntervalValue.h:245</a></div></div>
2299
2190
  <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
2191
  <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
2192
  <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
2193
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00183">NumericLiteral.h:183</a></div></div>
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 &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00227">IntervalValue.h:227</a></div></div>
2194
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00213">IntervalValue.h:213</a></div></div>
2304
2195
  <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
2196
  <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
2197
  <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
2198
  <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&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
2308
2199
  <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
2200
  <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
- <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
2201
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00154">NumericLiteral.h:154</a></div></div>
2202
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a674f9bb98053f8658e246863d6561072"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">SVF::IntervalValue::isBottom</a></div><div class="ttdeci">bool isBottom() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00060">IntervalValue.h:60</a></div></div>
2312
2203
  <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
- <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
- <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>
2204
+ <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#l00292">IntervalValue.h:292</a></div></div>
2315
2205
  <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00160">NumericLiteral.h:160</a></div></div>
2316
2206
  <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
2207
  <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
2208
  <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>
2319
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aef151a05c0f4a2a1aa3f9091f5258ee6"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">SVF::IntervalValue::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00272">IntervalValue.h:272</a></div></div>
2209
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aef151a05c0f4a2a1aa3f9091f5258ee6"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">SVF::IntervalValue::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00258">IntervalValue.h:258</a></div></div>
2320
2210
  <!-- start footer part -->
2321
2211
  <hr class="footer"/><address class="footer"><small>
2322
2212
  Generated by &#160;<a href="http://www.doxygen.org/index.html">