svf-tools 1.0.784 → 1.0.785

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 (250) hide show
  1. package/SVF-doxygen/html/CFBasicBlockG_8cpp_source.html +68 -52
  2. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +527 -484
  3. package/SVF-doxygen/html/WTO_8h_source.html +3 -3
  4. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html +27 -26
  5. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html +62 -19
  6. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +66 -51
  7. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  8. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  9. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph-members.html +30 -24
  10. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +307 -109
  11. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +177 -177
  12. package/SVF-doxygen/html/functions.html +3 -0
  13. package/SVF-doxygen/html/functions_b.html +3 -3
  14. package/SVF-doxygen/html/functions_c.html +29 -29
  15. package/SVF-doxygen/html/functions_f.html +3 -3
  16. package/SVF-doxygen/html/functions_func_c.html +21 -21
  17. package/SVF-doxygen/html/functions_func_g.html +20 -14
  18. package/SVF-doxygen/html/functions_func_h.html +7 -4
  19. package/SVF-doxygen/html/functions_func_s.html +28 -22
  20. package/SVF-doxygen/html/functions_g.html +16 -10
  21. package/SVF-doxygen/html/functions_h.html +7 -4
  22. package/SVF-doxygen/html/functions_i.html +6 -6
  23. package/SVF-doxygen/html/functions_l.html +3 -3
  24. package/SVF-doxygen/html/functions_p.html +15 -11
  25. package/SVF-doxygen/html/functions_r.html +6 -4
  26. package/SVF-doxygen/html/functions_s.html +16 -12
  27. package/SVF-doxygen/html/functions_t.html +3 -3
  28. package/SVF-doxygen/html/functions_v.html +6 -6
  29. package/SVF-doxygen/html/functions_vars.html +3 -0
  30. package/SVF-doxygen/html/namespaceSVF.html +2 -2
  31. package/SVF-doxygen/html/search/all_0.js +124 -123
  32. package/SVF-doxygen/html/search/all_1.js +484 -484
  33. package/SVF-doxygen/html/search/all_10.js +324 -324
  34. package/SVF-doxygen/html/search/all_11.js +224 -224
  35. package/SVF-doxygen/html/search/all_12.js +543 -541
  36. package/SVF-doxygen/html/search/all_13.js +190 -190
  37. package/SVF-doxygen/html/search/all_14.js +67 -67
  38. package/SVF-doxygen/html/search/all_15.js +170 -170
  39. package/SVF-doxygen/html/search/all_16.js +63 -63
  40. package/SVF-doxygen/html/search/all_17.js +1 -1
  41. package/SVF-doxygen/html/search/all_18.js +1 -1
  42. package/SVF-doxygen/html/search/all_19.js +11 -11
  43. package/SVF-doxygen/html/search/all_1a.js +172 -172
  44. package/SVF-doxygen/html/search/all_2.js +167 -167
  45. package/SVF-doxygen/html/search/all_3.js +640 -640
  46. package/SVF-doxygen/html/search/all_4.js +233 -233
  47. package/SVF-doxygen/html/search/all_5.js +121 -121
  48. package/SVF-doxygen/html/search/all_6.js +225 -225
  49. package/SVF-doxygen/html/search/all_7.js +1039 -1037
  50. package/SVF-doxygen/html/search/all_8.js +195 -194
  51. package/SVF-doxygen/html/search/all_9.js +607 -607
  52. package/SVF-doxygen/html/search/all_a.js +46 -46
  53. package/SVF-doxygen/html/search/all_b.js +26 -26
  54. package/SVF-doxygen/html/search/all_c.js +116 -116
  55. package/SVF-doxygen/html/search/all_d.js +196 -196
  56. package/SVF-doxygen/html/search/all_e.js +207 -207
  57. package/SVF-doxygen/html/search/all_f.js +116 -116
  58. package/SVF-doxygen/html/search/classes_0.js +26 -26
  59. package/SVF-doxygen/html/search/classes_1.js +9 -9
  60. package/SVF-doxygen/html/search/classes_10.js +73 -73
  61. package/SVF-doxygen/html/search/classes_11.js +15 -15
  62. package/SVF-doxygen/html/search/classes_12.js +2 -2
  63. package/SVF-doxygen/html/search/classes_13.js +10 -10
  64. package/SVF-doxygen/html/search/classes_14.js +14 -14
  65. package/SVF-doxygen/html/search/classes_15.js +1 -1
  66. package/SVF-doxygen/html/search/classes_2.js +80 -80
  67. package/SVF-doxygen/html/search/classes_3.js +37 -37
  68. package/SVF-doxygen/html/search/classes_4.js +9 -9
  69. package/SVF-doxygen/html/search/classes_5.js +28 -28
  70. package/SVF-doxygen/html/search/classes_6.js +104 -104
  71. package/SVF-doxygen/html/search/classes_7.js +33 -33
  72. package/SVF-doxygen/html/search/classes_8.js +56 -56
  73. package/SVF-doxygen/html/search/classes_9.js +1 -1
  74. package/SVF-doxygen/html/search/classes_a.js +12 -12
  75. package/SVF-doxygen/html/search/classes_b.js +29 -29
  76. package/SVF-doxygen/html/search/classes_c.js +6 -6
  77. package/SVF-doxygen/html/search/classes_d.js +18 -18
  78. package/SVF-doxygen/html/search/classes_e.js +36 -36
  79. package/SVF-doxygen/html/search/classes_f.js +25 -25
  80. package/SVF-doxygen/html/search/defines_0.js +3 -3
  81. package/SVF-doxygen/html/search/defines_1.js +2 -2
  82. package/SVF-doxygen/html/search/defines_2.js +30 -30
  83. package/SVF-doxygen/html/search/defines_3.js +21 -21
  84. package/SVF-doxygen/html/search/defines_4.js +2 -2
  85. package/SVF-doxygen/html/search/defines_5.js +4 -4
  86. package/SVF-doxygen/html/search/defines_6.js +2 -2
  87. package/SVF-doxygen/html/search/defines_7.js +5 -5
  88. package/SVF-doxygen/html/search/defines_8.js +11 -11
  89. package/SVF-doxygen/html/search/defines_9.js +9 -9
  90. package/SVF-doxygen/html/search/defines_a.js +2 -2
  91. package/SVF-doxygen/html/search/defines_b.js +1 -1
  92. package/SVF-doxygen/html/search/defines_c.js +3 -3
  93. package/SVF-doxygen/html/search/defines_d.js +2 -2
  94. package/SVF-doxygen/html/search/defines_e.js +7 -7
  95. package/SVF-doxygen/html/search/defines_f.js +3 -3
  96. package/SVF-doxygen/html/search/enums_0.js +3 -3
  97. package/SVF-doxygen/html/search/enums_1.js +2 -2
  98. package/SVF-doxygen/html/search/enums_10.js +1 -1
  99. package/SVF-doxygen/html/search/enums_11.js +1 -1
  100. package/SVF-doxygen/html/search/enums_2.js +8 -8
  101. package/SVF-doxygen/html/search/enums_3.js +1 -1
  102. package/SVF-doxygen/html/search/enums_4.js +3 -3
  103. package/SVF-doxygen/html/search/enums_5.js +1 -1
  104. package/SVF-doxygen/html/search/enums_6.js +2 -2
  105. package/SVF-doxygen/html/search/enums_7.js +2 -2
  106. package/SVF-doxygen/html/search/enums_8.js +4 -4
  107. package/SVF-doxygen/html/search/enums_9.js +1 -1
  108. package/SVF-doxygen/html/search/enums_a.js +1 -1
  109. package/SVF-doxygen/html/search/enums_b.js +7 -7
  110. package/SVF-doxygen/html/search/enums_c.js +1 -1
  111. package/SVF-doxygen/html/search/enums_d.js +4 -4
  112. package/SVF-doxygen/html/search/enums_e.js +2 -2
  113. package/SVF-doxygen/html/search/enums_f.js +4 -4
  114. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  115. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  116. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  117. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  118. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  119. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  120. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  121. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  122. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  123. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  124. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  125. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  126. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  127. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  128. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  129. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  130. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  131. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  132. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  133. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  134. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  135. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  136. package/SVF-doxygen/html/search/files_0.js +13 -13
  137. package/SVF-doxygen/html/search/files_1.js +7 -7
  138. package/SVF-doxygen/html/search/files_10.js +8 -8
  139. package/SVF-doxygen/html/search/files_11.js +8 -8
  140. package/SVF-doxygen/html/search/files_12.js +2 -2
  141. package/SVF-doxygen/html/search/files_2.js +53 -53
  142. package/SVF-doxygen/html/search/files_3.js +14 -14
  143. package/SVF-doxygen/html/search/files_4.js +5 -5
  144. package/SVF-doxygen/html/search/files_5.js +13 -13
  145. package/SVF-doxygen/html/search/files_6.js +9 -9
  146. package/SVF-doxygen/html/search/files_7.js +14 -14
  147. package/SVF-doxygen/html/search/files_8.js +13 -13
  148. package/SVF-doxygen/html/search/files_9.js +18 -18
  149. package/SVF-doxygen/html/search/files_a.js +3 -3
  150. package/SVF-doxygen/html/search/files_b.js +2 -2
  151. package/SVF-doxygen/html/search/files_c.js +20 -20
  152. package/SVF-doxygen/html/search/files_d.js +4 -4
  153. package/SVF-doxygen/html/search/files_e.js +62 -62
  154. package/SVF-doxygen/html/search/files_f.js +8 -8
  155. package/SVF-doxygen/html/search/functions_0.js +12 -12
  156. package/SVF-doxygen/html/search/functions_1.js +356 -356
  157. package/SVF-doxygen/html/search/functions_10.js +140 -140
  158. package/SVF-doxygen/html/search/functions_11.js +138 -138
  159. package/SVF-doxygen/html/search/functions_12.js +278 -276
  160. package/SVF-doxygen/html/search/functions_13.js +58 -58
  161. package/SVF-doxygen/html/search/functions_14.js +39 -39
  162. package/SVF-doxygen/html/search/functions_15.js +71 -71
  163. package/SVF-doxygen/html/search/functions_16.js +32 -32
  164. package/SVF-doxygen/html/search/functions_17.js +3 -3
  165. package/SVF-doxygen/html/search/functions_18.js +172 -172
  166. package/SVF-doxygen/html/search/functions_2.js +86 -86
  167. package/SVF-doxygen/html/search/functions_3.js +257 -257
  168. package/SVF-doxygen/html/search/functions_4.js +75 -75
  169. package/SVF-doxygen/html/search/functions_5.js +53 -53
  170. package/SVF-doxygen/html/search/functions_6.js +59 -59
  171. package/SVF-doxygen/html/search/functions_7.js +850 -848
  172. package/SVF-doxygen/html/search/functions_8.js +147 -146
  173. package/SVF-doxygen/html/search/functions_9.js +425 -425
  174. package/SVF-doxygen/html/search/functions_a.js +30 -30
  175. package/SVF-doxygen/html/search/functions_b.js +2 -2
  176. package/SVF-doxygen/html/search/functions_c.js +26 -26
  177. package/SVF-doxygen/html/search/functions_d.js +77 -77
  178. package/SVF-doxygen/html/search/functions_e.js +35 -35
  179. package/SVF-doxygen/html/search/functions_f.js +56 -56
  180. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  181. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  182. package/SVF-doxygen/html/search/related_0.js +2 -2
  183. package/SVF-doxygen/html/search/related_1.js +2 -2
  184. package/SVF-doxygen/html/search/related_2.js +2 -2
  185. package/SVF-doxygen/html/search/related_3.js +2 -2
  186. package/SVF-doxygen/html/search/related_4.js +2 -2
  187. package/SVF-doxygen/html/search/related_5.js +1 -1
  188. package/SVF-doxygen/html/search/related_6.js +2 -2
  189. package/SVF-doxygen/html/search/related_7.js +4 -4
  190. package/SVF-doxygen/html/search/related_8.js +2 -2
  191. package/SVF-doxygen/html/search/related_9.js +4 -4
  192. package/SVF-doxygen/html/search/related_a.js +19 -19
  193. package/SVF-doxygen/html/search/related_b.js +4 -4
  194. package/SVF-doxygen/html/search/related_c.js +1 -1
  195. package/SVF-doxygen/html/search/related_d.js +11 -11
  196. package/SVF-doxygen/html/search/related_e.js +2 -2
  197. package/SVF-doxygen/html/search/related_f.js +2 -2
  198. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  199. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  200. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  201. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  202. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  203. package/SVF-doxygen/html/search/typedefs_13.js +35 -35
  204. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  205. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  206. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  207. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  208. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  209. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  210. package/SVF-doxygen/html/search/typedefs_7.js +42 -42
  211. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  212. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  213. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  214. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  215. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  216. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  217. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  218. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  219. package/SVF-doxygen/html/search/variables_0.js +153 -152
  220. package/SVF-doxygen/html/search/variables_1.js +75 -75
  221. package/SVF-doxygen/html/search/variables_10.js +97 -97
  222. package/SVF-doxygen/html/search/variables_11.js +46 -46
  223. package/SVF-doxygen/html/search/variables_12.js +92 -92
  224. package/SVF-doxygen/html/search/variables_13.js +75 -75
  225. package/SVF-doxygen/html/search/variables_14.js +14 -14
  226. package/SVF-doxygen/html/search/variables_15.js +48 -48
  227. package/SVF-doxygen/html/search/variables_16.js +9 -9
  228. package/SVF-doxygen/html/search/variables_17.js +1 -1
  229. package/SVF-doxygen/html/search/variables_18.js +2 -2
  230. package/SVF-doxygen/html/search/variables_2.js +37 -37
  231. package/SVF-doxygen/html/search/variables_3.js +142 -142
  232. package/SVF-doxygen/html/search/variables_4.js +55 -55
  233. package/SVF-doxygen/html/search/variables_5.js +39 -39
  234. package/SVF-doxygen/html/search/variables_6.js +66 -66
  235. package/SVF-doxygen/html/search/variables_7.js +33 -33
  236. package/SVF-doxygen/html/search/variables_8.js +7 -7
  237. package/SVF-doxygen/html/search/variables_9.js +77 -77
  238. package/SVF-doxygen/html/search/variables_a.js +4 -4
  239. package/SVF-doxygen/html/search/variables_b.js +10 -10
  240. package/SVF-doxygen/html/search/variables_c.js +45 -45
  241. package/SVF-doxygen/html/search/variables_d.js +56 -56
  242. package/SVF-doxygen/html/search/variables_e.js +123 -123
  243. package/SVF-doxygen/html/search/variables_f.js +30 -30
  244. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  245. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  246. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  247. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  248. package/package.json +1 -1
  249. package/svf/include/Graphs/CFBasicBlockG.h +37 -1
  250. package/svf/lib/Graphs/CFBasicBlockG.cpp +14 -0
