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
@@ -139,7 +139,7 @@ class SVF::WTO&lt; GraphT &gt;::WTOCycleDepthBuilder</h3>
139
139
 
140
140
  <p>Visitor to build the cycle depths of each node. </p>
141
141
 
142
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00673">673</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
142
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00674">674</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
143
143
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
144
144
  <a id="a6cf986992bb78e6e3aa2e75b883c01c9"></a>
145
145
  <h2 class="memtitle"><span class="permalink"><a href="#a6cf986992bb78e6e3aa2e75b883c01c9">&#9670;&nbsp;</a></span>WTOCycleDepthBuilder()</h2>
@@ -167,11 +167,11 @@ template&lt;typename GraphT &gt; </div>
167
167
  </table>
168
168
  </div><div class="memdoc">
169
169
 
170
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00680">680</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
171
- <div class="fragment"><div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; : <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>(std::make_shared&lt;GraphTWTOCycleDepth&gt;()),</div>
172
- <div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>(nodeToWTOCycleDepth)</div>
173
- <div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; {</div>
174
- <div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; }</div>
170
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00681">681</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
171
+ <div class="fragment"><div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; : <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>(std::make_shared&lt;GraphTWTOCycleDepth&gt;()),</div>
172
+ <div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>(nodeToWTOCycleDepth)</div>
173
+ <div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160; {</div>
174
+ <div class="line"><a name="l00686"></a><span class="lineno"> 686</span>&#160; }</div>
175
175
  </div><!-- fragment -->
176
176
  </div>
177
177
  </div>
@@ -206,20 +206,20 @@ template&lt;typename GraphT &gt; </div>
206
206
 
207
207
  <p>Implements <a class="el" href="classSVF_1_1WTOComponentVisitor.html#ae7390104473ed5b4fa18f2b3af689d5c">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>.</p>
208
208
 
209
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00687">687</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
210
- <div class="fragment"><div class="line"><a name="l00688"></a><span class="lineno"> 688</span>&#160; {</div>
211
- <div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* head = cycle.head();</div>
212
- <div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a> previous_cycleDepth = <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>;</div>
213
- <div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>.insert(std::make_pair(head, <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>));</div>
214
- <div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a> =</div>
215
- <div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160; std::make_shared&lt;GraphTWTOCycleDepth&gt;(*<a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>);</div>
216
- <div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>-&gt;add(head);</div>
217
- <div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = cycle.begin(), et = cycle.end(); it != et; ++it)</div>
218
- <div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160; {</div>
219
- <div class="line"><a name="l00697"></a><span class="lineno"> 697</span>&#160; (*it)-&gt;accept(*<span class="keyword">this</span>);</div>
220
- <div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160; }</div>
221
- <div class="line"><a name="l00699"></a><span class="lineno"> 699</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a> = previous_cycleDepth;</div>
222
- <div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160; }</div>
209
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00688">688</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
210
+ <div class="fragment"><div class="line"><a name="l00689"></a><span class="lineno"> 689</span>&#160; {</div>
211
+ <div class="line"><a name="l00690"></a><span class="lineno"> 690</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a>* head = cycle.head();</div>
212
+ <div class="line"><a name="l00691"></a><span class="lineno"> 691</span>&#160; <a class="code" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a> previous_cycleDepth = <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>;</div>
213
+ <div class="line"><a name="l00692"></a><span class="lineno"> 692</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>.insert(std::make_pair(head, <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>));</div>
214
+ <div class="line"><a name="l00693"></a><span class="lineno"> 693</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a> =</div>
215
+ <div class="line"><a name="l00694"></a><span class="lineno"> 694</span>&#160; std::make_shared&lt;GraphTWTOCycleDepth&gt;(*<a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>);</div>
216
+ <div class="line"><a name="l00695"></a><span class="lineno"> 695</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>-&gt;add(head);</div>
217
+ <div class="line"><a name="l00696"></a><span class="lineno"> 696</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = cycle.begin(), et = cycle.end(); it != et; ++it)</div>
218
+ <div class="line"><a name="l00697"></a><span class="lineno"> 697</span>&#160; {</div>
219
+ <div class="line"><a name="l00698"></a><span class="lineno"> 698</span>&#160; (*it)-&gt;accept(*<span class="keyword">this</span>);</div>
220
+ <div class="line"><a name="l00699"></a><span class="lineno"> 699</span>&#160; }</div>
221
+ <div class="line"><a name="l00700"></a><span class="lineno"> 700</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a> = previous_cycleDepth;</div>
222
+ <div class="line"><a name="l00701"></a><span class="lineno"> 701</span>&#160; }</div>
223
223
  </div><!-- fragment -->
224
224
  </div>
225
225
  </div>
