svf-tools 1.0.875 → 1.0.877

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 (303) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp.html +218 -0
  3. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +2124 -0
  4. package/SVF-doxygen/html/AbstractExecution_8h.html +118 -0
  5. package/SVF-doxygen/html/AbstractExecution_8h_source.html +512 -0
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +81 -81
  7. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  8. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +20 -20
  9. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +2 -2
  12. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +318 -367
  13. package/SVF-doxygen/html/ae_8cpp.html +7 -7
  14. package/SVF-doxygen/html/ae_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/annotated.html +12 -12
  16. package/SVF-doxygen/html/classSVF_1_1AEAPI-members.html +2 -2
  17. package/SVF-doxygen/html/classSVF_1_1AEAPI.html +145 -145
  18. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  19. package/SVF-doxygen/html/classSVF_1_1AEStat.html +53 -53
  20. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +137 -0
  21. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2884 -0
  22. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.png +0 -0
  23. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +50 -50
  24. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +117 -117
  25. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  26. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI-members.html +3 -3
  27. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +38 -38
  28. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +2 -2
  29. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  30. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +92 -92
  31. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +8 -8
  32. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +51 -309
  33. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +8 -8
  34. package/SVF-doxygen/html/classes.html +16 -16
  35. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +1 -1
  36. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +1 -1
  37. package/SVF-doxygen/html/files.html +2 -2
  38. package/SVF-doxygen/html/functions.html +21 -21
  39. package/SVF-doxygen/html/functions_a.html +17 -17
  40. package/SVF-doxygen/html/functions_b.html +1 -1
  41. package/SVF-doxygen/html/functions_c.html +16 -16
  42. package/SVF-doxygen/html/functions_d.html +7 -11
  43. package/SVF-doxygen/html/functions_e.html +1 -1
  44. package/SVF-doxygen/html/functions_func.html +13 -13
  45. package/SVF-doxygen/html/functions_func_c.html +11 -11
  46. package/SVF-doxygen/html/functions_func_d.html +7 -11
  47. package/SVF-doxygen/html/functions_func_e.html +1 -1
  48. package/SVF-doxygen/html/functions_func_g.html +1 -1
  49. package/SVF-doxygen/html/functions_func_h.html +11 -11
  50. package/SVF-doxygen/html/functions_func_i.html +8 -8
  51. package/SVF-doxygen/html/functions_func_m.html +1 -1
  52. package/SVF-doxygen/html/functions_func_n.html +1 -1
  53. package/SVF-doxygen/html/functions_func_r.html +2 -2
  54. package/SVF-doxygen/html/functions_func_s.html +2 -2
  55. package/SVF-doxygen/html/functions_func_w.html +1 -1
  56. package/SVF-doxygen/html/functions_func_~.html +3 -3
  57. package/SVF-doxygen/html/functions_g.html +1 -1
  58. package/SVF-doxygen/html/functions_h.html +11 -11
  59. package/SVF-doxygen/html/functions_i.html +8 -8
  60. package/SVF-doxygen/html/functions_m.html +1 -1
  61. package/SVF-doxygen/html/functions_n.html +1 -1
  62. package/SVF-doxygen/html/functions_p.html +7 -7
  63. package/SVF-doxygen/html/functions_r.html +6 -8
  64. package/SVF-doxygen/html/functions_rela.html +2 -2
  65. package/SVF-doxygen/html/functions_s.html +10 -8
  66. package/SVF-doxygen/html/functions_t.html +7 -7
  67. package/SVF-doxygen/html/functions_type_c.html +1 -1
  68. package/SVF-doxygen/html/functions_v.html +1 -3
  69. package/SVF-doxygen/html/functions_vars.html +21 -21
  70. package/SVF-doxygen/html/functions_w.html +1 -1
  71. package/SVF-doxygen/html/functions_~.html +3 -3
  72. package/SVF-doxygen/html/globals.html +2 -2
  73. package/SVF-doxygen/html/globals_defs.html +1 -1
  74. package/SVF-doxygen/html/globals_s.html +1 -1
  75. package/SVF-doxygen/html/globals_vars.html +2 -2
  76. package/SVF-doxygen/html/hierarchy.html +12 -12
  77. package/SVF-doxygen/html/namespaceSVF.html +9 -9
  78. package/SVF-doxygen/html/search/all_0.js +21 -21
  79. package/SVF-doxygen/html/search/all_1.js +503 -502
  80. package/SVF-doxygen/html/search/all_10.js +325 -325
  81. package/SVF-doxygen/html/search/all_11.js +228 -228
  82. package/SVF-doxygen/html/search/all_12.js +569 -569
  83. package/SVF-doxygen/html/search/all_13.js +208 -208
  84. package/SVF-doxygen/html/search/all_14.js +69 -69
  85. package/SVF-doxygen/html/search/all_15.js +176 -176
  86. package/SVF-doxygen/html/search/all_16.js +78 -78
  87. package/SVF-doxygen/html/search/all_17.js +1 -1
  88. package/SVF-doxygen/html/search/all_18.js +1 -1
  89. package/SVF-doxygen/html/search/all_19.js +26 -26
  90. package/SVF-doxygen/html/search/all_1a.js +182 -182
  91. package/SVF-doxygen/html/search/all_2.js +182 -182
  92. package/SVF-doxygen/html/search/all_3.js +654 -654
  93. package/SVF-doxygen/html/search/all_4.js +237 -237
  94. package/SVF-doxygen/html/search/all_5.js +128 -128
  95. package/SVF-doxygen/html/search/all_6.js +232 -232
  96. package/SVF-doxygen/html/search/all_7.js +1060 -1060
  97. package/SVF-doxygen/html/search/all_8.js +217 -217
  98. package/SVF-doxygen/html/search/all_9.js +628 -628
  99. package/SVF-doxygen/html/search/all_a.js +46 -46
  100. package/SVF-doxygen/html/search/all_b.js +26 -26
  101. package/SVF-doxygen/html/search/all_c.js +115 -115
  102. package/SVF-doxygen/html/search/all_d.js +203 -203
  103. package/SVF-doxygen/html/search/all_e.js +209 -209
  104. package/SVF-doxygen/html/search/all_f.js +121 -121
  105. package/SVF-doxygen/html/search/classes_0.js +29 -29
  106. package/SVF-doxygen/html/search/classes_1.js +12 -12
  107. package/SVF-doxygen/html/search/classes_10.js +74 -74
  108. package/SVF-doxygen/html/search/classes_11.js +14 -14
  109. package/SVF-doxygen/html/search/classes_12.js +2 -2
  110. package/SVF-doxygen/html/search/classes_13.js +10 -10
  111. package/SVF-doxygen/html/search/classes_14.js +20 -20
  112. package/SVF-doxygen/html/search/classes_15.js +1 -1
  113. package/SVF-doxygen/html/search/classes_2.js +78 -78
  114. package/SVF-doxygen/html/search/classes_3.js +37 -37
  115. package/SVF-doxygen/html/search/classes_4.js +9 -9
  116. package/SVF-doxygen/html/search/classes_5.js +28 -28
  117. package/SVF-doxygen/html/search/classes_6.js +104 -104
  118. package/SVF-doxygen/html/search/classes_7.js +38 -38
  119. package/SVF-doxygen/html/search/classes_8.js +58 -58
  120. package/SVF-doxygen/html/search/classes_9.js +1 -1
  121. package/SVF-doxygen/html/search/classes_a.js +12 -12
  122. package/SVF-doxygen/html/search/classes_b.js +29 -29
  123. package/SVF-doxygen/html/search/classes_c.js +6 -6
  124. package/SVF-doxygen/html/search/classes_d.js +19 -19
  125. package/SVF-doxygen/html/search/classes_e.js +36 -36
  126. package/SVF-doxygen/html/search/classes_f.js +25 -25
  127. package/SVF-doxygen/html/search/defines_0.js +3 -3
  128. package/SVF-doxygen/html/search/defines_1.js +3 -3
  129. package/SVF-doxygen/html/search/defines_10.js +2 -2
  130. package/SVF-doxygen/html/search/defines_2.js +30 -30
  131. package/SVF-doxygen/html/search/defines_3.js +20 -20
  132. package/SVF-doxygen/html/search/defines_4.js +3 -3
  133. package/SVF-doxygen/html/search/defines_5.js +4 -4
  134. package/SVF-doxygen/html/search/defines_6.js +2 -2
  135. package/SVF-doxygen/html/search/defines_7.js +5 -5
  136. package/SVF-doxygen/html/search/defines_8.js +11 -11
  137. package/SVF-doxygen/html/search/defines_9.js +9 -9
  138. package/SVF-doxygen/html/search/defines_a.js +2 -2
  139. package/SVF-doxygen/html/search/defines_b.js +1 -1
  140. package/SVF-doxygen/html/search/defines_c.js +4 -4
  141. package/SVF-doxygen/html/search/defines_d.js +2 -2
  142. package/SVF-doxygen/html/search/defines_e.js +8 -8
  143. package/SVF-doxygen/html/search/defines_f.js +4 -4
  144. package/SVF-doxygen/html/search/enums_0.js +4 -4
  145. package/SVF-doxygen/html/search/enums_1.js +2 -2
  146. package/SVF-doxygen/html/search/enums_10.js +1 -1
  147. package/SVF-doxygen/html/search/enums_11.js +1 -1
  148. package/SVF-doxygen/html/search/enums_2.js +8 -8
  149. package/SVF-doxygen/html/search/enums_3.js +1 -1
  150. package/SVF-doxygen/html/search/enums_4.js +4 -4
  151. package/SVF-doxygen/html/search/enums_5.js +1 -1
  152. package/SVF-doxygen/html/search/enums_6.js +2 -2
  153. package/SVF-doxygen/html/search/enums_7.js +2 -2
  154. package/SVF-doxygen/html/search/enums_8.js +4 -4
  155. package/SVF-doxygen/html/search/enums_9.js +1 -1
  156. package/SVF-doxygen/html/search/enums_a.js +1 -1
  157. package/SVF-doxygen/html/search/enums_b.js +7 -7
  158. package/SVF-doxygen/html/search/enums_c.js +1 -1
  159. package/SVF-doxygen/html/search/enums_d.js +4 -4
  160. package/SVF-doxygen/html/search/enums_e.js +2 -2
  161. package/SVF-doxygen/html/search/enums_f.js +4 -4
  162. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  163. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  164. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  165. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  166. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  167. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  168. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  169. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  170. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  171. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  172. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  173. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  174. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  175. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  176. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  177. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  178. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  179. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  180. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  181. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  182. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  183. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  184. package/SVF-doxygen/html/search/files_0.js +16 -15
  185. package/SVF-doxygen/html/search/files_1.js +9 -9
  186. package/SVF-doxygen/html/search/files_10.js +8 -8
  187. package/SVF-doxygen/html/search/files_11.js +8 -8
  188. package/SVF-doxygen/html/search/files_12.js +2 -2
  189. package/SVF-doxygen/html/search/files_2.js +58 -58
  190. package/SVF-doxygen/html/search/files_3.js +14 -14
  191. package/SVF-doxygen/html/search/files_4.js +5 -5
  192. package/SVF-doxygen/html/search/files_5.js +13 -13
  193. package/SVF-doxygen/html/search/files_6.js +10 -10
  194. package/SVF-doxygen/html/search/files_7.js +15 -15
  195. package/SVF-doxygen/html/search/files_8.js +13 -13
  196. package/SVF-doxygen/html/search/files_9.js +18 -18
  197. package/SVF-doxygen/html/search/files_a.js +3 -3
  198. package/SVF-doxygen/html/search/files_b.js +4 -4
  199. package/SVF-doxygen/html/search/files_c.js +20 -20
  200. package/SVF-doxygen/html/search/files_d.js +4 -4
  201. package/SVF-doxygen/html/search/files_e.js +62 -62
  202. package/SVF-doxygen/html/search/files_f.js +8 -8
  203. package/SVF-doxygen/html/search/functions_0.js +13 -13
  204. package/SVF-doxygen/html/search/functions_1.js +374 -374
  205. package/SVF-doxygen/html/search/functions_10.js +140 -140
  206. package/SVF-doxygen/html/search/functions_11.js +142 -142
  207. package/SVF-doxygen/html/search/functions_12.js +298 -298
  208. package/SVF-doxygen/html/search/functions_13.js +74 -74
  209. package/SVF-doxygen/html/search/functions_14.js +40 -40
  210. package/SVF-doxygen/html/search/functions_15.js +72 -72
  211. package/SVF-doxygen/html/search/functions_16.js +38 -38
  212. package/SVF-doxygen/html/search/functions_17.js +3 -3
  213. package/SVF-doxygen/html/search/functions_18.js +182 -182
  214. package/SVF-doxygen/html/search/functions_2.js +95 -95
  215. package/SVF-doxygen/html/search/functions_3.js +266 -266
  216. package/SVF-doxygen/html/search/functions_4.js +84 -84
  217. package/SVF-doxygen/html/search/functions_5.js +57 -57
  218. package/SVF-doxygen/html/search/functions_6.js +65 -65
  219. package/SVF-doxygen/html/search/functions_7.js +867 -867
  220. package/SVF-doxygen/html/search/functions_8.js +164 -164
  221. package/SVF-doxygen/html/search/functions_9.js +440 -440
  222. package/SVF-doxygen/html/search/functions_a.js +30 -30
  223. package/SVF-doxygen/html/search/functions_b.js +2 -2
  224. package/SVF-doxygen/html/search/functions_c.js +25 -25
  225. package/SVF-doxygen/html/search/functions_d.js +81 -81
  226. package/SVF-doxygen/html/search/functions_e.js +36 -36
  227. package/SVF-doxygen/html/search/functions_f.js +58 -58
  228. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  229. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  230. package/SVF-doxygen/html/search/related_0.js +4 -4
  231. package/SVF-doxygen/html/search/related_1.js +2 -2
  232. package/SVF-doxygen/html/search/related_2.js +3 -3
  233. package/SVF-doxygen/html/search/related_3.js +2 -2
  234. package/SVF-doxygen/html/search/related_4.js +2 -2
  235. package/SVF-doxygen/html/search/related_5.js +1 -1
  236. package/SVF-doxygen/html/search/related_6.js +2 -2
  237. package/SVF-doxygen/html/search/related_7.js +4 -4
  238. package/SVF-doxygen/html/search/related_8.js +2 -2
  239. package/SVF-doxygen/html/search/related_9.js +4 -4
  240. package/SVF-doxygen/html/search/related_a.js +19 -19
  241. package/SVF-doxygen/html/search/related_b.js +4 -4
  242. package/SVF-doxygen/html/search/related_c.js +2 -2
  243. package/SVF-doxygen/html/search/related_d.js +12 -12
  244. package/SVF-doxygen/html/search/related_e.js +2 -2
  245. package/SVF-doxygen/html/search/related_f.js +2 -2
  246. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  247. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  248. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  249. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  250. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  251. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  252. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  253. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  254. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  255. package/SVF-doxygen/html/search/typedefs_4.js +18 -18
  256. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  257. package/SVF-doxygen/html/search/typedefs_6.js +57 -57
  258. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  259. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  260. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  261. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  262. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  263. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  264. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  265. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  266. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  267. package/SVF-doxygen/html/search/variables_0.js +182 -182
  268. package/SVF-doxygen/html/search/variables_1.js +76 -76
  269. package/SVF-doxygen/html/search/variables_10.js +98 -98
  270. package/SVF-doxygen/html/search/variables_11.js +46 -46
  271. package/SVF-doxygen/html/search/variables_12.js +93 -93
  272. package/SVF-doxygen/html/search/variables_13.js +76 -76
  273. package/SVF-doxygen/html/search/variables_14.js +14 -14
  274. package/SVF-doxygen/html/search/variables_15.js +49 -49
  275. package/SVF-doxygen/html/search/variables_16.js +11 -11
  276. package/SVF-doxygen/html/search/variables_17.js +1 -1
  277. package/SVF-doxygen/html/search/variables_18.js +17 -17
  278. package/SVF-doxygen/html/search/variables_2.js +41 -41
  279. package/SVF-doxygen/html/search/variables_3.js +142 -142
  280. package/SVF-doxygen/html/search/variables_4.js +51 -51
  281. package/SVF-doxygen/html/search/variables_5.js +39 -39
  282. package/SVF-doxygen/html/search/variables_6.js +66 -66
  283. package/SVF-doxygen/html/search/variables_7.js +34 -34
  284. package/SVF-doxygen/html/search/variables_8.js +8 -8
  285. package/SVF-doxygen/html/search/variables_9.js +78 -78
  286. package/SVF-doxygen/html/search/variables_a.js +4 -4
  287. package/SVF-doxygen/html/search/variables_b.js +10 -10
  288. package/SVF-doxygen/html/search/variables_c.js +45 -45
  289. package/SVF-doxygen/html/search/variables_d.js +57 -57
  290. package/SVF-doxygen/html/search/variables_e.js +123 -123
  291. package/SVF-doxygen/html/search/variables_f.js +31 -31
  292. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +102 -102
  293. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  294. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  295. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  296. package/build.sh +1 -1
  297. package/package.json +1 -1
  298. package/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h} +13 -14
  299. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  300. package/svf/include/Graphs/CFBasicBlockG.h +0 -43
  301. package/svf/lib/AE/Svfexe/{AE.cpp → AbstractExecution.cpp} +33 -33
  302. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +2 -2
  303. package/svf-llvm/tools/AE/ae.cpp +1 -1
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html CHANGED
@@ -156,23 +156,6 @@ Public Member Functions</h2></td></tr>
156
156
  <tr class="separator:ad3c5860db2e113dd4142ae3b352cece3"><td class="memSeparator" colspan="2">&#160;</td></tr>
