svf-tools 1.0.855 → 1.0.857

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 (502) hide show
  1. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +154 -163
  4. package/SVF-doxygen/html/Andersen_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/Andersen_8h_source.html +13 -13
  6. package/SVF-doxygen/html/CFBasicBlockGWTO_8h.html +109 -0
  7. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +185 -0
  8. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/CFLAlias_8h_source.html +4 -4
  10. package/SVF-doxygen/html/CFLBase_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/CFLBase_8h_source.html +1 -1
  12. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/CFLStat_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/CFLVF_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CSC_8h.html +3 -3
  16. package/SVF-doxygen/html/CSC_8h_source.html +5 -5
  17. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  18. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +14 -14
  19. package/SVF-doxygen/html/ContextDDA_8h_source.html +6 -6
  20. package/SVF-doxygen/html/DDAClient_8cpp_source.html +5 -5
  21. package/SVF-doxygen/html/DDAClient_8h_source.html +1 -1
  22. package/SVF-doxygen/html/DDAPass_8cpp_source.html +7 -7
  23. package/SVF-doxygen/html/DDAPass_8h.html +3 -3
  24. package/SVF-doxygen/html/DDAPass_8h_source.html +4 -4
  25. package/SVF-doxygen/html/DDAStat_8cpp_source.html +10 -10
  26. package/SVF-doxygen/html/DDAStat_8h_source.html +1 -1
  27. package/SVF-doxygen/html/DDAVFSolver_8h.html +2 -2
  28. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +5 -5
  29. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +2 -2
  30. package/SVF-doxygen/html/FSMPTA_8h_source.html +5 -5
  31. package/SVF-doxygen/html/FlowDDA_8h_source.html +11 -11
  32. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +236 -238
  33. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
  34. package/SVF-doxygen/html/FlowSensitive_8h_source.html +7 -7
  35. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  36. package/SVF-doxygen/html/ICFGWTO_8h.html +109 -0
  37. package/SVF-doxygen/html/ICFGWTO_8h_source.html +177 -0
  38. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  41. package/SVF-doxygen/html/MTAStat_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/MTA_8cpp_source.html +3 -3
  43. package/SVF-doxygen/html/MemRegion_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/MemRegion_8h.html +3 -3
  45. package/SVF-doxygen/html/MemRegion_8h_source.html +4 -4
  46. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/Options_8cpp_source.html +10 -10
  48. package/SVF-doxygen/html/PCG_8h_source.html +4 -4
  49. package/SVF-doxygen/html/PTAStat_8cpp_source.html +99 -87
  50. package/SVF-doxygen/html/PTAStat_8h_source.html +2 -2
  51. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +30 -30
  52. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +15 -15
  53. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +42 -42
  54. package/SVF-doxygen/html/PointerAnalysis_8h.html +5 -5
  55. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +409 -418
  56. package/SVF-doxygen/html/SCC_8h.html +2 -2
  57. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  58. package/SVF-doxygen/html/SVFGBuilder_8h_source.html +3 -3
  59. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +16 -19
  60. package/SVF-doxygen/html/SVFGStat_8h.html +1 -1
  61. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  62. package/SVF-doxygen/html/SVFG_8h_source.html +1 -1
  63. package/SVF-doxygen/html/SVFStat_8cpp_source.html +196 -186
  64. package/SVF-doxygen/html/SVFStat_8h_source.html +44 -41
  65. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  66. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  67. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  68. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  69. package/SVF-doxygen/html/TCT_8h.html +2 -2
  70. package/SVF-doxygen/html/TCT_8h_source.html +9 -9
  71. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +3 -3
  72. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +1 -1
  73. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +3 -3
  74. package/SVF-doxygen/html/TypeAnalysis_8h_source.html +6 -6
  75. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/VFG_8h_source.html +1 -1
  77. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +77 -79
  78. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +6 -6
  79. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  80. package/SVF-doxygen/html/WPAPass_8cpp_source.html +12 -12
  81. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  82. package/SVF-doxygen/html/WPAStat_8h_source.html +9 -9
  83. package/SVF-doxygen/html/WTO_8h.html +25 -13
  84. package/SVF-doxygen/html/WTO_8h_source.html +794 -853
  85. package/SVF-doxygen/html/annotated.html +402 -397
  86. package/SVF-doxygen/html/classSVF_1_1Andersen-members.html +121 -123
  87. package/SVF-doxygen/html/classSVF_1_1Andersen.html +11 -17
  88. package/SVF-doxygen/html/classSVF_1_1AndersenBase-members.html +100 -102
  89. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +11 -17
  90. package/SVF-doxygen/html/classSVF_1_1AndersenSCD-members.html +124 -126
  91. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +2 -8
  92. package/SVF-doxygen/html/classSVF_1_1AndersenSFR-members.html +129 -131
  93. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -7
  94. package/SVF-doxygen/html/classSVF_1_1AndersenStat-members.html +21 -20
  95. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +155 -161
  96. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff-members.html +122 -124
  97. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +2 -8
  98. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl-members.html +58 -60
  99. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +26 -32
  100. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO-members.html +57 -50
  101. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +203 -1663
  102. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.png +0 -0
  103. package/SVF-doxygen/html/classSVF_1_1CFLAlias-members.html +78 -80
  104. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +4 -10
  105. package/SVF-doxygen/html/classSVF_1_1CFLBase-members.html +75 -77
  106. package/SVF-doxygen/html/classSVF_1_1CFLBase.html +1 -7
  107. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +2 -2
  108. package/SVF-doxygen/html/classSVF_1_1CFLStat-members.html +19 -18
  109. package/SVF-doxygen/html/classSVF_1_1CFLStat.html +5 -2
  110. package/SVF-doxygen/html/classSVF_1_1CFLVF-members.html +77 -79
  111. package/SVF-doxygen/html/classSVF_1_1CFLVF.html +2 -8
  112. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl-members.html +50 -52
  113. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +9 -15
  114. package/SVF-doxygen/html/classSVF_1_1ConstraintNode-members.html +34 -34
  115. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +25 -65
  116. package/SVF-doxygen/html/classSVF_1_1ContextDDA-members.html +97 -99
  117. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +18 -24
  118. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +3 -3
  119. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +6 -6
  120. package/SVF-doxygen/html/classSVF_1_1DDAStat-members.html +18 -17
  121. package/SVF-doxygen/html/classSVF_1_1DDAStat.html +12 -9
  122. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  123. package/SVF-doxygen/html/classSVF_1_1FSMPTA-members.html +140 -142
  124. package/SVF-doxygen/html/classSVF_1_1FSMPTA.html +2 -8
  125. package/SVF-doxygen/html/classSVF_1_1FlowDDA-members.html +102 -104
  126. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +15 -21
  127. package/SVF-doxygen/html/classSVF_1_1FlowSensitive-members.html +133 -135
  128. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +18 -24
  129. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat-members.html +24 -23
  130. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +241 -240
  131. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  132. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +9 -10
  133. package/SVF-doxygen/html/classSVF_1_1GenericNode.png +0 -0
  134. package/SVF-doxygen/html/classSVF_1_1ICFGStat-members.html +19 -18
  135. package/SVF-doxygen/html/classSVF_1_1ICFGStat.html +4 -1
  136. package/SVF-doxygen/html/classSVF_1_1ICFGWTO-members.html +140 -0
  137. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.html +379 -0
  138. package/SVF-doxygen/html/classSVF_1_1ICFGWTO.png +0 -0
  139. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +2 -2
  140. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  141. package/SVF-doxygen/html/classSVF_1_1MTA.html +3 -3
  142. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  143. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1MTAStat-members.html +20 -19
  145. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +6 -3
  146. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +5 -5
  147. package/SVF-doxygen/html/classSVF_1_1MemSSAStat-members.html +24 -23
  148. package/SVF-doxygen/html/classSVF_1_1MemSSAStat.html +7 -4
  149. package/SVF-doxygen/html/classSVF_1_1PCG.html +3 -3
  150. package/SVF-doxygen/html/classSVF_1_1POCRAlias-members.html +78 -80
  151. package/SVF-doxygen/html/classSVF_1_1POCRAlias.html +0 -6
  152. package/SVF-doxygen/html/classSVF_1_1POCRHybrid-members.html +78 -80
  153. package/SVF-doxygen/html/classSVF_1_1POCRHybrid.html +0 -6
  154. package/SVF-doxygen/html/classSVF_1_1PTAStat-members.html +19 -18
  155. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +100 -85
  156. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis-members.html +34 -36
  157. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +291 -356
  158. package/SVF-doxygen/html/classSVF_1_1SCCDetection.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html +1 -1
  160. package/SVF-doxygen/html/classSVF_1_1SVFGStat-members.html +41 -40
  161. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +18 -18
  162. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1SVFStat-members.html +13 -12
  164. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +208 -168
  165. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
  166. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  167. package/SVF-doxygen/html/classSVF_1_1Steensgaard-members.html +109 -111
  168. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +4 -10
  169. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  170. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +2 -2
  171. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis-members.html +103 -105
  172. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +9 -15
  173. package/SVF-doxygen/html/classSVF_1_1VFG.html +2 -2
  174. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive-members.html +158 -160
  175. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +6 -12
  176. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +24 -23
  177. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +84 -83
  178. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +12 -12
  179. package/SVF-doxygen/html/classSVF_1_1WTO-members.html +137 -0
  180. package/SVF-doxygen/html/classSVF_1_1WTO.html +1998 -0
  181. package/SVF-doxygen/html/classSVF_1_1WTOComponent-members.html +97 -0
  182. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +515 -0
  183. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor-members.html +93 -0
  184. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +421 -0
  185. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.png +0 -0
  186. package/SVF-doxygen/html/classSVF_1_1WTOCycle-members.html +98 -0
  187. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +630 -0
  188. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth-members.html +24 -23
  189. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +338 -317
  190. package/SVF-doxygen/html/classSVF_1_1WTONode-members.html +91 -0
  191. package/SVF-doxygen/html/classSVF_1_1WTONode.html +390 -0
  192. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder-members.html +96 -0
  193. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +332 -0
  194. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.png +0 -0
  195. package/SVF-doxygen/html/classes.html +383 -377
  196. package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +0 -2
  197. package/SVF-doxygen/html/dir_f63327fc9cf9e35b7653a5e341daceab.html +4 -2
  198. package/SVF-doxygen/html/dir_fc0329f850c815763e0c5b05933e8d55.html +4 -0
  199. package/SVF-doxygen/html/files.html +31 -29
  200. package/SVF-doxygen/html/functions.html +18 -30
  201. package/SVF-doxygen/html/functions_a.html +17 -14
  202. package/SVF-doxygen/html/functions_b.html +25 -25
  203. package/SVF-doxygen/html/functions_c.html +37 -51
  204. package/SVF-doxygen/html/functions_e.html +7 -4
  205. package/SVF-doxygen/html/functions_enum.html +2 -2
  206. package/SVF-doxygen/html/functions_eval_c.html +1 -1
  207. package/SVF-doxygen/html/functions_eval_n.html +1 -1
  208. package/SVF-doxygen/html/functions_f.html +26 -21
  209. package/SVF-doxygen/html/functions_func.html +14 -11
  210. package/SVF-doxygen/html/functions_func_b.html +6 -10
  211. package/SVF-doxygen/html/functions_func_c.html +30 -36
  212. package/SVF-doxygen/html/functions_func_e.html +5 -5
  213. package/SVF-doxygen/html/functions_func_f.html +8 -3
  214. package/SVF-doxygen/html/functions_func_g.html +15 -25
  215. package/SVF-doxygen/html/functions_func_h.html +3 -3
  216. package/SVF-doxygen/html/functions_func_i.html +18 -14
  217. package/SVF-doxygen/html/functions_func_n.html +6 -6
  218. package/SVF-doxygen/html/functions_func_o.html +16 -16
  219. package/SVF-doxygen/html/functions_func_p.html +4 -7
  220. package/SVF-doxygen/html/functions_func_s.html +1 -1
  221. package/SVF-doxygen/html/functions_func_t.html +7 -10
  222. package/SVF-doxygen/html/functions_func_v.html +4 -5
  223. package/SVF-doxygen/html/functions_func_w.html +16 -4
  224. package/SVF-doxygen/html/functions_func_~.html +10 -10
  225. package/SVF-doxygen/html/functions_g.html +14 -21
  226. package/SVF-doxygen/html/functions_h.html +9 -6
  227. package/SVF-doxygen/html/functions_i.html +32 -29
  228. package/SVF-doxygen/html/functions_l.html +3 -3
  229. package/SVF-doxygen/html/functions_n.html +25 -23
  230. package/SVF-doxygen/html/functions_o.html +31 -29
  231. package/SVF-doxygen/html/functions_p.html +21 -15
  232. package/SVF-doxygen/html/functions_r.html +1 -1
  233. package/SVF-doxygen/html/functions_rela_o.html +3 -3
  234. package/SVF-doxygen/html/functions_s.html +26 -23
  235. package/SVF-doxygen/html/functions_t.html +14 -20
  236. package/SVF-doxygen/html/functions_type_b.html +4 -0
  237. package/SVF-doxygen/html/functions_type_c.html +3 -9
  238. package/SVF-doxygen/html/functions_type_e.html +3 -0
  239. package/SVF-doxygen/html/functions_type_g.html +3 -0
  240. package/SVF-doxygen/html/functions_type_i.html +7 -8
  241. package/SVF-doxygen/html/functions_type_n.html +13 -9
  242. package/SVF-doxygen/html/functions_type_s.html +3 -0
  243. package/SVF-doxygen/html/functions_type_w.html +19 -6
  244. package/SVF-doxygen/html/functions_v.html +8 -9
  245. package/SVF-doxygen/html/functions_vars.html +18 -30
  246. package/SVF-doxygen/html/functions_vars_h.html +3 -0
  247. package/SVF-doxygen/html/functions_vars_p.html +3 -0
  248. package/SVF-doxygen/html/functions_vars_t.html +0 -3
  249. package/SVF-doxygen/html/functions_vars_w.html +4 -0
  250. package/SVF-doxygen/html/functions_w.html +47 -20
  251. package/SVF-doxygen/html/functions_~.html +10 -10
  252. package/SVF-doxygen/html/hierarchy.html +621 -614
  253. package/SVF-doxygen/html/namespaceSVF.html +127 -7
  254. package/SVF-doxygen/html/namespacemembers_c.html +9 -0
  255. package/SVF-doxygen/html/namespacemembers_i.html +14 -5
  256. package/SVF-doxygen/html/namespacemembers_type_c.html +9 -0
  257. package/SVF-doxygen/html/namespacemembers_type_i.html +9 -0
  258. package/SVF-doxygen/html/search/all_0.js +124 -127
  259. package/SVF-doxygen/html/search/all_1.js +495 -495
  260. package/SVF-doxygen/html/search/all_10.js +325 -325
  261. package/SVF-doxygen/html/search/all_11.js +225 -225
  262. package/SVF-doxygen/html/search/all_12.js +555 -554
  263. package/SVF-doxygen/html/search/all_13.js +201 -203
  264. package/SVF-doxygen/html/search/all_14.js +67 -67
  265. package/SVF-doxygen/html/search/all_15.js +168 -168
  266. package/SVF-doxygen/html/search/all_16.js +73 -63
  267. package/SVF-doxygen/html/search/all_17.js +1 -1
  268. package/SVF-doxygen/html/search/all_18.js +1 -1
  269. package/SVF-doxygen/html/search/all_19.js +11 -11
  270. package/SVF-doxygen/html/search/all_1a.js +175 -175
  271. package/SVF-doxygen/html/search/all_2.js +172 -173
  272. package/SVF-doxygen/html/search/all_3.js +648 -649
  273. package/SVF-doxygen/html/search/all_4.js +230 -230
  274. package/SVF-doxygen/html/search/all_5.js +120 -119
  275. package/SVF-doxygen/html/search/all_6.js +227 -226
  276. package/SVF-doxygen/html/search/all_7.js +1046 -1048
  277. package/SVF-doxygen/html/search/all_8.js +196 -191
  278. package/SVF-doxygen/html/search/all_9.js +579 -574
  279. package/SVF-doxygen/html/search/all_a.js +46 -46
  280. package/SVF-doxygen/html/search/all_b.js +26 -26
  281. package/SVF-doxygen/html/search/all_c.js +115 -115
  282. package/SVF-doxygen/html/search/all_d.js +197 -197
  283. package/SVF-doxygen/html/search/all_e.js +207 -207
  284. package/SVF-doxygen/html/search/all_f.js +116 -116
  285. package/SVF-doxygen/html/search/classes_0.js +26 -26
  286. package/SVF-doxygen/html/search/classes_1.js +9 -9
  287. package/SVF-doxygen/html/search/classes_10.js +74 -74
  288. package/SVF-doxygen/html/search/classes_11.js +14 -15
  289. package/SVF-doxygen/html/search/classes_12.js +2 -2
  290. package/SVF-doxygen/html/search/classes_13.js +10 -10
  291. package/SVF-doxygen/html/search/classes_14.js +20 -14
  292. package/SVF-doxygen/html/search/classes_15.js +1 -1
  293. package/SVF-doxygen/html/search/classes_2.js +78 -81
  294. package/SVF-doxygen/html/search/classes_3.js +37 -37
  295. package/SVF-doxygen/html/search/classes_4.js +9 -9
  296. package/SVF-doxygen/html/search/classes_5.js +28 -28
  297. package/SVF-doxygen/html/search/classes_6.js +104 -104
  298. package/SVF-doxygen/html/search/classes_7.js +38 -34
  299. package/SVF-doxygen/html/search/classes_8.js +58 -57
  300. package/SVF-doxygen/html/search/classes_9.js +1 -1
  301. package/SVF-doxygen/html/search/classes_a.js +12 -12
  302. package/SVF-doxygen/html/search/classes_b.js +29 -29
  303. package/SVF-doxygen/html/search/classes_c.js +6 -6
  304. package/SVF-doxygen/html/search/classes_d.js +18 -18
  305. package/SVF-doxygen/html/search/classes_e.js +36 -36
  306. package/SVF-doxygen/html/search/classes_f.js +25 -25
  307. package/SVF-doxygen/html/search/defines_0.js +3 -3
  308. package/SVF-doxygen/html/search/defines_1.js +2 -2
  309. package/SVF-doxygen/html/search/defines_2.js +30 -30
  310. package/SVF-doxygen/html/search/defines_3.js +20 -20
  311. package/SVF-doxygen/html/search/defines_4.js +2 -2
  312. package/SVF-doxygen/html/search/defines_5.js +4 -4
  313. package/SVF-doxygen/html/search/defines_6.js +2 -2
  314. package/SVF-doxygen/html/search/defines_7.js +5 -5
  315. package/SVF-doxygen/html/search/defines_8.js +11 -11
  316. package/SVF-doxygen/html/search/defines_9.js +9 -9
  317. package/SVF-doxygen/html/search/defines_a.js +2 -2
  318. package/SVF-doxygen/html/search/defines_b.js +1 -1
  319. package/SVF-doxygen/html/search/defines_c.js +3 -3
  320. package/SVF-doxygen/html/search/defines_d.js +2 -2
  321. package/SVF-doxygen/html/search/defines_e.js +7 -7
  322. package/SVF-doxygen/html/search/defines_f.js +3 -3
  323. package/SVF-doxygen/html/search/enums_0.js +3 -3
  324. package/SVF-doxygen/html/search/enums_1.js +2 -2
  325. package/SVF-doxygen/html/search/enums_10.js +1 -1
  326. package/SVF-doxygen/html/search/enums_11.js +1 -1
  327. package/SVF-doxygen/html/search/enums_2.js +8 -8
  328. package/SVF-doxygen/html/search/enums_3.js +1 -1
  329. package/SVF-doxygen/html/search/enums_4.js +3 -3
  330. package/SVF-doxygen/html/search/enums_5.js +1 -1
  331. package/SVF-doxygen/html/search/enums_6.js +2 -2
  332. package/SVF-doxygen/html/search/enums_7.js +2 -2
  333. package/SVF-doxygen/html/search/enums_8.js +4 -4
  334. package/SVF-doxygen/html/search/enums_9.js +1 -1
  335. package/SVF-doxygen/html/search/enums_a.js +1 -1
  336. package/SVF-doxygen/html/search/enums_b.js +7 -7
  337. package/SVF-doxygen/html/search/enums_c.js +1 -1
  338. package/SVF-doxygen/html/search/enums_d.js +4 -4
  339. package/SVF-doxygen/html/search/enums_e.js +2 -2
  340. package/SVF-doxygen/html/search/enums_f.js +4 -4
  341. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  342. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  343. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  344. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  345. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  346. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  347. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  348. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  349. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  350. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  351. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  352. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  353. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  354. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  355. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  356. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  357. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  358. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  359. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  360. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  361. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  362. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  363. package/SVF-doxygen/html/search/files_0.js +14 -14
  364. package/SVF-doxygen/html/search/files_1.js +7 -7
  365. package/SVF-doxygen/html/search/files_10.js +8 -8
  366. package/SVF-doxygen/html/search/files_11.js +8 -8
  367. package/SVF-doxygen/html/search/files_12.js +2 -2
  368. package/SVF-doxygen/html/search/files_2.js +58 -57
  369. package/SVF-doxygen/html/search/files_3.js +14 -14
  370. package/SVF-doxygen/html/search/files_4.js +5 -5
  371. package/SVF-doxygen/html/search/files_5.js +13 -13
  372. package/SVF-doxygen/html/search/files_6.js +9 -9
  373. package/SVF-doxygen/html/search/files_7.js +15 -14
  374. package/SVF-doxygen/html/search/files_8.js +13 -13
  375. package/SVF-doxygen/html/search/files_9.js +18 -18
  376. package/SVF-doxygen/html/search/files_a.js +3 -3
  377. package/SVF-doxygen/html/search/files_b.js +2 -2
  378. package/SVF-doxygen/html/search/files_c.js +20 -20
  379. package/SVF-doxygen/html/search/files_d.js +4 -4
  380. package/SVF-doxygen/html/search/files_e.js +62 -62
  381. package/SVF-doxygen/html/search/files_f.js +8 -8
  382. package/SVF-doxygen/html/search/functions_0.js +13 -13
  383. package/SVF-doxygen/html/search/functions_1.js +365 -364
  384. package/SVF-doxygen/html/search/functions_10.js +139 -140
  385. package/SVF-doxygen/html/search/functions_11.js +140 -140
  386. package/SVF-doxygen/html/search/functions_12.js +289 -289
  387. package/SVF-doxygen/html/search/functions_13.js +71 -72
  388. package/SVF-doxygen/html/search/functions_14.js +39 -39
  389. package/SVF-doxygen/html/search/functions_15.js +71 -71
  390. package/SVF-doxygen/html/search/functions_16.js +36 -32
  391. package/SVF-doxygen/html/search/functions_17.js +3 -3
  392. package/SVF-doxygen/html/search/functions_18.js +175 -175
  393. package/SVF-doxygen/html/search/functions_2.js +90 -91
  394. package/SVF-doxygen/html/search/functions_3.js +260 -262
  395. package/SVF-doxygen/html/search/functions_4.js +78 -78
  396. package/SVF-doxygen/html/search/functions_5.js +53 -53
  397. package/SVF-doxygen/html/search/functions_6.js +61 -60
  398. package/SVF-doxygen/html/search/functions_7.js +854 -857
  399. package/SVF-doxygen/html/search/functions_8.js +148 -148
  400. package/SVF-doxygen/html/search/functions_9.js +422 -421
  401. package/SVF-doxygen/html/search/functions_a.js +30 -30
  402. package/SVF-doxygen/html/search/functions_b.js +2 -2
  403. package/SVF-doxygen/html/search/functions_c.js +25 -25
  404. package/SVF-doxygen/html/search/functions_d.js +79 -79
  405. package/SVF-doxygen/html/search/functions_e.js +35 -35
  406. package/SVF-doxygen/html/search/functions_f.js +56 -56
  407. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  408. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  409. package/SVF-doxygen/html/search/related_0.js +2 -2
  410. package/SVF-doxygen/html/search/related_1.js +2 -2
  411. package/SVF-doxygen/html/search/related_2.js +3 -3
  412. package/SVF-doxygen/html/search/related_3.js +2 -2
  413. package/SVF-doxygen/html/search/related_4.js +2 -2
  414. package/SVF-doxygen/html/search/related_5.js +1 -1
  415. package/SVF-doxygen/html/search/related_6.js +2 -2
  416. package/SVF-doxygen/html/search/related_7.js +4 -4
  417. package/SVF-doxygen/html/search/related_8.js +2 -2
  418. package/SVF-doxygen/html/search/related_9.js +4 -4
  419. package/SVF-doxygen/html/search/related_a.js +19 -19
  420. package/SVF-doxygen/html/search/related_b.js +4 -4
  421. package/SVF-doxygen/html/search/related_c.js +2 -2
  422. package/SVF-doxygen/html/search/related_d.js +12 -12
  423. package/SVF-doxygen/html/search/related_e.js +2 -2
  424. package/SVF-doxygen/html/search/related_f.js +2 -2
  425. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  426. package/SVF-doxygen/html/search/typedefs_1.js +27 -26
  427. package/SVF-doxygen/html/search/typedefs_10.js +63 -62
  428. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  429. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  430. package/SVF-doxygen/html/search/typedefs_13.js +33 -33
  431. package/SVF-doxygen/html/search/typedefs_14.js +11 -8
  432. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  433. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  434. package/SVF-doxygen/html/search/typedefs_4.js +18 -17
  435. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  436. package/SVF-doxygen/html/search/typedefs_6.js +57 -56
  437. package/SVF-doxygen/html/search/typedefs_7.js +47 -44
  438. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  439. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  440. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  441. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  442. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  443. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  444. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  445. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  446. package/SVF-doxygen/html/search/variables_0.js +148 -151
  447. package/SVF-doxygen/html/search/variables_1.js +76 -76
  448. package/SVF-doxygen/html/search/variables_10.js +99 -98
  449. package/SVF-doxygen/html/search/variables_11.js +45 -45
  450. package/SVF-doxygen/html/search/variables_12.js +91 -91
  451. package/SVF-doxygen/html/search/variables_13.js +73 -74
  452. package/SVF-doxygen/html/search/variables_14.js +14 -14
  453. package/SVF-doxygen/html/search/variables_15.js +49 -49
  454. package/SVF-doxygen/html/search/variables_16.js +10 -9
  455. package/SVF-doxygen/html/search/variables_17.js +1 -1
  456. package/SVF-doxygen/html/search/variables_18.js +2 -2
  457. package/SVF-doxygen/html/search/variables_2.js +38 -38
  458. package/SVF-doxygen/html/search/variables_3.js +142 -142
  459. package/SVF-doxygen/html/search/variables_4.js +50 -50
  460. package/SVF-doxygen/html/search/variables_5.js +37 -37
  461. package/SVF-doxygen/html/search/variables_6.js +66 -66
  462. package/SVF-doxygen/html/search/variables_7.js +34 -34
  463. package/SVF-doxygen/html/search/variables_8.js +8 -7
  464. package/SVF-doxygen/html/search/variables_9.js +78 -78
  465. package/SVF-doxygen/html/search/variables_a.js +4 -4
  466. package/SVF-doxygen/html/search/variables_b.js +10 -10
  467. package/SVF-doxygen/html/search/variables_c.js +45 -45
  468. package/SVF-doxygen/html/search/variables_d.js +55 -55
  469. package/SVF-doxygen/html/search/variables_e.js +123 -123
  470. package/SVF-doxygen/html/search/variables_f.js +30 -30
  471. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +97 -0
  472. package/SVF-doxygen/html/structSVF_1_1has__edgetype.png +0 -0
  473. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.html +97 -0
  474. package/SVF-doxygen/html/structSVF_1_1has__edgetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1EdgeType_01_4_01_4.png +0 -0
  475. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +97 -0
  476. package/SVF-doxygen/html/structSVF_1_1has__nodetype.png +0 -0
  477. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.html +97 -0
  478. package/SVF-doxygen/html/structSVF_1_1has__nodetype_3_01T_00_01std_1_1void__t_3_01typename_01T_1_1NodeType_01_4_01_4.png +0 -0
  479. package/SVF-doxygen/html/svf-ex_8cpp.html +2 -2
  480. package/SVF-doxygen/html/svf-ex_8cpp_source.html +3 -3
  481. package/package.json +1 -1
  482. package/svf/include/AbstractExecution/CFBasicBlockGWTO.h +83 -0
  483. package/svf/include/AbstractExecution/ICFGWTO.h +78 -0
  484. package/svf/include/DDA/DDAPass.h +2 -2
  485. package/svf/include/DDA/DDAVFSolver.h +2 -2
  486. package/svf/include/Graphs/SVFGStat.h +1 -1
  487. package/svf/include/Graphs/WTO.h +859 -0
  488. package/svf/include/MSSA/MemRegion.h +3 -3
  489. package/svf/include/MTA/TCT.h +2 -2
  490. package/svf/include/MemoryModel/PointerAnalysis.h +5 -14
  491. package/svf/include/Util/SVFStat.h +3 -0
  492. package/svf/include/WPA/CSC.h +3 -3
  493. package/svf/lib/DDA/DDAStat.cpp +2 -2
  494. package/svf/lib/Graphs/SVFGStat.cpp +2 -4
  495. package/svf/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  496. package/svf/lib/Util/PTAStat.cpp +14 -4
  497. package/svf/lib/Util/SVFStat.cpp +13 -3
  498. package/svf/lib/WPA/AndersenStat.cpp +3 -8
  499. package/svf/lib/WPA/FlowSensitiveStat.cpp +1 -2
  500. package/svf/lib/WPA/VersionedFlowSensitiveStat.cpp +1 -2
  501. package/svf/include/AbstractExecution/WTO.h +0 -897
  502. /package/svf/include/{Util → Graphs}/SCC.h +0 -0
