svf-tools 1.0.891 → 1.0.892

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 (129) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +451 -450
  2. package/SVF-doxygen/html/AbstractExecution_8h_source.html +11 -11
  3. package/SVF-doxygen/html/AccessPath_8cpp_source.html +150 -147
  4. package/SVF-doxygen/html/AccessPath_8h_source.html +6 -6
  5. package/SVF-doxygen/html/Andersen_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +426 -425
  7. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +2 -2
  8. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/CppUtil_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  12. package/SVF-doxygen/html/DCHG_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/DDAClient_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +43 -44
  15. package/SVF-doxygen/html/ICFGWTO_8h_source.html +4 -4
  16. package/SVF-doxygen/html/ICFG_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +6 -6
  18. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +575 -577
  19. package/SVF-doxygen/html/LLVMUtil_8h_source.html +21 -21
  20. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/MHP_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/MemSSA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/ObjTypeInference_8cpp.html +1 -1
  24. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
  25. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +828 -827
  27. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +20 -20
  28. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +5 -5
  29. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/SVFStatements_8h_source.html +1 -1
  31. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  33. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +5 -5
  36. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/WTO_8h.html +1 -0
  38. package/SVF-doxygen/html/WTO_8h_source.html +812 -811
  39. package/SVF-doxygen/html/ae_8cpp.html +46 -47
  40. package/SVF-doxygen/html/ae_8cpp_source.html +46 -47
  41. package/SVF-doxygen/html/classSVF_1_1AEAPI.html +432 -431
  42. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +22 -22
  43. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +136 -133
  44. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  45. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  46. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  47. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  48. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  49. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  50. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  51. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +82 -81
  53. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +1 -1
  54. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +1 -1
  55. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  56. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  57. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  58. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  59. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  60. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  61. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  62. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +1 -1
  63. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  64. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  65. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +1 -1
  66. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  67. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +2 -2
  68. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1ICFG.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1ICFGSimplification.html +43 -44
  71. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  73. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +1 -1
  74. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +1 -1
  75. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  76. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +6 -6
  77. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +1 -1
  78. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  79. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1MHP.html +1 -1
  81. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +1 -1
  82. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  83. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +1 -1
  84. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
  85. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  86. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  87. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  88. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  89. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +1 -1
  90. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  91. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +792 -791
  92. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +5 -5
  93. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  94. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  95. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  96. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  97. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  98. package/SVF-doxygen/html/classSVF_1_1TCT.html +1 -1
  99. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  100. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  101. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  102. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  103. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  104. package/SVF-doxygen/html/classSVF_1_1WTO.html +253 -253
  105. package/SVF-doxygen/html/classSVF_1_1WTOComponent.html +21 -21
  106. package/SVF-doxygen/html/classSVF_1_1WTOComponentVisitor.html +3 -3
  107. package/SVF-doxygen/html/classSVF_1_1WTOCycle.html +61 -61
  108. package/SVF-doxygen/html/classSVF_1_1WTOCycleDepth.html +115 -115
  109. package/SVF-doxygen/html/classSVF_1_1WTONode.html +31 -31
  110. package/SVF-doxygen/html/classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html +31 -31
  111. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +503 -505
  112. package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +2 -2
  113. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  114. package/SVF-doxygen/html/structSVF_1_1has__edgetype.html +1 -1
  115. 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 +1 -1
  116. package/SVF-doxygen/html/structSVF_1_1has__nodetype.html +1 -1
  117. 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 +1 -1
  118. package/SVF-doxygen/html/svf-ex_8cpp.html +12 -12
  119. package/SVF-doxygen/html/svf-ex_8cpp_source.html +12 -12
  120. package/package.json +1 -1
  121. package/svf/include/Graphs/WTO.h +1 -0
  122. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +1 -0
  123. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +1 -0
  124. package/svf/lib/AE/Svfexe/ICFGSimplification.cpp +1 -2
  125. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +1 -0
  126. package/svf/lib/MemoryModel/AccessPath.cpp +4 -1
  127. package/svf-llvm/lib/LLVMUtil.cpp +1 -2
  128. package/svf-llvm/lib/SVFIRBuilder.cpp +1 -1
  129. package/svf-llvm/tools/AE/ae.cpp +1 -2