157
157
  <tr class="memitem:a61b196ea7066522bac602b16c1862905"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a61b196ea7066522bac602b16c1862905">InEdgeEnd</a> () const</td></tr>
158
158
  <tr class="separator:a61b196ea7066522bac602b16c1862905"><td class="memSeparator" colspan="2">&#160;</td></tr>
159
- <tr class="memitem:abea5a96ff067636ae8d3766329695055"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">directOutEdgeBegin</a> ()</td></tr>
160
- <tr class="memdesc:abea5a96ff067636ae8d3766329695055"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory. <a href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">More...</a><br /></td></tr>
161
- <tr class="separator:abea5a96ff067636ae8d3766329695055"><td class="memSeparator" colspan="2">&#160;</td></tr>
162
- <tr class="memitem:a77bac962599c92286edee26a1d430624"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">directOutEdgeEnd</a> ()</td></tr>
163
- <tr class="separator:a77bac962599c92286edee26a1d430624"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
- <tr class="memitem:accc815b1ebcf66eb596d17a2e7e75403"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">directInEdgeBegin</a> ()</td></tr>
165
- <tr class="separator:accc815b1ebcf66eb596d17a2e7e75403"><td class="memSeparator" colspan="2">&#160;</td></tr>
166
- <tr class="memitem:a29971b81bdf81bb079718ac15b387ead"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">directInEdgeEnd</a> ()</td></tr>
167
- <tr class="separator:a29971b81bdf81bb079718ac15b387ead"><td class="memSeparator" colspan="2">&#160;</td></tr>
168
- <tr class="memitem:ace9c6976879aaa8c1609a3773de6eec7"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#ace9c6976879aaa8c1609a3773de6eec7">directOutEdgeBegin</a> () const</td></tr>
169
- <tr class="separator:ace9c6976879aaa8c1609a3773de6eec7"><td class="memSeparator" colspan="2">&#160;</td></tr>
170
- <tr class="memitem:aeb06f080cd085dbae0d23315311ff952"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#aeb06f080cd085dbae0d23315311ff952">directOutEdgeEnd</a> () const</td></tr>
171
- <tr class="separator:aeb06f080cd085dbae0d23315311ff952"><td class="memSeparator" colspan="2">&#160;</td></tr>
172
- <tr class="memitem:a63bfa2866dac843cf8a177055676ffff"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a63bfa2866dac843cf8a177055676ffff">directInEdgeBegin</a> () const</td></tr>
173
- <tr class="separator:a63bfa2866dac843cf8a177055676ffff"><td class="memSeparator" colspan="2">&#160;</td></tr>
174
- <tr class="memitem:a9c989d41ad6b2a92422b1cce15121ec2"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#a9c989d41ad6b2a92422b1cce15121ec2">directInEdgeEnd</a> () const</td></tr>
175
- <tr class="separator:a9c989d41ad6b2a92422b1cce15121ec2"><td class="memSeparator" colspan="2">&#160;</td></tr>
176
159
  <tr class="memitem:abb240b6d11fb9fb08a2ea3d093cf800f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f">addIncomingEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *inEdge)</td></tr>