package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html CHANGED
@@ -5,7 +5,7 @@
5
5
  <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
6
  <meta name="generator" content="Doxygen 1.8.17"/>
7
7
  <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
- <title>Static Value-Flow Analysis: SVF::WTOCycleDepth&lt; NodeRef &gt; Class Template Reference</title>
8
+ <title>Static Value-Flow Analysis: SVF::WTOCycleDepth&lt; GraphT &gt; Class Template Reference</title>
9
9
  <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
10
  <script type="text/javascript" src="jquery.js"></script>
11
11
  <script type="text/javascript" src="dynsections.js"></script>
@@ -68,12 +68,13 @@ $(function() {
68
68
  <div class="summary">
69
69
  <a href="#pub-types">Public Types</a> &#124;
70
70
  <a href="#pub-methods">Public Member Functions</a> &#124;
71
+ <a href="#pri-types">Private Types</a> &#124;
71
72
  <a href="#pri-methods">Private Member Functions</a> &#124;
72
73
  <a href="#pri-attribs">Private Attributes</a> &#124;
73
74
  <a href="#friends">Friends</a> &#124;
74
75
  <a href="classSVF_1_1WTOCycleDepth-members.html">List of all members</a> </div>
75
76
  <div class="headertitle">
76
- <div class="title">SVF::WTOCycleDepth&lt; NodeRef &gt; Class Template Reference</div> </div>
77
+ <div class="title">SVF::WTOCycleDepth&lt; GraphT &gt; Class Template Reference</div> </div>
77
78
  </div><!--header-->
78
79
  <div class="contents">
79
80
 
@@ -81,82 +82,84 @@ $(function() {
81
82
  <table class="memberdecls">
82
83
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
83
84
  Public Types</h2></td></tr>
84
- <tr class="memitem:a39e8c68176dac40715f6b1595bca489b"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; NodeRef &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">NodeRefList</a></td></tr>
85
- <tr class="separator:a39e8c68176dac40715f6b1595bca489b"><td class="memSeparator" colspan="2">&#160;</td></tr>
86
- <tr class="memitem:a57a181856416fa5fe6b513c279a6c788"><td class="memItemLeft" align="right" valign="top">typedef NodeRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a></td></tr>
87
- <tr class="separator:a57a181856416fa5fe6b513c279a6c788"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
+ <tr class="memitem:ac1a815006184b8a54a1390832f929630"><td class="memItemLeft" align="right" valign="top">typedef GraphT::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a></td></tr>
86
+ <tr class="separator:ac1a815006184b8a54a1390832f929630"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
+ <tr class="memitem:a375803014eebb65532a843eee6d9a690"><td class="memItemLeft" align="right" valign="top">typedef NodeRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a></td></tr>
88
+ <tr class="separator:a375803014eebb65532a843eee6d9a690"><td class="memSeparator" colspan="2">&#160;</td></tr>
88
89
  </table><table class="memberdecls">
89
90
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
90
91
  Public Member Functions</h2></td></tr>
91
- <tr class="memitem:a7f3412aaf5948741e4c5cdbaff728101"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">WTOCycleDepth</a> ()=default</td></tr>
92
- <tr class="memdesc:a7f3412aaf5948741e4c5cdbaff728101"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Constructor. <a href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">More...</a><br /></td></tr>
93
- <tr class="separator:a7f3412aaf5948741e4c5cdbaff728101"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
- <tr class="memitem:afc723013529bd727de465237b9f247b9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">WTOCycleDepth</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;)=default</td></tr>
95
- <tr class="memdesc:afc723013529bd727de465237b9f247b9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Copy Constructor. <a href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">More...</a><br /></td></tr>
96
- <tr class="separator:afc723013529bd727de465237b9f247b9"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
- <tr class="memitem:ac464d9bc46a36a4e91b8356394c0af82"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82">WTOCycleDepth</a> (<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&amp;)=default</td></tr>
98
- <tr class="memdesc:ac464d9bc46a36a4e91b8356394c0af82"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Move Constructor. <a href="classSVF_1_1WTOCycleDepth.html#ac464d9bc46a36a4e91b8356394c0af82">More...</a><br /></td></tr>
99
- <tr class="separator:ac464d9bc46a36a4e91b8356394c0af82"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
- <tr class="memitem:a5ab108a0e1be3f33a3c1ffa2beaedf0e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e">operator=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;)=default</td></tr>
101
- <tr class="memdesc:a5ab108a0e1be3f33a3c1ffa2beaedf0e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Copy Operator=. <a href="classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e">More...</a><br /></td></tr>
102
- <tr class="separator:a5ab108a0e1be3f33a3c1ffa2beaedf0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
- <tr class="memitem:a895cca11912ac93899ce85566382ba47"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a895cca11912ac93899ce85566382ba47">operator=</a> (<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&amp;)=default</td></tr>
104
- <tr class="memdesc:a895cca11912ac93899ce85566382ba47"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Move Operator=. <a href="classSVF_1_1WTOCycleDepth.html#a895cca11912ac93899ce85566382ba47">More...</a><br /></td></tr>
105
- <tr class="separator:a895cca11912ac93899ce85566382ba47"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
- <tr class="memitem:a9d23c459bac6e9f3b64ec0233065ba61"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">~WTOCycleDepth</a> ()=default</td></tr>
107
- <tr class="memdesc:a9d23c459bac6e9f3b64ec0233065ba61"><td class="mdescLeft">&#160;</td><td class="mdescRight">Default Destructor. <a href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">More...</a><br /></td></tr>
108
- <tr class="separator:a9d23c459bac6e9f3b64ec0233065ba61"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
- <tr class="memitem:a44e36899d26981ff69557501ff8ff2ca"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca">push_back</a> (NodeRef head)</td></tr>
110
- <tr class="memdesc:a44e36899d26981ff69557501ff8ff2ca"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add a cycle head to the end of the head list. <a href="classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca">More...</a><br /></td></tr>
111
- <tr class="separator:a44e36899d26981ff69557501ff8ff2ca"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
- <tr class="memitem:a2bfdd81b8742322d03c52c811ff742ce"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">begin</a> () const</td></tr>
113
- <tr class="separator:a2bfdd81b8742322d03c52c811ff742ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
- <tr class="memitem:a943e6586b5b2c8343437a914ddb1a1b6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">end</a> () const</td></tr>
115
- <tr class="separator:a943e6586b5b2c8343437a914ddb1a1b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
- <tr class="memitem:a94c9c81ebe4df428c163f999284b6d98"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98">toString</a> () const</td></tr>
117
- <tr class="memdesc:a94c9c81ebe4df428c163f999284b6d98"><td class="mdescLeft">&#160;</td><td class="mdescRight">Convert the wto-cycle-depth to a string. <a href="classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98">More...</a><br /></td></tr>
118
- <tr class="separator:a94c9c81ebe4df428c163f999284b6d98"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
- <tr class="memitem:a8790ebb6a4a34558af2c5843a5fa55bb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb">operator^</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
120
- <tr class="memdesc:a8790ebb6a4a34558af2c5843a5fa55bb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Overloading operators. <a href="classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb">More...</a><br /></td></tr>
121
- <tr class="separator:a8790ebb6a4a34558af2c5843a5fa55bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
- <tr class="memitem:ab1c9fade2bcd6db9211ddee376b4f04c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ab1c9fade2bcd6db9211ddee376b4f04c">operator&lt;</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
123
- <tr class="memdesc:ab1c9fade2bcd6db9211ddee376b4f04c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Less than other's depth - <code>other</code> is inside <code>this</code> <a href="classSVF_1_1WTOCycleDepth.html#ab1c9fade2bcd6db9211ddee376b4f04c">More...</a><br /></td></tr>
124
- <tr class="separator:ab1c9fade2bcd6db9211ddee376b4f04c"><td class="memSeparator" colspan="2">&#160;</td></tr>
125
- <tr class="memitem:af70d7a393f898a72153da55d87b3d739"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">operator&lt;=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
126
- <tr class="memdesc:af70d7a393f898a72153da55d87b3d739"><td class="mdescLeft">&#160;</td><td class="mdescRight">Less than or Equal with other's depth. <a href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">More...</a><br /></td></tr>
127
- <tr class="separator:af70d7a393f898a72153da55d87b3d739"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
- <tr class="memitem:ae9765d0ba0c8b8ec83d9482fea016713"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ae9765d0ba0c8b8ec83d9482fea016713">operator==</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
129
- <tr class="memdesc:ae9765d0ba0c8b8ec83d9482fea016713"><td class="mdescLeft">&#160;</td><td class="mdescRight">Equal with other's depth. <a href="classSVF_1_1WTOCycleDepth.html#ae9765d0ba0c8b8ec83d9482fea016713">More...</a><br /></td></tr>
130
- <tr class="separator:ae9765d0ba0c8b8ec83d9482fea016713"><td class="memSeparator" colspan="2">&#160;</td></tr>
131
- <tr class="memitem:ae12f0780c76dce5bd24b9fb3f3e0815e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e">operator&gt;</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
132
- <tr class="memdesc:ae12f0780c76dce5bd24b9fb3f3e0815e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than other's depth - <code>this</code> is inside <code>other</code> <a href="classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e">More...</a><br /></td></tr>
133
- <tr class="separator:ae12f0780c76dce5bd24b9fb3f3e0815e"><td class="memSeparator" colspan="2">&#160;</td></tr>
134
- <tr class="memitem:ad64c8a219008ad37f9b9aa2904502292"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292">operator&gt;=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
135
- <tr class="memdesc:ad64c8a219008ad37f9b9aa2904502292"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than or Equal with other's depth. <a href="classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292">More...</a><br /></td></tr>
136
- <tr class="separator:ad64c8a219008ad37f9b9aa2904502292"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ <tr class="memitem:a949e2ee782c346339a1ddaa868c8abaf"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">WTOCycleDepth</a> ()=default</td></tr>
93
+ <tr class="memdesc:a949e2ee782c346339a1ddaa868c8abaf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor. <a href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">More...</a><br /></td></tr>
94
+ <tr class="separator:a949e2ee782c346339a1ddaa868c8abaf"><td class="memSeparator" colspan="2">&#160;</td></tr>
95
+ <tr class="memitem:a764ec49c9f0e5ed2f920c55c63e1c193"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193">WTOCycleDepth</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;)=default</td></tr>
96
+ <tr class="memdesc:a764ec49c9f0e5ed2f920c55c63e1c193"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy constructor. <a href="classSVF_1_1WTOCycleDepth.html#a764ec49c9f0e5ed2f920c55c63e1c193">More...</a><br /></td></tr>
97
+ <tr class="separator:a764ec49c9f0e5ed2f920c55c63e1c193"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="memitem:a515c00e2a0997640874856d4eae419fb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb">WTOCycleDepth</a> (<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&amp;)=default</td></tr>
99
+ <tr class="memdesc:a515c00e2a0997640874856d4eae419fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move constructor. <a href="classSVF_1_1WTOCycleDepth.html#a515c00e2a0997640874856d4eae419fb">More...</a><br /></td></tr>
100
+ <tr class="separator:a515c00e2a0997640874856d4eae419fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
101
+ <tr class="memitem:aeca7ef6c7cca3533d72fc8d6a5d9337c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#aeca7ef6c7cca3533d72fc8d6a5d9337c">operator=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;)=default</td></tr>
102
+ <tr class="memdesc:aeca7ef6c7cca3533d72fc8d6a5d9337c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy assignment operator. <a href="classSVF_1_1WTOCycleDepth.html#aeca7ef6c7cca3533d72fc8d6a5d9337c">More...</a><br /></td></tr>
103
+ <tr class="separator:aeca7ef6c7cca3533d72fc8d6a5d9337c"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a64c710130484bb29c252cf112a51d592"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a64c710130484bb29c252cf112a51d592">operator=</a> (<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;&amp;)=default</td></tr>
105
+ <tr class="memdesc:a64c710130484bb29c252cf112a51d592"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move assignment operator. <a href="classSVF_1_1WTOCycleDepth.html#a64c710130484bb29c252cf112a51d592">More...</a><br /></td></tr>
106
+ <tr class="separator:a64c710130484bb29c252cf112a51d592"><td class="memSeparator" colspan="2">&#160;</td></tr>
107
+ <tr class="memitem:a1208cd4c5a880905df4031bf610bd0bb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a1208cd4c5a880905df4031bf610bd0bb">~WTOCycleDepth</a> ()=default</td></tr>
108
+ <tr class="memdesc:a1208cd4c5a880905df4031bf610bd0bb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1WTOCycleDepth.html#a1208cd4c5a880905df4031bf610bd0bb">More...</a><br /></td></tr>
109
+ <tr class="separator:a1208cd4c5a880905df4031bf610bd0bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
110
+ <tr class="memitem:a8df436e4ff4cc9df4900c1262cc89b1c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a8df436e4ff4cc9df4900c1262cc89b1c">add</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a> *head)</td></tr>
111
+ <tr class="memdesc:a8df436e4ff4cc9df4900c1262cc89b1c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add a cycle head in the cycleDepth. <a href="classSVF_1_1WTOCycleDepth.html#a8df436e4ff4cc9df4900c1262cc89b1c">More...</a><br /></td></tr>
112
+ <tr class="separator:a8df436e4ff4cc9df4900c1262cc89b1c"><td class="memSeparator" colspan="2">&#160;</td></tr>
113
+ <tr class="memitem:a05e5c2f26d21fea5197205e23fea7d3a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a> () const</td></tr>
114
+ <tr class="memdesc:a05e5c2f26d21fea5197205e23fea7d3a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Begin iterator over the head of cycles. <a href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">More...</a><br /></td></tr>
115
+ <tr class="separator:a05e5c2f26d21fea5197205e23fea7d3a"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
+ <tr class="memitem:a16a1c72a181571a0f131975caa929ade"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a> () const</td></tr>
117
+ <tr class="memdesc:a16a1c72a181571a0f131975caa929ade"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the head of cycles. <a href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">More...</a><br /></td></tr>
118
+ <tr class="separator:a16a1c72a181571a0f131975caa929ade"><td class="memSeparator" colspan="2">&#160;</td></tr>
119
+ <tr class="memitem:ad4171d23b56c5402687bac3febb4b233"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ad4171d23b56c5402687bac3febb4b233">operator^</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
120
+ <tr class="memdesc:ad4171d23b56c5402687bac3febb4b233"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the common prefix of the given cycle depths. <a href="classSVF_1_1WTOCycleDepth.html#ad4171d23b56c5402687bac3febb4b233">More...</a><br /></td></tr>
121
+ <tr class="separator:ad4171d23b56c5402687bac3febb4b233"><td class="memSeparator" colspan="2">&#160;</td></tr>
122
+ <tr class="memitem:a44cce3ef52a02cfe8d650e9ce079c210"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a44cce3ef52a02cfe8d650e9ce079c210">operator&lt;</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
123
+ <tr class="separator:a44cce3ef52a02cfe8d650e9ce079c210"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
+ <tr class="memitem:a2e3c5007c3348083b51b0a4fa3e843b9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">operator&lt;=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
125
+ <tr class="separator:a2e3c5007c3348083b51b0a4fa3e843b9"><td class="memSeparator" colspan="2">&#160;</td></tr>
126
+ <tr class="memitem:a4779ba4cfc8a0ae23d27ef9d2f3987d0"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a4779ba4cfc8a0ae23d27ef9d2f3987d0">operator==</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
127
+ <tr class="separator:a4779ba4cfc8a0ae23d27ef9d2f3987d0"><td class="memSeparator" colspan="2">&#160;</td></tr>
128
+ <tr class="memitem:a0aa519ff93cdab15f9324c6b05df8e47"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a0aa519ff93cdab15f9324c6b05df8e47">operator&gt;=</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
129
+ <tr class="separator:a0aa519ff93cdab15f9324c6b05df8e47"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
+ <tr class="memitem:a8ca19a3f2f7e79c20c4a4f98897470c7"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a8ca19a3f2f7e79c20c4a4f98897470c7">operator&gt;</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
131
+ <tr class="separator:a8ca19a3f2f7e79c20c4a4f98897470c7"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
+ <tr class="memitem:a275559cdb0fea5d06b1516c4c49da0ae"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae">toString</a> () const</td></tr>
133
+ <tr class="memdesc:a275559cdb0fea5d06b1516c4c49da0ae"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump the cycleDepth, for debugging purpose. <a href="classSVF_1_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae">More...</a><br /></td></tr>
134
+ <tr class="separator:a275559cdb0fea5d06b1516c4c49da0ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
+ </table><table class="memberdecls">
136
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-types"></a>
137
+ Private Types</h2></td></tr>
138
+ <tr class="memitem:af4c6d0f992a1844aa21a6d26be66b34c"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">NodeRefList</a></td></tr>
139
+ <tr class="separator:af4c6d0f992a1844aa21a6d26be66b34c"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
140
  </table><table class="memberdecls">