@@ -131,7 +131,7 @@ class SVF::WTOComponent&lt; GraphT &gt;</h3>
131
131
  <p>Base class for a <a class="el" href="classSVF_1_1WTO.html">WTO</a> component</p>
132
132
  <p>A <a class="el" href="classSVF_1_1WTO.html">WTO</a> component can be either a node or cycle </p>
133
133
 
134
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00271">271</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
134
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00272">272</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
135
135
  </div><h2 class="groupheader">Member Enumeration Documentation</h2>
136
136
  <a id="a3c2b9ef6ae6a3d47b0bba929f12560f7"></a>
137
137
  <h2 class="memtitle"><span class="permalink"><a href="#a3c2b9ef6ae6a3d47b0bba929f12560f7">&#9670;&nbsp;</a></span>WTOCT</h2>
@@ -151,11 +151,11 @@ template&lt;typename GraphT &gt; </div>
151
151
  <tr><td class="fieldname"><a id="a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110"></a>Cycle&#160;</td><td class="fielddoc"></td></tr>
152
152
  </table>
153
153
 
154
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00274">274</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
155
- <div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; {</div>
156
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">Node</a>,</div>
157
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">Cycle</a></div>
158
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; };</div>
154
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00275">275</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
155
+ <div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; {</div>
156
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">Node</a>,</div>
157
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">Cycle</a></div>
158
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; };</div>
159
159
  </div><!-- fragment -->
160
160
  </div>
161
161
  </div>
@@ -188,8 +188,8 @@ template&lt;typename GraphT &gt; </div>
188
188
 
189
189
  <p>Default constructor. </p>
190
190
 
191
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00281">281</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
192
- <div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160;: <a class="code" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">_type</a>(k) {};</div>
191
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00282">282</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
192
+ <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160;: <a class="code" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">_type</a>(k) {};</div>
193
193
  </div><!-- fragment -->
194
194
  </div>
195
195
  </div>
@@ -338,10 +338,10 @@ template&lt;typename GraphT &gt; </div>
338
338
  </table>
339
339
  </div><div class="memdoc">
340
340
 
