svf-tools 1.0.762 → 1.0.764

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 (300) hide show
  1. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1212 -1208
  3. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +172 -159
  4. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -2
  12. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +54 -55
  13. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -5
  14. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +54 -55
  15. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -5
  16. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +53 -54
  17. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +4 -5
  18. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +55 -56
  19. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +4 -5
  20. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +59 -60
  21. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +4 -5
  22. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +51 -52
  23. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +4 -5
  24. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +59 -60
  25. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +4 -5
  26. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +54 -55
  27. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -5
  28. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +59 -60
  29. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +4 -5
  30. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +59 -60
  31. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +4 -5
  32. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +53 -54
  33. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +4 -5
  34. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +54 -55
  35. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +4 -5
  36. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +54 -55
  37. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +4 -5
  38. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +52 -53
  39. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +4 -5
  40. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +56 -57
  41. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +4 -5
  42. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +62 -63
  43. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +4 -5
  44. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +66 -67
  46. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +4 -5
  47. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +64 -65
  48. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +4 -5
  49. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +62 -63
  50. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +4 -5
  51. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +65 -66
  52. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +4 -5
  53. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1234 -1217
  55. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +62 -63
  56. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +4 -5
  57. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +51 -52
  58. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +4 -5
  59. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +61 -62
  60. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -5
  61. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +53 -54
  63. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -5
  64. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +60 -61
  65. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +4 -5
  66. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +58 -59
  69. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +4 -5
  70. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +62 -63
  71. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +4 -5
  72. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  73. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +62 -63
  74. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +4 -5
  75. package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +50 -51
  76. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +6 -9
  77. package/SVF-doxygen/html/html/functions_eval_f.html +0 -3
  78. package/SVF-doxygen/html/html/functions_f.html +9 -12
  79. package/SVF-doxygen/html/html/functions_func_i.html +13 -13
  80. package/SVF-doxygen/html/html/functions_i.html +16 -16
  81. package/SVF-doxygen/html/html/functions_l.html +3 -3
  82. package/SVF-doxygen/html/html/functions_o.html +3 -3
  83. package/SVF-doxygen/html/html/functions_p.html +18 -14
  84. package/SVF-doxygen/html/html/functions_r.html +8 -8
  85. package/SVF-doxygen/html/html/functions_s.html +14 -14
  86. package/SVF-doxygen/html/html/functions_t.html +7 -7
  87. package/SVF-doxygen/html/html/functions_v.html +3 -3
  88. package/SVF-doxygen/html/html/search/all_10.js +323 -323
  89. package/SVF-doxygen/html/html/search/all_11.js +212 -212
  90. package/SVF-doxygen/html/html/search/all_12.js +536 -536
  91. package/SVF-doxygen/html/html/search/all_13.js +188 -188
  92. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  93. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  94. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  95. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  96. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  97. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  98. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  99. package/SVF-doxygen/html/html/search/all_6.js +31 -32
  100. package/SVF-doxygen/html/html/search/all_7.js +996 -996
  101. package/SVF-doxygen/html/html/search/all_8.js +191 -191
  102. package/SVF-doxygen/html/html/search/all_9.js +354 -354
  103. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  104. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  105. package/SVF-doxygen/html/html/search/all_c.js +114 -114
  106. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  107. package/SVF-doxygen/html/html/search/all_e.js +205 -205
  108. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  109. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  110. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  111. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  112. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  113. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  114. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  115. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  116. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  117. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  118. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  119. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  120. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  121. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  122. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  123. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  124. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  125. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  126. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  127. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  128. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  129. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  130. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  131. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  132. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  133. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  134. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  135. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  136. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  137. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  138. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  139. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  140. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  141. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  142. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  143. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  144. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  145. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  146. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  147. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  148. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  149. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  150. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  151. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  152. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  153. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  154. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  155. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  156. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  157. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  158. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  159. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  160. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  161. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  162. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  163. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  164. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  165. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  166. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  167. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  168. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  169. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  170. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  171. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  172. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  173. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  174. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  175. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  176. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -48
  177. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  178. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  179. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  180. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  181. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  182. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  183. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  184. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  185. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  186. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  187. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  188. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  189. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  190. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  191. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  192. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  193. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  194. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  195. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  196. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  197. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  198. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  199. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  200. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  201. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  202. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  203. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  204. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  205. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  206. package/SVF-doxygen/html/html/search/functions_0.js +6 -6
  207. package/SVF-doxygen/html/html/search/functions_1.js +348 -348
  208. package/SVF-doxygen/html/html/search/functions_10.js +139 -139
  209. package/SVF-doxygen/html/html/search/functions_11.js +126 -126
  210. package/SVF-doxygen/html/html/search/functions_12.js +273 -273
  211. package/SVF-doxygen/html/html/search/functions_13.js +56 -56
  212. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  213. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  214. package/SVF-doxygen/html/html/search/functions_16.js +29 -29
  215. package/SVF-doxygen/html/html/search/functions_17.js +2 -2
  216. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  217. package/SVF-doxygen/html/html/search/functions_2.js +82 -82
  218. package/SVF-doxygen/html/html/search/functions_3.js +251 -251
  219. package/SVF-doxygen/html/html/search/functions_4.js +71 -71
  220. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  221. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  222. package/SVF-doxygen/html/html/search/functions_7.js +816 -816
  223. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  224. package/SVF-doxygen/html/html/search/functions_9.js +186 -186
  225. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  226. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  227. package/SVF-doxygen/html/html/search/functions_c.js +24 -24
  228. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  229. package/SVF-doxygen/html/html/search/functions_e.js +34 -34
  230. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  231. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  232. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  233. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  234. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  235. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  236. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  237. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  238. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  239. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  240. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  241. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  243. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  244. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  245. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  246. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  247. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  248. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  249. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  250. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  251. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  252. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  253. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  254. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  255. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  256. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  257. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  258. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  259. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  260. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  261. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  262. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  263. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  264. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  265. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  266. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  267. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  268. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  269. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  270. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  271. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  272. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  273. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  274. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  275. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  276. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  277. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  278. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  279. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  280. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  281. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  282. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  283. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  284. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  285. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  286. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  287. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  288. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  289. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  290. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  291. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  292. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  293. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  294. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  295. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  296. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  297. package/package.json +1 -1
  298. package/svf/include/Graphs/VFGNode.h +2 -2
  299. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +16 -4
  300. package/svf-llvm/lib/LLVMModule.cpp +24 -20