138
141
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
139
142
  Private Member Functions</h2></td></tr>
140
- <tr class="memitem:a0874603e54060f9309aea39c7655d28e"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">compare</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
141
- <tr class="memdesc:a0874603e54060f9309aea39c7655d28e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compare the given wto-cycle-depth. <a href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">More...</a><br /></td></tr>
142
- <tr class="separator:a0874603e54060f9309aea39c7655d28e"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
+ <tr class="memitem:afff8fb7472fa48b80b6e685b5f85666d"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a> (const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;other) const</td></tr>
144
+ <tr class="memdesc:afff8fb7472fa48b80b6e685b5f85666d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compare the given cycle depths. <a href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">More...</a><br /></td></tr>
145
+ <tr class="separator:afff8fb7472fa48b80b6e685b5f85666d"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
146
  </table><table class="memberdecls">
144
147
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
145
148
  Private Attributes</h2></td></tr>
146
- <tr class="memitem:acbe5ed1e3ea411cc87c2fafa16f4c38f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">NodeRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">_heads</a></td></tr>
147
- <tr class="separator:acbe5ed1e3ea411cc87c2fafa16f4c38f"><td class="memSeparator" colspan="2">&#160;</td></tr>
149
+ <tr class="memitem:a6d7bd6b0da1527da8c85aab87462fba8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">NodeRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a></td></tr>
150
+ <tr class="separator:a6d7bd6b0da1527da8c85aab87462fba8"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
151
  </table><table class="memberdecls">