341
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00301">301</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
342
- <div class="fragment"><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; {</div>
343
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">_type</a>;</div>
344
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div>
341
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00302">302</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
342
+ <div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div>
343
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">_type</a>;</div>
344
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
345
345
  </div><!-- fragment -->
346
346
  </div>
347
347
  </div>
@@ -471,11 +471,11 @@ template&lt;typename GraphT &gt; </div>
471
471
 
472
472
  <p>Overloading operator &lt;&lt; for dumping <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node ID. </p>
473
473
 
474
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00310">310</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div>
476
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; o &lt;&lt; wto.toString();</div>
477
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> o;</div>
478
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
474
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00311">311</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
475
+ <div class="fragment"><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; {</div>
476
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; o &lt;&lt; wto.toString();</div>
477
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">return</span> o;</div>
478
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
479
479
  </div><!-- fragment -->
480
480
  </div>
481
481
  </div>
@@ -494,7 +494,7 @@ template&lt;typename GraphT &gt; </div>
494
494
  </table>
495
495
  </div><div class="memdoc">
496
496
 
497
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00318">318</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
497
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00319">319</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
498
498
 
499
499
  </div>
500
500
  </div>
@@ -502,9 +502,9 @@ template&lt;typename GraphT &gt; </div>
502
502
  <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
503
503
  </ul>
504
504
  </div><!-- contents -->
505
- <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">SVF::WTOComponent::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00277">WTO.h:277</a></div></div>
506
- <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">SVF::WTOComponent::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00276">WTO.h:276</a></div></div>
507
- <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a1da81c85c89d975b6df9dafdb32dc788"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">SVF::WTOComponent::_type</a></div><div class="ttdeci">WTOCT _type</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00318">WTO.h:318</a></div></div>
505
+ <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">SVF::WTOComponent::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00278">WTO.h:278</a></div></div>
506
+ <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">SVF::WTOComponent::Node</a></div><div class="ttdeci">@ Node</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00277">WTO.h:277</a></div></div>
507
+ <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a1da81c85c89d975b6df9dafdb32dc788"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a1da81c85c89d975b6df9dafdb32dc788">SVF::WTOComponent::_type</a></div><div class="ttdeci">WTOCT _type</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00319">WTO.h:319</a></div></div>
508
508
  <!-- start footer part -->
509
509
  <hr class="footer"/><address class="footer"><small>
510
510
  Generated by &#160;<a href="http://www.doxygen.org/index.html">
@@ -125,7 +125,7 @@ class SVF::WTOComponentVisitor&lt; GraphT &gt;</h3>
125
125
 
126
126
  <p>Weak topological order (<a class="el" href="classSVF_1_1WTO.html">WTO</a>) visitor </p>
127
127
 
128
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00049">49</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
128
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00050">50</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
129
129
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
130
130
  <a id="a978324f9b276a9d086b9e7a12feac997"></a>
131
131
  <h2 class="memtitle"><span class="permalink"><a href="#a978324f9b276a9d086b9e7a12feac997">&#9670;&nbsp;</a></span>WTOCycleT</h2>
@@ -141,7 +141,7 @@ template&lt;typename GraphT &gt; </div>
141
141
  </table>
142
142
  </div><div class="memdoc">
143
143
 
144
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00476">476</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
144
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00477">477</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
145
145
 
146
146
  </div>
147
147
  </div>
@@ -159,7 +159,7 @@ template&lt;typename GraphT &gt; </div>
159
159
  </table>
160
160
  </div><div class="memdoc">
161
161
 
162
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00475">475</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
162
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00476">476</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
163
163
 
164
164
  </div>
165
165
  </div>
@@ -140,7 +140,7 @@ class SVF::WTOCycle&lt; GraphT &gt;</h3>
140
140
 
141
141
  <p><a class="el" href="classSVF_1_1WTO.html">WTO</a> cycle for GraphT </p>
142
142
 
143
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00047">47</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
143
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00048">48</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
144
144
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
145
145
  <a id="ad0a2a2bb4c2d6eafaedbf04ced31243d"></a>
146
146
  <h2 class="memtitle"><span class="permalink"><a href="#ad0a2a2bb4c2d6eafaedbf04ced31243d">&#9670;&nbsp;</a></span>Iterator</h2>
@@ -158,7 +158,7 @@ template&lt;typename GraphT &gt; </div>
158
158
 
159
159
  <p>Iterator over the components. </p>
160
160
 
161
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00393">393</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
161
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00394">394</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
162
162
 
163
163
  </div>
164
164
  </div>
@@ -176,7 +176,7 @@ template&lt;typename GraphT &gt; </div>
176
176
  </table>
177
177
  </div><div class="memdoc">
178
178
 
179
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00383">383</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
179
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00384">384</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
180
180
 
181
181
  </div>
182
182
  </div>
@@ -202,7 +202,7 @@ template&lt;typename GraphT &gt; </div>
202
202
  </table>
203
203
  </div><div class="memdoc">
204
204
 
205
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00389">389</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
205
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00390">390</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
206
206
 
207
207
  </div>
208
208
  </div>
@@ -220,7 +220,7 @@ template&lt;typename GraphT &gt; </div>
220
220
  </table>
221
221
  </div><div class="memdoc">
222
222
 
223
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00385">385</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
223
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00386">386</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
224
224
 
225
225
  </div>
226
226
  </div>
@@ -263,11 +263,11 @@ template&lt;typename GraphT &gt; </div>
263
263
 
264
264
  <p>Constructor. </p>
265
265
 
266
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00404">404</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
267
- <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; : WTOComponent&lt;GraphT&gt;(<a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">WTOComponent&lt;GraphT&gt;::Cycle</a>), <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>(<a class="code" href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">head</a>),</div>
268
- <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(components))</div>
269
- <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; {</div>
270
- <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; }</div>
266
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00405">405</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
267
+ <div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; : WTOComponent&lt;GraphT&gt;(<a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">WTOComponent&lt;GraphT&gt;::Cycle</a>), <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>(<a class="code" href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">head</a>),</div>
268
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(components))</div>
269
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; {</div>
270
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
271
271
  </div><!-- fragment -->
272
272
  </div>
273
273
  </div>
@@ -300,10 +300,10 @@ template&lt;typename GraphT &gt; </div>
300
300
 
301
301
  <p>Accept the given visitor. </p>
302
302
 
303
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00429">429</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
304
- <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; {</div>
305
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; v.visit(*<span class="keyword">this</span>);</div>
306
- <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; }</div>
303
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00430">430</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
304
+ <div class="fragment"><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; {</div>
305
+ <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; v.visit(*<span class="keyword">this</span>);</div>
306
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; }</div>
307
307
  </div><!-- fragment -->
308
308
  </div>
309
309
  </div>
@@ -334,10 +334,10 @@ template&lt;typename GraphT &gt; </div>
334
334
 
335
335
  <p>Begin iterator over the components. </p>
336
336
 
337
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00417">417</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
338
- <div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; {</div>
339
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>.cbegin();</div>
340
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div>
337
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00418">418</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
338
+ <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
339
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>.cbegin();</div>
340
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div>
341
341
  </div><!-- fragment -->
342
342
  </div>
343
343
  </div>
@@ -367,10 +367,10 @@ template&lt;typename GraphT &gt; </div>
367
367
  </table>
368
368
  </div><div class="memdoc">
369
369
 
370
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00441">441</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
371
- <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div>
372
- <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <span class="keywordflow">return</span> c-&gt;getKind() == <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">WTOComponent&lt;GraphT&gt;::Cycle</a>;</div>
373
- <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; }</div>
370
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00442">442</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
371
+ <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div>
372
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">return</span> c-&gt;getKind() == <a class="code" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">WTOComponent&lt;GraphT&gt;::Cycle</a>;</div>
373
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div>
374
374
  </div><!-- fragment -->
375
375
  </div>
376
376
  </div>
@@ -402,10 +402,10 @@ template&lt;typename GraphT &gt; </div>
402
402
 
403
403
  <p>ClassOf. </p>
404
404
 
405
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00436">436</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
406
- <div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; {</div>
407
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
408
- <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
405
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00437">437</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
406
+ <div class="fragment"><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; {</div>
407
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
408
+ <div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div>
409
409
  </div><!-- fragment -->
410
410
  </div>
411
411
  </div>
@@ -436,10 +436,10 @@ template&lt;typename GraphT &gt; </div>
436
436
 
437
437
  <p>End iterator over the components. </p>
438
438
 
439
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00423">423</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
440
- <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div>
441
- <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>.cend();</div>
442
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; }</div>
439
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00424">424</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
440
+ <div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; {</div>
441
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">_components</a>.cend();</div>
442
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</div>
443
443
  </div><!-- fragment -->
444
444
  </div>
445
445
  </div>
@@ -470,10 +470,10 @@ template&lt;typename GraphT &gt; </div>
470
470
 
471
471
  <p>Return the head of the cycle. </p>
472
472
 
473
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00411">411</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
474
- <div class="fragment"><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
475
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>;</div>
476
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
473
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00412">412</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
474
+ <div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; {</div>
475
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>;</div>
476
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; }</div>
477
477
  </div><!-- fragment -->
478
478
  </div>
479
479
  </div>
@@ -504,24 +504,24 @@ template&lt;typename GraphT &gt; </div>
504
504
 
505
505
  <p>Dump the cycle, for debugging purpose. </p>
506
506
 
507
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00448">448</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
508
- <div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
509
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
510
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; std::stringstream rawstr(str);</div>
511
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;(&quot;</span>;</div>
512
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
513
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b">begin</a>(), et = <a class="code" href="classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a">end</a>(); it != et;)</div>
514
- <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; {</div>
515
- <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; rawstr &lt;&lt; (*it)-&gt;toString();</div>
516
- <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; ++it;</div>
517
- <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; <span class="keywordflow">if</span> (it != et)</div>
518
- <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; {</div>
519
- <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
520
- <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div>
521
- <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; }</div>
522
- <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
523
- <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
524
- <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div>
507
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00449">449</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
508
+ <div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; {</div>
509
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
510
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; std::stringstream rawstr(str);</div>
511
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;(&quot;</span>;</div>
512
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">_head</a>-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
513
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b">begin</a>(), et = <a class="code" href="classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a">end</a>(); it != et;)</div>
514
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; {</div>
515
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; rawstr &lt;&lt; (*it)-&gt;toString();</div>
516
+ <div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; ++it;</div>
517
+ <div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordflow">if</span> (it != et)</div>
518
+ <div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; {</div>
519
+ <div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
520
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; }</div>
521
+ <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; }</div>
522
+ <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div>
523
+ <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
524
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; }</div>
525
525
  </div><!-- fragment -->
526
526
  </div>
527
527
  </div>
@@ -550,7 +550,7 @@ template&lt;typename GraphT &gt; </div>
550
550
 
551
551
  <p><a class="el" href="classSVF_1_1List.html">List</a> of components. </p>
552
552
 
553
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00400">400</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
553
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00401">401</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
554
554
 
555
555
  </div>
556
556
  </div>
@@ -578,7 +578,7 @@ template&lt;typename GraphT &gt; </div>
578
578
 
579
579
  <p>Head of the cycle. </p>
580
580
 
581
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00397">397</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
581
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00398">398</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
582
582
 
583
583
  </div>
584
584
  </div>
@@ -604,7 +604,7 @@ template&lt;typename GraphT &gt; </div>
604
604
  </table>
605
605
  </div><div class="memdoc">
606
606
 
607
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00388">388</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
607
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00389">389</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
608
608
 
609
609
  </div>
610
610
  </div>
@@ -612,14 +612,14 @@ template&lt;typename GraphT &gt; </div>
612
612
  <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
613
613
  </ul>
614
614
  </div><!-- contents -->
615
- <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a8e781898712dae7399ded6ccdce6aa53"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">SVF::WTOCycle::_components</a></div><div class="ttdeci">WTOComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00400">WTO.h:400</a></div></div>
616
- <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">SVF::WTOComponent::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00277">WTO.h:277</a></div></div>
617
- <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a1f54ed975152670e16280f8b12aebc66"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">SVF::WTOCycle::_head</a></div><div class="ttdeci">const NodeT * _head</div><div class="ttdoc">Head of the cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00397">WTO.h:397</a></div></div>
615
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a8e781898712dae7399ded6ccdce6aa53"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a8e781898712dae7399ded6ccdce6aa53">SVF::WTOCycle::_components</a></div><div class="ttdeci">WTOComponentRefList _components</div><div class="ttdoc">List of components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00401">WTO.h:401</a></div></div>
616
+ <div class="ttc" id="aclassSVF_1_1WTOComponent_html_a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110"><div class="ttname"><a href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7a8a904539134bae644c387a317981c110">SVF::WTOComponent::Cycle</a></div><div class="ttdeci">@ Cycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00278">WTO.h:278</a></div></div>
617
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a1f54ed975152670e16280f8b12aebc66"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a1f54ed975152670e16280f8b12aebc66">SVF::WTOCycle::_head</a></div><div class="ttdeci">const NodeT * _head</div><div class="ttdoc">Head of the cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00398">WTO.h:398</a></div></div>
618
618
  <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>
619
- <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a807c883d1cfe98c791c903125742f95b"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b">SVF::WTOCycle::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00417">WTO.h:417</a></div></div>
619
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a807c883d1cfe98c791c903125742f95b"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a807c883d1cfe98c791c903125742f95b">SVF::WTOCycle::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdoc">Begin iterator over the components.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00418">WTO.h:418</a></div></div>
620
620
  <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>
621
- <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a03fd55dd34c48d22cefcaf6dc93f734a"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a">SVF::WTOCycle::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#l00423">WTO.h:423</a></div></div>
622
- <div class="ttc" id="aclassSVF_1_1WTOCycle_html_ace60ecb07603681de5c3020d0d3c5079"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">SVF::WTOCycle::head</a></div><div class="ttdeci">const NodeT * head() const</div><div class="ttdoc">Return the head of the cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00411">WTO.h:411</a></div></div>
621
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html_a03fd55dd34c48d22cefcaf6dc93f734a"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#a03fd55dd34c48d22cefcaf6dc93f734a">SVF::WTOCycle::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#l00424">WTO.h:424</a></div></div>
622
+ <div class="ttc" id="aclassSVF_1_1WTOCycle_html_ace60ecb07603681de5c3020d0d3c5079"><div class="ttname"><a href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">SVF::WTOCycle::head</a></div><div class="ttdeci">const NodeT * head() const</div><div class="ttdoc">Return the head of the cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00412">WTO.h:412</a></div></div>
623
623
  <!-- start footer part -->
624
624
  <hr class="footer"/><address class="footer"><small>
625
625
  Generated by &#160;<a href="http://www.doxygen.org/index.html">