177
160
  <tr class="memdesc:abb240b6d11fb9fb08a2ea3d093cf800f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add incoming and outgoing edges. <a href="classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f">More...</a><br /></td></tr>
178
161
  <tr class="separator:abb240b6d11fb9fb08a2ea3d093cf800f"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -228,6 +211,23 @@ Public Member Functions</h2></td></tr>
228
211
  <tr class="separator:a7c0ff80b1c0ae8b76fc620f21495ca39 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
229
212
  <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
230
213
  <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
214
+ <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
215
+ <tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary. <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
216
+ <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
217
+ <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
218
+ <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
219
+ <tr class="memitem:a4ab1f2e5db301e4a37215905a22e6476 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">directInEdgeBegin</a> ()</td></tr>
220
+ <tr class="separator:a4ab1f2e5db301e4a37215905a22e6476 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
221
+ <tr class="memitem:a19599627ba095b5452373284deab7f6c inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">directInEdgeEnd</a> ()</td></tr>
222
+ <tr class="separator:a19599627ba095b5452373284deab7f6c inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
223
+ <tr class="memitem:acfae7a2809931cbd62b6f47c4813510d inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">directOutEdgeBegin</a> () const</td></tr>
224
+ <tr class="separator:acfae7a2809931cbd62b6f47c4813510d inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
225
+ <tr class="memitem:a7f914b128f7839483efc9ad56834e7c2 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">directOutEdgeEnd</a> () const</td></tr>
226
+ <tr class="separator:a7f914b128f7839483efc9ad56834e7c2 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
227
+ <tr class="memitem:ab331402aed245c33bad841df2bc21f7b inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">directInEdgeBegin</a> () const</td></tr>
228
+ <tr class="separator:ab331402aed245c33bad841df2bc21f7b inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
229
+ <tr class="memitem:aa7be9ff204bf85bc3bf2fa4e078fcab2 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">directInEdgeEnd</a> () const</td></tr>
230
+ <tr class="separator:aa7be9ff204bf85bc3bf2fa4e078fcab2 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
231
231
  <tr class="memitem:a93d217b0c9fd8008a2989ca2b4f3fbfb inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *inEdge)</td></tr>