149
152
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
150
153
  Friends</h2></td></tr>
151
- <tr class="memitem:ada537f89b6cc8d5d2cb5064e2c5b1b0d"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> &amp;<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a>)</td></tr>
152
- <tr class="memdesc:ada537f89b6cc8d5d2cb5064e2c5b1b0d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump into CMD. <a href="classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d">More...</a><br /></td></tr>
153
- <tr class="separator:ada537f89b6cc8d5d2cb5064e2c5b1b0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
+ <tr class="memitem:a6053b66d1350ef6ea9a0c8095869f606"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a6053b66d1350ef6ea9a0c8095869f606">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;wto)</td></tr>
155
+ <tr class="memdesc:a6053b66d1350ef6ea9a0c8095869f606"><td class="mdescLeft">&#160;</td><td class="mdescRight">Overloading operator &lt;&lt; for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. <a href="classSVF_1_1WTOCycleDepth.html#a6053b66d1350ef6ea9a0c8095869f606">More...</a><br /></td></tr>
156
+ <tr class="separator:a6053b66d1350ef6ea9a0c8095869f606"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
157
  </table>
155
158
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
156
- <div class="textblock"><h3>template&lt;typename NodeRef&gt;<br />
157
- class SVF::WTOCycleDepth&lt; NodeRef &gt;</h3>
159
+ <div class="textblock"><h3>template&lt;typename GraphT&gt;<br />
160
+ class SVF::WTOCycleDepth&lt; GraphT &gt;</h3>
158
161
 
