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/AbstractValue_8h_source.html CHANGED
@@ -69,7 +69,7 @@ $(function() {
69
69
  <div class="title">AbstractValue.h</div> </div>
70
70
  </div><!--header-->
71
71
  <div class="contents">
72
- <a href="AbstractValue_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- AbstractValue.h --Abstract Value for domains---------------------------//</span></div>
72
+ <a href="AbstractValue_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===- AbstractValue.h ----AbstractValue-------------------------//</span></div>
73
73
  <div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div>
74
74
  <div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div>
75
75
  <div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div>
@@ -90,72 +90,662 @@ $(function() {
90
90
  <div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div>
91
91
  <div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div>
92
92
  <div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div>
93
- <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;<span class="comment">/*</span></div>
94
- <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment"> * AbstractValue.h</span></div>
95
- <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> *</span></div>
96
- <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> * Created on: Aug 4, 2022</span></div>
97
- <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Author: Xiao Cheng, Jiawei Wang</span></div>
98
- <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> *</span></div>
99
- <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> */</span></div>
100
- <div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; </div>
101
- <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="preprocessor">#ifndef Z3_EXAMPLE_ABSTRACTVALUE_H</span></div>
102
- <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define Z3_EXAMPLE_ABSTRACTVALUE_H</span></div>
103
- <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
- <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &lt;type_traits&gt;</span></div>
105
- <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160; </div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;{</div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; </div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="keyword">class </span>IntervalValue;</div>
93
+ <div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160; </div>
94
+ <div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="IntervalValue_8h.html">AE/Core/IntervalValue.h</a>&quot;</span></div>
95
+ <div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="AddressValue_8h.html">AE/Core/AddressValue.h</a>&quot;</span></div>
96
+ <div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160; </div>
97
+ <div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
98
+ <div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;{</div>
99
+ <div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160; </div>
100
+ <div class="line"><a name="l00029"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html"> 29</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a></div>
101
+ <div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;{</div>
102
+ <div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a"> 31</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a">DataType</a></div>
103
+ <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; {</div>
104
+ <div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4"> 33</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>,</div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5"> 34</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>,</div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a"> 35</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>,</div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; };</div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613"> 37</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a">DataType</a> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>;</div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930"> 38</a></span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568"> 39</a></span>&#160; <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>;</div>
111
111
  <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
- <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html"> 44</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a></div>
113
- <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;{</div>
114
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">public</span>:</div>
115
- <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16"> 48</a></span>&#160; <span class="keyword">enum</span> <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a></div>
116
- <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; {</div>
117
- <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a"> 50</a></span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">IntervalK</a>, <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5">ConcreteK</a>, <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">AddressK</a></div>
118
- <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; };</div>
119
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160;<span class="keyword">private</span>:</div>
120
- <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172"> 53</a></span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> <a class="code" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">_kind</a>;</div>
121
- <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; </div>
122
- <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;<span class="keyword">public</span>:</div>
123
- <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60"> 56</a></span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> kind) : <a class="code" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">_kind</a>(kind) {}</div>
124
- <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; </div>
125
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">~AbstractValue</a>() = <span class="keywordflow">default</span>;</div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5c743f114bc4dc2b451019e95214bf5a"> 41</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a5c743f114bc4dc2b451019e95214bf5a">AbstractValue</a>() : <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(<a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>)</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; {</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; }</div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a7178510882afd1cf133be9eba03b9522"> 45</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a7178510882afd1cf133be9eba03b9522">AbstractValue</a>(<a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a">DataType</a> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>) : <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; {</div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; <span class="keywordflow">switch</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; {</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>:</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <span class="keywordflow">break</span>;</div>
123
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>:</div>
124
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a> = <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a>();</div>
125
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; <span class="keywordflow">break</span>;</div>
126
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>:</div>
127
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keywordflow">break</span>;</div>
128
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; }</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; }</div>
126
130
  <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; </div>
127
- <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept = <span class="keywordflow">default</span>;</div>
128
- <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; </div>
129
- <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept = default;</div>
130
- <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
131
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;operator=(const <a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;) noexcept = default;</div>
132
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; </div>
133
- <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;operator=(<a class="code" href="classSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;) noexcept = default;</div>
134
- <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; </div>
135
- <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e"> 68</a></span>&#160; inline <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">AbstractValueK</a> <a class="code" href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">getAbstractValueKind</a>()<span class="keyword"> const</span></div>
136
- <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160;<span class="keyword"> </span>{</div>
137
- <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">_kind</a>;</div>
138
- <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; }</div>
139
- <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; </div>
140
- <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6">isTop</a>() <span class="keyword">const</span> = 0;</div>
131
+ <div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a08c98839084082c15651ac2ebe3a50db"> 60</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a08c98839084082c15651ac2ebe3a50db">AbstractValue</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; other): <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
132
+ <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; {</div>
133
+ <div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <span class="keywordflow">switch</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
134
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; {</div>
135
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>:</div>
136
+ <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
137
+ <div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="keywordflow">break</span>;</div>
138
+ <div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>:</div>
139
+ <div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a> = other.<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>;</div>
140
+ <div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <span class="keywordflow">break</span>;</div>
141
+ <div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>:</div>
142
+ <div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <span class="keywordflow">break</span>;</div>
143
+ <div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div>
144
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; }</div>
141
145
  <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; </div>
142
- <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">isBottom</a>() <span class="keyword">const</span> = 0;</div>
143
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;}; <span class="comment">// end class AbstractValue</span></div>
144
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;} <span class="comment">// end namespace SVF</span></div>
145
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_ABSTRACTVALUE_H</span></div>
146
+ <div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4"> 75</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>()<span class="keyword"> const</span></div>
147
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160;<span class="keyword"> </span>{</div>
148
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> == <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>;</div>
149
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div>
150
+ <div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982"> 79</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>()<span class="keyword"> const</span></div>
151
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;<span class="keyword"> </span>{</div>
152
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> == <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>;</div>
153
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; }</div>
154
+ <div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff"> 83</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">isUnknown</a>()<span class="keyword"> const</span></div>
155
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160;<span class="keyword"> </span>{</div>
156
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> == <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>;</div>
157
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div>
158
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; </div>
159
+ <div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aa4eedea82ef602431a17973afadff0a6"> 88</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a">DataType</a> <a class="code" href="structSVF_1_1AbstractValue.html#aa4eedea82ef602431a17973afadff0a6">getType</a>()<span class="keyword"> const</span></div>
160
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160;<span class="keyword"> </span>{</div>
161
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>;</div>
162
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
163
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; </div>
164
+ <div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a8da7b9df794f0ce00c4c09a961783d03"> 93</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a8da7b9df794f0ce00c4c09a961783d03">AbstractValue</a>(<a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;&amp;other) : <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
165
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
166
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">switch</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
167
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
168
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>:</div>
169
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = other.interval;</div>
170
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">break</span>;</div>
171
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>:</div>
172
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a> = other.addr;</div>
173
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">break</span>;</div>
174
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>:</div>
175
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">break</span>;</div>
176
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div>
177
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; }</div>
178
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; </div>
179
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="comment">// operator overload, supporting both interval and address</span></div>
180
+ <div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ad53953330317179a8b5697bff9d83305"> 109</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#ad53953330317179a8b5697bff9d83305">operator=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; other)</div>
181
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; {</div>
182
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> = other.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>;</div>
183
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">switch</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
184
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div>
185
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>:</div>
186
+ <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
187
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <span class="keywordflow">break</span>;</div>
188
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>:</div>
189
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a> = other.<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>;</div>
190
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">break</span>;</div>
191
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <span class="keywordflow">case</span> <a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">UnknownType</a>:</div>
192
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="keywordflow">break</span>;</div>
193
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; }</div>
194
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div>
195
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
196
+ <div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aec0cdd556358fc4257df89fd234b29a7"> 125</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#aec0cdd556358fc4257df89fd234b29a7">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; other)<span class="keyword"> const</span></div>
197
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160;<span class="keyword"> </span>{</div>
198
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
199
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> == other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
200
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; }</div>
201
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; </div>
202
+ <div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a6263b83acb17f3f243a8d430eb404148"> 131</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a6263b83acb17f3f243a8d430eb404148">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; other)<span class="keyword"> const</span></div>
203
+ <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;<span class="keyword"> </span>{</div>
204
+ <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
205
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> == other;</div>
206
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div>
207
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; </div>
208
+ <div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ac721fe3bf7435af1de3120d5f6288efa"> 137</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#ac721fe3bf7435af1de3120d5f6288efa">operator!=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a>&amp; other)<span class="keyword"> const</span></div>
209
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;<span class="keyword"> </span>{</div>
210
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
211
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> != other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
212
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
213
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; </div>
214
+ <div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5d291bc06d97a97f6f0d7b2aad5ceb7f"> 143</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a5d291bc06d97a97f6f0d7b2aad5ceb7f">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; other)<span class="keyword"> const</span></div>
215
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160;<span class="keyword"> </span>{</div>
216
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
217
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> != other;</div>
218
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; }</div>
219
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; </div>
220
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
221
+ <div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a47bc2bc1939dccfde201140472b2bdd9"> 150</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a47bc2bc1939dccfde201140472b2bdd9">AbstractValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; ival) : <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(<a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">IntervalType</a>), <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>(ival) {}</div>
222
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; </div>
223
+ <div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aaf93342273d38c591a6e53d9b73c998e"> 152</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#aaf93342273d38c591a6e53d9b73c998e">AbstractValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>) : <a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>(<a class="code" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">AddressType</a>), <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>(<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>) {}</div>
224
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="comment">// TODO: move constructor</span></div>
225
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393"> 154</a></span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393">getInterval</a>()</div>
226
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; {</div>
227
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">isUnknown</a>())</div>
228
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div>
229
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> = <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">IntervalValue::top</a>();</div>
230
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div>
231
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
232
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
233
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
234
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
235
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="comment">//</span></div>
236
+ <div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a7f784feb5a38e9f3c4df0a1698db7242"> 165</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a7f784feb5a38e9f3c4df0a1698db7242">getInterval</a>()<span class="keyword"> const</span></div>
237
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;<span class="keyword"> </span>{</div>
238
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
239
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
240
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
241
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; </div>
242
+ <div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8"> 171</a></span>&#160; <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">getAddrs</a>()</div>
243
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
244
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>());</div>
245
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>;</div>
246
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
247
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; </div>
248
+ <div class="line"><a name="l00177"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac"> 177</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac">getAddrs</a>()<span class="keyword"> const</span></div>
249
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;<span class="keyword"> </span>{</div>
250
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>());</div>
251
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>;</div>
252
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
253
+ <div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a823a022bef32def0c326708da7801671"> 182</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a823a022bef32def0c326708da7801671">~AbstractValue</a>() {};</div>
254
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
255
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; </div>
256
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="comment">// interval visit funcs</span></div>
257
+ <div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a0eb8246346ebc25e5f263901d7e0c408"> 186</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a0eb8246346ebc25e5f263901d7e0c408">isTop</a>()<span class="keyword"> const</span></div>
258
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160;<span class="keyword"> </span>{</div>
259
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
260
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a1fc899db5c37229692782406ad56f34f">isTop</a>();</div>
261
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div>
262
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; </div>
263
+ <div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a8b1af972fa8a4e40347990d179ec1c52"> 192</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a8b1af972fa8a4e40347990d179ec1c52">isBottom</a>()<span class="keyword"> const</span></div>
264
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;<span class="keyword"> </span>{</div>
265
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
266
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">isBottom</a>();</div>
267
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
268
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; </div>
269
+ <div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648"> 198</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">lb</a>()<span class="keyword"> const</span></div>
270
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160;<span class="keyword"> </span>{</div>
271
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
272
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>();</div>
273
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div>
274
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; </div>
275
+ <div class="line"><a name="l00204"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02"> 204</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">ub</a>()<span class="keyword"> const</span></div>
276
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160;<span class="keyword"> </span>{</div>
277
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
278
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>();</div>
279
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; }</div>
280
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; </div>
281
+ <div class="line"><a name="l00210"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a46e4b0c8fbe6d15cb5a37f14d45a9628"> 210</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a46e4b0c8fbe6d15cb5a37f14d45a9628">setLb</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">lb</a>)</div>
282
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
283
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
284
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d">setLb</a>(<a class="code" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">lb</a>);</div>
285
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
286
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; </div>
287
+ <div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a06ea85e55fe086044b5b7fe6ae8e6be0"> 216</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a06ea85e55fe086044b5b7fe6ae8e6be0">setUb</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a>&amp; <a class="code" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">ub</a>)</div>
288
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div>
289
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
290
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b">setUb</a>(<a class="code" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">ub</a>);</div>
291
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
292
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; </div>
293
+ <div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5055f8071b2e44176912f950598f8b00"> 222</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a5055f8071b2e44176912f950598f8b00">setValue</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">lb</a>, <span class="keyword">const</span> <a class="code" href="classSVF_1_1NumericLiteral.html">NumericLiteral</a> &amp;<a class="code" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">ub</a>)</div>
294
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
295
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
296
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">setValue</a>(<a class="code" href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">lb</a>, <a class="code" href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">ub</a>);</div>
297
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div>
298
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; </div>
299
+ <div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#acf117a1aa32d70b3e38802b79b82e31f"> 228</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#acf117a1aa32d70b3e38802b79b82e31f">is_zero</a>()<span class="keyword"> const</span></div>
300
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;<span class="keyword"> </span>{</div>
301
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
302
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa">is_zero</a>();</div>
303
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
304
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; </div>
305
+ <div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a587f301cfc248178260271e11185078d"> 234</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a587f301cfc248178260271e11185078d">is_infinite</a>()<span class="keyword"> const</span></div>
306
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160;<span class="keyword"> </span>{</div>
307
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
308
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf">is_infinite</a>();</div>
309
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div>
310
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
311
+ <div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a88f80b1cd16e064e999eaa0506234f2c"> 240</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a88f80b1cd16e064e999eaa0506234f2c">is_int</a>()<span class="keyword"> const</span></div>
312
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160;<span class="keyword"> </span>{</div>
313
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
314
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>();</div>
315
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; }</div>
316
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; </div>
317
+ <div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a2388a9f102316fb80ba93a6daef3d2a1"> 246</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a2388a9f102316fb80ba93a6daef3d2a1">is_real</a>()<span class="keyword"> const</span></div>
318
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160;<span class="keyword"> </span>{</div>
319
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
320
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">is_real</a>();</div>
321
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
322
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; </div>
323
+ <div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ac9149740b6c33f33e70cc2aa4f89040e"> 252</a></span>&#160; <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="structSVF_1_1AbstractValue.html#ac9149740b6c33f33e70cc2aa4f89040e">getIntNumeral</a>()<span class="keyword"> const</span></div>
324
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160;<span class="keyword"> </span>{</div>
325
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
326
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">getIntNumeral</a>();</div>
327
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; }</div>
328
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; </div>
329
+ <div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a46a5222d34abc6a195f414adc208092b"> 258</a></span>&#160; <span class="keywordtype">double</span> <a class="code" href="structSVF_1_1AbstractValue.html#a46a5222d34abc6a195f414adc208092b">getRealNumeral</a>()<span class="keyword"> const</span></div>
330
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160;<span class="keyword"> </span>{</div>
331
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
332
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">getRealNumeral</a>();</div>
333
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
334
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; </div>
335
+ <div class="line"><a name="l00264"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aae73e4c65c0324946849f03881f05c3b"> 264</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#aae73e4c65c0324946849f03881f05c3b">is_numeral</a>()<span class="keyword"> const</span></div>
336
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160;<span class="keyword"> </span>{</div>
337
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
338
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>();</div>
339
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div>
340
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; </div>
341
+ <div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a4336345336e3515aae635daa66d89d96"> 270</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a4336345336e3515aae635daa66d89d96">set_to_bottom</a>()</div>
342
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
343
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
344
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
345
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
346
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; </div>
347
+ <div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a3fe75cb81e297f8437206635f8dc3575"> 276</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a3fe75cb81e297f8437206635f8dc3575">set_to_top</a>()</div>
348
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
349
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
350
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d">set_to_top</a>();</div>
351
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div>
352
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; </div>
353
+ <div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31"> 282</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31">leq</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
354
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160;<span class="keyword"> </span>{</div>
355
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
356
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039">leq</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
357
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
358
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; </div>
359
+ <div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a2149ff7a710668c55ad4eb2878df9a56"> 288</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#a2149ff7a710668c55ad4eb2878df9a56">geq</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
360
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160;<span class="keyword"> </span>{</div>
361
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
362
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a312f9257f8562fce510c1257d8a6e4df">geq</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
363
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; }</div>
364
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; </div>
365
+ <div class="line"><a name="l00294"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ab5766ae22f3aa34b5866a8822544f58e"> 294</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#ab5766ae22f3aa34b5866a8822544f58e">contains</a>(<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)<span class="keyword"> const</span></div>
366
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160;<span class="keyword"> </span>{</div>
367
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
368
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#afcb91d48a79aeba3c78c1a41b0730a73">contains</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
369
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
370
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="comment">// operator +-*/%&gt;&lt; &gt;= &lt;= &lt;&lt; &gt;&gt; &amp; | ^</span></div>
371
+ <div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ac8c9057acf648c5fcf167e3880257c92"> 300</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#ac8c9057acf648c5fcf167e3880257c92">operator+</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
372
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160;<span class="keyword"> </span>{</div>
373
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
374
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> + other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
375
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div>
376
+ <div class="line"><a name="l00305"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5a05344d0929febd92a5a991dac182e7"> 305</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a5a05344d0929febd92a5a991dac182e7">operator+</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
377
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160;<span class="keyword"> </span>{</div>
378
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
379
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> + other;</div>
380
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; }</div>
381
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; </div>
382
+ <div class="line"><a name="l00311"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a689e417f12c56169d046d4ba0580c76e"> 311</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a689e417f12c56169d046d4ba0580c76e">operator-</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
383
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160;<span class="keyword"> </span>{</div>
384
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
385
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> - other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
386
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
387
+ <div class="line"><a name="l00316"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a19beae567f3995559650a60b719b9ee3"> 316</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a19beae567f3995559650a60b719b9ee3">operator-</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
388
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160;<span class="keyword"> </span>{</div>
389
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
390
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> - other;</div>
391
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; }</div>
392
+ <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; </div>
393
+ <div class="line"><a name="l00322"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ab259dfda5b69bbdcf0b43e5dc1f7464c"> 322</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#ab259dfda5b69bbdcf0b43e5dc1f7464c">operator*</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
394
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160;<span class="keyword"> </span>{</div>
395
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
396
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> * other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
397
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
398
+ <div class="line"><a name="l00327"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a264655468669cbcafe9975f448410242"> 327</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a264655468669cbcafe9975f448410242">operator*</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
399
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160;<span class="keyword"> </span>{</div>
400
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
401
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> * other;</div>
402
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; }</div>
403
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; </div>
404
+ <div class="line"><a name="l00333"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a684696365f2cca2491d09ab6e2f9f091"> 333</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a684696365f2cca2491d09ab6e2f9f091">operator/</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
405
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160;<span class="keyword"> </span>{</div>
406
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
407
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> / other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
408
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
409
+ <div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a7bae5b9b654279a38c397f6a2c12d630"> 338</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a7bae5b9b654279a38c397f6a2c12d630">operator/</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
410
+ <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160;<span class="keyword"> </span>{</div>
411
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
412
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> / other;</div>
413
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div>
414
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; </div>
415
+ <div class="line"><a name="l00344"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5c750e75a04bf3bc6f19c327790564c5"> 344</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a5c750e75a04bf3bc6f19c327790564c5">operator%</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
416
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160;<span class="keyword"> </span>{</div>
417
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
418
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> % other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
419
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; }</div>
420
+ <div class="line"><a name="l00349"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a19bd92b9f9f3e22c70309cac2e256ac8"> 349</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a19bd92b9f9f3e22c70309cac2e256ac8">operator%</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
421
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160;<span class="keyword"> </span>{</div>
422
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
423
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> % other;</div>
424
+ <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; }</div>
425
+ <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; </div>
426
+ <div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a64eb3362faa832b5d2ee2730e3fb886b"> 355</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a64eb3362faa832b5d2ee2730e3fb886b">operator&gt;&gt;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
427
+ <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160;<span class="keyword"> </span>{</div>
428
+ <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
429
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt;&gt; other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
430
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; }</div>
431
+ <div class="line"><a name="l00360"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a4788f2a5e1ddd59b2479f291b59d1503"> 360</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a4788f2a5e1ddd59b2479f291b59d1503">operator&gt;&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
432
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160;<span class="keyword"> </span>{</div>
433
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
434
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt;&gt; other;</div>
435
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div>
436
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; </div>
437
+ <div class="line"><a name="l00366"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a22b11b08b20a028fe75606ebf4fe35b0"> 366</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a22b11b08b20a028fe75606ebf4fe35b0">operator&lt;&lt;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
438
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160;<span class="keyword"> </span>{</div>
439
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
440
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt;&lt; other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
441
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
442
+ <div class="line"><a name="l00371"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#abaf9639651c0bcf666cb1fb42cf30fff"> 371</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#abaf9639651c0bcf666cb1fb42cf30fff">operator&lt;&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
443
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160;<span class="keyword"> </span>{</div>
444
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
445
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt;&lt; other;</div>
446
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
447
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; </div>
448
+ <div class="line"><a name="l00377"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a320749c3297ed4d00d1df477508a63f0"> 377</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a320749c3297ed4d00d1df477508a63f0">operator&amp;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
449
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160;<span class="keyword"> </span>{</div>
450
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
451
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
452
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
453
+ <div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a7c0053f502a56111afdfad1ef0b07e7f"> 382</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a7c0053f502a56111afdfad1ef0b07e7f">operator&amp;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
454
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160;<span class="keyword"> </span>{</div>
455
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
456
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &amp; other;</div>
457
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; }</div>
458
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; </div>
459
+ <div class="line"><a name="l00388"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5ab2a6ac2824c97d40cdb589680504ff"> 388</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a5ab2a6ac2824c97d40cdb589680504ff">operator|</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
460
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160;<span class="keyword"> </span>{</div>
461
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
462
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> | other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
463
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div>
464
+ <div class="line"><a name="l00393"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a4e45aad5f5dd65479d318de5b462708a"> 393</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a4e45aad5f5dd65479d318de5b462708a">operator|</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
465
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160;<span class="keyword"> </span>{</div>
466
+ <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
467
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> | other;</div>
468
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div>
469
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; </div>
470
+ <div class="line"><a name="l00399"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a53f92441803c528a23d637dcd6501dee"> 399</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a53f92441803c528a23d637dcd6501dee">operator^</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
471
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160;<span class="keyword"> </span>{</div>
472
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
473
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> ^ other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
474
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; }</div>
475
+ <div class="line"><a name="l00404"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a781d49bea78f48cb24962b878b862ecf"> 404</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a781d49bea78f48cb24962b878b862ecf">operator^</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
476
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160;<span class="keyword"> </span>{</div>
477
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
478
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> ^ other;</div>
479
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; }</div>
480
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; </div>
481
+ <div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a210877b0f87109b127332b9949df15f5"> 410</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a210877b0f87109b127332b9949df15f5">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
482
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160;<span class="keyword"> </span>{</div>
483
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
484
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt; other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
485
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
486
+ <div class="line"><a name="l00415"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a2df7817df1061f57d2fcdf4f48503109"> 415</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a2df7817df1061f57d2fcdf4f48503109">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
487
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160;<span class="keyword"> </span>{</div>
488
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
489
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt; other;</div>
490
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
491
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; </div>
492
+ <div class="line"><a name="l00421"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a474f9a805202db9c1c4cab613cc74584"> 421</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a474f9a805202db9c1c4cab613cc74584">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
493
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160;<span class="keyword"> </span>{</div>
494
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
495
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt; other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
496
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; }</div>
497
+ <div class="line"><a name="l00426"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a2b180db9ec44d3318c8493819d51f3a9"> 426</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a2b180db9ec44d3318c8493819d51f3a9">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
498
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160;<span class="keyword"> </span>{</div>
499
+ <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
500
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt; other;</div>
501
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; }</div>
502
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; </div>
503
+ <div class="line"><a name="l00432"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a2a62a5ab23b7e27b41a64ebad3377a76"> 432</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a2a62a5ab23b7e27b41a64ebad3377a76">operator&gt;=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
504
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160;<span class="keyword"> </span>{</div>
505
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
506
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt;= other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
507
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; }</div>
508
+ <div class="line"><a name="l00437"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#aabf7f7da3a97a8350dddabbd3776f4dd"> 437</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#aabf7f7da3a97a8350dddabbd3776f4dd">operator&gt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
509
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160;<span class="keyword"> </span>{</div>
510
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
511
+ <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &gt;= other;</div>
512
+ <div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; }</div>
513
+ <div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; </div>
514
+ <div class="line"><a name="l00443"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ae30d2645f8f33920adcb8fe2f042d885"> 443</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#ae30d2645f8f33920adcb8fe2f042d885">operator&lt;=</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)<span class="keyword"> const</span></div>
515
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160;<span class="keyword"> </span>{</div>
516
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
517
+ <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt;= other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>;</div>
518
+ <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; }</div>
519
+ <div class="line"><a name="l00448"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5d73e600df8c326bf93a776c106cc22f"> 448</a></span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> <a class="code" href="structSVF_1_1AbstractValue.html#a5d73e600df8c326bf93a776c106cc22f">operator&lt;=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;other)<span class="keyword"> const</span></div>
520
+ <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160;<span class="keyword"> </span>{</div>
521
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>());</div>
522
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a> &lt;= other;</div>
523
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; }</div>
524
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; </div>
525
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; </div>
526
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="comment">// address visit funcs</span></div>
527
+ <div class="line"><a name="l00456"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a5cc67e56c658a6833b1bf9235f2a73ba"> 456</a></span>&#160; std::pair&lt;AddressValue::AddrSet::iterator, bool&gt; <a class="code" href="structSVF_1_1AbstractValue.html#a5cc67e56c658a6833b1bf9235f2a73ba">insertAddr</a>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <span class="keywordtype">id</span>) <span class="comment">// insertAddr</span></div>
528
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; {</div>
529
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; assert(<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>());</div>
530
+ <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>.<a class="code" href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">insert</a>(<span class="keywordtype">id</span>);</div>
531
+ <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; }</div>
532
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; </div>
533
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="comment">// TODO: equals, join_with, meet_with, widen_with, narrow_with, toString,</span></div>
534
+ <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="comment">// These should be merged with AddressValue</span></div>
535
+ <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; </div>
536
+ <div class="line"><a name="l00465"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e"> 465</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e">equals</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;rhs)<span class="keyword"> const</span></div>
537
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160;<span class="keyword"> </span>{</div>
538
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> != rhs.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
539
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; {</div>
540
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
541
+ <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; }</div>
542
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
543
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; {</div>
544
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1">equals</a>(rhs.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
545
+ <div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; }</div>
546
+ <div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>())</div>
547
+ <div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; {</div>
548
+ <div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>.<a class="code" href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">equals</a>(rhs.<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>);</div>
549
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; }</div>
550
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
551
+ <div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; }</div>
552
+ <div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; </div>
553
+ <div class="line"><a name="l00482"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66"> 482</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66">join_with</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)</div>
554
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; {</div>
555
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">isUnknown</a>())</div>
556
+ <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; {</div>
557
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; *<span class="keyword">this</span> = other;</div>
558
+ <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">return</span>;</div>
559
+ <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; }</div>
560
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> != other.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
561
+ <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; {</div>
562
+ <div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; <span class="keywordflow">return</span>;</div>
563
+ <div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; }</div>
564
+ <div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
565
+ <div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; {</div>
566
+ <div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
567
+ <div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; }</div>
568
+ <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>())</div>
569
+ <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div>
570
+ <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>);</div>
571
+ <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
572
+ <div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; <span class="keywordflow">return</span>;</div>
573
+ <div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; }</div>
574
+ <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; </div>
575
+ <div class="line"><a name="l00504"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a078ac137e60c5a2585a649f7ec40a8a8"> 504</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a078ac137e60c5a2585a649f7ec40a8a8">meet_with</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)</div>
576
+ <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; {</div>
577
+ <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a> != other.<a class="code" href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">type</a>)</div>
578
+ <div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div>
579
+ <div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <span class="keywordflow">return</span>;</div>
580
+ <div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div>
581
+ <div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
582
+ <div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; {</div>
583
+ <div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">meet_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
584
+ <div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; }</div>
585
+ <div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>())</div>
586
+ <div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; {</div>
587
+ <div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>.<a class="code" href="classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb">meet_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>);</div>
588
+ <div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; }</div>
589
+ <div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; <span class="keywordflow">return</span>;</div>
590
+ <div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; }</div>
591
+ <div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; </div>
592
+ <div class="line"><a name="l00521"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644"> 521</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644">widen_with</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)</div>
593
+ <div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; {</div>
594
+ <div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; <span class="comment">// widen_with only in interval</span></div>
595
+ <div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
596
+ <div class="line"><a name="l00525"></a><span class="lineno"> 525</span>&#160; {</div>
597
+ <div class="line"><a name="l00526"></a><span class="lineno"> 526</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">widen_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
598
+ <div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160; }</div>
599
+ <div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160; }</div>
600
+ <div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; </div>
601
+ <div class="line"><a name="l00530"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a84d4827120d8fa5858edfce1406ed386"> 530</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="structSVF_1_1AbstractValue.html#a84d4827120d8fa5858edfce1406ed386">narrow_with</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1AbstractValue.html">AbstractValue</a> &amp;other)</div>
602
+ <div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; {</div>
603
+ <div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; <span class="comment">// narrow_with only in interval</span></div>
604
+ <div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>() &amp;&amp; other.<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
605
+ <div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; {</div>
606
+ <div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f">narrow_with</a>(other.<a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>);</div>
607
+ <div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; }</div>
608
+ <div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; }</div>
609
+ <div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; </div>
610
+ <div class="line"><a name="l00539"></a><span class="lineno"><a class="line" href="structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc"> 539</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc">toString</a>()<span class="keyword"> const</span></div>
611
+ <div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160;<span class="keyword"> </span>{</div>
612
+ <div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">isInterval</a>())</div>
613
+ <div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; {</div>
614
+ <div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">interval</a>.<a class="code" href="classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045">toString</a>();</div>
615
+ <div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; }</div>
616
+ <div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">isAddr</a>())</div>
617
+ <div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; {</div>
618
+ <div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">addr</a>.<a class="code" href="classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d">toString</a>();</div>
619
+ <div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; }</div>
620
+ <div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
621
+ <div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; }</div>
622
+ <div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; </div>
623
+ <div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160;};</div>
624
+ <div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160;}</div>
146
625
  </div><!-- fragment --></div><!-- contents -->
147
- <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>
148
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">SVF::AbstractValue::AbstractValueK</a></div><div class="ttdeci">AbstractValueK</div><div class="ttdoc">Abstract value kind.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00048">AbstractValue.h:48</a></div></div>
626
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a2dd004dda59ee5271081afd082374039"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a2dd004dda59ee5271081afd082374039">SVF::IntervalValue::leq</a></div><div class="ttdeci">bool leq(const IntervalValue &amp;other) const</div><div class="ttdoc">Check current IntervalValue is smaller than or equal to the other.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00306">IntervalValue.h:306</a></div></div>
627
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a7178510882afd1cf133be9eba03b9522"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a7178510882afd1cf133be9eba03b9522">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(DataType type)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00045">AbstractValue.h:45</a></div></div>
628
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a2149ff7a710668c55ad4eb2878df9a56"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a2149ff7a710668c55ad4eb2878df9a56">SVF::AbstractValue::geq</a></div><div class="ttdeci">bool geq(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00288">AbstractValue.h:288</a></div></div>
629
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a078ac137e60c5a2585a649f7ec40a8a8"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a078ac137e60c5a2585a649f7ec40a8a8">SVF::AbstractValue::meet_with</a></div><div class="ttdeci">void meet_with(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00504">AbstractValue.h:504</a></div></div>
630
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a2b180db9ec44d3318c8493819d51f3a9"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a2b180db9ec44d3318c8493819d51f3a9">SVF::AbstractValue::operator&lt;</a></div><div class="ttdeci">AbstractValue operator&lt;(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00426">AbstractValue.h:426</a></div></div>
631
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ab1fe6a57f784971b3bc603dbfda746e8"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">SVF::AbstractValue::getAddrs</a></div><div class="ttdeci">AddressValue &amp; getAddrs()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00171">AbstractValue.h:171</a></div></div>
632
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa13c0ab01450d10c9603ea46f0fe3293"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">SVF::IntervalValue::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00279">IntervalValue.h:279</a></div></div>
633
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a46e4b0c8fbe6d15cb5a37f14d45a9628"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a46e4b0c8fbe6d15cb5a37f14d45a9628">SVF::AbstractValue::setLb</a></div><div class="ttdeci">void setLb(const NumericLiteral &amp;lb)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00210">AbstractValue.h:210</a></div></div>
634
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a14167db89d63bdd80778c5c46f8a3568"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">SVF::AbstractValue::addr</a></div><div class="ttdeci">AddressValue addr</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00039">AbstractValue.h:39</a></div></div>
635
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a02f61a255d2bbbdc36ee1541248fdbfb"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a02f61a255d2bbbdc36ee1541248fdbfb">SVF::AddressValue::meet_with</a></div><div class="ttdeci">bool meet_with(const AddressValue &amp;other)</div><div class="ttdoc">Return a intersected AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00143">AddressValue.h:143</a></div></div>
636
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a587f301cfc248178260271e11185078d"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a587f301cfc248178260271e11185078d">SVF::AbstractValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00234">AbstractValue.h:234</a></div></div>
637
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a6c979397d4efb5b37e3b2bf9feba5648"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a6c979397d4efb5b37e3b2bf9feba5648">SVF::AbstractValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00198">AbstractValue.h:198</a></div></div>
638
+ <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>
639
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a781d49bea78f48cb24962b878b862ecf"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a781d49bea78f48cb24962b878b862ecf">SVF::AbstractValue::operator^</a></div><div class="ttdeci">AbstractValue operator^(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00404">AbstractValue.h:404</a></div></div>
640
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &amp;other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00128">AddressValue.h:128</a></div></div>
641
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a7bae5b9b654279a38c397f6a2c12d630"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a7bae5b9b654279a38c397f6a2c12d630">SVF::AbstractValue::operator/</a></div><div class="ttdeci">AbstractValue operator/(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00338">AbstractValue.h:338</a></div></div>
642
+ <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>
643
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aa4eedea82ef602431a17973afadff0a6"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aa4eedea82ef602431a17973afadff0a6">SVF::AbstractValue::getType</a></div><div class="ttdeci">DataType getType() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00088">AbstractValue.h:88</a></div></div>
149
644
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
150
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_aafe29c4c572b851ce8031f5cd81600c5"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">SVF::AbstractValue::isBottom</a></div><div class="ttdeci">virtual bool isBottom() const =0</div></div>
151
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html"><div class="ttname"><a href="classSVF_1_1AbstractValue.html">SVF::AbstractValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00044">AbstractValue.h:44</a></div></div>
152
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a74bc740e894dfbdb2253bedc2851dd2e"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a74bc740e894dfbdb2253bedc2851dd2e">SVF::AbstractValue::getAbstractValueKind</a></div><div class="ttdeci">AbstractValueK getAbstractValueKind() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00068">AbstractValue.h:68</a></div></div>
153
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_ab6901c81e0a0153120de25876b44e3c4"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#ab6901c81e0a0153120de25876b44e3c4">SVF::AbstractValue::~AbstractValue</a></div><div class="ttdeci">virtual ~AbstractValue()=default</div></div>
154
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">SVF::AbstractValue::AddressK</a></div><div class="ttdeci">@ AddressK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
155
- <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>
156
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a8f470d727f665e3244b222df1eb724b6"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a8f470d727f665e3244b222df1eb724b6">SVF::AbstractValue::isTop</a></div><div class="ttdeci">virtual bool isTop() const =0</div></div>
157
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a9405e2725442f2f641f729038efbe172"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a9405e2725442f2f641f729038efbe172">SVF::AbstractValue::_kind</a></div><div class="ttdeci">AbstractValueK _kind</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00053">AbstractValue.h:53</a></div></div>
158
- <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a9f76747494000cadf2e655a77f0e6ae5">SVF::AbstractValue::ConcreteK</a></div><div class="ttdeci">@ ConcreteK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
645
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a88f80b1cd16e064e999eaa0506234f2c"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a88f80b1cd16e064e999eaa0506234f2c">SVF::AbstractValue::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00240">AbstractValue.h:240</a></div></div>
646
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aae73e4c65c0324946849f03881f05c3b"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aae73e4c65c0324946849f03881f05c3b">SVF::AbstractValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00264">AbstractValue.h:264</a></div></div>
647
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a84d4827120d8fa5858edfce1406ed386"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a84d4827120d8fa5858edfce1406ed386">SVF::AbstractValue::narrow_with</a></div><div class="ttdeci">void narrow_with(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00530">AbstractValue.h:530</a></div></div>
648
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ad53953330317179a8b5697bff9d83305"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ad53953330317179a8b5697bff9d83305">SVF::AbstractValue::operator=</a></div><div class="ttdeci">AbstractValue &amp; operator=(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00109">AbstractValue.h:109</a></div></div>
649
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a144e17cec654e83654298b379ed4ce9f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a144e17cec654e83654298b379ed4ce9f">SVF::IntervalValue::meet_with</a></div><div class="ttdeci">void meet_with(const IntervalValue &amp;other)</div><div class="ttdoc">Return a intersected IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00446">IntervalValue.h:446</a></div></div>
650
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a8da7b9df794f0ce00c4c09a961783d03"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a8da7b9df794f0ce00c4c09a961783d03">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(AbstractValue &amp;&amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00093">AbstractValue.h:93</a></div></div>
651
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a707f6afd5eaa421981bba96318f1b644"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a707f6afd5eaa421981bba96318f1b644">SVF::AbstractValue::widen_with</a></div><div class="ttdeci">void widen_with(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00521">AbstractValue.h:521</a></div></div>
652
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa3b742bd0116a6b7bf290286902b470b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa3b742bd0116a6b7bf290286902b470b">SVF::IntervalValue::setUb</a></div><div class="ttdeci">void setUb(const NumericLiteral &amp;ub)</div><div class="ttdoc">Set the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00226">IntervalValue.h:226</a></div></div>
653
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac06d554ff5f63c43f9b02378800488c1"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac06d554ff5f63c43f9b02378800488c1">SVF::IntervalValue::equals</a></div><div class="ttdeci">bool equals(const IntervalValue &amp;other) const</div><div class="ttdoc">Equality comparison.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00342">IntervalValue.h:342</a></div></div>
654
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a5d73cc2aa0a6ed49e8301fa7b0cd5045"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a5d73cc2aa0a6ed49e8301fa7b0cd5045">SVF::IntervalValue::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00479">IntervalValue.h:479</a></div></div>
655
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5c743f114bc4dc2b451019e95214bf5a"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5c743f114bc4dc2b451019e95214bf5a">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00041">AbstractValue.h:41</a></div></div>
656
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a2a62a5ab23b7e27b41a64ebad3377a76"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a2a62a5ab23b7e27b41a64ebad3377a76">SVF::AbstractValue::operator&gt;=</a></div><div class="ttdeci">AbstractValue operator&gt;=(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00432">AbstractValue.h:432</a></div></div>
657
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ab7ddcc29a116944a91db24af90d4c144"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue::widen_with</a></div><div class="ttdeci">void widen_with(const IntervalValue &amp;other)</div><div class="ttdoc">Current IntervalValue widen with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00409">IntervalValue.h:409</a></div></div>
658
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aecd8d41379dd6496772537ad51d1cb02"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aecd8d41379dd6496772537ad51d1cb02">SVF::AbstractValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00204">AbstractValue.h:204</a></div></div>
659
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a6263b83acb17f3f243a8d430eb404148"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a6263b83acb17f3f243a8d430eb404148">SVF::AbstractValue::operator==</a></div><div class="ttdeci">AbstractValue operator==(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00131">AbstractValue.h:131</a></div></div>
660
+ <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>
661
+ <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>
662
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3dba35c84607bd3ed4e62a90ae2799cf"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">static bool is_infinite(const NumericLiteral &amp;e)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00077">IntervalValue.h:77</a></div></div>
663
+ <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>
664
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a7f784feb5a38e9f3c4df0a1698db7242"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a7f784feb5a38e9f3c4df0a1698db7242">SVF::AbstractValue::getInterval</a></div><div class="ttdeci">const IntervalValue getInterval() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00165">AbstractValue.h:165</a></div></div>
665
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a52a8a738896179a148581e1060a2ed66"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a52a8a738896179a148581e1060a2ed66">SVF::AbstractValue::join_with</a></div><div class="ttdeci">void join_with(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00482">AbstractValue.h:482</a></div></div>
666
+ <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>
667
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa97bb2c581577ed42ccfdf07dde0305f4">SVF::AbstractValue::IntervalType</a></div><div class="ttdeci">@ IntervalType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00033">AbstractValue.h:33</a></div></div>
668
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5c750e75a04bf3bc6f19c327790564c5"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5c750e75a04bf3bc6f19c327790564c5">SVF::AbstractValue::operator%</a></div><div class="ttdeci">AbstractValue operator%(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00344">AbstractValue.h:344</a></div></div>
669
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a8de8e78efcee26d74fe3d34c405dee0a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a8de8e78efcee26d74fe3d34c405dee0a">SVF::IntervalValue::setValue</a></div><div class="ttdeci">void setValue(const NumericLiteral &amp;lb, const NumericLiteral &amp;ub)</div><div class="ttdoc">Set the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00232">IntervalValue.h:232</a></div></div>
670
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">SVF::AbstractValue::AddressType</a></div><div class="ttdeci">@ AddressType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00034">AbstractValue.h:34</a></div></div>
671
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a25db03df057262182a42cc394f0c7e1d"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d">SVF::AddressValue::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00191">AddressValue.h:191</a></div></div>
672
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a64eb3362faa832b5d2ee2730e3fb886b"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a64eb3362faa832b5d2ee2730e3fb886b">SVF::AbstractValue::operator&gt;&gt;</a></div><div class="ttdeci">AbstractValue operator&gt;&gt;(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00355">AbstractValue.h:355</a></div></div>
673
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a08c98839084082c15651ac2ebe3a50db"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a08c98839084082c15651ac2ebe3a50db">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(const AbstractValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00060">AbstractValue.h:60</a></div></div>
674
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_acbcec6f55d23e6cd278fe8572a68f393"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#acbcec6f55d23e6cd278fe8572a68f393">SVF::AbstractValue::getInterval</a></div><div class="ttdeci">IntervalValue &amp; getInterval()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00154">AbstractValue.h:154</a></div></div>
675
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a219b0185874ff32fc2b1b3de50638613"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a219b0185874ff32fc2b1b3de50638613">SVF::AbstractValue::type</a></div><div class="ttdeci">DataType type</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
676
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a8a9edd3eb9c31ecff090953301bf822d"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a8a9edd3eb9c31ecff090953301bf822d">SVF::IntervalValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdoc">Set current IntervalValue as top.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00299">IntervalValue.h:299</a></div></div>
677
+ <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>
678
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a53f92441803c528a23d637dcd6501dee"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a53f92441803c528a23d637dcd6501dee">SVF::AbstractValue::operator^</a></div><div class="ttdeci">AbstractValue operator^(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00399">AbstractValue.h:399</a></div></div>
679
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a46a5222d34abc6a195f414adc208092b"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a46a5222d34abc6a195f414adc208092b">SVF::AbstractValue::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00258">AbstractValue.h:258</a></div></div>
680
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a61516b8cd3550afd29f80fbe8c9146ff"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a61516b8cd3550afd29f80fbe8c9146ff">SVF::AbstractValue::isUnknown</a></div><div class="ttdeci">bool isUnknown() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00083">AbstractValue.h:83</a></div></div>
681
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a4e45aad5f5dd65479d318de5b462708a"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a4e45aad5f5dd65479d318de5b462708a">SVF::AbstractValue::operator|</a></div><div class="ttdeci">AbstractValue operator|(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00393">AbstractValue.h:393</a></div></div>
682
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aa3699151c57c0401092ce12fd9e7b982"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aa3699151c57c0401092ce12fd9e7b982">SVF::AbstractValue::isAddr</a></div><div class="ttdeci">bool isAddr() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00079">AbstractValue.h:79</a></div></div>
683
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a0eb8246346ebc25e5f263901d7e0c408"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a0eb8246346ebc25e5f263901d7e0c408">SVF::AbstractValue::isTop</a></div><div class="ttdeci">bool isTop() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00186">AbstractValue.h:186</a></div></div>
684
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ae8a8fb4dc6ff1d7faddea6a9b1e65f1e"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ae8a8fb4dc6ff1d7faddea6a9b1e65f1e">SVF::AbstractValue::equals</a></div><div class="ttdeci">bool equals(const AbstractValue &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00465">AbstractValue.h:465</a></div></div>
685
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a06ea85e55fe086044b5b7fe6ae8e6be0"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a06ea85e55fe086044b5b7fe6ae8e6be0">SVF::AbstractValue::setUb</a></div><div class="ttdeci">void setUb(const NumericLiteral &amp;ub)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00216">AbstractValue.h:216</a></div></div>
686
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a47bc2bc1939dccfde201140472b2bdd9"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a47bc2bc1939dccfde201140472b2bdd9">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(const IntervalValue &amp;ival)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00150">AbstractValue.h:150</a></div></div>
687
+ <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>
688
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5d291bc06d97a97f6f0d7b2aad5ceb7f"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5d291bc06d97a97f6f0d7b2aad5ceb7f">SVF::AbstractValue::operator!=</a></div><div class="ttdeci">AbstractValue operator!=(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00143">AbstractValue.h:143</a></div></div>
689
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aabf7f7da3a97a8350dddabbd3776f4dd"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aabf7f7da3a97a8350dddabbd3776f4dd">SVF::AbstractValue::operator&gt;=</a></div><div class="ttdeci">AbstractValue operator&gt;=(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00437">AbstractValue.h:437</a></div></div>
690
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_acf117a1aa32d70b3e38802b79b82e31f"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#acf117a1aa32d70b3e38802b79b82e31f">SVF::AbstractValue::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00228">AbstractValue.h:228</a></div></div>
691
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aaf93342273d38c591a6e53d9b73c998e"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aaf93342273d38c591a6e53d9b73c998e">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(const AddressValue &amp;addr)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00152">AbstractValue.h:152</a></div></div>
692
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
693
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a19bd92b9f9f3e22c70309cac2e256ac8"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a19bd92b9f9f3e22c70309cac2e256ac8">SVF::AbstractValue::operator%</a></div><div class="ttdeci">AbstractValue operator%(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00349">AbstractValue.h:349</a></div></div>
694
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a59fd82887144949f24a4515cff6211e4"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a59fd82887144949f24a4515cff6211e4">SVF::AbstractValue::isInterval</a></div><div class="ttdeci">bool isInterval() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00075">AbstractValue.h:75</a></div></div>
695
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a970b85f66d80cfc8ca56a8846c921afa"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a970b85f66d80cfc8ca56a8846c921afa">SVF::IntervalValue::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdoc">Return true if the IntervalValue is [0, 0].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00239">IntervalValue.h:239</a></div></div>
696
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a210877b0f87109b127332b9949df15f5"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a210877b0f87109b127332b9949df15f5">SVF::AbstractValue::operator&gt;</a></div><div class="ttdeci">AbstractValue operator&gt;(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00410">AbstractValue.h:410</a></div></div>
697
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ac9149740b6c33f33e70cc2aa4f89040e"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ac9149740b6c33f33e70cc2aa4f89040e">SVF::AbstractValue::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00252">AbstractValue.h:252</a></div></div>
698
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a4336345336e3515aae635daa66d89d96"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a4336345336e3515aae635daa66d89d96">SVF::AbstractValue::set_to_bottom</a></div><div class="ttdeci">void set_to_bottom()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00270">AbstractValue.h:270</a></div></div>
699
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ae30d2645f8f33920adcb8fe2f042d885"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ae30d2645f8f33920adcb8fe2f042d885">SVF::AbstractValue::operator&lt;=</a></div><div class="ttdeci">AbstractValue operator&lt;=(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00443">AbstractValue.h:443</a></div></div>
700
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5055f8071b2e44176912f950598f8b00"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5055f8071b2e44176912f950598f8b00">SVF::AbstractValue::setValue</a></div><div class="ttdeci">void setValue(const NumericLiteral &amp;lb, const NumericLiteral &amp;ub)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00222">AbstractValue.h:222</a></div></div>
701
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a40c67147606ab95dd3318d0fe821d8c0"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a40c67147606ab95dd3318d0fe821d8c0">SVF::AddressValue::insert</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insert(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00112">AddressValue.h:112</a></div></div>
702
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_af93f4b54b34e74579ad177ead629b53a"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53a">SVF::AbstractValue::DataType</a></div><div class="ttdeci">DataType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00031">AbstractValue.h:31</a></div></div>
703
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_afcb91d48a79aeba3c78c1a41b0730a73"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#afcb91d48a79aeba3c78c1a41b0730a73">SVF::IntervalValue::contains</a></div><div class="ttdeci">bool contains(int n) const</div><div class="ttdoc">Return true if the IntervalValue contains n.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00462">IntervalValue.h:462</a></div></div>
704
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a3fe75cb81e297f8437206635f8dc3575"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a3fe75cb81e297f8437206635f8dc3575">SVF::AbstractValue::set_to_top</a></div><div class="ttdeci">void set_to_top()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00276">AbstractValue.h:276</a></div></div>
705
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5d73e600df8c326bf93a776c106cc22f"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5d73e600df8c326bf93a776c106cc22f">SVF::AbstractValue::operator&lt;=</a></div><div class="ttdeci">AbstractValue operator&lt;=(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00448">AbstractValue.h:448</a></div></div>
706
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a4f9d13c0f642fcad6ddb86ea79fac6e3"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">SVF::IntervalValue::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00273">IntervalValue.h:273</a></div></div>
707
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a22b11b08b20a028fe75606ebf4fe35b0"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a22b11b08b20a028fe75606ebf4fe35b0">SVF::AbstractValue::operator&lt;&lt;</a></div><div class="ttdeci">AbstractValue operator&lt;&lt;(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00366">AbstractValue.h:366</a></div></div>
708
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a7c0053f502a56111afdfad1ef0b07e7f"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a7c0053f502a56111afdfad1ef0b07e7f">SVF::AbstractValue::operator&amp;</a></div><div class="ttdeci">AbstractValue operator&amp;(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00382">AbstractValue.h:382</a></div></div>
709
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a689e417f12c56169d046d4ba0580c76e"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a689e417f12c56169d046d4ba0580c76e">SVF::AbstractValue::operator-</a></div><div class="ttdeci">AbstractValue operator-(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00311">AbstractValue.h:311</a></div></div>
710
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a6c175067e5573ae7180ae4d872c49c8f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f">SVF::IntervalValue::narrow_with</a></div><div class="ttdeci">void narrow_with(const IntervalValue &amp;other)</div><div class="ttdoc">Current IntervalValue narrow with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00428">IntervalValue.h:428</a></div></div>
711
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a19beae567f3995559650a60b719b9ee3"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a19beae567f3995559650a60b719b9ee3">SVF::AbstractValue::operator-</a></div><div class="ttdeci">AbstractValue operator-(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00316">AbstractValue.h:316</a></div></div>
712
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a4788f2a5e1ddd59b2479f291b59d1503"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a4788f2a5e1ddd59b2479f291b59d1503">SVF::AbstractValue::operator&gt;&gt;</a></div><div class="ttdeci">AbstractValue operator&gt;&gt;(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00360">AbstractValue.h:360</a></div></div>
713
+ <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>
714
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ab259dfda5b69bbdcf0b43e5dc1f7464c"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ab259dfda5b69bbdcf0b43e5dc1f7464c">SVF::AbstractValue::operator*</a></div><div class="ttdeci">AbstractValue operator*(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00322">AbstractValue.h:322</a></div></div>
715
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00043">AddressValue.h:43</a></div></div>
716
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adf3cae41adaeb62c3b5da19e81adbb5d"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adf3cae41adaeb62c3b5da19e81adbb5d">SVF::IntervalValue::setLb</a></div><div class="ttdeci">void setLb(const NumericLiteral &amp;lb)</div><div class="ttdoc">Set the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00220">IntervalValue.h:220</a></div></div>
717
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ac8c9057acf648c5fcf167e3880257c92"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ac8c9057acf648c5fcf167e3880257c92">SVF::AbstractValue::operator+</a></div><div class="ttdeci">AbstractValue operator+(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00300">AbstractValue.h:300</a></div></div>
718
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a823a022bef32def0c326708da7801671"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a823a022bef32def0c326708da7801671">SVF::AbstractValue::~AbstractValue</a></div><div class="ttdeci">~AbstractValue()</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00182">AbstractValue.h:182</a></div></div>
719
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a998b5052a94a9621dc83483b8866bbbc"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a998b5052a94a9621dc83483b8866bbbc">SVF::AbstractValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00539">AbstractValue.h:539</a></div></div>
720
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a264655468669cbcafe9975f448410242"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a264655468669cbcafe9975f448410242">SVF::AbstractValue::operator*</a></div><div class="ttdeci">AbstractValue operator*(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00327">AbstractValue.h:327</a></div></div>
721
+ <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>
722
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ab5766ae22f3aa34b5866a8822544f58e"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ab5766ae22f3aa34b5866a8822544f58e">SVF::AbstractValue::contains</a></div><div class="ttdeci">bool contains(s64_t n) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00294">AbstractValue.h:294</a></div></div>
723
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa3a7df767184a0bf01de99351747f545a">SVF::AbstractValue::UnknownType</a></div><div class="ttdeci">@ UnknownType</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00035">AbstractValue.h:35</a></div></div>
724
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00038">NumericLiteral.h:38</a></div></div>
725
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a6cbe0b567ba824136654627002e32930"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a6cbe0b567ba824136654627002e32930">SVF::AbstractValue::interval</a></div><div class="ttdeci">IntervalValue interval</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00038">AbstractValue.h:38</a></div></div>
726
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aa6e16f5019574480ff3de58509541b31"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aa6e16f5019574480ff3de58509541b31">SVF::AbstractValue::leq</a></div><div class="ttdeci">bool leq(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00282">AbstractValue.h:282</a></div></div>
727
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a2df7817df1061f57d2fcdf4f48503109"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a2df7817df1061f57d2fcdf4f48503109">SVF::AbstractValue::operator&gt;</a></div><div class="ttdeci">AbstractValue operator&gt;(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00415">AbstractValue.h:415</a></div></div>
728
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a312f9257f8562fce510c1257d8a6e4df"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a312f9257f8562fce510c1257d8a6e4df">SVF::IntervalValue::geq</a></div><div class="ttdeci">bool geq(const IntervalValue &amp;other) const</div><div class="ttdoc">Check current IntervalValue is greater than or equal to the other.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00324">IntervalValue.h:324</a></div></div>
729
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html_a04456fe47889dd8f1b712255c9598fe9"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a04456fe47889dd8f1b712255c9598fe9">SVF::AddressValue::equals</a></div><div class="ttdeci">bool equals(const AddressValue &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00087">AddressValue.h:87</a></div></div>
730
+ <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>
731
+ <div class="ttc" id="aIntervalValue_8h_html"><div class="ttname"><a href="IntervalValue_8h.html">IntervalValue.h</a></div></div>
732
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a8b1af972fa8a4e40347990d179ec1c52"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a8b1af972fa8a4e40347990d179ec1c52">SVF::AbstractValue::isBottom</a></div><div class="ttdeci">bool isBottom() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00192">AbstractValue.h:192</a></div></div>
733
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a8b2de4798013716c6cf420817fead0ac"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac">SVF::AbstractValue::getAddrs</a></div><div class="ttdeci">const AddressValue getAddrs() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00177">AbstractValue.h:177</a></div></div>
734
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_abaf9639651c0bcf666cb1fb42cf30fff"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#abaf9639651c0bcf666cb1fb42cf30fff">SVF::AbstractValue::operator&lt;&lt;</a></div><div class="ttdeci">AbstractValue operator&lt;&lt;(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00371">AbstractValue.h:371</a></div></div>
735
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5cc67e56c658a6833b1bf9235f2a73ba"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5cc67e56c658a6833b1bf9235f2a73ba">SVF::AbstractValue::insertAddr</a></div><div class="ttdeci">std::pair&lt; AddressValue::AddrSet::iterator, bool &gt; insertAddr(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00456">AbstractValue.h:456</a></div></div>
736
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a474f9a805202db9c1c4cab613cc74584"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a474f9a805202db9c1c4cab613cc74584">SVF::AbstractValue::operator&lt;</a></div><div class="ttdeci">AbstractValue operator&lt;(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00421">AbstractValue.h:421</a></div></div>
737
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_aec0cdd556358fc4257df89fd234b29a7"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#aec0cdd556358fc4257df89fd234b29a7">SVF::AbstractValue::operator==</a></div><div class="ttdeci">AbstractValue operator==(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00125">AbstractValue.h:125</a></div></div>
738
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html"><div class="ttname"><a href="structSVF_1_1AbstractValue.html">SVF::AbstractValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00029">AbstractValue.h:29</a></div></div>
739
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a684696365f2cca2491d09ab6e2f9f091"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a684696365f2cca2491d09ab6e2f9f091">SVF::AbstractValue::operator/</a></div><div class="ttdeci">AbstractValue operator/(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00333">AbstractValue.h:333</a></div></div>
740
+ <div class="ttc" id="aAddressValue_8h_html"><div class="ttname"><a href="AddressValue_8h.html">AddressValue.h</a></div></div>
741
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3771eb932069dcad8212009efc411b99"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">SVF::IntervalValue::join_with</a></div><div class="ttdeci">void join_with(const IntervalValue &amp;other)</div><div class="ttdoc">Current IntervalValue joins with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00383">IntervalValue.h:383</a></div></div>
742
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_ac721fe3bf7435af1de3120d5f6288efa"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#ac721fe3bf7435af1de3120d5f6288efa">SVF::AbstractValue::operator!=</a></div><div class="ttdeci">AbstractValue operator!=(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00137">AbstractValue.h:137</a></div></div>
743
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a2388a9f102316fb80ba93a6daef3d2a1"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a2388a9f102316fb80ba93a6daef3d2a1">SVF::AbstractValue::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00246">AbstractValue.h:246</a></div></div>
744
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5ab2a6ac2824c97d40cdb589680504ff"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5ab2a6ac2824c97d40cdb589680504ff">SVF::AbstractValue::operator|</a></div><div class="ttdeci">AbstractValue operator|(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00388">AbstractValue.h:388</a></div></div>
745
+ <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
746
+ <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>
747
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a5a05344d0929febd92a5a991dac182e7"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a5a05344d0929febd92a5a991dac182e7">SVF::AbstractValue::operator+</a></div><div class="ttdeci">AbstractValue operator+(const IntervalValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00305">AbstractValue.h:305</a></div></div>
748
+ <div class="ttc" id="astructSVF_1_1AbstractValue_html_a320749c3297ed4d00d1df477508a63f0"><div class="ttname"><a href="structSVF_1_1AbstractValue.html#a320749c3297ed4d00d1df477508a63f0">SVF::AbstractValue::operator&amp;</a></div><div class="ttdeci">AbstractValue operator&amp;(const AbstractValue &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00377">AbstractValue.h:377</a></div></div>
159
749
  <!-- start footer part -->
160
750
  <hr class="footer"/><address class="footer"><small>
161
751
  Generated by &#160;<a href="http://www.doxygen.org/index.html">