232
232
  <tr class="memdesc:a93d217b0c9fd8008a2989ca2b4f3fbfb inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add incoming and outgoing edges. <a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">More...</a><br /></td></tr>
233
233
  <tr class="separator:a93d217b0c9fd8008a2989ca2b4f3fbfb inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -406,10 +406,10 @@ Friends</h2></td></tr>
406
406
 
407
407
  <p>Add incoming and outgoing edges. </p>
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00306">306</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
411
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
412
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; }</div>
409
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00263">263</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
411
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.insert(inEdge).second;</div>
412
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
413
413
  </div><!-- fragment -->
414
414
  </div>
415
415
  </div>
@@ -468,10 +468,10 @@ Friends</h2></td></tr>
468
468
  </table>
469
469
  </div><div class="memdoc">
470
470
 
471
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00311">311</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
472
- <div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
473
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
474
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; }</div>
471
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00268">268</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; {</div>
473
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.insert(outEdge).second;</div>
474
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
475
475
  </div><!-- fragment -->
476
476
  </div>
477
477
  </div>
@@ -505,264 +505,6 @@ Friends</h2></td></tr>
505
505
  </div><!-- fragment -->
506
506
  </div>
507
507
  </div>
508
- <a id="accc815b1ebcf66eb596d17a2e7e75403"></a>
509
- <h2 class="memtitle"><span class="permalink"><a href="#accc815b1ebcf66eb596d17a2e7e75403">&#9670;&nbsp;</a></span>directInEdgeBegin() <span class="overload">[1/2]</span></h2>
510
-
511
- <div class="memitem">
512
- <div class="memproto">
513
- <table class="mlabels">
514
- <tr>
515
- <td class="mlabels-left">
516
- <table class="memname">
517
- <tr>
518
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> SVF::CFBasicBlockNode::directInEdgeBegin </td>
519
- <td>(</td>
520
- <td class="paramname"></td><td>)</td>
521
- <td></td>
522
- </tr>
523
- </table>
524
- </td>
525
- <td class="mlabels-right">
526
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
527
- </tr>
528
- </table>
529
- </div><div class="memdoc">
530
-
531
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
532
-
533
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00273">273</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
534
- <div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
535
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
536
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div>
537
- </div><!-- fragment -->
538
- </div>
539
- </div>
540
- <a id="a63bfa2866dac843cf8a177055676ffff"></a>
541
- <h2 class="memtitle"><span class="permalink"><a href="#a63bfa2866dac843cf8a177055676ffff">&#9670;&nbsp;</a></span>directInEdgeBegin() <span class="overload">[2/2]</span></h2>
542
-
543
- <div class="memitem">
544
- <div class="memproto">
545
- <table class="mlabels">
546
- <tr>
547
- <td class="mlabels-left">
548
- <table class="memname">
549
- <tr>
550
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> SVF::CFBasicBlockNode::directInEdgeBegin </td>
551
- <td>(</td>
552
- <td class="paramname"></td><td>)</td>
553
- <td> const</td>
554
- </tr>
555
- </table>
556
- </td>
557
- <td class="mlabels-right">
558
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
559
- </tr>
560
- </table>
561
- </div><div class="memdoc">
562
-
563
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#ab331402aed245c33bad841df2bc21f7b">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
564
-
565
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00293">293</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
566
- <div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div>
567
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.begin();</div>
568
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
569
- </div><!-- fragment -->
570
- </div>
571
- </div>
572
- <a id="a29971b81bdf81bb079718ac15b387ead"></a>
573
- <h2 class="memtitle"><span class="permalink"><a href="#a29971b81bdf81bb079718ac15b387ead">&#9670;&nbsp;</a></span>directInEdgeEnd() <span class="overload">[1/2]</span></h2>
574
-
575
- <div class="memitem">
576
- <div class="memproto">
577
- <table class="mlabels">
578
- <tr>
579
- <td class="mlabels-left">
580
- <table class="memname">
581
- <tr>
582
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> SVF::CFBasicBlockNode::directInEdgeEnd </td>
583
- <td>(</td>
584
- <td class="paramname"></td><td>)</td>
585
- <td></td>
586
- </tr>
587
- </table>
588
- </td>
589
- <td class="mlabels-right">
590
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
591
- </tr>
592
- </table>
593
- </div><div class="memdoc">
594
-
595
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
596
-
597
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00278">278</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
598
- <div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div>
599
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
600
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; }</div>
601
- </div><!-- fragment -->
602
- </div>
603
- </div>
604
- <a id="a9c989d41ad6b2a92422b1cce15121ec2"></a>
605
- <h2 class="memtitle"><span class="permalink"><a href="#a9c989d41ad6b2a92422b1cce15121ec2">&#9670;&nbsp;</a></span>directInEdgeEnd() <span class="overload">[2/2]</span></h2>
606
-
607
- <div class="memitem">
608
- <div class="memproto">
609
- <table class="mlabels">
610
- <tr>
611
- <td class="mlabels-left">
612
- <table class="memname">
613
- <tr>
614
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> SVF::CFBasicBlockNode::directInEdgeEnd </td>
615
- <td>(</td>
616
- <td class="paramname"></td><td>)</td>
617
- <td> const</td>
618
- </tr>
619
- </table>
620
- </td>
621
- <td class="mlabels-right">
622
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
623
- </tr>
624
- </table>
625
- </div><div class="memdoc">
626
-
627
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa7be9ff204bf85bc3bf2fa4e078fcab2">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
628
-
629
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00298">298</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
630
- <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div>
631
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end();</div>
632
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
633
- </div><!-- fragment -->
634
- </div>
635
- </div>
636
- <a id="abea5a96ff067636ae8d3766329695055"></a>
637
- <h2 class="memtitle"><span class="permalink"><a href="#abea5a96ff067636ae8d3766329695055">&#9670;&nbsp;</a></span>directOutEdgeBegin() <span class="overload">[1/2]</span></h2>
638
-
639
- <div class="memitem">
640
- <div class="memproto">
641
- <table class="mlabels">
642
- <tr>
643
- <td class="mlabels-left">
644
- <table class="memname">
645
- <tr>
646
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> SVF::CFBasicBlockNode::directOutEdgeBegin </td>
647
- <td>(</td>
648
- <td class="paramname"></td><td>)</td>
649
- <td></td>
650
- </tr>
651
- </table>
652
- </td>
653
- <td class="mlabels-right">
654
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
655
- </tr>
656
- </table>
657
- </div><div class="memdoc">
658
-
659
- <p>Iterators used for SCC detection, overwrite it in child class if necessory. </p>
660
-
661
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
662
-
663
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00263">263</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
664
- <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
665
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
666
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
667
- </div><!-- fragment -->
668
- </div>
669
- </div>
670
- <a id="ace9c6976879aaa8c1609a3773de6eec7"></a>
671
- <h2 class="memtitle"><span class="permalink"><a href="#ace9c6976879aaa8c1609a3773de6eec7">&#9670;&nbsp;</a></span>directOutEdgeBegin() <span class="overload">[2/2]</span></h2>
672
-
673
- <div class="memitem">
674
- <div class="memproto">
675
- <table class="mlabels">
676
- <tr>
677
- <td class="mlabels-left">
678
- <table class="memname">
679
- <tr>
680
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> SVF::CFBasicBlockNode::directOutEdgeBegin </td>
681
- <td>(</td>
682
- <td class="paramname"></td><td>)</td>
683
- <td> const</td>
684
- </tr>
685
- </table>
686
- </td>
687
- <td class="mlabels-right">
688
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
689
- </tr>
690
- </table>
691
- </div><div class="memdoc">
692
-
693
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#acfae7a2809931cbd62b6f47c4813510d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
694
-
695
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00283">283</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
696
- <div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
697
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.begin();</div>
698
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
699
- </div><!-- fragment -->
700
- </div>
701
- </div>
702
- <a id="a77bac962599c92286edee26a1d430624"></a>
703
- <h2 class="memtitle"><span class="permalink"><a href="#a77bac962599c92286edee26a1d430624">&#9670;&nbsp;</a></span>directOutEdgeEnd() <span class="overload">[1/2]</span></h2>
704
-
705
- <div class="memitem">
706
- <div class="memproto">
707
- <table class="mlabels">
708
- <tr>
709
- <td class="mlabels-left">
710
- <table class="memname">
711
- <tr>
712
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">iterator</a> SVF::CFBasicBlockNode::directOutEdgeEnd </td>
713
- <td>(</td>
714
- <td class="paramname"></td><td>)</td>
715
- <td></td>
716
- </tr>
717
- </table>
718
- </td>
719
- <td class="mlabels-right">
720
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
721
- </tr>
722
- </table>
723
- </div><div class="memdoc">
724
-
725
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
726
-
727
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00268">268</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
728
- <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; {</div>
729
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
730
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
731
- </div><!-- fragment -->
732
- </div>
733
- </div>
734
- <a id="aeb06f080cd085dbae0d23315311ff952"></a>
735
- <h2 class="memtitle"><span class="permalink"><a href="#aeb06f080cd085dbae0d23315311ff952">&#9670;&nbsp;</a></span>directOutEdgeEnd() <span class="overload">[2/2]</span></h2>
736
-
737
- <div class="memitem">
738
- <div class="memproto">
739
- <table class="mlabels">
740
- <tr>
741
- <td class="mlabels-left">
742
- <table class="memname">
743
- <tr>
744
- <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> SVF::CFBasicBlockNode::directOutEdgeEnd </td>
745
- <td>(</td>
746
- <td class="paramname"></td><td>)</td>
747
- <td> const</td>
748
- </tr>
749
- </table>
750
- </td>
751
- <td class="mlabels-right">
752
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span> </td>
753
- </tr>
754
- </table>
755
- </div><div class="memdoc">
756
-
757
- <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a7f914b128f7839483efc9ad56834e7c2">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>.</p>
758
-
759
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00288">288</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
760
- <div class="fragment"><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; {</div>
761
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end();</div>
762
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; }</div>
763
- </div><!-- fragment -->
764
- </div>
765
- </div>
766
508
  <a id="a4eb0886ab2538dbe2a3dcf8ab7fc615e"></a>
767
509
  <h2 class="memtitle"><span class="permalink"><a href="#a4eb0886ab2538dbe2a3dcf8ab7fc615e">&#9670;&nbsp;</a></span>end()</h2>
768
510
 
@@ -1034,14 +776,14 @@ Friends</h2></td></tr>
1034
776
 
1035
777
  <p>Find incoming and outgoing edges. </p>
1036
778
 
1037
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00334">334</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1038
- <div class="fragment"><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; {</div>
1039
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
1040
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
1041
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <span class="keywordflow">return</span> *it;</div>
1042
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="keywordflow">else</span></div>
1043
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1044
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; }</div>
779
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00291">291</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
780
+ <div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
781
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge);</div>
782
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end())</div>
783
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <span class="keywordflow">return</span> *it;</div>
784
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">else</span></div>
785
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
786
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
1045
787
  </div><!-- fragment -->