159
- <p>Cycle depth of a WTO Component</p>
162
+ <p>Cycle depth of a <a class="el" href="classSVF_1_1WTO.html">WTO</a> Component</p>
160
163
  <p>The cycle depth is represented as <b>a list of cycle's heads</b>, <b>from the outermost to the innermost</b>.</p>
161
164
  <p>e.g., consider the following nested cycle:</p>
162
165
  <p>--&gt;1 --&gt; 2 --&gt; 3 --&gt; 4 \ / &lt;&ndash; 6 &lt;&ndash; 5 &lt;&ndash; \ / &gt;7&gt;</p>
@@ -174,58 +177,84 @@ The cycle depth is as following:</h2>
174
177
  <h2><a class="anchor" id="autotoc_md5"></a>
175
178
  | 6, 7 | [1, 5] |</h2>
176
179
 
177
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00083">83</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
180
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00100">100</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
178
181
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
179
- <a id="a57a181856416fa5fe6b513c279a6c788"></a>
180
- <h2 class="memtitle"><span class="permalink"><a href="#a57a181856416fa5fe6b513c279a6c788">&#9670;&nbsp;</a></span>Iterator</h2>
182
+ <a id="a375803014eebb65532a843eee6d9a690"></a>
183
+ <h2 class="memtitle"><span class="permalink"><a href="#a375803014eebb65532a843eee6d9a690">&#9670;&nbsp;</a></span>Iterator</h2>
184
+
185
+ <div class="memitem">
186
+ <div class="memproto">
187
+ <div class="memtemplate">
188
+ template&lt;typename GraphT &gt; </div>
189
+ <table class="memname">
190
+ <tr>
191
+ <td class="memname">typedef NodeRefList::const_iterator <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a></td>
192
+ </tr>
193
+ </table>
194
+ </div><div class="memdoc">
195
+
196
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00111">111</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
197
+
198
+ </div>
199
+ </div>
200
+ <a id="af4c6d0f992a1844aa21a6d26be66b34c"></a>
201
+ <h2 class="memtitle"><span class="permalink"><a href="#af4c6d0f992a1844aa21a6d26be66b34c">&#9670;&nbsp;</a></span>NodeRefList</h2>
181
202
 
182
203
  <div class="memitem">
183
204
  <div class="memproto">
184
205
  <div class="memtemplate">
185
- template&lt;typename NodeRef &gt; </div>
206
+ template&lt;typename GraphT &gt; </div>
207
+ <table class="mlabels">
208
+ <tr>
209
+ <td class="mlabels-left">
186
210
  <table class="memname">
187
211
  <tr>
188
- <td class="memname">typedef NodeRefList::const_iterator <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a></td>
212
+ <td class="memname">typedef std::vector&lt;const <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a>*&gt; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">NodeRefList</a></td>
189
213
  </tr>
190
214
  </table>
215
+ </td>
216
+ <td class="mlabels-right">
217
+ <span class="mlabels"><span class="mlabel">private</span></span> </td>
218
+ </tr>
219
+ </table>
191
220
  </div><div class="memdoc">
192
221
 
193
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00087">87</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
222
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00108">108</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
194
223
 
195
224
  </div>
196
225
  </div>
197
- <a id="a39e8c68176dac40715f6b1595bca489b"></a>
198
- <h2 class="memtitle"><span class="permalink"><a href="#a39e8c68176dac40715f6b1595bca489b">&#9670;&nbsp;</a></span>NodeRefList</h2>
226
+ <a id="ac1a815006184b8a54a1390832f929630"></a>
227
+ <h2 class="memtitle"><span class="permalink"><a href="#ac1a815006184b8a54a1390832f929630">&#9670;&nbsp;</a></span>NodeT</h2>
199
228
 
200
229
  <div class="memitem">
201
230
  <div class="memproto">
202
231
  <div class="memtemplate">
203
- template&lt;typename NodeRef &gt; </div>
232
+ template&lt;typename GraphT &gt; </div>
204
233
  <table class="memname">
205
234
  <tr>
206
- <td class="memname">typedef std::vector&lt;NodeRef&gt; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">NodeRefList</a></td>
235
+ <td class="memname">typedef GraphT::NodeType <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a></td>
207
236
  </tr>
208
237
  </table>
209
238
  </div><div class="memdoc">
210
239
 
211
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00086">86</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
240
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00104">104</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
212
241
 
213
242
  </div>
214
243
  </div>
215
244
  <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
216
- <a id="a7f3412aaf5948741e4c5cdbaff728101"></a>
217
- <h2 class="memtitle"><span class="permalink"><a href="#a7f3412aaf5948741e4c5cdbaff728101">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[1/3]</span></h2>
245
+ <a id="a949e2ee782c346339a1ddaa868c8abaf"></a>
246
+ <h2 class="memtitle"><span class="permalink"><a href="#a949e2ee782c346339a1ddaa868c8abaf">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[1/3]</span></h2>
218
247
 
219
248
  <div class="memitem">
220
249
  <div class="memproto">
221
250
  <div class="memtemplate">
222
- template&lt;typename NodeRef &gt; </div>
251
+ template&lt;typename GraphT &gt; </div>
223
252
  <table class="mlabels">
224
253
  <tr>
225
254
  <td class="mlabels-left">
226
255
  <table class="memname">
227
256
  <tr>
228
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
257
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
229
258
  <td>(</td>
230
259
  <td class="paramname"></td><td>)</td>
231
260
  <td></td>
@@ -238,25 +267,25 @@ template&lt;typename NodeRef &gt; </div>
238
267
  </table>
239
268
  </div><div class="memdoc">
240
269
 
241
- <p>Default Constructor. </p>
270
+ <p>Constructor. </p>
242
271
 
243
272
  </div>
244
273
  </div>
245
- <a id="afc723013529bd727de465237b9f247b9"></a>
246
- <h2 class="memtitle"><span class="permalink"><a href="#afc723013529bd727de465237b9f247b9">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[2/3]</span></h2>
274
+ <a id="a764ec49c9f0e5ed2f920c55c63e1c193"></a>
275
+ <h2 class="memtitle"><span class="permalink"><a href="#a764ec49c9f0e5ed2f920c55c63e1c193">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[2/3]</span></h2>
247
276
 
248
277
  <div class="memitem">
249
278
  <div class="memproto">
250
279
  <div class="memtemplate">
251
- template&lt;typename NodeRef &gt; </div>
280
+ template&lt;typename GraphT &gt; </div>
252
281
  <table class="mlabels">
253
282
  <tr>
254
283
  <td class="mlabels-left">
255
284
  <table class="memname">
256
285
  <tr>
257
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
286
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
258
287
  <td>(</td>
259
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
288
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
260
289
  <td class="paramname"></td><td>)</td>
261
290
  <td></td>
262
291
  </tr>
@@ -268,25 +297,25 @@ template&lt;typename NodeRef &gt; </div>
268
297
  </table>
269
298
  </div><div class="memdoc">
270
299
 
271
- <p>Default Copy Constructor. </p>
300
+ <p>Copy constructor. </p>
272
301
 
273
302
  </div>
274
303
  </div>
275
- <a id="ac464d9bc46a36a4e91b8356394c0af82"></a>
276
- <h2 class="memtitle"><span class="permalink"><a href="#ac464d9bc46a36a4e91b8356394c0af82">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[3/3]</span></h2>
304
+ <a id="a515c00e2a0997640874856d4eae419fb"></a>
305
+ <h2 class="memtitle"><span class="permalink"><a href="#a515c00e2a0997640874856d4eae419fb">&#9670;&nbsp;</a></span>WTOCycleDepth() <span class="overload">[3/3]</span></h2>
277
306
 
278
307
  <div class="memitem">
279
308
  <div class="memproto">
280
309
  <div class="memtemplate">
281
- template&lt;typename NodeRef &gt; </div>
310
+ template&lt;typename GraphT &gt; </div>
282
311
  <table class="mlabels">
283
312
  <tr>
284
313
  <td class="mlabels-left">
285
314
  <table class="memname">
286
315
  <tr>
287
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
316
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
288
317
  <td>(</td>
289
- <td class="paramtype"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&amp;&#160;</td>
318
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&amp;&#160;</td>
290
319
  <td class="paramname"></td><td>)</td>
291
320
  <td></td>
292
321
  </tr>
@@ -298,23 +327,23 @@ template&lt;typename NodeRef &gt; </div>
298
327
  </table>
299
328
  </div><div class="memdoc">
300
329
 
301
- <p>Default Move Constructor. </p>
330
+ <p>Move constructor. </p>
302
331
 
303
332
  </div>
304
333
  </div>
305
- <a id="a9d23c459bac6e9f3b64ec0233065ba61"></a>
306
- <h2 class="memtitle"><span class="permalink"><a href="#a9d23c459bac6e9f3b64ec0233065ba61">&#9670;&nbsp;</a></span>~WTOCycleDepth()</h2>
334
+ <a id="a1208cd4c5a880905df4031bf610bd0bb"></a>
335
+ <h2 class="memtitle"><span class="permalink"><a href="#a1208cd4c5a880905df4031bf610bd0bb">&#9670;&nbsp;</a></span>~WTOCycleDepth()</h2>
307
336
 