@@ -253,11 +253,11 @@ template&lt;typename GraphT &gt; </div>
253
253
 
254
254
  <p>Implements <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a1a5052418f6e73c9da9cee44dc50443d">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>.</p>
255
255
 
256
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00702">702</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
257
- <div class="fragment"><div class="line"><a name="l00703"></a><span class="lineno"> 703</span>&#160; {</div>
258
- <div class="line"><a name="l00704"></a><span class="lineno"> 704</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>.insert(</div>
259
- <div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; std::make_pair(node.node(), <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>));</div>
260
- <div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160; }</div>
256
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00703">703</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
257
+ <div class="fragment"><div class="line"><a name="l00704"></a><span class="lineno"> 704</span>&#160; {</div>
258
+ <div class="line"><a name="l00705"></a><span class="lineno"> 705</span>&#160; <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">_nodeToWTOCycleDepth</a>.insert(</div>
259
+ <div class="line"><a name="l00706"></a><span class="lineno"> 706</span>&#160; std::make_pair(node.node(), <a class="code" href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">_wtoCycleDepth</a>));</div>
260
+ <div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; }</div>
261
261
  </div><!-- fragment -->
262
262
  </div>
263
263
  </div>
@@ -284,7 +284,7 @@ template&lt;typename GraphT &gt; </div>
284
284
  </table>
285
285
  </div><div class="memdoc">
286
286
 
287
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00677">677</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
287
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00678">678</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
288
288
 
289
289
  </div>
290
290
  </div>
@@ -310,7 +310,7 @@ template&lt;typename GraphT &gt; </div>
310
310
  </table>
311
311
  </div><div class="memdoc">
312
312
 
313
- <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00676">676</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
313
+ <p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00677">677</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
314
314
 
315
315
  </div>
316
316
  </div>
@@ -318,10 +318,10 @@ template&lt;typename GraphT &gt; </div>
318
318
  <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
319
319
  </ul>
320
320
  </div><!-- contents -->
321
- <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>
322
- <div class="ttc" id="aclassSVF_1_1WTO_1_1WTOCycleDepthBuilder_html_a853dc3f6646858f76de023925d9d6bce"><div class="ttname"><a href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">SVF::WTO::WTOCycleDepthBuilder::_nodeToWTOCycleDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr &amp; _nodeToWTOCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00677">WTO.h:677</a></div></div>
323
- <div class="ttc" id="aclassSVF_1_1WTO_html_a8022c9a6ebc62ed292698f07ab93bafe"><div class="ttname"><a href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">SVF::WTO::WTOCycleDepthPtr</a></div><div class="ttdeci">std::shared_ptr&lt; GraphTWTOCycleDepth &gt; WTOCycleDepthPtr</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00535">WTO.h:535</a></div></div>
324
- <div class="ttc" id="aclassSVF_1_1WTO_1_1WTOCycleDepthBuilder_html_ad40b8e78a27207b8cf113517aed6dca3"><div class="ttname"><a href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">SVF::WTO::WTOCycleDepthBuilder::_wtoCycleDepth</a></div><div class="ttdeci">WTOCycleDepthPtr _wtoCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00676">WTO.h:676</a></div></div>
321
+ <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#l00515">WTO.h:515</a></div></div>
322
+ <div class="ttc" id="aclassSVF_1_1WTO_1_1WTOCycleDepthBuilder_html_a853dc3f6646858f76de023925d9d6bce"><div class="ttname"><a href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#a853dc3f6646858f76de023925d9d6bce">SVF::WTO::WTOCycleDepthBuilder::_nodeToWTOCycleDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr &amp; _nodeToWTOCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00678">WTO.h:678</a></div></div>
323
+ <div class="ttc" id="aclassSVF_1_1WTO_html_a8022c9a6ebc62ed292698f07ab93bafe"><div class="ttname"><a href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">SVF::WTO::WTOCycleDepthPtr</a></div><div class="ttdeci">std::shared_ptr&lt; GraphTWTOCycleDepth &gt; WTOCycleDepthPtr</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00536">WTO.h:536</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1WTO_1_1WTOCycleDepthBuilder_html_ad40b8e78a27207b8cf113517aed6dca3"><div class="ttname"><a href="classSVF_1_1WTO_1_1WTOCycleDepthBuilder.html#ad40b8e78a27207b8cf113517aed6dca3">SVF::WTO::WTOCycleDepthBuilder::_wtoCycleDepth</a></div><div class="ttdeci">WTOCycleDepthPtr _wtoCycleDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00677">WTO.h:677</a></div></div>
325
325
  <!-- start footer part -->
326
326
  <hr class="footer"/><address class="footer"><small>
327
327
  Generated by &#160;<a href="http://www.doxygen.org/index.html">