1046
788
  </div>
1047
789
  </div>
@@ -1099,14 +841,14 @@ Friends</h2></td></tr>
1099
841
  </table>
1100
842
  </div><div class="memdoc">
1101
843
 
1102
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00343">343</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1103
- <div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; {</div>
1104
- <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
1105
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
1106
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">return</span> *it;</div>
1107
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">else</span></div>
1108
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
1109
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; }</div>
844
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00300">300</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
845
+ <div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div>
846
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a145051f43e03acd6ce9923a5c06150bc">const_iterator</a> it = <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge);</div>
847
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end())</div>
848
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> *it;</div>
849
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">else</span></div>
850
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
851
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; }</div>
1110
852
  </div><!-- fragment -->
1111
853
  </div>
1112
854
  </div>
@@ -1377,11 +1119,11 @@ Friends</h2></td></tr>
1377
1119
  </div><div class="memdoc">
1378
1120
  <p>Remove incoming and outgoing edges </p>
1379
1121
 
1380
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00319">319</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1381
- <div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div>
1382
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div>
1383
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
1384
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; }</div>
1122
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00276">276</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1123
+ <div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
1124
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div>
1125
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a7b1db0644849e066137c162e24026b67">InEdges</a>.erase(edge);</div>
1126
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div>
1385
1127
  </div><!-- fragment -->