308
337
  <div class="memitem">
309
338
  <div class="memproto">
310
339
  <div class="memtemplate">
311
- template&lt;typename NodeRef &gt; </div>
340
+ template&lt;typename GraphT &gt; </div>
312
341
  <table class="mlabels">
313
342
  <tr>
314
343
  <td class="mlabels-left">
315
344
  <table class="memname">
316
345
  <tr>
317
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::~<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
346
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::~<a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> </td>
318
347
  <td>(</td>
319
348
  <td class="paramname"></td><td>)</td>
320
349
  <td></td>
@@ -327,27 +356,28 @@ template&lt;typename NodeRef &gt; </div>
327
356
  </table>
328
357
  </div><div class="memdoc">
329
358
 
330
- <p>Default Destructor. </p>
359
+ <p>Destructor. </p>
331
360
 
332
361
  </div>
333
362
  </div>
334
363
  <h2 class="groupheader">Member Function Documentation</h2>
335
- <a id="a2bfdd81b8742322d03c52c811ff742ce"></a>
336
- <h2 class="memtitle"><span class="permalink"><a href="#a2bfdd81b8742322d03c52c811ff742ce">&#9670;&nbsp;</a></span>begin()</h2>
364
+ <a id="a8df436e4ff4cc9df4900c1262cc89b1c"></a>
365
+ <h2 class="memtitle"><span class="permalink"><a href="#a8df436e4ff4cc9df4900c1262cc89b1c">&#9670;&nbsp;</a></span>add()</h2>
337
366
 
338
367
  <div class="memitem">
339
368
  <div class="memproto">
340
369
  <div class="memtemplate">
341
- template&lt;typename NodeRef &gt; </div>
370
+ template&lt;typename GraphT &gt; </div>
342
371
  <table class="mlabels">
343
372
  <tr>
344
373
  <td class="mlabels-left">
345
374
  <table class="memname">
346
375
  <tr>
347
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::begin </td>
376
+ <td class="memname">void <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::add </td>
348
377
  <td>(</td>
349
- <td class="paramname"></td><td>)</td>
350
- <td> const</td>
378
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">NodeT</a> *&#160;</td>
379
+ <td class="paramname"><em>head</em></td><td>)</td>
380
+ <td></td>
351
381
  </tr>
352
382
  </table>
353
383
  </td>
@@ -357,126 +387,129 @@ template&lt;typename NodeRef &gt; </div>
357
387
  </table>
358
388
  </div><div class="memdoc">
359
389
 
360
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00117">117</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
361
- <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; {</div>
362
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">_heads</a>.cbegin();</div>
363
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
390
+ <p>Add a cycle head in the cycleDepth. </p>
391
+
392
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00136">136</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
393
+ <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div>
394
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.push_back(head);</div>
395
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div>
364
396
  </div><!-- fragment -->
365
397
  </div>
366
398
  </div>
367
- <a id="a0874603e54060f9309aea39c7655d28e"></a>
368
- <h2 class="memtitle"><span class="permalink"><a href="#a0874603e54060f9309aea39c7655d28e">&#9670;&nbsp;</a></span>compare()</h2>
399
+ <a id="a05e5c2f26d21fea5197205e23fea7d3a"></a>
400
+ <h2 class="memtitle"><span class="permalink"><a href="#a05e5c2f26d21fea5197205e23fea7d3a">&#9670;&nbsp;</a></span>begin()</h2>
369
401
 
370
402
  <div class="memitem">
371
403
  <div class="memproto">
372
404
  <div class="memtemplate">
373
- template&lt;typename NodeRef &gt; </div>
405
+ template&lt;typename GraphT &gt; </div>
374
406
  <table class="mlabels">
375
407
  <tr>
376
408
  <td class="mlabels-left">
377
409
  <table class="memname">
378
410
  <tr>
379
- <td class="memname">int <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::compare </td>
411
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::begin </td>
380
412
  <td>(</td>
381
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
382
- <td class="paramname"><em>other</em></td><td>)</td>
413
+ <td class="paramname"></td><td>)</td>
383
414
  <td> const</td>
384
415
  </tr>
385
416
  </table>
386
417
  </td>
387
418
  <td class="mlabels-right">
388
- <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">private</span></span> </td>
419
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
389
420
  </tr>
390
421
  </table>
391
422
  </div><div class="memdoc">
392
423
 
393
- <p>Compare the given wto-cycle-depth. </p>
424
+ <p>Begin iterator over the head of cycles. </p>
394
425
 
395
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00148">148</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
396
- <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div>
397
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">this</span> == &amp;other)</div>
398
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
399
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> 0; <span class="comment">// 0 - equals</span></div>
400
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
401
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; </div>
402
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">begin</a>();</div>
403
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keyword">auto</span> other_it = other.begin();</div>
404
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">while</span> (this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">end</a>())</div>
405
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
406
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">if</span> (other_it == other.end())</div>
407
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
408
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> 1; <span class="comment">// `this` is inside `other`</span></div>
409
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
410
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*this_it == *other_it)</div>
411
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div>
412
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; ++this_it;</div>
413
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; ++other_it;</div>
414
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
415
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">else</span></div>
416
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; {</div>
417
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">return</span> 2; <span class="comment">// not comparable</span></div>
418
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
419
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div>
420
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (other_it == other.end())</div>
421
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
422
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">return</span> 0; <span class="comment">// equals</span></div>
423
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
424
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">else</span></div>
425
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div>
426
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> -1; <span class="comment">// `other` is inside `this`</span></div>
427
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
428
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; }</div>
426
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00142">142</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
427
+ <div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
428
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.cbegin();</div>
429
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
429
430
  </div><!-- fragment -->
430
431
  </div>
431
432
  </div>
432
- <a id="a943e6586b5b2c8343437a914ddb1a1b6"></a>
433
- <h2 class="memtitle"><span class="permalink"><a href="#a943e6586b5b2c8343437a914ddb1a1b6">&#9670;&nbsp;</a></span>end()</h2>
433
+ <a id="afff8fb7472fa48b80b6e685b5f85666d"></a>
434
+ <h2 class="memtitle"><span class="permalink"><a href="#afff8fb7472fa48b80b6e685b5f85666d">&#9670;&nbsp;</a></span>compare()</h2>
434
435
 
435
436
  <div class="memitem">
436
437
  <div class="memproto">
437
438
  <div class="memtemplate">
438
- template&lt;typename NodeRef &gt; </div>
439
+ template&lt;typename GraphT &gt; </div>
439
440
  <table class="mlabels">
440
441
  <tr>
441
442
  <td class="mlabels-left">
442
443
  <table class="memname">
443
444
  <tr>
444
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">Iterator</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::end </td>
445
+ <td class="memname">int <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::compare </td>
445
446
  <td>(</td>
446
- <td class="paramname"></td><td>)</td>
447
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
448
+ <td class="paramname"><em>other</em></td><td>)</td>
447
449
  <td> const</td>
448
450
  </tr>
449
451
  </table>
450
452
  </td>
451
453
  <td class="mlabels-right">
452
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
454
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">private</span></span> </td>
453
455
  </tr>
454
456
  </table>
455
457
  </div><div class="memdoc">
456
458
 
457
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00122">122</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
458
- <div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; {</div>
459
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">_heads</a>.cend();</div>
460
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; }</div>
459
+ <p>Compare the given cycle depths. </p>
460
+
461
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00174">174</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
462
+ <div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; {</div>
463
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">this</span> == &amp;other)</div>
464
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
465
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> 0; <span class="comment">// equals</span></div>
466
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
467
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; </div>
468
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>();</div>
469
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keyword">auto</span> other_it = other.begin();</div>
470
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">while</span> (this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>())</div>
471
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
472
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span> (other_it == other.end())</div>
473
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
474
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> 1; <span class="comment">// `this` is nested within `other`</span></div>
475
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
476
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*this_it == *other_it)</div>
477
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
478
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; ++this_it;</div>
479
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; ++other_it;</div>
480
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; }</div>
481
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">else</span></div>
482
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
483
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">return</span> 2; <span class="comment">// not comparable</span></div>
484
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; }</div>
485
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
486
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">if</span> (other_it == other.end())</div>
487
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
488
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> 0; <span class="comment">// equals</span></div>
489
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div>
490
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keywordflow">else</span></div>
491
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
492
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">return</span> -1; <span class="comment">// `other` is nested within `this`</span></div>
493
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; }</div>
494
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; }</div>
461
495
  </div><!-- fragment -->
462
496
  </div>
463
497
  </div>
464
- <a id="ab1c9fade2bcd6db9211ddee376b4f04c"></a>
465
- <h2 class="memtitle"><span class="permalink"><a href="#ab1c9fade2bcd6db9211ddee376b4f04c">&#9670;&nbsp;</a></span>operator&lt;()</h2>
498
+ <a id="a16a1c72a181571a0f131975caa929ade"></a>
499
+ <h2 class="memtitle"><span class="permalink"><a href="#a16a1c72a181571a0f131975caa929ade">&#9670;&nbsp;</a></span>end()</h2>
466
500
 
467
501
  <div class="memitem">
468
502
  <div class="memproto">
469
503
  <div class="memtemplate">
470
- template&lt;typename NodeRef &gt; </div>
504
+ template&lt;typename GraphT &gt; </div>
471
505
  <table class="mlabels">
472
506
  <tr>
473
507
  <td class="mlabels-left">
474
508
  <table class="memname">
475
509
  <tr>
476
- <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator&lt; </td>
510
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">Iterator</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::end </td>
477
511
  <td>(</td>
478
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
479
- <td class="paramname"><em>other</em></td><td>)</td>
512
+ <td class="paramname"></td><td>)</td>
480
513
  <td> const</td>
481
514
  </tr>
482
515
  </table>
@@ -487,30 +520,30 @@ template&lt;typename NodeRef &gt; </div>
487
520
  </table>
488
521
  </div><div class="memdoc">
489
522
 
490
- <p>Less than other's depth - <code>other</code> is inside <code>this</code> </p>
523
+ <p>End iterator over the head of cycles. </p>
491
524
 