package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html CHANGED
@@ -1568,7 +1568,7 @@ Friends</h2></td></tr>
1568
1568
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a0d7588578735679773493ff2d5e458e1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a0d7588578735679773493ff2d5e458e1">SVF::SVFUtil::increaseStackSize</a></div><div class="ttdeci">void increaseStackSize()</div><div class="ttdoc">Increase the stack size limit.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00227">SVFUtil.cpp:227</a></div></div>
1569
1569
  <div class="ttc" id="aclassSVF_1_1StInfo_html_a518c82138fcadc6634980566c1c0f762"><div class="ttname"><a href="classSVF_1_1StInfo.html#a518c82138fcadc6634980566c1c0f762">SVF::StInfo::getNumOfFlattenElements</a></div><div class="ttdeci">u32_t getNumOfFlattenElements() const</div><div class="ttdoc">Return number of elements after flattening (including array elements)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00225">SVFType.h:225</a></div></div>
1570
1570
  <div class="ttc" id="anamespaceSVF_html_a412280b134578905248ce0122c5db7c9"><div class="ttname"><a href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></div><div class="ttdeci">llvm::SwitchInst SwitchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00153">BasicTypes.h:153</a></div></div>
1571
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01178">LLVMModule.cpp:1178</a></div></div>
1571
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a5f0bd932f3129a9c565f3a09711f7b99"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">SVF::LLVMModuleSet::getSVFType</a></div><div class="ttdeci">SVFType * getSVFType(const Type *T)</div><div class="ttdoc">Get or create SVFType and typeinfo.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01182">LLVMModule.cpp:1182</a></div></div>
1572
1572
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ad8ee8de153df3f1bbdebb67185a2731c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil::isConstantObjSym</a></div><div class="ttdeci">bool isConstantObjSym(const SVFValue *val)</div><div class="ttdoc">Check whether this value points-to a constant object.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00766">LLVMUtil.cpp:766</a></div></div>
1573
1573
  <div class="ttc" id="aclassSVF_1_1SymbolTableBuilder_html_abc8b35d432db78bd5282010c7c800d70"><div class="ttname"><a href="classSVF_1_1SymbolTableBuilder.html#abc8b35d432db78bd5282010c7c800d70">SVF::SymbolTableBuilder::collectVal</a></div><div class="ttdeci">void collectVal(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableBuilder_8cpp_source.html#l00288">SymbolTableBuilder.cpp:288</a></div></div>
1574
1574
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00198">LLVMModule.h:198</a></div></div>
@@ -1597,7 +1597,7 @@ Friends</h2></td></tr>
1597
1597
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae62938f722543d6d7fc201b685be1abf"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil::isStaticExtCall</a></div><div class="ttdeci">bool isStaticExtCall(const CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00497">SVFUtil.h:497</a></div></div>
1598
1598
  <div class="ttc" id="anamespaceSVF_html_ac9a05dd7ab16e998625037aa242cd30f"><div class="ttname"><a href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></div><div class="ttdeci">llvm::BranchInst BranchInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00152">BasicTypes.h:152</a></div></div>
1599
1599
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a837d19c740902c419206287bdb21273b"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">SVF::LLVMUtil::getUniqueUseViaCastInst</a></div><div class="ttdeci">const Value * getUniqueUseViaCastInst(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00339">LLVMUtil.cpp:339</a></div></div>
1600
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ac1a9d20d62066ec4e181fad223669e32"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">SVF::LLVMModuleSet::getContext</a></div><div class="ttdeci">LLVMContext &amp; getContext() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00332">LLVMModule.h:332</a></div></div>
1600
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ac1a9d20d62066ec4e181fad223669e32"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">SVF::LLVMModuleSet::getContext</a></div><div class="ttdeci">LLVMContext &amp; getContext() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00344">LLVMModule.h:344</a></div></div>
1601
1601
  <div class="ttc" id="anamespaceSVF_html_a146d286041987860388da3d8bc85cee3"><div class="ttname"><a href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF::ArrayType</a></div><div class="ttdeci">llvm::ArrayType ArrayType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
1602
1602
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_ab582424fdb6d9674c1bd4466cdfbe497"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497">SVF::SymbolTableInfo::constantSymID</a></div><div class="ttdeci">SymID constantSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00193">SymbolTableInfo.h:193</a></div></div>
1603
1603
  <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html">SVF::ObjTypeInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00473">SymbolTableInfo.h:473</a></div></div>
@@ -1664,7 +1664,7 @@ Friends</h2></td></tr>
1664
1664
  <div class="ttc" id="aclassSVF_1_1ObjTypeInfo_html_a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b"><div class="ttname"><a href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">SVF::ObjTypeInfo::GLOBVAR_OBJ</a></div><div class="ttdeci">@ GLOBVAR_OBJ</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00483">SymbolTableInfo.h:483</a></div></div>
1665
1665
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a89e9c6da843e5eef25c51afd5d0937e5"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5">SVF::SymbolTableInfo::getModelConstants</a></div><div class="ttdeci">bool getModelConstants() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00134">SymbolTableInfo.h:134</a></div></div>
1666
1666
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a93ac673b885633849fa484938405ca75"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil::isHeapAllocExtCall</a></div><div class="ttdeci">bool isHeapAllocExtCall(const CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00462">SVFUtil.h:462</a></div></div>
1667
- <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01141">LLVMModule.cpp:1141</a></div></div>
1667
+ <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01145">LLVMModule.cpp:1145</a></div></div>
1668
1668
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a6c5f2f951463494af2e7b0d3267f2772"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a6c5f2f951463494af2e7b0d3267f2772">SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic</a></div><div class="ttdeci">const PointerType * getRefTypeOfHeapAllocOrStatic(const CallBase *cs)</div><div class="ttdoc">Get the reference type of heap/static object from an allocation site.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00131">LLVMUtil.h:131</a></div></div>
1669
1669
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ab5fc50624b5fe83b676b14bec4b99685"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685">SVF::LLVMUtil::isGepConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isGepConstantExpr(const Value *val)</div><div class="ttdoc">Return corresponding constant expression, otherwise return nullptr.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00231">LLVMUtil.h:231</a></div></div>
1670
1670
  <div class="ttc" id="aclassSVF_1_1Options_html_aaab923c093730b1670a54f09340b1bd5"><div class="ttname"><a href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html CHANGED
@@ -102,70 +102,69 @@ $(function() {
102
102
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
103
103
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
104
104
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
105
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">FunRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
106
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
107
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
108
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
109
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a446b7922ec2aa5f9a14216bdaec93807">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
110
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
111
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
112
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">getOpVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">getOpVer</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
120
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
121
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
122
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
127
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
128
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
132
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
133
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
134
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
135
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
136
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
137
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
138
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
139
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
140
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
141
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">operator=</a>(const UnaryOPVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
142
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
143
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
144
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">OPVers</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"></td></tr>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
106
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
108
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a446b7922ec2aa5f9a14216bdaec93807">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
109
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
110
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
111
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">getOpVar</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a1582b9fe65306c3fcd8c5390f5c07e5d">getOpVer</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">getRes</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
120
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
121
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
126
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
127
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
128
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
129
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
130
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
131
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
132
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
133
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
134
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
135
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
136
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
137
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
138
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
139
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
140
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">operator=</a>(const UnaryOPVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
141
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
145
143
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">opVers</a></td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
146
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
147
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
148
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
150
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
151
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
153
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a></td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
154
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
155
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
156
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c">setOpVer</a>(u32_t pos, const PAGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
157
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
158
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
159
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
160
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
161
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
162
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
163
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132">UnaryOPVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
164
- <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1">UnaryOPVFGNode</a>(const UnaryOPVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
165
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c">UnaryOPVFGNode</a>(NodeID id, const PAGNode *r)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
167
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
168
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
144
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">OPVers</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"></td></tr>
145
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
146
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
147
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
148
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
149
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
150
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
152
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">res</a></td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
153
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
154
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
155
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c">setOpVer</a>(u32_t pos, const PAGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
156
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
157
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
158
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
159
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
160
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
161
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
162
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae5298888e597b2a379f9c9ebb5bd9132">UnaryOPVFGNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
163
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a77b6cf315bdacb49e66bca15628a12b1">UnaryOPVFGNode</a>(const UnaryOPVFGNode &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
164
+ <tr><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html#acefca73fdac419025ad5109c7b2c9b0c">UnaryOPVFGNode</a>(NodeID id, const PAGNode *r)</td><td class="entry"><a class="el" href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
165
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
166
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
167
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
169
168
  </table></div><!-- contents -->
170
169
  <!-- start footer part -->
171
170
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html CHANGED
@@ -118,15 +118,14 @@ Public Types</h2></td></tr>
118
118
  &#160;&#160;<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">ARet</a>,
119
119
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>,
120
120
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aeb82378d1c11bd6bf1776eb884cc4db7">FParm</a>,
121
- <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">FunRet</a>,
121
+ <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>,
122
122
  <br />
123
- &#160;&#160;<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>,
124
- <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>,
123
+ &#160;&#160;<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f">APOUT</a>,
125
124
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a>,
126
125
  <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a>,
126
+ <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>,
127
127
  <br />
128
- &#160;&#160;<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>,
129
- <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>
128
+ &#160;&#160;<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">DummyVProp</a>
130
129
  <br />
131
130
  }</td></tr>
132
131
  <tr class="separator:a99a54cf322b0eec3a1ef109ce5f2db75 inherit pub_types_classSVF_1_1VFGNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html CHANGED
@@ -99,57 +99,56 @@ $(function() {
99
99
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3c58aedc46cdafac26b47ec9674c2ac5">FPIN</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
100
100
  <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">FPOUT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
101
101
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053">FRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">FunRet</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
103
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
104
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
106
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">getDefSVFVars</a>() const =0</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
107
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
108
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
109
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
111
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
113
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
114
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
115
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
120
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
121
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
126
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
127
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
128
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
129
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
130
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
131
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
132
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
133
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
134
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612">operator&lt;&lt;</a>(OutStream &amp;o, const VFGNode &amp;node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
135
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
140
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
142
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
143
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
144
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
145
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
146
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
147
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
148
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
149
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
150
- <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
151
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
152
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">getDefSVFVars</a>() const =0</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
106
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
107
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
108
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
109
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
110
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
111
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
112
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aec9bb5040f30ab722ce917af41b006f0">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
113
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
114
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
119
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
120
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
125
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
126
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
127
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
128
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
129
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
130
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
131
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"></td></tr>
132
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
133
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612">operator&lt;&lt;</a>(OutStream &amp;o, const VFGNode &amp;node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
134
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
135
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
137
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
138
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
139
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
142
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
143
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
144
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
145
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
146
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
147
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
148
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
149
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
150
+ <tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
151
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
153
152
  </table></div><!-- contents -->
154
153
  <!-- start footer part -->
155
154
  <hr class="footer"/><address class="footer"><small>