1386
1128
  </div>
1387
1129
  </div>
@@ -1442,11 +1184,11 @@ Friends</h2></td></tr>
1442
1184
  </table>
1443
1185
  </div><div class="memdoc">
1444
1186
 
1445
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00325">325</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1446
- <div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; {</div>
1447
- <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div>
1448
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
1449
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
1187
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00282">282</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
1188
+ <div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
1189
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; assert(<a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.find(edge) != <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div>
1190
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1">OutEdges</a>.erase(edge);</div>
1191
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div>
1450
1192
  </div><!-- fragment -->
1451
1193
  </div>
1452
1194
  </div>
package/SVF-doxygen/html/classSVF_1_1GenericNode.html CHANGED
@@ -504,7 +504,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
504
504
  </table>
505
505
  </div><div class="memdoc">
506
506
 
507
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#accc815b1ebcf66eb596d17a2e7e75403">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>.</p>
507
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a66c58fc9e29b9e2c88cb7e3216415c9f">SVF::ConstraintNode</a>.</p>
508
508
 
509
509
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00261">261</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
510
510
  <div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; {</div>
@@ -538,7 +538,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
538
538
  </table>
539
539
  </div><div class="memdoc">
540
540
 
541
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a63bfa2866dac843cf8a177055676ffff">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">SVF::ConstraintNode</a>.</p>
541
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">SVF::ConstraintNode</a>.</p>
542
542
 
543
543
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00278">278</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
544
544
  <div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div>
@@ -572,7 +572,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
572
572
  </table>
573
573
  </div><div class="memdoc">
574
574
 
575
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a29971b81bdf81bb079718ac15b387ead">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>.</p>
575
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#aed4e0b2ede72717491747158c2e2702f">SVF::ConstraintNode</a>.</p>
576
576
 
577
577
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00265">265</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
578
578
  <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
@@ -606,7 +606,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
606
606
  </table>
607
607
  </div><div class="memdoc">
608
608
 
609
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a9c989d41ad6b2a92422b1cce15121ec2">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode</a>.</p>
609
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode</a>.</p>
610
610
 
611
611
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00282">282</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
612
612
  <div class="fragment"><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
@@ -642,7 +642,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
642
642
 
643
643
  <p>Iterators used for SCC detection, overwrite it in child class if necessary. </p>
644
644
 
645
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#abea5a96ff067636ae8d3766329695055">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>.</p>
645
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a5be4bd33793fe159397c16a80a05b570">SVF::ConstraintNode</a>.</p>
646
646
 
647
647
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00253">253</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
648
648
  <div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
@@ -676,7 +676,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
676
676
  </table>
677
677
  </div><div class="memdoc">
678
678
 
679
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ace9c6976879aaa8c1609a3773de6eec7">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">SVF::ConstraintNode</a>.</p>
679
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">SVF::ConstraintNode</a>.</p>
680
680
 
681
681
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00270">270</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
682
682
  <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
@@ -710,7 +710,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
710
710
  </table>
711
711
  </div><div class="memdoc">
712
712
 
713
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a77bac962599c92286edee26a1d430624">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>.</p>
713
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae3465d3c949ec59e243b30ad0ecd256d">SVF::ConstraintNode</a>.</p>
714
714
 
715
715
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00257">257</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
716
716
  <div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; {</div>
@@ -744,7 +744,7 @@ template&lt;class NodeTy , class EdgeTy &gt; </div>
744
744
  </table>
745
745
  </div><div class="memdoc">
746
746
 
747
- <p>Reimplemented in <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aeb06f080cd085dbae0d23315311ff952">SVF::CFBasicBlockNode</a>, and <a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">SVF::ConstraintNode</a>.</p>
747
+ <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">SVF::ConstraintNode</a>.</p>
748
748
 
749
749
  <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00274">274</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
750
750
  <div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; {</div>