492
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00208">208</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
493
- <div class="fragment"><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; {</div>
494
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">compare</a>(other) == -1;</div>
495
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
525
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00148">148</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
526
+ <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div>
527
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">_heads</a>.cend();</div>
528
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
496
529
  </div><!-- fragment -->
497
530
  </div>
498
531
  </div>
499
- <a id="af70d7a393f898a72153da55d87b3d739"></a>
500
- <h2 class="memtitle"><span class="permalink"><a href="#af70d7a393f898a72153da55d87b3d739">&#9670;&nbsp;</a></span>operator&lt;=()</h2>
532
+ <a id="a44cce3ef52a02cfe8d650e9ce079c210"></a>
533
+ <h2 class="memtitle"><span class="permalink"><a href="#a44cce3ef52a02cfe8d650e9ce079c210">&#9670;&nbsp;</a></span>operator&lt;()</h2>
501
534
 
502
535
  <div class="memitem">
503
536
  <div class="memproto">
504
537
  <div class="memtemplate">
505
- template&lt;typename NodeRef &gt; </div>
538
+ template&lt;typename GraphT &gt; </div>
506
539
  <table class="mlabels">
507
540
  <tr>
508
541
  <td class="mlabels-left">
509
542
  <table class="memname">
510
543
  <tr>
511
- <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator&lt;= </td>
544
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator&lt; </td>
512
545
  <td>(</td>
513
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
546
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
514
547
  <td class="paramname"><em>other</em></td><td>)</td>
515
548
  <td> const</td>
516
549
  </tr>
@@ -522,60 +555,61 @@ template&lt;typename NodeRef &gt; </div>
522
555
  </table>
523
556
  </div><div class="memdoc">
524
557
 
525
- <p>Less than or Equal with other's depth. </p>
526
-
527
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00214">214</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
528
- <div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; {</div>
529
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">compare</a>(other) &lt;= 0;</div>
530
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; }</div>
558
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00210">210</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
559
+ <div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
560
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == -1;</div>
561
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
531
562
  </div><!-- fragment -->
532
563
  </div>
533
564
  </div>
534
- <a id="a5ab108a0e1be3f33a3c1ffa2beaedf0e"></a>
535
- <h2 class="memtitle"><span class="permalink"><a href="#a5ab108a0e1be3f33a3c1ffa2beaedf0e">&#9670;&nbsp;</a></span>operator=() <span class="overload">[1/2]</span></h2>
565
+ <a id="a2e3c5007c3348083b51b0a4fa3e843b9"></a>
566
+ <h2 class="memtitle"><span class="permalink"><a href="#a2e3c5007c3348083b51b0a4fa3e843b9">&#9670;&nbsp;</a></span>operator&lt;=()</h2>
536
567
 
537
568
  <div class="memitem">
538
569
  <div class="memproto">
539
570
  <div class="memtemplate">
540
- template&lt;typename NodeRef &gt; </div>
571
+ template&lt;typename GraphT &gt; </div>
541
572
  <table class="mlabels">
542
573
  <tr>
543
574
  <td class="mlabels-left">
544
575
  <table class="memname">
545
576
  <tr>
546
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&amp; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator= </td>
577
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator&lt;= </td>
547
578
  <td>(</td>
548
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
549
- <td class="paramname"></td><td>)</td>
550
- <td></td>
579
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
580
+ <td class="paramname"><em>other</em></td><td>)</td>
581
+ <td> const</td>
551
582
  </tr>
552
583
  </table>
553
584
  </td>
554
585
  <td class="mlabels-right">
555
- <span class="mlabels"><span class="mlabel">default</span></span> </td>
586
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
556
587
  </tr>
557
588
  </table>
558
589
  </div><div class="memdoc">
559
590
 
560
- <p>Default Copy Operator=. </p>
561
-
591
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00215">215</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
592
+ <div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; {</div>
593
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) &lt;= 0;</div>
594
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div>
595
+ </div><!-- fragment -->
562
596
  </div>
563
597
  </div>
564
- <a id="a895cca11912ac93899ce85566382ba47"></a>
565
- <h2 class="memtitle"><span class="permalink"><a href="#a895cca11912ac93899ce85566382ba47">&#9670;&nbsp;</a></span>operator=() <span class="overload">[2/2]</span></h2>
598
+ <a id="aeca7ef6c7cca3533d72fc8d6a5d9337c"></a>
599
+ <h2 class="memtitle"><span class="permalink"><a href="#aeca7ef6c7cca3533d72fc8d6a5d9337c">&#9670;&nbsp;</a></span>operator=() <span class="overload">[1/2]</span></h2>
566
600
 
567
601
  <div class="memitem">
568
602
  <div class="memproto">
569
603
  <div class="memtemplate">
570
- template&lt;typename NodeRef &gt; </div>
604
+ template&lt;typename GraphT &gt; </div>
571
605
  <table class="mlabels">
572
606
  <tr>
573
607
  <td class="mlabels-left">
574
608
  <table class="memname">
575
609
  <tr>
576
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&amp; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator= </td>
610
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&amp; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator= </td>
577
611
  <td>(</td>
578
- <td class="paramtype"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&amp;&#160;</td>
612
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
579
613
  <td class="paramname"></td><td>)</td>
580
614
  <td></td>
581
615
  </tr>
@@ -587,60 +621,55 @@ template&lt;typename NodeRef &gt; </div>
587
621
  </table>
588
622
  </div><div class="memdoc">
589
623
 
590
- <p>Default Move Operator=. </p>
624
+ <p>Copy assignment operator. </p>
591
625
 
592
626
  </div>
593
627
  </div>
594
- <a id="ae9765d0ba0c8b8ec83d9482fea016713"></a>
595
- <h2 class="memtitle"><span class="permalink"><a href="#ae9765d0ba0c8b8ec83d9482fea016713">&#9670;&nbsp;</a></span>operator==()</h2>
628
+ <a id="a64c710130484bb29c252cf112a51d592"></a>
629
+ <h2 class="memtitle"><span class="permalink"><a href="#a64c710130484bb29c252cf112a51d592">&#9670;&nbsp;</a></span>operator=() <span class="overload">[2/2]</span></h2>
596
630
 
597
631
  <div class="memitem">
598
632
  <div class="memproto">
599
633
  <div class="memtemplate">
600
- template&lt;typename NodeRef &gt; </div>
634
+ template&lt;typename GraphT &gt; </div>
601
635
  <table class="mlabels">
602
636
  <tr>
603
637
  <td class="mlabels-left">
604
638
  <table class="memname">
605
639
  <tr>
606
- <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator== </td>
640
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&amp; <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator= </td>
607
641
  <td>(</td>
608
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
609
- <td class="paramname"><em>other</em></td><td>)</td>
610
- <td> const</td>
642
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&amp;&#160;</td>
643
+ <td class="paramname"></td><td>)</td>
644
+ <td></td>
611
645
  </tr>
612
646
  </table>
613
647
  </td>
614
648
  <td class="mlabels-right">
615
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
649
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
616
650
  </tr>
617
651
  </table>
618
652
  </div><div class="memdoc">
619
653
 
620
- <p>Equal with other's depth. </p>
654
+ <p>Move assignment operator. </p>
621
655
 
622
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00220">220</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
623
- <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
624
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">compare</a>(other) == 0;</div>
625
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
626
- </div><!-- fragment -->
627
656
  </div>
628
657
  </div>
629
- <a id="ae12f0780c76dce5bd24b9fb3f3e0815e"></a>
630
- <h2 class="memtitle"><span class="permalink"><a href="#ae12f0780c76dce5bd24b9fb3f3e0815e">&#9670;&nbsp;</a></span>operator&gt;()</h2>
658
+ <a id="a4779ba4cfc8a0ae23d27ef9d2f3987d0"></a>
659
+ <h2 class="memtitle"><span class="permalink"><a href="#a4779ba4cfc8a0ae23d27ef9d2f3987d0">&#9670;&nbsp;</a></span>operator==()</h2>
631
660
 
632
661
  <div class="memitem">
633
662
  <div class="memproto">
634
663
  <div class="memtemplate">
635
- template&lt;typename NodeRef &gt; </div>
664
+ template&lt;typename GraphT &gt; </div>
636
665
  <table class="mlabels">
637
666
  <tr>
638
667
  <td class="mlabels-left">
639
668
  <table class="memname">
640
669
  <tr>
641
- <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator&gt; </td>
670
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator== </td>
642
671
  <td>(</td>
643
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
672
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
644
673
  <td class="paramname"><em>other</em></td><td>)</td>
645
674
  <td> const</td>
646
675
  </tr>
@@ -652,30 +681,28 @@ template&lt;typename NodeRef &gt; </div>
652
681
  </table>
653
682
  </div><div class="memdoc">
654
683
 
655
- <p>Greater than other's depth - <code>this</code> is inside <code>other</code> </p>
656
-
657
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00226">226</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
658
- <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
659
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a0874603e54060f9309aea39c7655d28e">compare</a>(other) == 1;</div>
660
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
684
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00220">220</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
685
+ <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
686
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == 0;</div>
687
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
661
688
  </div><!-- fragment -->
662
689
  </div>
663
690
  </div>
664
- <a id="ad64c8a219008ad37f9b9aa2904502292"></a>
665
- <h2 class="memtitle"><span class="permalink"><a href="#ad64c8a219008ad37f9b9aa2904502292">&#9670;&nbsp;</a></span>operator&gt;=()</h2>
691
+ <a id="a8ca19a3f2f7e79c20c4a4f98897470c7"></a>
692
+ <h2 class="memtitle"><span class="permalink"><a href="#a8ca19a3f2f7e79c20c4a4f98897470c7">&#9670;&nbsp;</a></span>operator&gt;()</h2>
666
693
 
667
694
  <div class="memitem">
668
695
  <div class="memproto">
669
696
  <div class="memtemplate">
670
- template&lt;typename NodeRef &gt; </div>
697
+ template&lt;typename GraphT &gt; </div>
671
698
  <table class="mlabels">
672
699
  <tr>
673
700
  <td class="mlabels-left">
674
701
  <table class="memname">
675
702
  <tr>
676
- <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator&gt;= </td>
703
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator&gt; </td>
677
704
  <td>(</td>
678
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
705
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
679
706
  <td class="paramname"><em>other</em></td><td>)</td>
680
707
  <td> const</td>
681
708
  </tr>
@@ -687,30 +714,28 @@ template&lt;typename NodeRef &gt; </div>
687
714
  </table>
688
715
  </div><div class="memdoc">
689
716
 
690
- <p>Greater than or Equal with other's depth. </p>
691
-
692
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00232">232</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
693
- <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div>
694
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">operator&lt;=</a>(other);</div>
695
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
717
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00230">230</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
718
+ <div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div>
719
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">compare</a>(other) == 1;</div>
720
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; }</div>
696
721
  </div><!-- fragment -->
697
722
  </div>
698
723
  </div>
699
- <a id="a8790ebb6a4a34558af2c5843a5fa55bb"></a>
700
- <h2 class="memtitle"><span class="permalink"><a href="#a8790ebb6a4a34558af2c5843a5fa55bb">&#9670;&nbsp;</a></span>operator^()</h2>
724
+ <a id="a0aa519ff93cdab15f9324c6b05df8e47"></a>
725
+ <h2 class="memtitle"><span class="permalink"><a href="#a0aa519ff93cdab15f9324c6b05df8e47">&#9670;&nbsp;</a></span>operator&gt;=()</h2>
701
726
 
702
727
  <div class="memitem">
703
728
  <div class="memproto">
704
729
  <div class="memtemplate">
705
- template&lt;typename NodeRef &gt; </div>
730
+ template&lt;typename GraphT &gt; </div>
706
731
  <table class="mlabels">
707
732
  <tr>
708
733
  <td class="mlabels-left">
709
734
  <table class="memname">
710
735
  <tr>
711
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::operator^ </td>
736
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator&gt;= </td>
712
737
  <td>(</td>
713
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
738
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
714
739
  <td class="paramname"><em>other</em></td><td>)</td>
715
740
  <td> const</td>
716
741
  </tr>
@@ -722,47 +747,30 @@ template&lt;typename NodeRef &gt; </div>
722
747
  </table>
723
748
  </div><div class="memdoc">
724
749
 
725
- <p>Overloading operators. </p>
726
- <p>Return the common prefix of the given wto-cycle-depth </p>
727
-
728
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00188">188</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
729
- <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
730
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <a class="code" href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">WTOCycleDepth</a> res;</div>
731
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">begin</a>(), other_it = other.begin();</div>
732
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">end</a>() &amp;&amp; other_it != other.end();</div>
733
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; ++this_it, ++other_it)</div>
734
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
735
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">if</span> (*this_it == *other_it)</div>
736
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
737
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; res.push_back(*this_it);</div>
738
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
739
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">else</span></div>
740
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div>
741
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">break</span>;</div>
742
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div>
743
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; }</div>
744
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordflow">return</span> res;</div>
745
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; }</div>
750
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00225">225</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
751
+ <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div>
752
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">operator&lt;=</a>(other, *<span class="keyword">this</span>);</div>
753
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; }</div>
746
754
  </div><!-- fragment -->
747
755
  </div>
748
756
  </div>
