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_1WTO.html ADDED
@@ -0,0 +1,1998 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::WTO&lt; GraphT &gt; Class Template Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1WTO.html">WTO</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#nested-classes">Classes</a> &#124;
70
+ <a href="#pub-types">Public Types</a> &#124;
71
+ <a href="#pub-methods">Public Member Functions</a> &#124;
72
+ <a href="#pro-types">Protected Types</a> &#124;
73
+ <a href="#pro-methods">Protected Member Functions</a> &#124;
74
+ <a href="#pro-attribs">Protected Attributes</a> &#124;
75
+ <a href="#friends">Friends</a> &#124;
76
+ <a href="classSVF_1_1WTO-members.html">List of all members</a> </div>
77
+ <div class="headertitle">
78
+ <div class="title">SVF::WTO&lt; GraphT &gt; Class Template Reference</div> </div>
79
+ </div><!--header-->
80
+ <div class="contents">
81
+
82
+ <p><code>#include &lt;<a class="el" href="WTO_8h_source.html">WTO.h</a>&gt;</code></p>
83
+ <table class="memberdecls">
84
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
85
+ Classes</h2></td></tr>
86
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html">WTOCycleDepthBuilder</a></td></tr>
87
+ <tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Visitor to build the cycle depths of each node. <a href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#details">More...</a><br /></td></tr>
88
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
89
+ </table><table class="memberdecls">
90
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
91
+ Public Types</h2></td></tr>
92
+ <tr class="memitem:a78e43eb435fb7f5ee47670f10c6e67f2"><td class="memItemLeft" align="right" valign="top">typedef GraphT::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a></td></tr>
93
+ <tr class="separator:a78e43eb435fb7f5ee47670f10c6e67f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
94
+ <tr class="memitem:a620d528ac72c17913b462acedb8e88c3"><td class="memItemLeft" align="right" valign="top">typedef GraphT::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3">EdgeT</a></td></tr>
95
+ <tr class="separator:a620d528ac72c17913b462acedb8e88c3"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:ae2cde12ccd4206b7ace44bc2146c792e"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; GraphT &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a></td></tr>
97
+ <tr class="separator:ae2cde12ccd4206b7ace44bc2146c792e"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="memitem:a43bd515dd7ea9ae1f56b79d29cfdc00c"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOComponent.html">WTOComponent</a>&lt; GraphT &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a></td></tr>
99
+ <tr class="separator:a43bd515dd7ea9ae1f56b79d29cfdc00c"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:a96f37d843d4bd7c2b30cfc5bc59cf90d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTONode.html">WTONode</a>&lt; GraphT &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a></td></tr>
101
+ <tr class="separator:a96f37d843d4bd7c2b30cfc5bc59cf90d"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
+ <tr class="memitem:a71a0d4afca77f59db4829c7b39419429"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycle.html">WTOCycle</a>&lt; GraphT &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a></td></tr>
103
+ <tr class="separator:a71a0d4afca77f59db4829c7b39419429"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
+ <tr class="memitem:a7be430782b325bbb92d9fd014e9c68c0"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a></td></tr>
105
+ <tr class="separator:a7be430782b325bbb92d9fd014e9c68c0"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
+ <tr class="memitem:a49ea9544fc55c3de1b3aebde1ba69470"><td class="memItemLeft" align="right" valign="top">typedef WTOComponentRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a></td></tr>
107
+ <tr class="memdesc:a49ea9544fc55c3de1b3aebde1ba69470"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterator over the components. <a href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">More...</a><br /></td></tr>
108
+ <tr class="separator:a49ea9544fc55c3de1b3aebde1ba69470"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
+ </table><table class="memberdecls">
110
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
111
+ Public Member Functions</h2></td></tr>
112
+ <tr class="memitem:a7757a14d821963ad5ee03da0b542f8fb"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">WTO</a> (GraphT *graph, const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *entry)</td></tr>
113
+ <tr class="memdesc:a7757a14d821963ad5ee03da0b542f8fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute the weak topological order of the given graph. <a href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">More...</a><br /></td></tr>
114
+ <tr class="separator:a7757a14d821963ad5ee03da0b542f8fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
+ <tr class="memitem:a8455eb5252fb82df098af03ebca76044"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">WTO</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
116
+ <tr class="memdesc:a8455eb5252fb82df098af03ebca76044"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy constructor. <a href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">More...</a><br /></td></tr>
117
+ <tr class="separator:a8455eb5252fb82df098af03ebca76044"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
+ <tr class="memitem:a0a8be6a1d8bd92d38eec429f68ce0414"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">WTO</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
119
+ <tr class="memdesc:a0a8be6a1d8bd92d38eec429f68ce0414"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move constructor. <a href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">More...</a><br /></td></tr>
120
+ <tr class="separator:a0a8be6a1d8bd92d38eec429f68ce0414"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
+ <tr class="memitem:acbaef3d6d8053a3b7ab2fa6e7fefacb1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">operator=</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
122
+ <tr class="memdesc:acbaef3d6d8053a3b7ab2fa6e7fefacb1"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy assignment operator. <a href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">More...</a><br /></td></tr>
123
+ <tr class="separator:acbaef3d6d8053a3b7ab2fa6e7fefacb1"><td class="memSeparator" colspan="2">&#160;</td></tr>
124
+ <tr class="memitem:ad37e15c788927e0e2b4759f527b0476b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">operator=</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
125
+ <tr class="memdesc:ad37e15c788927e0e2b4759f527b0476b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move assignment operator. <a href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">More...</a><br /></td></tr>
126
+ <tr class="separator:ad37e15c788927e0e2b4759f527b0476b"><td class="memSeparator" colspan="2">&#160;</td></tr>
127
+ <tr class="memitem:a78828eb753f5a27848256d383cf57b5e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">~WTO</a> ()</td></tr>
128
+ <tr class="memdesc:a78828eb753f5a27848256d383cf57b5e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor. <a href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">More...</a><br /></td></tr>
129
+ <tr class="separator:a78828eb753f5a27848256d383cf57b5e"><td class="memSeparator" colspan="2">&#160;</td></tr>
130
+ <tr class="memitem:a13e9082913aa4a14065687ccdd47642d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a> () const</td></tr>
131
+ <tr class="separator:a13e9082913aa4a14065687ccdd47642d"><td class="memSeparator" colspan="2">&#160;</td></tr>
132
+ <tr class="memitem:a22b67a51964cb1d7882aab7e74b026f2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a> () const</td></tr>
133
+ <tr class="memdesc:a22b67a51964cb1d7882aab7e74b026f2"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components. <a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">More...</a><br /></td></tr>
134
+ <tr class="separator:a22b67a51964cb1d7882aab7e74b026f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
135
+ <tr class="memitem:a605c2cb15b3c3ff2581d5f2d0a4719a7"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">isHead</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node) const</td></tr>
136
+ <tr class="separator:a605c2cb15b3c3ff2581d5f2d0a4719a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
137
+ <tr class="memitem:a62a6ee6d3894861a0fb74309d2951e16"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16">headBegin</a> () const</td></tr>
138
+ <tr class="separator:a62a6ee6d3894861a0fb74309d2951e16"><td class="memSeparator" colspan="2">&#160;</td></tr>
139
+ <tr class="memitem:ace35f97608d342cae7cda7936816f624"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">headEnd</a> () const</td></tr>
140
+ <tr class="memdesc:ace35f97608d342cae7cda7936816f624"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components. <a href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">More...</a><br /></td></tr>
141
+ <tr class="separator:ace35f97608d342cae7cda7936816f624"><td class="memSeparator" colspan="2">&#160;</td></tr>
142
+ <tr class="memitem:aa50fbcbff0e3aa30bce2ba1b810e8ca8"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">cycleDepth</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
143
+ <tr class="memdesc:aa50fbcbff0e3aa30bce2ba1b810e8ca8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node. <a href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">More...</a><br /></td></tr>
144
+ <tr class="separator:aa50fbcbff0e3aa30bce2ba1b810e8ca8"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
+ <tr class="memitem:a1e331c472a19616ccef9f8230a8724fb"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">in_cycleDepth_table</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
146
+ <tr class="memdesc:a1e331c472a19616ccef9f8230a8724fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node. <a href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">More...</a><br /></td></tr>
147
+ <tr class="separator:a1e331c472a19616ccef9f8230a8724fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
148
+ <tr class="memitem:af2ac6543be66a6ca5911f49f16c341c4"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">accept</a> (<a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; GraphT &gt; &amp;v)</td></tr>
149
+ <tr class="memdesc:af2ac6543be66a6ca5911f49f16c341c4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accept the given visitor. <a href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">More...</a><br /></td></tr>
150
+ <tr class="separator:af2ac6543be66a6ca5911f49f16c341c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
151
+ <tr class="memitem:a2245875350c4a72f826d998f02f5e796"><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_1WTO.html#a2245875350c4a72f826d998f02f5e796">toString</a> () const</td></tr>
152
+ <tr class="memdesc:a2245875350c4a72f826d998f02f5e796"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump the order, for debugging purpose. <a href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">More...</a><br /></td></tr>
153
+ <tr class="separator:a2245875350c4a72f826d998f02f5e796"><td class="memSeparator" colspan="2">&#160;</td></tr>
154
+ <tr class="memitem:a12d50323eaa2d40925699232beb37747"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a12d50323eaa2d40925699232beb37747">init</a> ()</td></tr>
155
+ <tr class="separator:a12d50323eaa2d40925699232beb37747"><td class="memSeparator" colspan="2">&#160;</td></tr>
156
+ </table><table class="memberdecls">
157
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-types"></a>
158
+ Protected Types</h2></td></tr>
159
+ <tr class="memitem:ac1a8ef3c15d484dc4f593b7d737e7de9"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a></td></tr>
160
+ <tr class="separator:ac1a8ef3c15d484dc4f593b7d737e7de9"><td class="memSeparator" colspan="2">&#160;</td></tr>
161
+ <tr class="memitem:a928688b5f1e2111311262ccd936b1ca9"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a></td></tr>
162
+ <tr class="separator:a928688b5f1e2111311262ccd936b1ca9"><td class="memSeparator" colspan="2">&#160;</td></tr>
163
+ <tr class="memitem:a9103af81d0c21787dcc96188ea243d0a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a></td></tr>
164
+ <tr class="separator:a9103af81d0c21787dcc96188ea243d0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
165
+ <tr class="memitem:ae652de9cb9fca45b8cb6c08606d7971a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">NodeRefTONodeRefListMap</a></td></tr>
166
+ <tr class="separator:ae652de9cb9fca45b8cb6c08606d7971a"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
+ <tr class="memitem:a54890e9212acbff3ccd28d674f86e9e7"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a></td></tr>
168
+ <tr class="separator:a54890e9212acbff3ccd28d674f86e9e7"><td class="memSeparator" colspan="2">&#160;</td></tr>
169
+ <tr class="memitem:a93a5b48c93dc4f01f50040e71c5aeada"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a></td></tr>
170
+ <tr class="separator:a93a5b48c93dc4f01f50040e71c5aeada"><td class="memSeparator" colspan="2">&#160;</td></tr>
171
+ <tr class="memitem:ab35eabe45c6b944b26532fbe630cd019"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a></td></tr>
172
+ <tr class="separator:ab35eabe45c6b944b26532fbe630cd019"><td class="memSeparator" colspan="2">&#160;</td></tr>
173
+ <tr class="memitem:a8022c9a6ebc62ed292698f07ab93bafe"><td class="memItemLeft" align="right" valign="top">typedef std::shared_ptr&lt; <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a></td></tr>
174
+ <tr class="separator:a8022c9a6ebc62ed292698f07ab93bafe"><td class="memSeparator" colspan="2">&#160;</td></tr>
175
+ <tr class="memitem:a4d7362b707ea6013811db5ffa80aeb0b"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a></td></tr>
176
+ <tr class="separator:a4d7362b707ea6013811db5ffa80aeb0b"><td class="memSeparator" colspan="2">&#160;</td></tr>
177
+ </table><table class="memberdecls">
178
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
179
+ Protected Member Functions</h2></td></tr>
180
+ <tr class="memitem:a65d2ed9e7306392ce0b82ac018f0cdea"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, std::function&lt; void(const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *)&gt; func) const</td></tr>
181
+ <tr class="separator:a65d2ed9e7306392ce0b82ac018f0cdea"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
+ <tr class="memitem:a92034688db3f67feb6e997d4c03f769f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
183
+ <tr class="memdesc:a92034688db3f67feb6e997d4c03f769f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the depth-first number of the given node. <a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">More...</a><br /></td></tr>
184
+ <tr class="separator:a92034688db3f67feb6e997d4c03f769f"><td class="memSeparator" colspan="2">&#160;</td></tr>
185
+ <tr class="memitem:a7fc78de450f2cb6cbed8aa6856638ad1"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, const <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &amp;dfn)</td></tr>
186
+ <tr class="memdesc:a7fc78de450f2cb6cbed8aa6856638ad1"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the depth-first number of the given node. <a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">More...</a><br /></td></tr>
187
+ <tr class="separator:a7fc78de450f2cb6cbed8aa6856638ad1"><td class="memSeparator" colspan="2">&#160;</td></tr>
188
+ <tr class="memitem:ae6655b82c9137b960eac07631897de82"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a> ()</td></tr>
189
+ <tr class="memdesc:ae6655b82c9137b960eac07631897de82"><td class="mdescLeft">&#160;</td><td class="mdescRight">Pop a node from the stack. <a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">More...</a><br /></td></tr>
190
+ <tr class="separator:ae6655b82c9137b960eac07631897de82"><td class="memSeparator" colspan="2">&#160;</td></tr>
191
+ <tr class="memitem:a9a67c7812a890ee4ff9cd470f947bf86"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">push</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
192
+ <tr class="memdesc:a9a67c7812a890ee4ff9cd470f947bf86"><td class="mdescLeft">&#160;</td><td class="mdescRight">Push a node on the stack. <a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">More...</a><br /></td></tr>
193
+ <tr class="separator:a9a67c7812a890ee4ff9cd470f947bf86"><td class="memSeparator" colspan="2">&#160;</td></tr>
194
+ <tr class="memitem:a2ce51d9a57e8a353aa23d14dce933c9a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">newNode</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
195
+ <tr class="separator:a2ce51d9a57e8a353aa23d14dce933c9a"><td class="memSeparator" colspan="2">&#160;</td></tr>
196
+ <tr class="memitem:aee55e23a1994d4daa29f21a608a1ca69"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">newCycle</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, const <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
197
+ <tr class="separator:aee55e23a1994d4daa29f21a608a1ca69"><td class="memSeparator" colspan="2">&#160;</td></tr>
198
+ <tr class="memitem:a8dc175362f4dbbf158e1fe03745f1ce7"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
199
+ <tr class="memdesc:a8dc175362f4dbbf158e1fe03745f1ce7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create the cycle component for the given node. <a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">More...</a><br /></td></tr>
200
+ <tr class="separator:a8dc175362f4dbbf158e1fe03745f1ce7"><td class="memSeparator" colspan="2">&#160;</td></tr>
201
+ <tr class="memitem:a56259113c30312e5052d0d8c0d4d6b77"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
202
+ <tr class="separator:a56259113c30312e5052d0d8c0d4d6b77"><td class="memSeparator" colspan="2">&#160;</td></tr>
203
+ <tr class="memitem:abf8ab42831098184ce972aa6664fcb8a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">buildNodeToDepth</a> ()</td></tr>
204
+ <tr class="memdesc:abf8ab42831098184ce972aa6664fcb8a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build the node to <a class="el" href="classSVF_1_1WTO.html">WTO</a> cycle depth table. <a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">More...</a><br /></td></tr>
205
+ <tr class="separator:abf8ab42831098184ce972aa6664fcb8a"><td class="memSeparator" colspan="2">&#160;</td></tr>
206
+ </table><table class="memberdecls">
207
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
208
+ Protected Attributes</h2></td></tr>
209
+ <tr class="memitem:a15ecb3d149a88c93318133314d010954"><td class="memItemLeft" align="right" valign="top">const typedef <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a></td></tr>
210
+ <tr class="separator:a15ecb3d149a88c93318133314d010954"><td class="memSeparator" colspan="2">&#160;</td></tr>
211
+ <tr class="memitem:acbc503aa22e6d9bf2f6406fc45ebbab1"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a></td></tr>
212
+ <tr class="separator:acbc503aa22e6d9bf2f6406fc45ebbab1"><td class="memSeparator" colspan="2">&#160;</td></tr>
213
+ <tr class="memitem:a649f1a93b6fd51553f6e144f2fe99542"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a></td></tr>
214
+ <tr class="separator:a649f1a93b6fd51553f6e144f2fe99542"><td class="memSeparator" colspan="2">&#160;</td></tr>
215
+ <tr class="memitem:a5752288fb686b9ef5d6c8edc0cee6348"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a></td></tr>
216
+ <tr class="separator:a5752288fb686b9ef5d6c8edc0cee6348"><td class="memSeparator" colspan="2">&#160;</td></tr>
217
+ <tr class="memitem:ab6eebbf5ab6f6c3ee157e22da10620e9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a></td></tr>
218
+ <tr class="separator:ab6eebbf5ab6f6c3ee157e22da10620e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
219
+ <tr class="memitem:a54d8c25df36b0c44d52369c4294a1ed8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a></td></tr>
220
+ <tr class="separator:a54d8c25df36b0c44d52369c4294a1ed8"><td class="memSeparator" colspan="2">&#160;</td></tr>
221
+ <tr class="memitem:af3e699fe03e5072f057cf162aefe8c12"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a></td></tr>
222
+ <tr class="separator:af3e699fe03e5072f057cf162aefe8c12"><td class="memSeparator" colspan="2">&#160;</td></tr>
223
+ <tr class="memitem:a333df66435d9c4444ff7f729ca9d0050"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a></td></tr>
224
+ <tr class="separator:a333df66435d9c4444ff7f729ca9d0050"><td class="memSeparator" colspan="2">&#160;</td></tr>
225
+ <tr class="memitem:ae8e57cc333199bc8b5aaff0a825eed47"><td class="memItemLeft" align="right" valign="top">GraphT *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a></td></tr>
226
+ <tr class="separator:ae8e57cc333199bc8b5aaff0a825eed47"><td class="memSeparator" colspan="2">&#160;</td></tr>
227
+ <tr class="memitem:a5853e7a33044635877b8f07de05ff047"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a></td></tr>
228
+ <tr class="separator:a5853e7a33044635877b8f07de05ff047"><td class="memSeparator" colspan="2">&#160;</td></tr>
229
+ </table><table class="memberdecls">
230
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
231
+ Friends</h2></td></tr>
232
+ <tr class="memitem:a9342328c10f51f56290b61e06851f30d"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9342328c10f51f56290b61e06851f30d">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;wto)</td></tr>
233
+ <tr class="memdesc:a9342328c10f51f56290b61e06851f30d"><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_1WTO.html#a9342328c10f51f56290b61e06851f30d">More...</a><br /></td></tr>
234
+ <tr class="separator:a9342328c10f51f56290b61e06851f30d"><td class="memSeparator" colspan="2">&#160;</td></tr>
235
+ </table>
236
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
237
+ <div class="textblock"><h3>template&lt;typename GraphT&gt;<br />
238
+ class SVF::WTO&lt; GraphT &gt;</h3>
239
+
240
+ <p>Weak topological order for GraphT </p>
241
+
242
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00043">43</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
243
+ </div><h2 class="groupheader">Member Typedef Documentation</h2>
244
+ <a id="a54890e9212acbff3ccd28d674f86e9e7"></a>
245
+ <h2 class="memtitle"><span class="permalink"><a href="#a54890e9212acbff3ccd28d674f86e9e7">&#9670;&nbsp;</a></span>CycleDepthNumber</h2>
246
+
247
+ <div class="memitem">
248
+ <div class="memproto">
249
+ <div class="memtemplate">
250
+ template&lt;typename GraphT &gt; </div>
251
+ <table class="mlabels">
252
+ <tr>
253
+ <td class="mlabels-left">
254
+ <table class="memname">
255
+ <tr>
256
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a></td>
257
+ </tr>
258
+ </table>
259
+ </td>
260
+ <td class="mlabels-right">
261
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
262
+ </tr>
263
+ </table>
264
+ </div><div class="memdoc">
265
+
266
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00532">532</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
267
+
268
+ </div>
269
+ </div>
270
+ <a id="a620d528ac72c17913b462acedb8e88c3"></a>
271
+ <h2 class="memtitle"><span class="permalink"><a href="#a620d528ac72c17913b462acedb8e88c3">&#9670;&nbsp;</a></span>EdgeT</h2>
272
+
273
+ <div class="memitem">
274
+ <div class="memproto">
275
+ <div class="memtemplate">
276
+ template&lt;typename GraphT &gt; </div>
277
+ <table class="memname">
278
+ <tr>
279
+ <td class="memname">typedef GraphT::EdgeType <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3">EdgeT</a></td>
280
+ </tr>
281
+ </table>
282
+ </div><div class="memdoc">
283
+
284
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00518">518</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
285
+
286
+ </div>
287
+ </div>
288
+ <a id="ae2cde12ccd4206b7ace44bc2146c792e"></a>
289
+ <h2 class="memtitle"><span class="permalink"><a href="#ae2cde12ccd4206b7ace44bc2146c792e">&#9670;&nbsp;</a></span>GraphTWTOCycleDepth</h2>
290
+
291
+ <div class="memitem">
292
+ <div class="memproto">
293
+ <div class="memtemplate">
294
+ template&lt;typename GraphT &gt; </div>
295
+ <table class="memname">
296
+ <tr>
297
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt;GraphT&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a></td>
298
+ </tr>
299
+ </table>
300
+ </div><div class="memdoc">
301
+
302
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00519">519</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
303
+
304
+ </div>
305
+ </div>
306
+ <a id="a49ea9544fc55c3de1b3aebde1ba69470"></a>
307
+ <h2 class="memtitle"><span class="permalink"><a href="#a49ea9544fc55c3de1b3aebde1ba69470">&#9670;&nbsp;</a></span>Iterator</h2>
308
+
309
+ <div class="memitem">
310
+ <div class="memproto">
311
+ <div class="memtemplate">
312
+ template&lt;typename GraphT &gt; </div>
313
+ <table class="memname">
314
+ <tr>
315
+ <td class="memname">typedef WTOComponentRefList::const_iterator <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a></td>
316
+ </tr>
317
+ </table>
318
+ </div><div class="memdoc">
319
+
320
+ <p>Iterator over the components. </p>
321
+
322
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00540">540</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
323
+
324
+ </div>
325
+ </div>
326
+ <a id="a7be430782b325bbb92d9fd014e9c68c0"></a>
327
+ <h2 class="memtitle"><span class="permalink"><a href="#a7be430782b325bbb92d9fd014e9c68c0">&#9670;&nbsp;</a></span>NodeRefList</h2>
328
+
329
+ <div class="memitem">
330
+ <div class="memproto">
331
+ <div class="memtemplate">
332
+ template&lt;typename GraphT &gt; </div>
333
+ <table class="memname">
334
+ <tr>
335
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a></td>
336
+ </tr>
337
+ </table>
338
+ </div><div class="memdoc">
339
+
340
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00523">523</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
341
+
342
+ </div>
343
+ </div>
344
+ <a id="a93a5b48c93dc4f01f50040e71c5aeada"></a>
345
+ <h2 class="memtitle"><span class="permalink"><a href="#a93a5b48c93dc4f01f50040e71c5aeada">&#9670;&nbsp;</a></span>NodeRefToCycleDepthNumber</h2>
346
+
347
+ <div class="memitem">
348
+ <div class="memproto">
349
+ <div class="memtemplate">
350
+ template&lt;typename GraphT &gt; </div>
351
+ <table class="mlabels">
352
+ <tr>
353
+ <td class="mlabels-left">
354
+ <table class="memname">
355
+ <tr>
356
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*, <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a></td>
357
+ </tr>
358
+ </table>
359
+ </td>
360
+ <td class="mlabels-right">
361
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
362
+ </tr>
363
+ </table>
364
+ </div><div class="memdoc">
365
+
366
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00533">533</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
367
+
368
+ </div>
369
+ </div>
370
+ <a id="ae652de9cb9fca45b8cb6c08606d7971a"></a>
371
+ <h2 class="memtitle"><span class="permalink"><a href="#ae652de9cb9fca45b8cb6c08606d7971a">&#9670;&nbsp;</a></span>NodeRefTONodeRefListMap</h2>
372
+
373
+ <div class="memitem">
374
+ <div class="memproto">
375
+ <div class="memtemplate">
376
+ template&lt;typename GraphT &gt; </div>
377
+ <table class="mlabels">
378
+ <tr>
379
+ <td class="mlabels-left">
380
+ <table class="memname">
381
+ <tr>
382
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*, <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">NodeRefTONodeRefListMap</a></td>
383
+ </tr>
384
+ </table>
385
+ </td>
386
+ <td class="mlabels-right">
387
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
388
+ </tr>
389
+ </table>
390
+ </div><div class="memdoc">
391
+
392
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00530">530</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
393
+
394
+ </div>
395
+ </div>
396
+ <a id="a4d7362b707ea6013811db5ffa80aeb0b"></a>
397
+ <h2 class="memtitle"><span class="permalink"><a href="#a4d7362b707ea6013811db5ffa80aeb0b">&#9670;&nbsp;</a></span>NodeRefToWTOCycleDepthPtr</h2>
398
+
399
+ <div class="memitem">
400
+ <div class="memproto">
401
+ <div class="memtemplate">
402
+ template&lt;typename GraphT &gt; </div>
403
+ <table class="mlabels">
404
+ <tr>
405
+ <td class="mlabels-left">
406
+ <table class="memname">
407
+ <tr>
408
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*, <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a></td>
409
+ </tr>
410
+ </table>
411
+ </td>
412
+ <td class="mlabels-right">
413
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
414
+ </tr>
415
+ </table>
416
+ </div><div class="memdoc">
417
+
418
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00536">536</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
419
+
420
+ </div>
421
+ </div>
422
+ <a id="a9103af81d0c21787dcc96188ea243d0a"></a>
423
+ <h2 class="memtitle"><span class="permalink"><a href="#a9103af81d0c21787dcc96188ea243d0a">&#9670;&nbsp;</a></span>NodeRefToWTOCycleMap</h2>
424
+
425
+ <div class="memitem">
426
+ <div class="memproto">
427
+ <div class="memtemplate">
428
+ template&lt;typename GraphT &gt; </div>
429
+ <table class="mlabels">
430
+ <tr>
431
+ <td class="mlabels-left">
432
+ <table class="memname">
433
+ <tr>
434
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*, const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>*&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a></td>
435
+ </tr>
436
+ </table>
437
+ </td>
438
+ <td class="mlabels-right">
439
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
440
+ </tr>
441
+ </table>
442
+ </div><div class="memdoc">
443
+
444
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00529">529</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
445
+
446
+ </div>
447
+ </div>
448
+ <a id="a78e43eb435fb7f5ee47670f10c6e67f2"></a>
449
+ <h2 class="memtitle"><span class="permalink"><a href="#a78e43eb435fb7f5ee47670f10c6e67f2">&#9670;&nbsp;</a></span>NodeT</h2>
450
+
451
+ <div class="memitem">
452
+ <div class="memproto">
453
+ <div class="memtemplate">
454
+ template&lt;typename GraphT &gt; </div>
455
+ <table class="memname">
456
+ <tr>
457
+ <td class="memname">typedef GraphT::NodeType <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a></td>
458
+ </tr>
459
+ </table>
460
+ </div><div class="memdoc">
461
+
462
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00514">514</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
463
+
464
+ </div>
465
+ </div>
466
+ <a id="ab35eabe45c6b944b26532fbe630cd019"></a>
467
+ <h2 class="memtitle"><span class="permalink"><a href="#ab35eabe45c6b944b26532fbe630cd019">&#9670;&nbsp;</a></span>Stack</h2>
468
+
469
+ <div class="memitem">
470
+ <div class="memproto">
471
+ <div class="memtemplate">
472
+ template&lt;typename GraphT &gt; </div>
473
+ <table class="mlabels">
474
+ <tr>
475
+ <td class="mlabels-left">
476
+ <table class="memname">
477
+ <tr>
478
+ <td class="memname">typedef std::vector&lt;const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>*&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a></td>
479
+ </tr>
480
+ </table>
481
+ </td>
482
+ <td class="mlabels-right">
483
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
484
+ </tr>
485
+ </table>
486
+ </div><div class="memdoc">
487
+
488
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00534">534</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
489
+
490
+ </div>
491
+ </div>
492
+ <a id="ac1a8ef3c15d484dc4f593b7d737e7de9"></a>
493
+ <h2 class="memtitle"><span class="permalink"><a href="#ac1a8ef3c15d484dc4f593b7d737e7de9">&#9670;&nbsp;</a></span>WTOComponentRefList</h2>
494
+
495
+ <div class="memitem">
496
+ <div class="memproto">
497
+ <div class="memtemplate">
498
+ template&lt;typename GraphT &gt; </div>
499
+ <table class="mlabels">
500
+ <tr>
501
+ <td class="mlabels-left">
502
+ <table class="memname">
503
+ <tr>
504
+ <td class="memname">typedef std::list&lt;<a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a></td>
505
+ </tr>
506
+ </table>
507
+ </td>
508
+ <td class="mlabels-right">
509
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
510
+ </tr>
511
+ </table>
512
+ </div><div class="memdoc">
513
+
514
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00527">527</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
515
+
516
+ </div>
517
+ </div>
518
+ <a id="a928688b5f1e2111311262ccd936b1ca9"></a>
519
+ <h2 class="memtitle"><span class="permalink"><a href="#a928688b5f1e2111311262ccd936b1ca9">&#9670;&nbsp;</a></span>WTOComponentRefSet</h2>
520
+
521
+ <div class="memitem">
522
+ <div class="memproto">
523
+ <div class="memtemplate">
524
+ template&lt;typename GraphT &gt; </div>
525
+ <table class="mlabels">
526
+ <tr>
527
+ <td class="mlabels-left">
528
+ <table class="memname">
529
+ <tr>
530
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;<a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a></td>
531
+ </tr>
532
+ </table>
533
+ </td>
534
+ <td class="mlabels-right">
535
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
536
+ </tr>
537
+ </table>
538
+ </div><div class="memdoc">
539
+
540
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00528">528</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
541
+
542
+ </div>
543
+ </div>
544
+ <a id="a43bd515dd7ea9ae1f56b79d29cfdc00c"></a>
545
+ <h2 class="memtitle"><span class="permalink"><a href="#a43bd515dd7ea9ae1f56b79d29cfdc00c">&#9670;&nbsp;</a></span>WTOComponentT</h2>
546
+
547
+ <div class="memitem">
548
+ <div class="memproto">
549
+ <div class="memtemplate">
550
+ template&lt;typename GraphT &gt; </div>
551
+ <table class="memname">
552
+ <tr>
553
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTOComponent.html">WTOComponent</a>&lt;GraphT&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a></td>
554
+ </tr>
555
+ </table>
556
+ </div><div class="memdoc">
557
+
558
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00520">520</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
559
+
560
+ </div>
561
+ </div>
562
+ <a id="a8022c9a6ebc62ed292698f07ab93bafe"></a>
563
+ <h2 class="memtitle"><span class="permalink"><a href="#a8022c9a6ebc62ed292698f07ab93bafe">&#9670;&nbsp;</a></span>WTOCycleDepthPtr</h2>
564
+
565
+ <div class="memitem">
566
+ <div class="memproto">
567
+ <div class="memtemplate">
568
+ template&lt;typename GraphT &gt; </div>
569
+ <table class="mlabels">
570
+ <tr>
571
+ <td class="mlabels-left">
572
+ <table class="memname">
573
+ <tr>
574
+ <td class="memname">typedef std::shared_ptr&lt;<a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a>&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a></td>
575
+ </tr>
576
+ </table>
577
+ </td>
578
+ <td class="mlabels-right">
579
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
580
+ </tr>
581
+ </table>
582
+ </div><div class="memdoc">
583
+
584
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00535">535</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
585
+
586
+ </div>
587
+ </div>
588
+ <a id="a71a0d4afca77f59db4829c7b39419429"></a>
589
+ <h2 class="memtitle"><span class="permalink"><a href="#a71a0d4afca77f59db4829c7b39419429">&#9670;&nbsp;</a></span>WTOCycleT</h2>
590
+
591
+ <div class="memitem">
592
+ <div class="memproto">
593
+ <div class="memtemplate">
594
+ template&lt;typename GraphT &gt; </div>
595
+ <table class="memname">
596
+ <tr>
597
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTOCycle.html">WTOCycle</a>&lt;GraphT&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a></td>
598
+ </tr>
599
+ </table>
600
+ </div><div class="memdoc">
601
+
602
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00522">522</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
603
+
604
+ </div>
605
+ </div>
606
+ <a id="a96f37d843d4bd7c2b30cfc5bc59cf90d"></a>
607
+ <h2 class="memtitle"><span class="permalink"><a href="#a96f37d843d4bd7c2b30cfc5bc59cf90d">&#9670;&nbsp;</a></span>WTONodeT</h2>
608
+
609
+ <div class="memitem">
610
+ <div class="memproto">
611
+ <div class="memtemplate">
612
+ template&lt;typename GraphT &gt; </div>
613
+ <table class="memname">
614
+ <tr>
615
+ <td class="memname">typedef <a class="el" href="classSVF_1_1WTONode.html">WTONode</a>&lt;GraphT&gt; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a></td>
616
+ </tr>
617
+ </table>
618
+ </div><div class="memdoc">
619
+
620
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00521">521</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
621
+
622
+ </div>
623
+ </div>
624
+ <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
625
+ <a id="a7757a14d821963ad5ee03da0b542f8fb"></a>
626
+ <h2 class="memtitle"><span class="permalink"><a href="#a7757a14d821963ad5ee03da0b542f8fb">&#9670;&nbsp;</a></span>WTO() <span class="overload">[1/3]</span></h2>
627
+
628
+ <div class="memitem">
629
+ <div class="memproto">
630
+ <div class="memtemplate">
631
+ template&lt;typename GraphT &gt; </div>
632
+ <table class="mlabels">
633
+ <tr>
634
+ <td class="mlabels-left">
635
+ <table class="memname">
636
+ <tr>
637
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html">WTO</a> </td>
638
+ <td>(</td>
639
+ <td class="paramtype">GraphT *&#160;</td>
640
+ <td class="paramname"><em>graph</em>, </td>
641
+ </tr>
642
+ <tr>
643
+ <td class="paramkey"></td>
644
+ <td></td>
645
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
646
+ <td class="paramname"><em>entry</em>&#160;</td>
647
+ </tr>
648
+ <tr>
649
+ <td></td>
650
+ <td>)</td>
651
+ <td></td><td></td>
652
+ </tr>
653
+ </table>
654
+ </td>
655
+ <td class="mlabels-right">
656
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span> </td>
657
+ </tr>
658
+ </table>
659
+ </div><div class="memdoc">
660
+
661
+ <p>Compute the weak topological order of the given graph. </p>
662
+
663
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00556">556</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
664
+ <div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; : <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a>(0), <a class="code" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a>(graph), <a class="code" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a>(entry)</div>
665
+ <div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; {</div>
666
+ <div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; }</div>
667
+ </div><!-- fragment -->
668
+ </div>
669
+ </div>
670
+ <a id="a8455eb5252fb82df098af03ebca76044"></a>
671
+ <h2 class="memtitle"><span class="permalink"><a href="#a8455eb5252fb82df098af03ebca76044">&#9670;&nbsp;</a></span>WTO() <span class="overload">[2/3]</span></h2>
672
+
673
+ <div class="memitem">
674
+ <div class="memproto">
675
+ <div class="memtemplate">
676
+ template&lt;typename GraphT &gt; </div>
677
+ <table class="mlabels">
678
+ <tr>
679
+ <td class="mlabels-left">
680
+ <table class="memname">
681
+ <tr>
682
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html">WTO</a> </td>
683
+ <td>(</td>
684
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;&#160;</td>
685
+ <td class="paramname"><em>other</em></td><td>)</td>
686
+ <td></td>
687
+ </tr>
688
+ </table>
689
+ </td>
690
+ <td class="mlabels-right">
691
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
692
+ </tr>
693
+ </table>
694
+ </div><div class="memdoc">
695
+
696
+ <p>No copy constructor. </p>
697
+
698
+ </div>
699
+ </div>
700
+ <a id="a0a8be6a1d8bd92d38eec429f68ce0414"></a>
701
+ <h2 class="memtitle"><span class="permalink"><a href="#a0a8be6a1d8bd92d38eec429f68ce0414">&#9670;&nbsp;</a></span>WTO() <span class="overload">[3/3]</span></h2>
702
+
703
+ <div class="memitem">
704
+ <div class="memproto">
705
+ <div class="memtemplate">
706
+ template&lt;typename GraphT &gt; </div>
707
+ <table class="mlabels">
708
+ <tr>
709
+ <td class="mlabels-left">
710
+ <table class="memname">
711
+ <tr>
712
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::<a class="el" href="classSVF_1_1WTO.html">WTO</a> </td>
713
+ <td>(</td>
714
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;&amp;&#160;</td>
715
+ <td class="paramname"><em>other</em></td><td>)</td>
716
+ <td></td>
717
+ </tr>
718
+ </table>
719
+ </td>
720
+ <td class="mlabels-right">
721
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
722
+ </tr>
723
+ </table>
724
+ </div><div class="memdoc">
725
+
726
+ <p>Move constructor. </p>
727
+
728
+ </div>
729
+ </div>
730
+ <a id="a78828eb753f5a27848256d383cf57b5e"></a>
731
+ <h2 class="memtitle"><span class="permalink"><a href="#a78828eb753f5a27848256d383cf57b5e">&#9670;&nbsp;</a></span>~WTO()</h2>
732
+
733
+ <div class="memitem">
734
+ <div class="memproto">
735
+ <div class="memtemplate">
736
+ template&lt;typename GraphT &gt; </div>
737
+ <table class="mlabels">
738
+ <tr>
739
+ <td class="mlabels-left">
740
+ <table class="memname">
741
+ <tr>
742
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::~<a class="el" href="classSVF_1_1WTO.html">WTO</a> </td>
743
+ <td>(</td>
744
+ <td class="paramname"></td><td>)</td>
745
+ <td></td>
746
+ </tr>
747
+ </table>
748
+ </td>
749
+ <td class="mlabels-right">
750
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
751
+ </tr>
752
+ </table>
753
+ </div><div class="memdoc">
754
+
755
+ <p>Destructor. </p>
756
+
757
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00573">573</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
758
+ <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; {</div>
759
+ <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; <a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a> : <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>)</div>
760
+ <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; {</div>
761
+ <div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; <span class="keyword">delete</span> <a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a>;</div>
762
+ <div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; }</div>
763
+ <div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160; }</div>
764
+ </div><!-- fragment -->
765
+ </div>
766
+ </div>
767
+ <h2 class="groupheader">Member Function Documentation</h2>
768
+ <a id="af2ac6543be66a6ca5911f49f16c341c4"></a>
769
+ <h2 class="memtitle"><span class="permalink"><a href="#af2ac6543be66a6ca5911f49f16c341c4">&#9670;&nbsp;</a></span>accept()</h2>
770
+
771
+ <div class="memitem">
772
+ <div class="memproto">
773
+ <div class="memtemplate">
774
+ template&lt;typename GraphT &gt; </div>
775
+ <table class="mlabels">
776
+ <tr>
777
+ <td class="mlabels-left">
778
+ <table class="memname">
779
+ <tr>
780
+ <td class="memname">void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::accept </td>
781
+ <td>(</td>
782
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; GraphT &gt; &amp;&#160;</td>
783
+ <td class="paramname"><em>v</em></td><td>)</td>
784
+ <td></td>
785
+ </tr>
786
+ </table>
787
+ </td>
788
+ <td class="mlabels-right">
789
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
790
+ </tr>
791
+ </table>
792
+ </div><div class="memdoc">
793
+
794
+ <p>Accept the given visitor. </p>
795
+
796
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00626">626</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
797
+ <div class="fragment"><div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160; {</div>
798
+ <div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; c : <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>)</div>
799
+ <div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; {</div>
800
+ <div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; c-&gt;accept(v);</div>
801
+ <div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; }</div>
802
+ <div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160; }</div>
803
+ </div><!-- fragment -->
804
+ </div>
805
+ </div>
806
+ <a id="a13e9082913aa4a14065687ccdd47642d"></a>
807
+ <h2 class="memtitle"><span class="permalink"><a href="#a13e9082913aa4a14065687ccdd47642d">&#9670;&nbsp;</a></span>begin()</h2>
808
+
809
+ <div class="memitem">
810
+ <div class="memproto">
811
+ <div class="memtemplate">
812
+ template&lt;typename GraphT &gt; </div>
813
+ <table class="mlabels">
814
+ <tr>
815
+ <td class="mlabels-left">
816
+ <table class="memname">
817
+ <tr>
818
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::begin </td>
819
+ <td>(</td>
820
+ <td class="paramname"></td><td>)</td>
821
+ <td> const</td>
822
+ </tr>
823
+ </table>
824
+ </td>
825
+ <td class="mlabels-right">
826
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
827
+ </tr>
828
+ </table>
829
+ </div><div class="memdoc">
830
+ <p>Begin iterator over the components Begin iterator over the components </p>
831
+
832
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00583">583</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
833
+ <div class="fragment"><div class="line"><a name="l00584"></a><span class="lineno"> 584</span>&#160; {</div>
834
+ <div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>.cbegin();</div>
835
+ <div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; }</div>
836
+ </div><!-- fragment -->
837
+ </div>
838
+ </div>
839
+ <a id="abf8ab42831098184ce972aa6664fcb8a"></a>
840
+ <h2 class="memtitle"><span class="permalink"><a href="#abf8ab42831098184ce972aa6664fcb8a">&#9670;&nbsp;</a></span>buildNodeToDepth()</h2>
841
+
842
+ <div class="memitem">
843
+ <div class="memproto">
844
+ <div class="memtemplate">
845
+ template&lt;typename GraphT &gt; </div>
846
+ <table class="mlabels">
847
+ <tr>
848
+ <td class="mlabels-left">
849
+ <table class="memname">
850
+ <tr>
851
+ <td class="memname">void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::buildNodeToDepth </td>
852
+ <td>(</td>
853
+ <td class="paramname"></td><td>)</td>
854
+ <td></td>
855
+ </tr>
856
+ </table>
857
+ </td>
858
+ <td class="mlabels-right">
859
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
860
+ </tr>
861
+ </table>
862
+ </div><div class="memdoc">
863
+
864
+ <p>Build the node to <a class="el" href="classSVF_1_1WTO.html">WTO</a> cycle depth table. </p>
865
+
866
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00846">846</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
867
+ <div class="fragment"><div class="line"><a name="l00847"></a><span class="lineno"> 847</span>&#160; {</div>
868
+ <div class="line"><a name="l00848"></a><span class="lineno"> 848</span>&#160; WTOCycleDepthBuilder builder(<a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>);</div>
869
+ <div class="line"><a name="l00849"></a><span class="lineno"> 849</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a>(), et = <a class="code" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a>(); it != et; ++it)</div>
870
+ <div class="line"><a name="l00850"></a><span class="lineno"> 850</span>&#160; {</div>
871
+ <div class="line"><a name="l00851"></a><span class="lineno"> 851</span>&#160; (*it)-&gt;accept(builder);</div>
872
+ <div class="line"><a name="l00852"></a><span class="lineno"> 852</span>&#160; }</div>
873
+ <div class="line"><a name="l00853"></a><span class="lineno"> 853</span>&#160; }</div>
874
+ </div><!-- fragment -->
875
+ </div>
876
+ </div>
877
+ <a id="a8dc175362f4dbbf158e1fe03745f1ce7"></a>
878
+ <h2 class="memtitle"><span class="permalink"><a href="#a8dc175362f4dbbf158e1fe03745f1ce7">&#9670;&nbsp;</a></span>component()</h2>
879
+
880
+ <div class="memitem">
881
+ <div class="memproto">
882
+ <div class="memtemplate">
883
+ template&lt;typename GraphT &gt; </div>
884
+ <table class="mlabels">
885
+ <tr>
886
+ <td class="mlabels-left">
887
+ <table class="memname">
888
+ <tr>
889
+ <td class="memname">virtual const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::component </td>
890
+ <td>(</td>
891
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
892
+ <td class="paramname"><em>node</em></td><td>)</td>
893
+ <td></td>
894
+ </tr>
895
+ </table>
896
+ </td>
897
+ <td class="mlabels-right">
898
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span> </td>
899
+ </tr>
900
+ </table>
901
+ </div><div class="memdoc">
902
+
903
+ <p>Create the cycle component for the given node. </p>
904
+
905
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00776">776</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
906
+ <div class="fragment"><div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; {</div>
907
+ <div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; <a class="code" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> partition;</div>
908
+ <div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a>(node, [&amp;](<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* succ)</div>
909
+ <div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; {</div>
910
+ <div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(succ) == 0)</div>
911
+ <div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; {</div>
912
+ <div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(succ, partition);</div>
913
+ <div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; }</div>
914
+ <div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; });</div>
915
+ <div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* ptr = <a class="code" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">newCycle</a>(node, partition);</div>
916
+ <div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.emplace(node, ptr);</div>
917
+ <div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; <span class="keywordflow">return</span> ptr;</div>
918
+ <div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; }</div>
919
+ </div><!-- fragment -->
920
+ </div>
921
+ </div>
922
+ <a id="aa50fbcbff0e3aa30bce2ba1b810e8ca8"></a>
923
+ <h2 class="memtitle"><span class="permalink"><a href="#aa50fbcbff0e3aa30bce2ba1b810e8ca8">&#9670;&nbsp;</a></span>cycleDepth()</h2>
924
+
925
+ <div class="memitem">
926
+ <div class="memproto">
927
+ <div class="memtemplate">
928
+ template&lt;typename GraphT &gt; </div>
929
+ <table class="mlabels">
930
+ <tr>
931
+ <td class="mlabels-left">
932
+ <table class="memname">
933
+ <tr>
934
+ <td class="memname">const <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a>&amp; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::cycleDepth </td>
935
+ <td>(</td>
936
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
937
+ <td class="paramname"><em>n</em></td><td>)</td>
938
+ <td> const</td>
939
+ </tr>
940
+ </table>
941
+ </td>
942
+ <td class="mlabels-right">
943
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
944
+ </tr>
945
+ </table>
946
+ </div><div class="memdoc">
947
+
948
+ <p>Return the cycleDepth of the given node. </p>
949
+
950
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00611">611</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
951
+ <div class="fragment"><div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; {</div>
952
+ <div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
953
+ <div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; assert(it != <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.end() &amp;&amp; <span class="stringliteral">&quot;node not found&quot;</span>);</div>
954
+ <div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <span class="keywordflow">return</span> *(it-&gt;second);</div>
955
+ <div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; }</div>
956
+ </div><!-- fragment -->
957
+ </div>
958
+ </div>
959
+ <a id="a22b67a51964cb1d7882aab7e74b026f2"></a>
960
+ <h2 class="memtitle"><span class="permalink"><a href="#a22b67a51964cb1d7882aab7e74b026f2">&#9670;&nbsp;</a></span>end()</h2>
961
+
962
+ <div class="memitem">
963
+ <div class="memproto">
964
+ <div class="memtemplate">
965
+ template&lt;typename GraphT &gt; </div>
966
+ <table class="mlabels">
967
+ <tr>
968
+ <td class="mlabels-left">
969
+ <table class="memname">
970
+ <tr>
971
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::end </td>
972
+ <td>(</td>
973
+ <td class="paramname"></td><td>)</td>
974
+ <td> const</td>
975
+ </tr>
976
+ </table>
977
+ </td>
978
+ <td class="mlabels-right">
979
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
980
+ </tr>
981
+ </table>
982
+ </div><div class="memdoc">
983
+
984
+ <p>End iterator over the components. </p>
985
+
986
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00589">589</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
987
+ <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div>
988
+ <div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>.cend();</div>
989
+ <div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; }</div>
990
+ </div><!-- fragment -->
991
+ </div>
992
+ </div>
993
+ <a id="a65d2ed9e7306392ce0b82ac018f0cdea"></a>
994
+ <h2 class="memtitle"><span class="permalink"><a href="#a65d2ed9e7306392ce0b82ac018f0cdea">&#9670;&nbsp;</a></span>forEachSuccessor()</h2>
995
+
996
+ <div class="memitem">
997
+ <div class="memproto">
998
+ <div class="memtemplate">
999
+ template&lt;typename GraphT &gt; </div>
1000
+ <table class="mlabels">
1001
+ <tr>
1002
+ <td class="mlabels-left">
1003
+ <table class="memname">
1004
+ <tr>
1005
+ <td class="memname">virtual void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::forEachSuccessor </td>
1006
+ <td>(</td>
1007
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1008
+ <td class="paramname"><em>node</em>, </td>
1009
+ </tr>
1010
+ <tr>
1011
+ <td class="paramkey"></td>
1012
+ <td></td>
1013
+ <td class="paramtype">std::function&lt; void(const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *)&gt;&#160;</td>
1014
+ <td class="paramname"><em>func</em>&#160;</td>
1015
+ </tr>
1016
+ <tr>
1017
+ <td></td>
1018
+ <td>)</td>
1019
+ <td></td><td> const</td>
1020
+ </tr>
1021
+ </table>
1022
+ </td>
1023
+ <td class="mlabels-right">
1024
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span> </td>
1025
+ </tr>
1026
+ </table>
1027
+ </div><div class="memdoc">
1028
+
1029
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00712">712</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1030
+ <div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; {</div>
1031
+ <div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; e : node-&gt;getOutEdges())</div>
1032
+ <div class="line"><a name="l00715"></a><span class="lineno"> 715</span>&#160; {</div>
1033
+ <div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; func(e-&gt;getDstNode());</div>
1034
+ <div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; }</div>
1035
+ <div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; }</div>
1036
+ </div><!-- fragment -->
1037
+ </div>
1038
+ </div>
1039
+ <a id="a92034688db3f67feb6e997d4c03f769f"></a>
1040
+ <h2 class="memtitle"><span class="permalink"><a href="#a92034688db3f67feb6e997d4c03f769f">&#9670;&nbsp;</a></span>getCDN()</h2>
1041
+
1042
+ <div class="memitem">
1043
+ <div class="memproto">
1044
+ <div class="memtemplate">
1045
+ template&lt;typename GraphT &gt; </div>
1046
+ <table class="mlabels">
1047
+ <tr>
1048
+ <td class="mlabels-left">
1049
+ <table class="memname">
1050
+ <tr>
1051
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::getCDN </td>
1052
+ <td>(</td>
1053
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1054
+ <td class="paramname"><em>n</em></td><td>)</td>
1055
+ <td> const</td>
1056
+ </tr>
1057
+ </table>
1058
+ </td>
1059
+ <td class="mlabels-right">
1060
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1061
+ </tr>
1062
+ </table>
1063
+ </div><div class="memdoc">
1064
+
1065
+ <p>Return the depth-first number of the given node. </p>
1066
+
1067
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00722">722</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1068
+ <div class="fragment"><div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160; {</div>
1069
+ <div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
1070
+ <div class="line"><a name="l00725"></a><span class="lineno"> 725</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.end())</div>
1071
+ <div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; {</div>
1072
+ <div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
1073
+ <div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; }</div>
1074
+ <div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; <span class="keywordflow">else</span></div>
1075
+ <div class="line"><a name="l00730"></a><span class="lineno"> 730</span>&#160; {</div>
1076
+ <div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; <span class="keywordflow">return</span> 0;</div>
1077
+ <div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; }</div>
1078
+ <div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; }</div>
1079
+ </div><!-- fragment -->
1080
+ </div>
1081
+ </div>
1082
+ <a id="a62a6ee6d3894861a0fb74309d2951e16"></a>
1083
+ <h2 class="memtitle"><span class="permalink"><a href="#a62a6ee6d3894861a0fb74309d2951e16">&#9670;&nbsp;</a></span>headBegin()</h2>
1084
+
1085
+ <div class="memitem">
1086
+ <div class="memproto">
1087
+ <div class="memtemplate">
1088
+ template&lt;typename GraphT &gt; </div>
1089
+ <table class="mlabels">
1090
+ <tr>
1091
+ <td class="mlabels-left">
1092
+ <table class="memname">
1093
+ <tr>
1094
+ <td class="memname">NodeRefToWTOCycleMap::const_iterator <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::headBegin </td>
1095
+ <td>(</td>
1096
+ <td class="paramname"></td><td>)</td>
1097
+ <td> const</td>
1098
+ </tr>
1099
+ </table>
1100
+ </td>
1101
+ <td class="mlabels-right">
1102
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1103
+ </tr>
1104
+ </table>
1105
+ </div><div class="memdoc">
1106
+
1107
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00599">599</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1108
+ <div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; {</div>
1109
+ <div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.cbegin();</div>
1110
+ <div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; }</div>
1111
+ </div><!-- fragment -->
1112
+ </div>
1113
+ </div>
1114
+ <a id="ace35f97608d342cae7cda7936816f624"></a>
1115
+ <h2 class="memtitle"><span class="permalink"><a href="#ace35f97608d342cae7cda7936816f624">&#9670;&nbsp;</a></span>headEnd()</h2>
1116
+
1117
+ <div class="memitem">
1118
+ <div class="memproto">
1119
+ <div class="memtemplate">
1120
+ template&lt;typename GraphT &gt; </div>
1121
+ <table class="mlabels">
1122
+ <tr>
1123
+ <td class="mlabels-left">
1124
+ <table class="memname">
1125
+ <tr>
1126
+ <td class="memname">NodeRefToWTOCycleMap::const_iterator <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::headEnd </td>
1127
+ <td>(</td>
1128
+ <td class="paramname"></td><td>)</td>
1129
+ <td> const</td>
1130
+ </tr>
1131
+ </table>
1132
+ </td>
1133
+ <td class="mlabels-right">
1134
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1135
+ </tr>
1136
+ </table>
1137
+ </div><div class="memdoc">
1138
+
1139
+ <p>End iterator over the components. </p>
1140
+
1141
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00605">605</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1142
+ <div class="fragment"><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; {</div>
1143
+ <div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.cend();</div>
1144
+ <div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; }</div>
1145
+ </div><!-- fragment -->
1146
+ </div>
1147
+ </div>
1148
+ <a id="a1e331c472a19616ccef9f8230a8724fb"></a>
1149
+ <h2 class="memtitle"><span class="permalink"><a href="#a1e331c472a19616ccef9f8230a8724fb">&#9670;&nbsp;</a></span>in_cycleDepth_table()</h2>
1150
+
1151
+ <div class="memitem">
1152
+ <div class="memproto">
1153
+ <div class="memtemplate">
1154
+ template&lt;typename GraphT &gt; </div>
1155
+ <table class="mlabels">
1156
+ <tr>
1157
+ <td class="mlabels-left">
1158
+ <table class="memname">
1159
+ <tr>
1160
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::in_cycleDepth_table </td>
1161
+ <td>(</td>
1162
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1163
+ <td class="paramname"><em>n</em></td><td>)</td>
1164
+ <td> const</td>
1165
+ </tr>
1166
+ </table>
1167
+ </td>
1168
+ <td class="mlabels-right">
1169
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1170
+ </tr>
1171
+ </table>
1172
+ </div><div class="memdoc">
1173
+
1174
+ <p>Return the cycleDepth of the given node. </p>
1175
+
1176
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00619">619</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1177
+ <div class="fragment"><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; {</div>
1178
+ <div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
1179
+ <div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a>.end();</div>
1180
+ <div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; }</div>
1181
+ </div><!-- fragment -->
1182
+ </div>
1183
+ </div>
1184
+ <a id="a12d50323eaa2d40925699232beb37747"></a>
1185
+ <h2 class="memtitle"><span class="permalink"><a href="#a12d50323eaa2d40925699232beb37747">&#9670;&nbsp;</a></span>init()</h2>
1186
+
1187
+ <div class="memitem">
1188
+ <div class="memproto">
1189
+ <div class="memtemplate">
1190
+ template&lt;typename GraphT &gt; </div>
1191
+ <table class="mlabels">
1192
+ <tr>
1193
+ <td class="mlabels-left">
1194
+ <table class="memname">
1195
+ <tr>
1196
+ <td class="memname">void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::init </td>
1197
+ <td>(</td>
1198
+ <td class="paramname"></td><td>)</td>
1199
+ <td></td>
1200
+ </tr>
1201
+ </table>
1202
+ </td>
1203
+ <td class="mlabels-right">
1204
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1205
+ </tr>
1206
+ </table>
1207
+ </div><div class="memdoc">
1208
+
1209
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00662">662</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1210
+ <div class="fragment"><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; {</div>
1211
+ <div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(<a class="code" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a>, <a class="code" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a>);</div>
1212
+ <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.clear();</div>
1213
+ <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.clear();</div>
1214
+ <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; <a class="code" href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">buildNodeToDepth</a>();</div>
1215
+ <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; }</div>
1216
+ </div><!-- fragment -->
1217
+ </div>
1218
+ </div>
1219
+ <a id="a605c2cb15b3c3ff2581d5f2d0a4719a7"></a>
1220
+ <h2 class="memtitle"><span class="permalink"><a href="#a605c2cb15b3c3ff2581d5f2d0a4719a7">&#9670;&nbsp;</a></span>isHead()</h2>
1221
+
1222
+ <div class="memitem">
1223
+ <div class="memproto">
1224
+ <div class="memtemplate">
1225
+ template&lt;typename GraphT &gt; </div>
1226
+ <table class="mlabels">
1227
+ <tr>
1228
+ <td class="mlabels-left">
1229
+ <table class="memname">
1230
+ <tr>
1231
+ <td class="memname">bool <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::isHead </td>
1232
+ <td>(</td>
1233
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1234
+ <td class="paramname"><em>node</em></td><td>)</td>
1235
+ <td> const</td>
1236
+ </tr>
1237
+ </table>
1238
+ </td>
1239
+ <td class="mlabels-right">
1240
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1241
+ </tr>
1242
+ </table>
1243
+ </div><div class="memdoc">
1244
+
1245
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00594">594</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1246
+ <div class="fragment"><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; {</div>
1247
+ <div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.find(node) != <a class="code" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a>.end();</div>
1248
+ <div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; }</div>
1249
+ </div><!-- fragment -->
1250
+ </div>
1251
+ </div>
1252
+ <a id="aee55e23a1994d4daa29f21a608a1ca69"></a>
1253
+ <h2 class="memtitle"><span class="permalink"><a href="#aee55e23a1994d4daa29f21a608a1ca69">&#9670;&nbsp;</a></span>newCycle()</h2>
1254
+
1255
+ <div class="memitem">
1256
+ <div class="memproto">
1257
+ <div class="memtemplate">
1258
+ template&lt;typename GraphT &gt; </div>
1259
+ <table class="mlabels">
1260
+ <tr>
1261
+ <td class="mlabels-left">
1262
+ <table class="memname">
1263
+ <tr>
1264
+ <td class="memname">const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::newCycle </td>
1265
+ <td>(</td>
1266
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1267
+ <td class="paramname"><em>node</em>, </td>
1268
+ </tr>
1269
+ <tr>
1270
+ <td class="paramkey"></td>
1271
+ <td></td>
1272
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;&#160;</td>
1273
+ <td class="paramname"><em>partition</em>&#160;</td>
1274
+ </tr>
1275
+ <tr>
1276
+ <td></td>
1277
+ <td>)</td>
1278
+ <td></td><td></td>
1279
+ </tr>
1280
+ </table>
1281
+ </td>
1282
+ <td class="mlabels-right">
1283
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1284
+ </tr>
1285
+ </table>
1286
+ </div><div class="memdoc">
1287
+
1288
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00767">767</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1289
+ <div class="fragment"><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; {</div>
1290
+ <div class="line"><a name="l00770"></a><span class="lineno"> 770</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>* ptr = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a>(node, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(partition));</div>
1291
+ <div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>.insert(ptr);</div>
1292
+ <div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160; <span class="keywordflow">return</span> ptr;</div>
1293
+ <div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; }</div>
1294
+ </div><!-- fragment -->
1295
+ </div>
1296
+ </div>
1297
+ <a id="a2ce51d9a57e8a353aa23d14dce933c9a"></a>
1298
+ <h2 class="memtitle"><span class="permalink"><a href="#a2ce51d9a57e8a353aa23d14dce933c9a">&#9670;&nbsp;</a></span>newNode()</h2>
1299
+
1300
+ <div class="memitem">
1301
+ <div class="memproto">
1302
+ <div class="memtemplate">
1303
+ template&lt;typename GraphT &gt; </div>
1304
+ <table class="mlabels">
1305
+ <tr>
1306
+ <td class="mlabels-left">
1307
+ <table class="memname">
1308
+ <tr>
1309
+ <td class="memname">const <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::newNode </td>
1310
+ <td>(</td>
1311
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1312
+ <td class="paramname"><em>node</em></td><td>)</td>
1313
+ <td></td>
1314
+ </tr>
1315
+ </table>
1316
+ </td>
1317
+ <td class="mlabels-right">
1318
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1319
+ </tr>
1320
+ </table>
1321
+ </div><div class="memdoc">
1322
+
1323
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00760">760</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1324
+ <div class="fragment"><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; {</div>
1325
+ <div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>* ptr = <span class="keyword">new</span> <a class="code" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>(node);</div>
1326
+ <div class="line"><a name="l00763"></a><span class="lineno"> 763</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a>.insert(ptr);</div>
1327
+ <div class="line"><a name="l00764"></a><span class="lineno"> 764</span>&#160; <span class="keywordflow">return</span> ptr;</div>
1328
+ <div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; }</div>
1329
+ </div><!-- fragment -->
1330
+ </div>
1331
+ </div>
1332
+ <a id="acbaef3d6d8053a3b7ab2fa6e7fefacb1"></a>
1333
+ <h2 class="memtitle"><span class="permalink"><a href="#acbaef3d6d8053a3b7ab2fa6e7fefacb1">&#9670;&nbsp;</a></span>operator=() <span class="overload">[1/2]</span></h2>
1334
+
1335
+ <div class="memitem">
1336
+ <div class="memproto">
1337
+ <div class="memtemplate">
1338
+ template&lt;typename GraphT &gt; </div>
1339
+ <table class="mlabels">
1340
+ <tr>
1341
+ <td class="mlabels-left">
1342
+ <table class="memname">
1343
+ <tr>
1344
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">WTO</a>&amp; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::operator= </td>
1345
+ <td>(</td>
1346
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;&#160;</td>
1347
+ <td class="paramname"><em>other</em></td><td>)</td>
1348
+ <td></td>
1349
+ </tr>
1350
+ </table>
1351
+ </td>
1352
+ <td class="mlabels-right">
1353
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
1354
+ </tr>
1355
+ </table>
1356
+ </div><div class="memdoc">
1357
+
1358
+ <p>No copy assignment operator. </p>
1359
+
1360
+ </div>
1361
+ </div>
1362
+ <a id="ad37e15c788927e0e2b4759f527b0476b"></a>
1363
+ <h2 class="memtitle"><span class="permalink"><a href="#ad37e15c788927e0e2b4759f527b0476b">&#9670;&nbsp;</a></span>operator=() <span class="overload">[2/2]</span></h2>
1364
+
1365
+ <div class="memitem">
1366
+ <div class="memproto">
1367
+ <div class="memtemplate">
1368
+ template&lt;typename GraphT &gt; </div>
1369
+ <table class="mlabels">
1370
+ <tr>
1371
+ <td class="mlabels-left">
1372
+ <table class="memname">
1373
+ <tr>
1374
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html">WTO</a>&amp; <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::operator= </td>
1375
+ <td>(</td>
1376
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;&amp;&#160;</td>
1377
+ <td class="paramname"><em>other</em></td><td>)</td>
1378
+ <td></td>
1379
+ </tr>
1380
+ </table>
1381
+ </td>
1382
+ <td class="mlabels-right">
1383
+ <span class="mlabels"><span class="mlabel">default</span></span> </td>
1384
+ </tr>
1385
+ </table>
1386
+ </div><div class="memdoc">
1387
+
1388
+ <p>Move assignment operator. </p>
1389
+
1390
+ </div>
1391
+ </div>
1392
+ <a id="ae6655b82c9137b960eac07631897de82"></a>
1393
+ <h2 class="memtitle"><span class="permalink"><a href="#ae6655b82c9137b960eac07631897de82">&#9670;&nbsp;</a></span>pop()</h2>
1394
+
1395
+ <div class="memitem">
1396
+ <div class="memproto">
1397
+ <div class="memtemplate">
1398
+ template&lt;typename GraphT &gt; </div>
1399
+ <table class="mlabels">
1400
+ <tr>
1401
+ <td class="mlabels-left">
1402
+ <table class="memname">
1403
+ <tr>
1404
+ <td class="memname">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::pop </td>
1405
+ <td>(</td>
1406
+ <td class="paramname"></td><td>)</td>
1407
+ <td></td>
1408
+ </tr>
1409
+ </table>
1410
+ </td>
1411
+ <td class="mlabels-right">
1412
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1413
+ </tr>
1414
+ </table>
1415
+ </div><div class="memdoc">
1416
+
1417
+ <p>Pop a node from the stack. </p>
1418
+
1419
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00746">746</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1420
+ <div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; {</div>
1421
+ <div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; assert(!<a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.empty() &amp;&amp; <span class="stringliteral">&quot;empty stack&quot;</span>);</div>
1422
+ <div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* top = <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.back();</div>
1423
+ <div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.pop_back();</div>
1424
+ <div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; <span class="keywordflow">return</span> top;</div>
1425
+ <div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; }</div>
1426
+ </div><!-- fragment -->
1427
+ </div>
1428
+ </div>
1429
+ <a id="a9a67c7812a890ee4ff9cd470f947bf86"></a>
1430
+ <h2 class="memtitle"><span class="permalink"><a href="#a9a67c7812a890ee4ff9cd470f947bf86">&#9670;&nbsp;</a></span>push()</h2>
1431
+
1432
+ <div class="memitem">
1433
+ <div class="memproto">
1434
+ <div class="memtemplate">
1435
+ template&lt;typename GraphT &gt; </div>
1436
+ <table class="mlabels">
1437
+ <tr>
1438
+ <td class="mlabels-left">
1439
+ <table class="memname">
1440
+ <tr>
1441
+ <td class="memname">void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::push </td>
1442
+ <td>(</td>
1443
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1444
+ <td class="paramname"><em>n</em></td><td>)</td>
1445
+ <td></td>
1446
+ </tr>
1447
+ </table>
1448
+ </td>
1449
+ <td class="mlabels-right">
1450
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1451
+ </tr>
1452
+ </table>
1453
+ </div><div class="memdoc">
1454
+
1455
+ <p>Push a node on the stack. </p>
1456
+
1457
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00755">755</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1458
+ <div class="fragment"><div class="line"><a name="l00756"></a><span class="lineno"> 756</span>&#160; {</div>
1459
+ <div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a>.push_back(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
1460
+ <div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; }</div>
1461
+ </div><!-- fragment -->
1462
+ </div>
1463
+ </div>
1464
+ <a id="a7fc78de450f2cb6cbed8aa6856638ad1"></a>
1465
+ <h2 class="memtitle"><span class="permalink"><a href="#a7fc78de450f2cb6cbed8aa6856638ad1">&#9670;&nbsp;</a></span>setCDN()</h2>
1466
+
1467
+ <div class="memitem">
1468
+ <div class="memproto">
1469
+ <div class="memtemplate">
1470
+ template&lt;typename GraphT &gt; </div>
1471
+ <table class="mlabels">
1472
+ <tr>
1473
+ <td class="mlabels-left">
1474
+ <table class="memname">
1475
+ <tr>
1476
+ <td class="memname">void <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::setCDN </td>
1477
+ <td>(</td>
1478
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1479
+ <td class="paramname"><em>n</em>, </td>
1480
+ </tr>
1481
+ <tr>
1482
+ <td class="paramkey"></td>
1483
+ <td></td>
1484
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &amp;&#160;</td>
1485
+ <td class="paramname"><em>dfn</em>&#160;</td>
1486
+ </tr>
1487
+ <tr>
1488
+ <td></td>
1489
+ <td>)</td>
1490
+ <td></td><td></td>
1491
+ </tr>
1492
+ </table>
1493
+ </td>
1494
+ <td class="mlabels-right">
1495
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span> </td>
1496
+ </tr>
1497
+ </table>
1498
+ </div><div class="memdoc">
1499
+
1500
+ <p>Set the depth-first number of the given node. </p>
1501
+
1502
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00736">736</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1503
+ <div class="fragment"><div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; {</div>
1504
+ <div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; <span class="keyword">auto</span> res = <a class="code" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a>.insert(std::make_pair(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, dfn));</div>
1505
+ <div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; <span class="keywordflow">if</span> (!res.second)</div>
1506
+ <div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; {</div>
1507
+ <div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; (res.first)-&gt;second = dfn;</div>
1508
+ <div class="line"><a name="l00742"></a><span class="lineno"> 742</span>&#160; }</div>
1509
+ <div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; }</div>
1510
+ </div><!-- fragment -->
1511
+ </div>
1512
+ </div>
1513
+ <a id="a2245875350c4a72f826d998f02f5e796"></a>
1514
+ <h2 class="memtitle"><span class="permalink"><a href="#a2245875350c4a72f826d998f02f5e796">&#9670;&nbsp;</a></span>toString()</h2>
1515
+
1516
+ <div class="memitem">
1517
+ <div class="memproto">
1518
+ <div class="memtemplate">
1519
+ template&lt;typename GraphT &gt; </div>
1520
+ <table class="mlabels">
1521
+ <tr>
1522
+ <td class="mlabels-left">
1523
+ <table class="memname">
1524
+ <tr>
1525
+ <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::toString </td>
1526
+ <td>(</td>
1527
+ <td class="paramname"></td><td>)</td>
1528
+ <td> const</td>
1529
+ </tr>
1530
+ </table>
1531
+ </td>
1532
+ <td class="mlabels-right">
1533
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1534
+ </tr>
1535
+ </table>
1536
+ </div><div class="memdoc">
1537
+
1538
+ <p>Dump the order, for debugging purpose. </p>
1539
+
1540
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00635">635</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1541
+ <div class="fragment"><div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; {</div>
1542
+ <div class="line"><a name="l00637"></a><span class="lineno"> 637</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
1543
+ <div class="line"><a name="l00638"></a><span class="lineno"> 638</span>&#160; std::stringstream rawstr(str);</div>
1544
+ <div class="line"><a name="l00639"></a><span class="lineno"> 639</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
1545
+ <div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a>(), et = <a class="code" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a>(); it != et;)</div>
1546
+ <div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; {</div>
1547
+ <div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; rawstr &lt;&lt; (*it)-&gt;toString();</div>
1548
+ <div class="line"><a name="l00643"></a><span class="lineno"> 643</span>&#160; ++it;</div>
1549
+ <div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; <span class="keywordflow">if</span> (it != et)</div>
1550
+ <div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; {</div>
1551
+ <div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1552
+ <div class="line"><a name="l00647"></a><span class="lineno"> 647</span>&#160; }</div>
1553
+ <div class="line"><a name="l00648"></a><span class="lineno"> 648</span>&#160; }</div>
1554
+ <div class="line"><a name="l00649"></a><span class="lineno"> 649</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
1555
+ <div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
1556
+ <div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160; }</div>
1557
+ </div><!-- fragment -->
1558
+ </div>
1559
+ </div>
1560
+ <a id="a56259113c30312e5052d0d8c0d4d6b77"></a>
1561
+ <h2 class="memtitle"><span class="permalink"><a href="#a56259113c30312e5052d0d8c0d4d6b77">&#9670;&nbsp;</a></span>visit()</h2>
1562
+
1563
+ <div class="memitem">
1564
+ <div class="memproto">
1565
+ <div class="memtemplate">
1566
+ template&lt;typename GraphT &gt; </div>
1567
+ <table class="mlabels">
1568
+ <tr>
1569
+ <td class="mlabels-left">
1570
+ <table class="memname">
1571
+ <tr>
1572
+ <td class="memname">virtual <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::visit </td>
1573
+ <td>(</td>
1574
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td>
1575
+ <td class="paramname"><em>node</em>, </td>
1576
+ </tr>
1577
+ <tr>
1578
+ <td class="paramkey"></td>
1579
+ <td></td>
1580
+ <td class="paramtype"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;&#160;</td>
1581
+ <td class="paramname"><em>partition</em>&#160;</td>
1582
+ </tr>
1583
+ <tr>
1584
+ <td></td>
1585
+ <td>)</td>
1586
+ <td></td><td></td>
1587
+ </tr>
1588
+ </table>
1589
+ </td>
1590
+ <td class="mlabels-right">
1591
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span> </td>
1592
+ </tr>
1593
+ </table>
1594
+ </div><div class="memdoc">
1595
+ <p>Visit the given node</p>
1596
+ <p>Algorithm to build a weak topological order of a graph </p>
1597
+
1598
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00794">794</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1599
+ <div class="fragment"><div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; {</div>
1600
+ <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> head(0);</div>
1601
+ <div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> min(0);</div>
1602
+ <div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; <span class="keywordtype">bool</span> loop;</div>
1603
+ <div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; </div>
1604
+ <div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">push</a>(node);</div>
1605
+ <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a> += <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>(1);</div>
1606
+ <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; head = <a class="code" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a>;</div>
1607
+ <div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(node, head);</div>
1608
+ <div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; loop = <span class="keyword">false</span>;</div>
1609
+ <div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a>(node, [&amp;](<span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* succ)</div>
1610
+ <div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; {</div>
1611
+ <div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(succ);</div>
1612
+ <div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>(0))</div>
1613
+ <div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; {</div>
1614
+ <div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; min = <a class="code" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a>(succ, partition);</div>
1615
+ <div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; }</div>
1616
+ <div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; <span class="keywordflow">else</span></div>
1617
+ <div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; {</div>
1618
+ <div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; min = succ_dfn;</div>
1619
+ <div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; }</div>
1620
+ <div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <span class="keywordflow">if</span> (min &lt;= head)</div>
1621
+ <div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; {</div>
1622
+ <div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; head = min;</div>
1623
+ <div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; loop = <span class="keyword">true</span>;</div>
1624
+ <div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; }</div>
1625
+ <div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; });</div>
1626
+ <div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; </div>
1627
+ <div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160; <span class="keywordflow">if</span> (head == <a class="code" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a>(node))</div>
1628
+ <div class="line"><a name="l00825"></a><span class="lineno"> 825</span>&#160; {</div>
1629
+ <div class="line"><a name="l00826"></a><span class="lineno"> 826</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(node, UINT_MAX);</div>
1630
+ <div class="line"><a name="l00827"></a><span class="lineno"> 827</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* element = <a class="code" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a>();</div>
1631
+ <div class="line"><a name="l00828"></a><span class="lineno"> 828</span>&#160; <span class="keywordflow">if</span> (loop)</div>
1632
+ <div class="line"><a name="l00829"></a><span class="lineno"> 829</span>&#160; {</div>
1633
+ <div class="line"><a name="l00830"></a><span class="lineno"> 830</span>&#160; <span class="keywordflow">while</span> (element != node)</div>
1634
+ <div class="line"><a name="l00831"></a><span class="lineno"> 831</span>&#160; {</div>
1635
+ <div class="line"><a name="l00832"></a><span class="lineno"> 832</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a>(element, 0);</div>
1636
+ <div class="line"><a name="l00833"></a><span class="lineno"> 833</span>&#160; element = <a class="code" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a>();</div>
1637
+ <div class="line"><a name="l00834"></a><span class="lineno"> 834</span>&#160; }</div>
1638
+ <div class="line"><a name="l00835"></a><span class="lineno"> 835</span>&#160; partition.push_front(<a class="code" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a>(node));</div>
1639
+ <div class="line"><a name="l00836"></a><span class="lineno"> 836</span>&#160; }</div>
1640
+ <div class="line"><a name="l00837"></a><span class="lineno"> 837</span>&#160; <span class="keywordflow">else</span></div>
1641
+ <div class="line"><a name="l00838"></a><span class="lineno"> 838</span>&#160; {</div>
1642
+ <div class="line"><a name="l00839"></a><span class="lineno"> 839</span>&#160; partition.push_front(<a class="code" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">newNode</a>(node));</div>
1643
+ <div class="line"><a name="l00840"></a><span class="lineno"> 840</span>&#160; }</div>
1644
+ <div class="line"><a name="l00841"></a><span class="lineno"> 841</span>&#160; }</div>
1645
+ <div class="line"><a name="l00842"></a><span class="lineno"> 842</span>&#160; <span class="keywordflow">return</span> head;</div>
1646
+ <div class="line"><a name="l00843"></a><span class="lineno"> 843</span>&#160; }</div>
1647
+ </div><!-- fragment -->
1648
+ </div>
1649
+ </div>
1650
+ <h2 class="groupheader">Friends And Related Function Documentation</h2>
1651
+ <a id="a9342328c10f51f56290b61e06851f30d"></a>
1652
+ <h2 class="memtitle"><span class="permalink"><a href="#a9342328c10f51f56290b61e06851f30d">&#9670;&nbsp;</a></span>operator&lt;&lt;</h2>
1653
+
1654
+ <div class="memitem">
1655
+ <div class="memproto">
1656
+ <div class="memtemplate">
1657
+ template&lt;typename GraphT &gt; </div>
1658
+ <table class="mlabels">
1659
+ <tr>
1660
+ <td class="mlabels-left">
1661
+ <table class="memname">
1662
+ <tr>
1663
+ <td class="memname">std::ostream&amp; operator&lt;&lt; </td>
1664
+ <td>(</td>
1665
+ <td class="paramtype">std::ostream &amp;&#160;</td>
1666
+ <td class="paramname"><em>o</em>, </td>
1667
+ </tr>
1668
+ <tr>
1669
+ <td class="paramkey"></td>
1670
+ <td></td>
1671
+ <td class="paramtype">const <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; GraphT &gt; &amp;&#160;</td>
1672
+ <td class="paramname"><em>wto</em>&#160;</td>
1673
+ </tr>
1674
+ <tr>
1675
+ <td></td>
1676
+ <td>)</td>
1677
+ <td></td><td></td>
1678
+ </tr>
1679
+ </table>
1680
+ </td>
1681
+ <td class="mlabels-right">
1682
+ <span class="mlabels"><span class="mlabel">friend</span></span> </td>
1683
+ </tr>
1684
+ </table>
1685
+ </div><div class="memdoc">
1686
+
1687
+ <p>Overloading operator &lt;&lt; for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
1688
+
1689
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00655">655</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1690
+ <div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160; {</div>
1691
+ <div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; o &lt;&lt; wto.toString();</div>
1692
+ <div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; <span class="keywordflow">return</span> o;</div>
1693
+ <div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; }</div>
1694
+ </div><!-- fragment -->
1695
+ </div>
1696
+ </div>
1697
+ <h2 class="groupheader">Member Data Documentation</h2>
1698
+ <a id="a649f1a93b6fd51553f6e144f2fe99542"></a>
1699
+ <h2 class="memtitle"><span class="permalink"><a href="#a649f1a93b6fd51553f6e144f2fe99542">&#9670;&nbsp;</a></span>_allComponents</h2>
1700
+
1701
+ <div class="memitem">
1702
+ <div class="memproto">
1703
+ <div class="memtemplate">
1704
+ template&lt;typename GraphT &gt; </div>
1705
+ <table class="mlabels">
1706
+ <tr>
1707
+ <td class="mlabels-left">
1708
+ <table class="memname">
1709
+ <tr>
1710
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_allComponents</td>
1711
+ </tr>
1712
+ </table>
1713
+ </td>
1714
+ <td class="mlabels-right">
1715
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1716
+ </tr>
1717
+ </table>
1718
+ </div><div class="memdoc">
1719
+
1720
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00544">544</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1721
+
1722
+ </div>
1723
+ </div>
1724
+ <a id="acbc503aa22e6d9bf2f6406fc45ebbab1"></a>
1725
+ <h2 class="memtitle"><span class="permalink"><a href="#acbc503aa22e6d9bf2f6406fc45ebbab1">&#9670;&nbsp;</a></span>_components</h2>
1726
+
1727
+ <div class="memitem">
1728
+ <div class="memproto">
1729
+ <div class="memtemplate">
1730
+ template&lt;typename GraphT &gt; </div>
1731
+ <table class="mlabels">
1732
+ <tr>
1733
+ <td class="mlabels-left">
1734
+ <table class="memname">
1735
+ <tr>
1736
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_components</td>
1737
+ </tr>
1738
+ </table>
1739
+ </td>
1740
+ <td class="mlabels-right">
1741
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1742
+ </tr>
1743
+ </table>
1744
+ </div><div class="memdoc">
1745
+
1746
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00543">543</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1747
+
1748
+ </div>
1749
+ </div>
1750
+ <a id="a5853e7a33044635877b8f07de05ff047"></a>
1751
+ <h2 class="memtitle"><span class="permalink"><a href="#a5853e7a33044635877b8f07de05ff047">&#9670;&nbsp;</a></span>_entry</h2>
1752
+
1753
+ <div class="memitem">
1754
+ <div class="memproto">
1755
+ <div class="memtemplate">
1756
+ template&lt;typename GraphT &gt; </div>
1757
+ <table class="mlabels">
1758
+ <tr>
1759
+ <td class="mlabels-left">
1760
+ <table class="memname">
1761
+ <tr>
1762
+ <td class="memname">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_entry</td>
1763
+ </tr>
1764
+ </table>
1765
+ </td>
1766
+ <td class="mlabels-right">
1767
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1768
+ </tr>
1769
+ </table>
1770
+ </div><div class="memdoc">
1771
+
1772
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00551">551</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1773
+
1774
+ </div>
1775
+ </div>
1776
+ <a id="ae8e57cc333199bc8b5aaff0a825eed47"></a>
1777
+ <h2 class="memtitle"><span class="permalink"><a href="#ae8e57cc333199bc8b5aaff0a825eed47">&#9670;&nbsp;</a></span>_graph</h2>
1778
+
1779
+ <div class="memitem">
1780
+ <div class="memproto">
1781
+ <div class="memtemplate">
1782
+ template&lt;typename GraphT &gt; </div>
1783
+ <table class="mlabels">
1784
+ <tr>
1785
+ <td class="mlabels-left">
1786
+ <table class="memname">
1787
+ <tr>
1788
+ <td class="memname">GraphT* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_graph</td>
1789
+ </tr>
1790
+ </table>
1791
+ </td>
1792
+ <td class="mlabels-right">
1793
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1794
+ </tr>
1795
+ </table>
1796
+ </div><div class="memdoc">
1797
+
1798
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00550">550</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1799
+
1800
+ </div>
1801
+ </div>
1802
+ <a id="a54d8c25df36b0c44d52369c4294a1ed8"></a>
1803
+ <h2 class="memtitle"><span class="permalink"><a href="#a54d8c25df36b0c44d52369c4294a1ed8">&#9670;&nbsp;</a></span>_nodeToCDN</h2>
1804
+
1805
+ <div class="memitem">
1806
+ <div class="memproto">
1807
+ <div class="memtemplate">
1808
+ template&lt;typename GraphT &gt; </div>
1809
+ <table class="mlabels">
1810
+ <tr>
1811
+ <td class="mlabels-left">
1812
+ <table class="memname">
1813
+ <tr>
1814
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_nodeToCDN</td>
1815
+ </tr>
1816
+ </table>
1817
+ </td>
1818
+ <td class="mlabels-right">
1819
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1820
+ </tr>
1821
+ </table>
1822
+ </div><div class="memdoc">
1823
+
1824
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00547">547</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1825
+
1826
+ </div>
1827
+ </div>
1828
+ <a id="ab6eebbf5ab6f6c3ee157e22da10620e9"></a>
1829
+ <h2 class="memtitle"><span class="permalink"><a href="#ab6eebbf5ab6f6c3ee157e22da10620e9">&#9670;&nbsp;</a></span>_nodeToDepth</h2>
1830
+
1831
+ <div class="memitem">
1832
+ <div class="memproto">
1833
+ <div class="memtemplate">
1834
+ template&lt;typename GraphT &gt; </div>
1835
+ <table class="mlabels">
1836
+ <tr>
1837
+ <td class="mlabels-left">
1838
+ <table class="memname">
1839
+ <tr>
1840
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_nodeToDepth</td>
1841
+ </tr>
1842
+ </table>
1843
+ </td>
1844
+ <td class="mlabels-right">
1845
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1846
+ </tr>
1847
+ </table>
1848
+ </div><div class="memdoc">
1849
+
1850
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00546">546</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1851
+
1852
+ </div>
1853
+ </div>
1854
+ <a id="af3e699fe03e5072f057cf162aefe8c12"></a>
1855
+ <h2 class="memtitle"><span class="permalink"><a href="#af3e699fe03e5072f057cf162aefe8c12">&#9670;&nbsp;</a></span>_num</h2>
1856
+
1857
+ <div class="memitem">
1858
+ <div class="memproto">
1859
+ <div class="memtemplate">
1860
+ template&lt;typename GraphT &gt; </div>
1861
+ <table class="mlabels">
1862
+ <tr>
1863
+ <td class="mlabels-left">
1864
+ <table class="memname">
1865
+ <tr>
1866
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_num</td>
1867
+ </tr>
1868
+ </table>
1869
+ </td>
1870
+ <td class="mlabels-right">
1871
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1872
+ </tr>
1873
+ </table>
1874
+ </div><div class="memdoc">
1875
+
1876
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00548">548</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1877
+
1878
+ </div>
1879
+ </div>
1880
+ <a id="a333df66435d9c4444ff7f729ca9d0050"></a>
1881
+ <h2 class="memtitle"><span class="permalink"><a href="#a333df66435d9c4444ff7f729ca9d0050">&#9670;&nbsp;</a></span>_stack</h2>
1882
+
1883
+ <div class="memitem">
1884
+ <div class="memproto">
1885
+ <div class="memtemplate">
1886
+ template&lt;typename GraphT &gt; </div>
1887
+ <table class="mlabels">
1888
+ <tr>
1889
+ <td class="mlabels-left">
1890
+ <table class="memname">
1891
+ <tr>
1892
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::_stack</td>
1893
+ </tr>
1894
+ </table>
1895
+ </td>
1896
+ <td class="mlabels-right">
1897
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1898
+ </tr>
1899
+ </table>
1900
+ </div><div class="memdoc">
1901
+
1902
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00549">549</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1903
+
1904
+ </div>
1905
+ </div>
1906
+ <a id="a5752288fb686b9ef5d6c8edc0cee6348"></a>
1907
+ <h2 class="memtitle"><span class="permalink"><a href="#a5752288fb686b9ef5d6c8edc0cee6348">&#9670;&nbsp;</a></span>headRefToCycle</h2>
1908
+
1909
+ <div class="memitem">
1910
+ <div class="memproto">
1911
+ <div class="memtemplate">
1912
+ template&lt;typename GraphT &gt; </div>
1913
+ <table class="mlabels">
1914
+ <tr>
1915
+ <td class="mlabels-left">
1916
+ <table class="memname">
1917
+ <tr>
1918
+ <td class="memname"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a> <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::headRefToCycle</td>
1919
+ </tr>
1920
+ </table>
1921
+ </td>
1922
+ <td class="mlabels-right">
1923
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1924
+ </tr>
1925
+ </table>
1926
+ </div><div class="memdoc">
1927
+
1928
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00545">545</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1929
+
1930
+ </div>
1931
+ </div>
1932
+ <a id="a15ecb3d149a88c93318133314d010954"></a>
1933
+ <h2 class="memtitle"><span class="permalink"><a href="#a15ecb3d149a88c93318133314d010954">&#9670;&nbsp;</a></span>WTOComponentPtr</h2>
1934
+
1935
+ <div class="memitem">
1936
+ <div class="memproto">
1937
+ <div class="memtemplate">
1938
+ template&lt;typename GraphT &gt; </div>
1939
+ <table class="mlabels">
1940
+ <tr>
1941
+ <td class="mlabels-left">
1942
+ <table class="memname">
1943
+ <tr>
1944
+ <td class="memname">const typedef <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a>* <a class="el" href="classSVF_1_1WTO.html">SVF::WTO</a>&lt; GraphT &gt;::WTOComponentPtr</td>
1945
+ </tr>
1946
+ </table>
1947
+ </td>
1948
+ <td class="mlabels-right">
1949
+ <span class="mlabels"><span class="mlabel">protected</span></span> </td>
1950
+ </tr>
1951
+ </table>
1952
+ </div><div class="memdoc">
1953
+
1954
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00526">526</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
1955
+
1956
+ </div>
1957
+ </div>
1958
+ <hr/>The documentation for this class was generated from the following file:<ul>
1959
+ <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
1960
+ </ul>
1961
+ </div><!-- contents -->
1962
+ <div class="ttc" id="aclassSVF_1_1WTO_html_af3e699fe03e5072f057cf162aefe8c12"><div class="ttname"><a href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">SVF::WTO::_num</a></div><div class="ttdeci">CycleDepthNumber _num</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00548">WTO.h:548</a></div></div>
1963
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a56259113c30312e5052d0d8c0d4d6b77"><div class="ttname"><a href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">SVF::WTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const NodeT *node, WTOComponentRefList &amp;partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00794">WTO.h:794</a></div></div>
1964
+ <div class="ttc" id="aclassSVF_1_1WTO_html_ae6655b82c9137b960eac07631897de82"><div class="ttname"><a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">SVF::WTO::pop</a></div><div class="ttdeci">const NodeT * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00746">WTO.h:746</a></div></div>
1965
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a54890e9212acbff3ccd28d674f86e9e7"><div class="ttname"><a href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">SVF::WTO::CycleDepthNumber</a></div><div class="ttdeci">u32_t CycleDepthNumber</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00532">WTO.h:532</a></div></div>
1966
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a7fc78de450f2cb6cbed8aa6856638ad1"><div class="ttname"><a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">SVF::WTO::setCDN</a></div><div class="ttdeci">void setCDN(const NodeT *n, const CycleDepthNumber &amp;dfn)</div><div class="ttdoc">Set the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00736">WTO.h:736</a></div></div>
1967
+ <div class="ttc" id="aclassSVF_1_1WTO_html_ab6eebbf5ab6f6c3ee157e22da10620e9"><div class="ttname"><a href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">SVF::WTO::_nodeToDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr _nodeToDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00546">WTO.h:546</a></div></div>
1968
+ <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
1969
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a13e9082913aa4a14065687ccdd47642d"><div class="ttname"><a href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">SVF::WTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00583">WTO.h:583</a></div></div>
1970
+ <div class="ttc" id="aclassSVF_1_1WTO_html_ac1a8ef3c15d484dc4f593b7d737e7de9"><div class="ttname"><a href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">SVF::WTO::WTOComponentRefList</a></div><div class="ttdeci">std::list&lt; WTOComponentPtr &gt; WTOComponentRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00527">WTO.h:527</a></div></div>
1971
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a22b67a51964cb1d7882aab7e74b026f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">SVF::WTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdoc">End iterator over the components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00589">WTO.h:589</a></div></div>
1972
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a333df66435d9c4444ff7f729ca9d0050"><div class="ttname"><a href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">SVF::WTO::_stack</a></div><div class="ttdeci">Stack _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00549">WTO.h:549</a></div></div>
1973
+ <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>
1974
+ <div class="ttc" id="aclassSVF_1_1WTO_html_aee55e23a1994d4daa29f21a608a1ca69"><div class="ttname"><a href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">SVF::WTO::newCycle</a></div><div class="ttdeci">const WTOCycleT * newCycle(const NodeT *node, const WTOComponentRefList &amp;partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00767">WTO.h:767</a></div></div>
1975
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a2ce51d9a57e8a353aa23d14dce933c9a"><div class="ttname"><a href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">SVF::WTO::newNode</a></div><div class="ttdeci">const WTONodeT * newNode(const NodeT *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00760">WTO.h:760</a></div></div>
1976
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a5853e7a33044635877b8f07de05ff047"><div class="ttname"><a href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO::_entry</a></div><div class="ttdeci">const NodeT * _entry</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00551">WTO.h:551</a></div></div>
1977
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a65d2ed9e7306392ce0b82ac018f0cdea"><div class="ttname"><a href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">SVF::WTO::forEachSuccessor</a></div><div class="ttdeci">virtual void forEachSuccessor(const NodeT *node, std::function&lt; void(const NodeT *)&gt; func) const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00712">WTO.h:712</a></div></div>
1978
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a78e43eb435fb7f5ee47670f10c6e67f2"><div class="ttname"><a href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">SVF::WTO::NodeT</a></div><div class="ttdeci">GraphT::NodeType NodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00514">WTO.h:514</a></div></div>
1979
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a8dc175362f4dbbf158e1fe03745f1ce7"><div class="ttname"><a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">SVF::WTO::component</a></div><div class="ttdeci">virtual const WTOCycleT * component(const NodeT *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00776">WTO.h:776</a></div></div>
1980
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a9a67c7812a890ee4ff9cd470f947bf86"><div class="ttname"><a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">SVF::WTO::push</a></div><div class="ttdeci">void push(const NodeT *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00755">WTO.h:755</a></div></div>
1981
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a71a0d4afca77f59db4829c7b39419429"><div class="ttname"><a href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">SVF::WTO::WTOCycleT</a></div><div class="ttdeci">WTOCycle&lt; GraphT &gt; WTOCycleT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00522">WTO.h:522</a></div></div>
1982
+ <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
1983
+ <div class="ttc" id="aclassSVF_1_1WTO_html_abf8ab42831098184ce972aa6664fcb8a"><div class="ttname"><a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">SVF::WTO::buildNodeToDepth</a></div><div class="ttdeci">void buildNodeToDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00846">WTO.h:846</a></div></div>
1984
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a649f1a93b6fd51553f6e144f2fe99542"><div class="ttname"><a href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">SVF::WTO::_allComponents</a></div><div class="ttdeci">WTOComponentRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00544">WTO.h:544</a></div></div>
1985
+ <div class="ttc" id="aclassSVF_1_1WTO_html_ae8e57cc333199bc8b5aaff0a825eed47"><div class="ttname"><a href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO::_graph</a></div><div class="ttdeci">GraphT * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00550">WTO.h:550</a></div></div>
1986
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a92034688db3f67feb6e997d4c03f769f"><div class="ttname"><a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">SVF::WTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const NodeT *n) const</div><div class="ttdoc">Return the depth-first number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00722">WTO.h:722</a></div></div>
1987
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a96f37d843d4bd7c2b30cfc5bc59cf90d"><div class="ttname"><a href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">SVF::WTO::WTONodeT</a></div><div class="ttdeci">WTONode&lt; GraphT &gt; WTONodeT</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00521">WTO.h:521</a></div></div>
1988
+ <div class="ttc" id="aclassSVF_1_1WTO_html_acbc503aa22e6d9bf2f6406fc45ebbab1"><div class="ttname"><a href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">SVF::WTO::_components</a></div><div class="ttdeci">WTOComponentRefList _components</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00543">WTO.h:543</a></div></div>
1989
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a54d8c25df36b0c44d52369c4294a1ed8"><div class="ttname"><a href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">SVF::WTO::_nodeToCDN</a></div><div class="ttdeci">NodeRefToCycleDepthNumber _nodeToCDN</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00547">WTO.h:547</a></div></div>
1990
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a5752288fb686b9ef5d6c8edc0cee6348"><div class="ttname"><a href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">SVF::WTO::headRefToCycle</a></div><div class="ttdeci">NodeRefToWTOCycleMap headRefToCycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00545">WTO.h:545</a></div></div>
1991
+ <!-- start footer part -->
1992
+ <hr class="footer"/><address class="footer"><small>
1993
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
1994
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
1995
+ </a> 1.8.17
1996
+ </small></address>
1997
+ </body>
1998
+ </html>