package/SVF-doxygen/html/WTO_8h_source.html CHANGED
@@ -818,7 +818,7 @@ $(function() {
818
818
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_afc8a2840e779e319aa4088cf7deecf54"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#afc8a2840e779e319aa4088cf7deecf54">SVF::CFBasicBlockGWTOComp::_type</a></div><div class="ttdeci">WtoCT _type</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00332">WTO.h:332</a></div></div>
819
819
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_af70d7a393f898a72153da55d87b3d739"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">SVF::WTOCycleDepth::operator&lt;=</a></div><div class="ttdeci">bool operator&lt;=(const WTOCycleDepth &amp;other) const</div><div class="ttdoc">Less than or Equal with other's depth.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00214">WTO.h:214</a></div></div>
820
820
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ac2fdb330a81c28cae01858952d237c7e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e">SVF::CFBasicBlockGWTO::headBegin</a></div><div class="ttdeci">NodeRefToWTOCycleMap::const_iterator headBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00535">WTO.h:535</a></div></div>
821
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a48c0b6643c481afb15d4c4f89d00eecb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode::getOutEdges</a></div><div class="ttdeci">const CFBBEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00183">CFBasicBlockG.h:183</a></div></div>
821
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a48c0b6643c481afb15d4c4f89d00eecb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a48c0b6643c481afb15d4c4f89d00eecb">SVF::CFBasicBlockNode::getOutEdges</a></div><div class="ttdeci">const CFBBEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00188">CFBasicBlockG.h:188</a></div></div>
822
822
  <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
823
823
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a2bfdd81b8742322d03c52c811ff742ce"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00117">WTO.h:117</a></div></div>
824
824
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ae4fd19b6216a43afdac4edae42f22a26"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO::CFBasicBlockNodes</a></div><div class="ttdeci">std::vector&lt; const CFBasicBlockNode * &gt; CFBasicBlockNodes</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00479">WTO.h:479</a></div></div>
@@ -895,11 +895,11 @@ $(function() {
895
895
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00722">WTO.h:722</a></div></div>
896
896
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a9d23c459bac6e9f3b64ec0233065ba61"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">SVF::WTOCycleDepth::~WTOCycleDepth</a></div><div class="ttdeci">~WTOCycleDepth()=default</div><div class="ttdoc">Default Destructor.</div></div>
897
897
  <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a0874603e54060f9309aea39c7655d28e"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">SVF::WTOCycleDepth::compare</a></div><div class="ttdeci">int compare(const WTOCycleDepth &amp;other) const</div><div class="ttdoc">Compare the given wto-cycle-depth.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00148">WTO.h:148</a></div></div>
898
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html">SVF::CFBasicBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00106">CFBasicBlockG.h:106</a></div></div>
898
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html">SVF::CFBasicBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00111">CFBasicBlockG.h:111</a></div></div>
899
899
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder_html_a0f190d9a736d0d0aa6621aa6984bb962"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#a0f190d9a736d0d0aa6621aa6984bb962">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder::visit</a></div><div class="ttdeci">void visit(const CFBasicBlockGWTOCycle &amp;cycle) override</div><div class="ttdoc">Visit WTO Cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00625">WTO.h:625</a></div></div>
900
900
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html">SVF::CFBasicBlockGWTOComp</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00285">WTO.h:285</a></div></div>
901
901
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_a68cc18d5e3e4be58467f4aa0806dcd59"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#a68cc18d5e3e4be58467f4aa0806dcd59">SVF::CFBasicBlockGWTOCycle::WtoComponentRefList</a></div><div class="ttdeci">std::list&lt; const CFBasicBlockGWTOComp * &gt; WtoComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00389">WTO.h:389</a></div></div>
902
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
902
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
903
903
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html">SVF::CFBasicBlockGWTONode</a></div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00340">WTO.h:340</a></div></div>
904
904
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2e572490ff932b1efdc6bc86b5ea9558"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2e572490ff932b1efdc6bc86b5ea9558">SVF::CFBasicBlockGWTONode::classof</a></div><div class="ttdeci">static bool classof(const CFBasicBlockGWTOComp *c)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00374">WTO.h:374</a></div></div>
905
905
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a906097ba3f14728a1e3e0f7f8d8218a6"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a906097ba3f14728a1e3e0f7f8d8218a6">SVF::CFBasicBlockGWTOComp::getKind</a></div><div class="ttdeci">WtoCT getKind() const</div><div class="ttdoc">Return the WTO Kind (node or cycle)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00317">WTO.h:317</a></div></div>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge-members.html CHANGED
@@ -74,32 +74,33 @@ $(function() {
74
74
  <table class="directory">
75
75
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
76
76
  <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst, const ICFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
77
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
78
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
79
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
80
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
83
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
84
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a>(std::ostream &amp;o, const CFBasicBlockEdge &amp;edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
98
- <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a>(const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
101
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</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_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
77
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a>(CFBasicBlockNode *src, CFBasicBlockNode *dst)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
78
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a91416cbac7ad797a9b4ee67f93fbd8f4">CFBBEdgeSetTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
79
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a99f9b76dce6bdbfca228273eece2b923">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
80
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3">edgeFlag</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
83
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270">equalGEdge</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23">equalICFGEdgeWrapper</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a6764973569c281d483afab17a75cb4dc">GenericEdge</a>(NodeTy *s, NodeTy *d, GEdgeFlag k)</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">getEdgeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">operator&lt;&lt;</a>(std::ostream &amp;o, const CFBasicBlockEdge &amp;edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8">operator==</a>(const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a>(const GenericEdge&lt; NodeType &gt; *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a></td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">SVF::CFBasicBlockEdge</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
103
104
  </table></div><!-- contents -->
104
105
  <!-- start footer part -->
105
106
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockEdge.html CHANGED
@@ -119,6 +119,8 @@ Public Types</h2></td></tr>
119
119
  Public Member Functions</h2></td></tr>
120
120
  <tr class="memitem:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a19282dcbe8b0cb22471f72cfc8469f45">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *edge)</td></tr>
121
121
  <tr class="separator:a19282dcbe8b0cb22471f72cfc8469f45"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
+ <tr class="memitem:abf8dc2f35d28b630f875104ed05512af"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abf8dc2f35d28b630f875104ed05512af">CFBasicBlockEdge</a> (<a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>)</td></tr>
123
+ <tr class="separator:abf8dc2f35d28b630f875104ed05512af"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
124
  <tr class="memitem:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">toString</a> () const</td></tr>
123
125
  <tr class="separator:abb9b3f9a5464f40e6d4d0cd2def08906"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
126
  <tr class="memitem:ab76d16c6799ccd45575f8d30728832ad"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html#ab76d16c6799ccd45575f8d30728832ad">getICFGEdge</a> () const</td></tr>
@@ -236,7 +238,7 @@ Additional Inherited Members</h2></td></tr>
236
238
  </div>
237
239
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
238
240
  <a id="a19282dcbe8b0cb22471f72cfc8469f45"></a>
239
- <h2 class="memtitle"><span class="permalink"><a href="#a19282dcbe8b0cb22471f72cfc8469f45">&#9670;&nbsp;</a></span>CFBasicBlockEdge()</h2>
241
+ <h2 class="memtitle"><span class="permalink"><a href="#a19282dcbe8b0cb22471f72cfc8469f45">&#9670;&nbsp;</a></span>CFBasicBlockEdge() <span class="overload">[1/2]</span></h2>
240
242
 
241
243
  <div class="memitem">
242
244
  <div class="memproto">
@@ -282,6 +284,47 @@ Additional Inherited Members</h2></td></tr>
282
284
  </div><!-- fragment -->
283
285
  </div>
284
286
  </div>
287
+ <a id="abf8dc2f35d28b630f875104ed05512af"></a>
288
+ <h2 class="memtitle"><span class="permalink"><a href="#abf8dc2f35d28b630f875104ed05512af">&#9670;&nbsp;</a></span>CFBasicBlockEdge() <span class="overload">[2/2]</span></h2>
289
+
290
+ <div class="memitem">
291
+ <div class="memproto">
292
+ <table class="mlabels">
293
+ <tr>
294
+ <td class="mlabels-left">
295
+ <table class="memname">
296
+ <tr>
297
+ <td class="memname">SVF::CFBasicBlockEdge::CFBasicBlockEdge </td>
298
+ <td>(</td>
299
+ <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
300
+ <td class="paramname"><em>src</em>, </td>
301
+ </tr>
302
+ <tr>
303
+ <td class="paramkey"></td>
304
+ <td></td>
305
+ <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
306
+ <td class="paramname"><em>dst</em>&#160;</td>
307
+ </tr>
308
+ <tr>
309
+ <td></td>
310
+ <td>)</td>
311
+ <td></td><td></td>
312
+ </tr>
313
+ </table>
314
+ </td>
315
+ <td class="mlabels-right">
316
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
317
+ </tr>
318
+ </table>
319
+ </div><div class="memdoc">
320
+
321
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00074">74</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
322
+ <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; : <a class="code" href="namespaceSVF.html#add130ff635b1364201548469c28c0572">GenericCFBasicBlockEdgeTy</a>(<a class="code" href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">src</a>, <a class="code" href="classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4">dst</a>, 0), <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>(<span class="keyword">nullptr</span>)</div>
323
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; {</div>
324
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; }</div>
325
+ </div><!-- fragment -->
326
+ </div>
327
+ </div>
285
328
  <h2 class="groupheader">Member Function Documentation</h2>
286
329
  <a id="ab76d16c6799ccd45575f8d30728832ad"></a>
287
330
  <h2 class="memtitle"><span class="permalink"><a href="#ab76d16c6799ccd45575f8d30728832ad">&#9670;&nbsp;</a></span>getICFGEdge()</h2>
@@ -306,10 +349,10 @@ Additional Inherited Members</h2></td></tr>
306
349
  </table>
307
350
  </div><div class="memdoc">
308
351
 
309
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00085">85</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
310
- <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
311
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>;</div>
312
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
352
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00090">90</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
353
+ <div class="fragment"><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {</div>
354
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>;</div>
355
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div>
313
356
  </div><!-- fragment -->
314
357
  </div>
315
358
  </div>
@@ -339,11 +382,11 @@ Additional Inherited Members</h2></td></tr>
339
382
 
340
383
  <p>Add the hash function for std::set (we also can overload operator&lt; to implement this) </p>
341
384
 
342
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00095">95</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
343
- <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
344
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> (rhs-&gt;getSrcID() == this-&gt;getSrcID() &amp;&amp; rhs-&gt;getDstID() == this-&gt;getDstID() &amp;&amp;</div>
345
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; rhs-&gt;getICFGEdge() == this-&gt;getICFGEdge());</div>
346
- <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
385
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00100">100</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
386
+ <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; {</div>
387
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> (rhs-&gt;getSrcID() == this-&gt;getSrcID() &amp;&amp; rhs-&gt;getDstID() == this-&gt;getDstID() &amp;&amp;</div>
388
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; rhs-&gt;getICFGEdge() == this-&gt;getICFGEdge());</div>
389
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div>
347
390
  </div><!-- fragment -->
348
391
  </div>
349
392
  </div>
@@ -370,10 +413,10 @@ Additional Inherited Members</h2></td></tr>
370
413
  </table>
371
414
  </div><div class="memdoc">
372
415
 
373
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00080">80</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
374
- <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div>
375
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div>
376
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
416
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00085">85</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
417
+ <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div>
418
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockEdge.html#a90d4a0b67bea812b4258719906ba03ab">_icfgEdge</a>-&gt;<a class="code" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">toString</a>();</div>
419
+ <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div>
377
420
  </div><!-- fragment -->
378
421
  </div>
379
422
  </div>
@@ -412,11 +455,11 @@ Additional Inherited Members</h2></td></tr>
412
455
  </table>
413
456
  </div><div class="memdoc">
414
457
 
415
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00074">74</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
416
- <div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; {</div>
417
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; o &lt;&lt; edge.toString();</div>
418
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> o;</div>
419
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div>
458
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00079">79</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
459
+ <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div>
460
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; o &lt;&lt; edge.toString();</div>
461
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">return</span> o;</div>
462
+ <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div>
420
463
  </div><!-- fragment -->
421
464
  </div>
422
465
  </div>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html CHANGED
@@ -94,7 +94,7 @@ Private Attributes</h2></td></tr>
94
94
  </table>
95
95
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
96
96
  <div class="textblock">
97
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00484">484</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
97
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00520">520</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
98
98
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
99
99
  <a id="a61d70fb0d2181df3c90152e9226db947"></a>
100
100
  <h2 class="memtitle"><span class="permalink"><a href="#a61d70fb0d2181df3c90152e9226db947">&#9670;&nbsp;</a></span>CFBasicBlockGBuilder()</h2>
@@ -119,8 +119,8 @@ Private Attributes</h2></td></tr>
119
119
  </table>
120
120
  </div><div class="memdoc">
121
121
 
122
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00491">491</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
123
- <div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
122
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00527">527</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
123
+ <div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>() {}</div>
124
124
  </div><!-- fragment -->
125
125
  </div>
126
126
  </div>
@@ -153,45 +153,59 @@ Private Attributes</h2></td></tr>
153
153
  <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;{</div>
154
154
  <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a> = <span class="keyword">new</span> CFBasicBlockGraph();</div>
155
155
  <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; Map&lt;const SVFBasicBlock*, CFBasicBlockNode*&gt; bbToNode;</div>
156
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
157
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div>
158
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; CFBasicBlockNode* pNode = <span class="keyword">nullptr</span>;</div>
159
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> SVFBasicBlock* bb = node.second-&gt;getBB())</div>
160
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
161
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
162
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div>
163
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; pNode = <span class="keyword">new</span> CFBasicBlockNode({node.second});</div>
164
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
165
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
166
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div>
167
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">else</span></div>
168
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
169
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
170
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode-&gt;addNode(node.second);</div>
171
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; }</div>
172
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
173
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
174
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; </div>
175
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
176
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
177
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
178
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
179
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keyword">const</span> SVFFunction* node_fun = node.second-&gt;getFun();</div>
180
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keyword">const</span> SVFFunction* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
181
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keyword">const</span> SVFBasicBlock* node_bb = node.second-&gt;getBB();</div>
182
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keyword">const</span> SVFBasicBlock* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
183
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
184
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
185
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
186
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
187
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
188
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
189
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
190
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
191
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
192
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
193
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
194
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160;}</div>
156
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; Map&lt;const SVFFunction*, CFBasicBlockNode*&gt; funToFirstNode;</div>
157
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
158
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
159
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; CFBasicBlockNode* pNode = <span class="keyword">nullptr</span>;</div>
160
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> SVFBasicBlock* bb = node.second-&gt;getBB())</div>
161
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div>
162
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">if</span> (bbToNode.find(bb) == bbToNode.end())</div>
163
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; {</div>
164
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; pNode = <span class="keyword">new</span> CFBasicBlockNode({node.second});</div>
165
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; bbToNode[node.second-&gt;getBB()] = pNode;</div>
166
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">addCFBBNode</a>(pNode);</div>
167
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
168
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">else</span></div>
169
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; {</div>
170
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; pNode = bbToNode[node.second-&gt;getBB()];</div>
171
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; pNode-&gt;addNode(node.second);</div>
172
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
173
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keyword">const</span> SVFFunction* fun = node.second-&gt;getFun();</div>
174
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">if</span> (funToFirstNode.find(fun) == funToFirstNode.end())</div>
175
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
176
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; funToFirstNode[fun] = <span class="keyword">nullptr</span>;</div>
177
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
178
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
179
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
180
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; </div>
181
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; node : *icfg)</div>
182
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
183
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;succ: node.second-&gt;getOutEdges())</div>
184
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
185
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keyword">const</span> SVFFunction* node_fun = node.second-&gt;getFun();</div>
186
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keyword">const</span> SVFFunction* succ_fun = succ-&gt;getDstNode()-&gt;getFun();</div>
187
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keyword">const</span> SVFBasicBlock* node_bb = node.second-&gt;getBB();</div>
188
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keyword">const</span> SVFBasicBlock* succ_bb = succ-&gt;getDstNode()-&gt;getBB();</div>
189
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (node_fun == succ_fun)</div>
190
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
191
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">if</span> (node_bb != succ_bb)</div>
192
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
193
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; CFBasicBlockEdge *pEdge = <span class="keyword">new</span> CFBasicBlockEdge(bbToNode[node_bb], bbToNode[succ_bb], succ);</div>
194
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">addCFBBEdge</a>(pEdge);</div>
195
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
196
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
197
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
198
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
199
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
200
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = funToFirstNode.begin(); it != funToFirstNode.end(); ++it)</div>
201
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div>
202
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keyword">const</span> SVFFunction* fun = it-&gt;first;</div>
203
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keyword">const</span> SVFBasicBlock* bb = *fun-&gt;getBasicBlockList().begin();</div>
204
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; funToFirstNode[fun] = bbToNode[bb];</div>
205
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
206
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">_bbToNode</a> = bbToNode;</div>
207
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">_funToFirstNode</a> = funToFirstNode;</div>
208
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160;}</div>
195
209
  </div><!-- fragment -->
196
210
  </div>
197
211
  </div>
@@ -286,10 +300,10 @@ Private Attributes</h2></td></tr>
286
300
  </table>
287
301
  </div><div class="memdoc">
288
302
 
289
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00497">497</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
290
- <div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div>
291
- <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
292
- <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
303
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00533">533</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
304
+ <div class="fragment"><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; {</div>
305
+ <div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">_CFBasicBlockG</a>;</div>
306
+ <div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; }</div>
293
307
  </div><!-- fragment -->
294
308
  </div>
295
309
  </div>
@@ -314,7 +328,7 @@ Private Attributes</h2></td></tr>
314
328
  </table>
315
329
  </div><div class="memdoc">
316
330
 
317
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00488">488</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
331
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00524">524</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
318
332
 
319
333
  </div>
320
334
  </div>
@@ -323,13 +337,14 @@ Private Attributes</h2></td></tr>
323
337
  <li>/home/runner/work/SVF/SVF/svf/lib/Graphs/<a class="el" href="CFBasicBlockG_8cpp_source.html">CFBasicBlockG.cpp</a></li>
324
338
  </ul>
325
339
  </div><!-- contents -->
326
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_ab8b75e7bcafc8a1512c3e78d12bffe16"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph::_bbToNode</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, CFBasicBlockNode * &gt; _bbToNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00353">CFBasicBlockG.h:353</a></div></div>
327
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00467">CFBasicBlockG.h:467</a></div></div>
328
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00477">CFBasicBlockG.h:477</a></div></div>
340
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_ab8b75e7bcafc8a1512c3e78d12bffe16"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph::_bbToNode</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, CFBasicBlockNode * &gt; _bbToNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00358">CFBasicBlockG.h:358</a></div></div>
341
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_acd6a4b291c9aab8abdc466f985975d0d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d">SVF::CFBasicBlockGraph::addCFBBEdge</a></div><div class="ttdeci">bool addCFBBEdge(CFBasicBlockEdge *edge)</div><div class="ttdoc">Add ICFGEdgeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00503">CFBasicBlockG.h:503</a></div></div>
342
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a4a7a6e00d13b4099c34a3015b4f06a67"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67">SVF::CFBasicBlockGraph::addCFBBNode</a></div><div class="ttdeci">virtual void addCFBBNode(CFBasicBlockNode *node)</div><div class="ttdoc">Add a ICFGNodeWrapper.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00513">CFBasicBlockG.h:513</a></div></div>
329
343
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
330
344
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00088">ICFG.h:88</a></div></div>
331
345
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
332
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00488">CFBasicBlockG.h:488</a></div></div>
346
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a22c1d5a9da2acd9c3ad8bb5f72cfbfc8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph::_funToFirstNode</a></div><div class="ttdeci">Map&lt; const SVFFunction *, CFBasicBlockNode * &gt; _funToFirstNode</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00359">CFBasicBlockG.h:359</a></div></div>
347
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockGBuilder_html_a4a298a45e54cbaf41cdf44aeea1a63f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGBuilder.html#a4a298a45e54cbaf41cdf44aeea1a63f3">SVF::CFBasicBlockGBuilder::_CFBasicBlockG</a></div><div class="ttdeci">CFBasicBlockGraph * _CFBasicBlockG</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00524">CFBasicBlockG.h:524</a></div></div>
333
348
  <!-- start footer part -->
334
349
  <hr class="footer"/><address class="footer"><small>
335
350
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTOCycle.html CHANGED
@@ -557,7 +557,7 @@ Additional Inherited Members</h2></td></tr>
557
557
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aca33b5832e3fca1c5966ecc4ce695f96">SVF::CFBasicBlockGWTOComp::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
558
558
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
559
559
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_ac1093f863214966bd24e3696d276856f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#ac1093f863214966bd24e3696d276856f">SVF::CFBasicBlockGWTOCycle::_components</a></div><div class="ttdeci">WtoComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
560
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
560
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
561
561
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOCycle_html_af4205c03d5bbb94d52fe449a97d2b881"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4205c03d5bbb94d52fe449a97d2b881">SVF::CFBasicBlockGWTOCycle::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00415">WTO.h:415</a></div></div>
562
562
  <!-- start footer part -->
563
563
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTONode.html CHANGED
@@ -378,7 +378,7 @@ Additional Inherited Members</h2></td></tr>
378
378
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
379
379
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a0ddb4d1f31175afee6d2a57e312f783c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a0ddb4d1f31175afee6d2a57e312f783c">SVF::CFBasicBlockGWTOComp::CFBasicBlockGWTOComp</a></div><div class="ttdeci">CFBasicBlockGWTOComp(WtoCT k)</div><div class="ttdoc">Default Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00296">WTO.h:296</a></div></div>
380
380
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_a2c032aada23502c3e71921e338f0db9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#a2c032aada23502c3e71921e338f0db9f">SVF::CFBasicBlockGWTONode::_node</a></div><div class="ttdeci">const CFBasicBlockNode * _node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00343">WTO.h:343</a></div></div>
381
- <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00135">CFBasicBlockG.h:135</a></div></div>
381
+ <div class="ttc" id="aclassSVF_1_1CFBasicBlockNode_html_a4ed32455eaafc3bd1a06ed9b417b329d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockNode.html#a4ed32455eaafc3bd1a06ed9b417b329d">SVF::CFBasicBlockNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00140">CFBasicBlockG.h:140</a></div></div>
382
382
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTONode_html_ab0b71fd36e24dcc7ff4f5489a5ee1444"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode::node</a></div><div class="ttdeci">const CFBasicBlockNode * node() const</div><div class="ttdoc">Return the graph node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00350">WTO.h:350</a></div></div>
383
383
  <div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTOComp_html_a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392">SVF::CFBasicBlockGWTOComp::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00291">WTO.h:291</a></div></div>
384
384
  <!-- start footer part -->