749
- <a id="a44e36899d26981ff69557501ff8ff2ca"></a>
750
- <h2 class="memtitle"><span class="permalink"><a href="#a44e36899d26981ff69557501ff8ff2ca">&#9670;&nbsp;</a></span>push_back()</h2>
757
+ <a id="ad4171d23b56c5402687bac3febb4b233"></a>
758
+ <h2 class="memtitle"><span class="permalink"><a href="#ad4171d23b56c5402687bac3febb4b233">&#9670;&nbsp;</a></span>operator^()</h2>
751
759
 
752
760
  <div class="memitem">
753
761
  <div class="memproto">
754
762
  <div class="memtemplate">
755
- template&lt;typename NodeRef &gt; </div>
763
+ template&lt;typename GraphT &gt; </div>
756
764
  <table class="mlabels">
757
765
  <tr>
758
766
  <td class="mlabels-left">
759
767
  <table class="memname">
760
768
  <tr>
761
- <td class="memname">void <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::push_back </td>
769
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::operator^ </td>
762
770
  <td>(</td>
763
- <td class="paramtype">NodeRef&#160;</td>
764
- <td class="paramname"><em>head</em></td><td>)</td>
765
- <td></td>
771
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
772
+ <td class="paramname"><em>other</em></td><td>)</td>
773
+ <td> const</td>
766
774
  </tr>
767
775
  </table>
768
776
  </td>
@@ -772,28 +780,41 @@ template&lt;typename NodeRef &gt; </div>
772
780
  </table>
773
781
  </div><div class="memdoc">
774
782
 
775
- <p>Add a cycle head to the end of the head list. </p>
776
-
777
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00112">112</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
778
- <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div>
779
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <a class="code" href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">_heads</a>.push_back(head);</div>
780
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
783
+ <p>Return the common prefix of the given cycle depths. </p>
784
+
785
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00154">154</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
786
+ <div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; {</div>
787
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <a class="code" href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">WTOCycleDepth</a> res;</div>
788
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> this_it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>(), other_it = other.begin();</div>
789
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; this_it != <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>() &amp;&amp; other_it != other.end(); ++this_it, ++other_it)</div>
790
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
791
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">if</span> (*this_it == *other_it)</div>
792
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div>
793
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; res.add(*this_it);</div>
794
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
795
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">else</span></div>
796
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div>
797
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">break</span>;</div>
798
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
799
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
800
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">return</span> res;</div>
801
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div>
781
802
  </div><!-- fragment -->
782
803
  </div>
783
804
  </div>
784
- <a id="a94c9c81ebe4df428c163f999284b6d98"></a>
785
- <h2 class="memtitle"><span class="permalink"><a href="#a94c9c81ebe4df428c163f999284b6d98">&#9670;&nbsp;</a></span>toString()</h2>
805
+ <a id="a275559cdb0fea5d06b1516c4c49da0ae"></a>
806
+ <h2 class="memtitle"><span class="permalink"><a href="#a275559cdb0fea5d06b1516c4c49da0ae">&#9670;&nbsp;</a></span>toString()</h2>
786
807
 
787
808
  <div class="memitem">
788
809
  <div class="memproto">
789
810
  <div class="memtemplate">
790
- template&lt;typename NodeRef &gt; </div>
811
+ template&lt;typename GraphT &gt; </div>
791
812
  <table class="mlabels">
792
813
  <tr>
793
814
  <td class="mlabels-left">
794
815
  <table class="memname">
795
816
  <tr>
796
- <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::toString </td>
817
+ <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::toString </td>
797
818
  <td>(</td>
798
819
  <td class="paramname"></td><td>)</td>
799
820
  <td> const</td>
@@ -806,36 +827,36 @@ template&lt;typename NodeRef &gt; </div>
806
827
  </table>
807
828
  </div><div class="memdoc">
808
829
 
809
- <p>Convert the wto-cycle-depth to a string. </p>
810
-
811
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00128">128</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
812
- <div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div>
813
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
814
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; std::stringstream rawstr(str);</div>
815
- <div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
816
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a2bfdd81b8742322d03c52c811ff742ce">begin</a>(), et = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">end</a>(); it != et;)</div>
817
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
818
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; rawstr &lt;&lt; (*it)-&gt;getName().data();</div>
819
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; ++it;</div>
820
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">if</span> (it != et)</div>
821
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div>
822
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
823
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
824
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
825
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
826
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
827
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
830
+ <p>Dump the cycleDepth, for debugging purpose. </p>
831
+
832
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00236">236</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
833
+ <div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; {</div>
834
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
835
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; std::stringstream rawstr(str);</div>
836
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
837
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">begin</a>(), et = <a class="code" href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">end</a>(); it != et;)</div>
838
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; {</div>
839
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; rawstr &lt;&lt; (*it)-&gt;toString();</div>
840
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; ++it;</div>
841
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">if</span> (it != et)</div>
842
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div>
843
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
844
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; }</div>
845
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; }</div>
846
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
847
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
848
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; }</div>
828
849
  </div><!-- fragment -->
829
850
  </div>
830
851
  </div>
831
852
  <h2 class="groupheader">Friends And Related Function Documentation</h2>
832
- <a id="ada537f89b6cc8d5d2cb5064e2c5b1b0d"></a>
833
- <h2 class="memtitle"><span class="permalink"><a href="#ada537f89b6cc8d5d2cb5064e2c5b1b0d">&#9670;&nbsp;</a></span>operator&lt;&lt;</h2>
853
+ <a id="a6053b66d1350ef6ea9a0c8095869f606"></a>
854
+ <h2 class="memtitle"><span class="permalink"><a href="#a6053b66d1350ef6ea9a0c8095869f606">&#9670;&nbsp;</a></span>operator&lt;&lt;</h2>
834
855
 
835
856
  <div class="memitem">
836
857
  <div class="memproto">
837
858
  <div class="memtemplate">
838
- template&lt;typename NodeRef &gt; </div>
859
+ template&lt;typename GraphT &gt; </div>
839
860
  <table class="mlabels">
840
861
  <tr>
841
862
  <td class="mlabels-left">
@@ -849,8 +870,8 @@ template&lt;typename NodeRef &gt; </div>
849
870
  <tr>
850
871
  <td class="paramkey"></td>
851
872
  <td></td>
852
- <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; NodeRef &gt; &amp;&#160;</td>
853
- <td class="paramname"><em>CFBasicBlockGWTO</em>&#160;</td>
873
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt; &amp;&#160;</td>
874
+ <td class="paramname"><em>wto</em>&#160;</td>
854
875
  </tr>
855
876
  <tr>
856
877
  <td></td>
@@ -865,30 +886,30 @@ template&lt;typename NodeRef &gt; </div>
865
886
  </table>
866
887
  </div><div class="memdoc">
867
888
 
868
- <p>Dump into CMD. </p>
889
+ <p>Overloading operator &lt;&lt; for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
869
890
 
870
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00238">238</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
871
- <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
872
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; o &lt;&lt; CFBasicBlockGWTO.toString();</div>
873
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="keywordflow">return</span> o;</div>
874
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; }</div>
891
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00256">256</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
892
+ <div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; {</div>
893
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; o &lt;&lt; wto.toString();</div>
894
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">return</span> o;</div>
895
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; }</div>
875
896
  </div><!-- fragment -->
876
897
  </div>
877
898
  </div>
878
899
  <h2 class="groupheader">Member Data Documentation</h2>
879
- <a id="acbe5ed1e3ea411cc87c2fafa16f4c38f"></a>
880
- <h2 class="memtitle"><span class="permalink"><a href="#acbe5ed1e3ea411cc87c2fafa16f4c38f">&#9670;&nbsp;</a></span>_heads</h2>
900
+ <a id="a6d7bd6b0da1527da8c85aab87462fba8"></a>
901
+ <h2 class="memtitle"><span class="permalink"><a href="#a6d7bd6b0da1527da8c85aab87462fba8">&#9670;&nbsp;</a></span>_heads</h2>
881
902
 
882
903
  <div class="memitem">
883
904
  <div class="memproto">
884
905
  <div class="memtemplate">
885
- template&lt;typename NodeRef &gt; </div>
906
+ template&lt;typename GraphT &gt; </div>
886
907
  <table class="mlabels">
887
908
  <tr>
888
909
  <td class="mlabels-left">
889
910
  <table class="memname">
890
911
  <tr>
891
- <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">NodeRefList</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; NodeRef &gt;::_heads</td>
912
+ <td class="memname"><a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">NodeRefList</a> <a class="el" href="classSVF_1_1WTOCycleDepth.html">SVF::WTOCycleDepth</a>&lt; GraphT &gt;::_heads</td>
892
913
  </tr>
893
914
  </table>
894
915
  </td>
@@ -898,21 +919,21 @@ template&lt;typename NodeRef &gt; </div>
898
919
  </table>
899
920
  </div><div class="memdoc">
900
921
 
901
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00090">90</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
922
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00114">114</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
902
923
 
903
924
  </div>
904
925
  </div>
905
926
  <hr/>The documentation for this class was generated from the following file:<ul>
906
- <li>/home/runner/work/SVF/SVF/svf/include/AbstractExecution/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
927
+ <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
907
928
  </ul>
908
929
  </div><!-- contents -->
909
- <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>
910
- <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>
911
- <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a7f3412aaf5948741e4c5cdbaff728101"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">SVF::WTOCycleDepth::WTOCycleDepth</a></div><div class="ttdeci">WTOCycleDepth()=default</div><div class="ttdoc">Default Constructor.</div></div>
930
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a2e3c5007c3348083b51b0a4fa3e843b9"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth::operator&lt;=</a></div><div class="ttdeci">bool operator&lt;=(const WTOCycleDepth &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00215">WTO.h:215</a></div></div>
931
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a16a1c72a181571a0f131975caa929ade"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a16a1c72a181571a0f131975caa929ade">SVF::WTOCycleDepth::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00148">WTO.h:148</a></div></div>
932
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a05e5c2f26d21fea5197205e23fea7d3a"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a05e5c2f26d21fea5197205e23fea7d3a">SVF::WTOCycleDepth::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the head of cycles.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00142">WTO.h:142</a></div></div>
933
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a949e2ee782c346339a1ddaa868c8abaf"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a949e2ee782c346339a1ddaa868c8abaf">SVF::WTOCycleDepth::WTOCycleDepth</a></div><div class="ttdeci">WTOCycleDepth()=default</div><div class="ttdoc">Constructor.</div></div>
912
934
  <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>
913
- <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>
914
- <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_acbe5ed1e3ea411cc87c2fafa16f4c38f"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#acbe5ed1e3ea411cc87c2fafa16f4c38f">SVF::WTOCycleDepth::_heads</a></div><div class="ttdeci">NodeRefList _heads</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00090">WTO.h:90</a></div></div>
915
- <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a943e6586b5b2c8343437a914ddb1a1b6"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a943e6586b5b2c8343437a914ddb1a1b6">SVF::WTOCycleDepth::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00122">WTO.h:122</a></div></div>
935
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_afff8fb7472fa48b80b6e685b5f85666d"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#afff8fb7472fa48b80b6e685b5f85666d">SVF::WTOCycleDepth::compare</a></div><div class="ttdeci">int compare(const WTOCycleDepth &amp;other) const</div><div class="ttdoc">Compare the given cycle depths.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00174">WTO.h:174</a></div></div>
936
+ <div class="ttc" id="aclassSVF_1_1WTOCycleDepth_html_a6d7bd6b0da1527da8c85aab87462fba8"><div class="ttname"><a href="classSVF_1_1WTOCycleDepth.html#a6d7bd6b0da1527da8c85aab87462fba8">SVF::WTOCycleDepth::_heads</a></div><div class="ttdeci">NodeRefList _heads</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00114">WTO.h:114</a></div></div>
916
937
  <!-- start footer part -->
917
938
  <hr class="footer"/><address class="footer"><small>
918
939
  Generated by &#160;<a href="http://www.doxygen.org/index.html">