svf-tools 1.0.596 → 1.0.598

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 (802) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +7 -7
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +11 -11
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
  7. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
  8. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  9. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +8 -8
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +4 -4
  11. package/SVF-doxygen/html/html/CFLGraph_8cpp.html +3 -2
  12. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +15 -16
  13. package/SVF-doxygen/html/html/CFLGraph_8h.html +4 -6
  14. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +19 -20
  15. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
  16. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +8 -8
  18. package/SVF-doxygen/html/html/CHG_8cpp.html +6 -5
  19. package/SVF-doxygen/html/html/CHG_8cpp_source.html +26 -27
  20. package/SVF-doxygen/html/html/CHG_8h.html +4 -6
  21. package/SVF-doxygen/html/html/CHG_8h_source.html +13 -14
  22. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  24. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
  25. package/SVF-doxygen/html/html/ConsG_8cpp.html +3 -2
  26. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +27 -28
  27. package/SVF-doxygen/html/html/ConsG_8h.html +4 -6
  28. package/SVF-doxygen/html/html/ConsG_8h_source.html +10 -11
  29. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
  30. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +3 -3
  31. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
  32. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +21 -21
  33. package/SVF-doxygen/html/html/DCHG_8h.html +4 -6
  34. package/SVF-doxygen/html/html/DCHG_8h_source.html +15 -16
  35. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  36. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
  38. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  40. package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +4 -3
  41. package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +24 -24
  42. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +4 -4
  43. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
  45. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +12 -12
  47. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  50. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +8 -8
  52. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +6 -6
  53. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +2 -2
  55. package/SVF-doxygen/html/html/GenericGraph_8h.html +8 -9
  56. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +125 -125
  57. package/SVF-doxygen/html/html/GraphPrinter_8h.html +3 -2
  58. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +7 -7
  59. package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +4 -4
  60. package/SVF-doxygen/html/html/GraphTraits_8h.html +20 -19
  61. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +13 -13
  62. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +1 -1
  63. package/SVF-doxygen/html/html/GraphWriter_8h.html +23 -22
  64. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +48 -48
  65. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +7 -7
  66. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +7 -7
  68. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +7 -7
  69. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  70. package/SVF-doxygen/html/html/ICFG_8cpp.html +3 -2
  71. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +27 -28
  72. package/SVF-doxygen/html/html/ICFG_8h.html +4 -6
  73. package/SVF-doxygen/html/html/ICFG_8h_source.html +14 -15
  74. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  75. package/SVF-doxygen/html/html/IRGraph_8cpp.html +3 -2
  76. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +20 -21
  77. package/SVF-doxygen/html/html/IRGraph_8h.html +4 -6
  78. package/SVF-doxygen/html/html/IRGraph_8h_source.html +9 -10
  79. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +7 -7
  80. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +38 -39
  81. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +19 -19
  82. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +16 -9
  83. package/SVF-doxygen/html/html/LLVMUtil_8h.html +6 -0
  84. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +6 -4
  85. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +6 -6
  86. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  87. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  88. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +23 -23
  89. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
  90. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +6 -6
  91. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
  92. package/SVF-doxygen/html/html/MHP_8cpp_source.html +23 -23
  93. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  94. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +3 -3
  95. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
  97. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -3
  98. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +8 -8
  99. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  100. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  102. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +18 -18
  103. package/SVF-doxygen/html/html/MemRegion_8h_source.html +2 -2
  104. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +21 -21
  105. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  106. package/SVF-doxygen/html/html/PCG_8cpp_source.html +18 -18
  107. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  108. package/SVF-doxygen/html/html/PTACallGraph_8cpp.html +3 -2
  109. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +27 -28
  110. package/SVF-doxygen/html/html/PTACallGraph_8h.html +4 -6
  111. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +17 -18
  112. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  113. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  114. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +3 -3
  115. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  116. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
  117. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +7 -7
  118. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  119. package/SVF-doxygen/html/html/SCC_8h_source.html +4 -4
  120. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  121. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +3 -3
  123. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
  124. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +9 -9
  125. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +3 -3
  126. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
  127. package/SVF-doxygen/html/html/SVFG_8cpp.html +3 -2
  128. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +23 -24
  129. package/SVF-doxygen/html/html/SVFG_8h.html +1 -3
  130. package/SVF-doxygen/html/html/SVFG_8h_source.html +13 -14
  131. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +15 -14
  132. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +4 -4
  133. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
  134. package/SVF-doxygen/html/html/SVFIR_8h_source.html +4 -4
  135. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  136. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  137. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +9 -9
  138. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +9 -9
  139. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +12 -12
  140. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +4 -4
  141. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
  142. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +16 -19
  143. package/SVF-doxygen/html/html/SVFValue_8h.html +3 -3
  144. package/SVF-doxygen/html/html/SVFValue_8h_source.html +210 -213
  145. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +7 -7
  146. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +13 -14
  147. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +3 -3
  148. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +17 -17
  149. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  150. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +8 -8
  151. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  152. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  153. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +3 -4
  154. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
  155. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -10
  156. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -4
  157. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
  158. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  159. package/SVF-doxygen/html/html/TCT_8cpp.html +3 -2
  160. package/SVF-doxygen/html/html/TCT_8cpp_source.html +38 -39
  161. package/SVF-doxygen/html/html/TCT_8h.html +4 -6
  162. package/SVF-doxygen/html/html/TCT_8h_source.html +27 -28
  163. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +10 -10
  164. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +6 -6
  165. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  166. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +7 -7
  167. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
  168. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
  169. package/SVF-doxygen/html/html/VFGNode_8h_source.html +8 -8
  170. package/SVF-doxygen/html/html/VFG_8cpp.html +3 -2
  171. package/SVF-doxygen/html/html/VFG_8cpp_source.html +20 -21
  172. package/SVF-doxygen/html/html/VFG_8h.html +4 -6
  173. package/SVF-doxygen/html/html/VFG_8h_source.html +14 -15
  174. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  175. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
  176. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -3
  177. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +8 -8
  178. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  179. package/SVF-doxygen/html/html/WPASolver_8h_source.html +4 -4
  180. package/SVF-doxygen/html/html/annotated.html +291 -291
  181. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +4 -4
  183. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +4 -4
  184. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +3 -3
  185. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +3 -3
  186. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  187. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  191. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +33 -33
  193. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +7 -7
  195. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +10 -10
  197. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +7 -7
  199. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +17 -17
  200. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +4 -4
  202. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
  204. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
  205. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +3 -3
  207. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +4 -4
  208. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +11 -11
  210. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
  211. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -4
  212. package/SVF-doxygen/html/html/classSVF_1_1CFLNode-members.html +45 -44
  213. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +29 -29
  214. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
  215. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +16 -16
  217. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +17 -17
  218. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +3 -3
  219. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  221. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  222. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +7 -7
  223. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  224. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +56 -56
  227. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -30
  231. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
  232. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -12
  233. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  238. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +35 -35
  242. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  243. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +16 -16
  244. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  245. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  246. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  247. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  248. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +2 -2
  249. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
  250. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +6 -6
  253. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -4
  254. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +2 -2
  257. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +8 -8
  258. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  259. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +1 -1
  260. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -21
  261. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +17 -17
  262. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +29 -29
  263. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +3 -3
  266. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +6 -6
  268. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +8 -8
  269. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
  270. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
  271. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +98 -97
  272. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  273. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -4
  274. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  276. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -4
  277. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter-members.html +83 -0
  279. package/SVF-doxygen/html/html/classSVF_1_1GraphPrinter.html +236 -0
  280. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver-members.html +2 -2
  281. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +12 -12
  282. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter-members.html +100 -0
  283. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +882 -0
  284. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +19 -19
  285. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +12 -12
  286. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
  287. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +11 -11
  290. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  291. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +3 -3
  293. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +2 -2
  294. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  296. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  299. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
  300. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +2 -2
  301. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +7 -7
  302. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +69 -69
  303. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +2 -2
  304. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +22 -22
  305. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
  308. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +50 -50
  309. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +7 -7
  310. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +55 -55
  311. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +22 -22
  313. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +4 -4
  315. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +3 -3
  316. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +6 -6
  317. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  318. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +37 -37
  319. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +9 -9
  320. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  321. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +36 -36
  322. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  323. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
  324. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -4
  325. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  326. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +28 -28
  327. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +3 -3
  328. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +25 -25
  329. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  330. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +7 -7
  331. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
  332. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  333. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +40 -40
  334. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
  335. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  336. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  337. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +3 -3
  338. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  339. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +5 -5
  340. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  341. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  342. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  343. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection-members.html +1 -1
  344. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +8 -8
  345. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +7 -9
  346. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +16 -20
  347. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +8 -10
  348. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +56 -63
  349. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +6 -8
  350. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +7 -11
  351. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +12 -14
  352. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +34 -38
  353. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +6 -8
  354. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +5 -9
  355. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +6 -8
  356. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +7 -11
  357. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +6 -8
  358. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +10 -14
  359. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +6 -8
  360. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +14 -18
  361. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +6 -8
  362. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +7 -11
  363. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +23 -25
  364. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +115 -119
  365. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +16 -16
  366. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  367. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
  368. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
  369. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +9 -11
  370. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +14 -18
  371. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
  372. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +48 -47
  373. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +11 -13
  374. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +31 -35
  375. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  376. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +6 -8
  377. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +7 -11
  378. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
  379. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +6 -8
  380. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +5 -9
  381. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +9 -9
  382. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
  383. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +3 -3
  384. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +25 -28
  385. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +38 -128
  386. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +12 -12
  387. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +14 -16
  388. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +29 -33
  389. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +46 -46
  390. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +13 -13
  391. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -2
  392. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +2 -2
  393. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +16 -16
  394. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
  395. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
  396. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +1 -1
  397. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +9 -9
  398. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
  399. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  400. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
  401. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder-members.html +2 -3
  402. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +21 -54
  403. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +5 -5
  404. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +72 -72
  405. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  406. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  407. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  408. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +11 -11
  409. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +5 -5
  410. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  411. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
  412. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
  413. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  414. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +1 -1
  415. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +12 -12
  416. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +5 -5
  417. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +3 -3
  418. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +21 -21
  419. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
  420. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  421. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -4
  422. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  423. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +1 -1
  424. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +35 -35
  425. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
  426. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
  427. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver-members.html +1 -1
  428. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +4 -4
  429. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +7 -7
  430. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
  431. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +4 -4
  432. package/SVF-doxygen/html/html/classSVF_1_1WPASolver-members.html +1 -1
  433. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +8 -8
  434. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base-members.html +112 -0
  435. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +633 -0
  436. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.png +0 -0
  437. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base-members.html +102 -0
  438. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.html +787 -0
  439. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base.png +0 -0
  440. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy-members.html +84 -0
  441. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +229 -0
  442. package/SVF-doxygen/html/html/classSVF_1_1iter__range-members.html +87 -0
  443. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +342 -0
  444. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter-members.html +112 -0
  445. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +322 -0
  446. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.png +0 -0
  447. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator-members.html +113 -0
  448. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +343 -0
  449. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.png +0 -0
  450. package/SVF-doxygen/html/html/classes.html +59 -59
  451. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  452. package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -2
  453. package/SVF-doxygen/html/html/functions_a.html +1 -1
  454. package/SVF-doxygen/html/html/functions_b.html +4 -4
  455. package/SVF-doxygen/html/html/functions_c.html +20 -18
  456. package/SVF-doxygen/html/html/functions_d.html +20 -20
  457. package/SVF-doxygen/html/html/functions_e.html +14 -16
  458. package/SVF-doxygen/html/html/functions_eval_i.html +2 -2
  459. package/SVF-doxygen/html/html/functions_f.html +1 -1
  460. package/SVF-doxygen/html/html/functions_func.html +1 -1
  461. package/SVF-doxygen/html/html/functions_func_b.html +2 -2
  462. package/SVF-doxygen/html/html/functions_func_c.html +4 -4
  463. package/SVF-doxygen/html/html/functions_func_d.html +14 -14
  464. package/SVF-doxygen/html/html/functions_func_e.html +8 -8
  465. package/SVF-doxygen/html/html/functions_func_g.html +72 -72
  466. package/SVF-doxygen/html/html/functions_func_h.html +4 -7
  467. package/SVF-doxygen/html/html/functions_func_i.html +17 -20
  468. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  469. package/SVF-doxygen/html/html/functions_func_n.html +3 -3
  470. package/SVF-doxygen/html/html/functions_func_o.html +24 -24
  471. package/SVF-doxygen/html/html/functions_func_p.html +4 -4
  472. package/SVF-doxygen/html/html/functions_func_r.html +2 -2
  473. package/SVF-doxygen/html/html/functions_func_s.html +15 -18
  474. package/SVF-doxygen/html/html/functions_func_w.html +8 -8
  475. package/SVF-doxygen/html/html/functions_g.html +84 -82
  476. package/SVF-doxygen/html/html/functions_h.html +6 -12
  477. package/SVF-doxygen/html/html/functions_i.html +40 -43
  478. package/SVF-doxygen/html/html/functions_l.html +3 -3
  479. package/SVF-doxygen/html/html/functions_m.html +1 -1
  480. package/SVF-doxygen/html/html/functions_n.html +30 -30
  481. package/SVF-doxygen/html/html/functions_o.html +39 -43
  482. package/SVF-doxygen/html/html/functions_p.html +16 -16
  483. package/SVF-doxygen/html/html/functions_r.html +8 -6
  484. package/SVF-doxygen/html/html/functions_rela.html +3 -3
  485. package/SVF-doxygen/html/html/functions_s.html +22 -25
  486. package/SVF-doxygen/html/html/functions_t.html +3 -3
  487. package/SVF-doxygen/html/html/functions_type_b.html +1 -1
  488. package/SVF-doxygen/html/html/functions_type_c.html +7 -7
  489. package/SVF-doxygen/html/html/functions_type_d.html +4 -4
  490. package/SVF-doxygen/html/html/functions_type_e.html +4 -4
  491. package/SVF-doxygen/html/html/functions_type_g.html +6 -6
  492. package/SVF-doxygen/html/html/functions_type_i.html +4 -4
  493. package/SVF-doxygen/html/html/functions_type_n.html +27 -27
  494. package/SVF-doxygen/html/html/functions_type_p.html +3 -3
  495. package/SVF-doxygen/html/html/functions_type_r.html +2 -2
  496. package/SVF-doxygen/html/html/functions_type_v.html +2 -2
  497. package/SVF-doxygen/html/html/functions_v.html +5 -5
  498. package/SVF-doxygen/html/html/functions_vars_b.html +1 -1
  499. package/SVF-doxygen/html/html/functions_vars_d.html +1 -1
  500. package/SVF-doxygen/html/html/functions_vars_e.html +1 -1
  501. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  502. package/SVF-doxygen/html/html/functions_vars_g.html +7 -5
  503. package/SVF-doxygen/html/html/functions_vars_h.html +0 -3
  504. package/SVF-doxygen/html/html/functions_vars_i.html +6 -6
  505. package/SVF-doxygen/html/html/functions_vars_o.html +1 -1
  506. package/SVF-doxygen/html/html/functions_vars_p.html +1 -1
  507. package/SVF-doxygen/html/html/functions_w.html +17 -17
  508. package/SVF-doxygen/html/html/hierarchy.html +159 -159
  509. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +4 -4
  510. package/SVF-doxygen/html/html/iterator_8h.html +16 -15
  511. package/SVF-doxygen/html/html/iterator_8h_source.html +53 -53
  512. package/SVF-doxygen/html/html/iterator__range_8h.html +9 -8
  513. package/SVF-doxygen/html/html/iterator__range_8h_source.html +11 -11
  514. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  515. package/SVF-doxygen/html/html/namespaceSVF.html +575 -9
  516. package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +107 -0
  517. package/SVF-doxygen/html/html/namespaceSVF_1_1GraphProgram.html +122 -0
  518. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +65 -7
  519. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +3 -3
  520. package/SVF-doxygen/html/html/namespacellvm.html +1 -572
  521. package/SVF-doxygen/html/html/namespacemembers_c.html +3 -3
  522. package/SVF-doxygen/html/html/namespacemembers_d.html +1 -1
  523. package/SVF-doxygen/html/html/namespacemembers_e.html +1 -1
  524. package/SVF-doxygen/html/html/namespacemembers_enum.html +1 -1
  525. package/SVF-doxygen/html/html/namespacemembers_eval.html +5 -5
  526. package/SVF-doxygen/html/html/namespacemembers_f.html +1 -1
  527. package/SVF-doxygen/html/html/namespacemembers_func_c.html +2 -2
  528. package/SVF-doxygen/html/html/namespacemembers_func_e.html +1 -1
  529. package/SVF-doxygen/html/html/namespacemembers_func_i.html +8 -5
  530. package/SVF-doxygen/html/html/namespacemembers_func_m.html +4 -4
  531. package/SVF-doxygen/html/html/namespacemembers_func_n.html +1 -1
  532. package/SVF-doxygen/html/html/namespacemembers_func_v.html +1 -1
  533. package/SVF-doxygen/html/html/namespacemembers_func_w.html +1 -1
  534. package/SVF-doxygen/html/html/namespacemembers_g.html +1 -1
  535. package/SVF-doxygen/html/html/namespacemembers_i.html +6 -3
  536. package/SVF-doxygen/html/html/namespacemembers_m.html +4 -4
  537. package/SVF-doxygen/html/html/namespacemembers_n.html +3 -3
  538. package/SVF-doxygen/html/html/namespacemembers_r.html +1 -1
  539. package/SVF-doxygen/html/html/namespacemembers_t.html +1 -1
  540. package/SVF-doxygen/html/html/namespacemembers_type_g.html +1 -1
  541. package/SVF-doxygen/html/html/namespacemembers_type_r.html +1 -1
  542. package/SVF-doxygen/html/html/namespacemembers_v.html +1 -1
  543. package/SVF-doxygen/html/html/namespacemembers_w.html +1 -1
  544. package/SVF-doxygen/html/html/namespaces.html +5 -5
  545. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  546. package/SVF-doxygen/html/html/search/all_1.js +1 -1
  547. package/SVF-doxygen/html/html/search/all_10.js +12 -12
  548. package/SVF-doxygen/html/html/search/all_11.js +7 -7
  549. package/SVF-doxygen/html/html/search/all_12.js +7 -6
  550. package/SVF-doxygen/html/html/search/all_13.js +7 -7
  551. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  552. package/SVF-doxygen/html/html/search/all_16.js +10 -10
  553. package/SVF-doxygen/html/html/search/all_2.js +3 -3
  554. package/SVF-doxygen/html/html/search/all_3.js +7 -7
  555. package/SVF-doxygen/html/html/search/all_4.js +20 -20
  556. package/SVF-doxygen/html/html/search/all_5.js +9 -9
  557. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  558. package/SVF-doxygen/html/html/search/all_7.js +87 -87
  559. package/SVF-doxygen/html/html/search/all_8.js +1 -3
  560. package/SVF-doxygen/html/html/search/all_9.js +23 -23
  561. package/SVF-doxygen/html/html/search/all_c.js +2 -4
  562. package/SVF-doxygen/html/html/search/all_d.js +5 -5
  563. package/SVF-doxygen/html/html/search/all_e.js +11 -11
  564. package/SVF-doxygen/html/html/search/all_f.js +19 -19
  565. package/SVF-doxygen/html/html/search/classes_3.js +13 -13
  566. package/SVF-doxygen/html/html/search/classes_6.js +64 -64
  567. package/SVF-doxygen/html/html/search/classes_8.js +10 -10
  568. package/SVF-doxygen/html/html/search/classes_a.js +1 -1
  569. package/SVF-doxygen/html/html/search/classes_d.js +2 -2
  570. package/SVF-doxygen/html/html/search/classes_e.js +1 -1
  571. package/SVF-doxygen/html/html/search/enums_8.js +1 -1
  572. package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -1
  573. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -1
  574. package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -1
  575. package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -1
  576. package/SVF-doxygen/html/html/search/enumvalues_8.js +2 -2
  577. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -1
  578. package/SVF-doxygen/html/html/search/functions_0.js +1 -1
  579. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  580. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  581. package/SVF-doxygen/html/html/search/functions_11.js +1 -2
  582. package/SVF-doxygen/html/html/search/functions_14.js +1 -1
  583. package/SVF-doxygen/html/html/search/functions_15.js +8 -8
  584. package/SVF-doxygen/html/html/search/functions_2.js +4 -4
  585. package/SVF-doxygen/html/html/search/functions_3.js +5 -5
  586. package/SVF-doxygen/html/html/search/functions_4.js +7 -7
  587. package/SVF-doxygen/html/html/search/functions_6.js +21 -21
  588. package/SVF-doxygen/html/html/search/functions_7.js +1 -2
  589. package/SVF-doxygen/html/html/search/functions_8.js +8 -8
  590. package/SVF-doxygen/html/html/search/functions_c.js +5 -5
  591. package/SVF-doxygen/html/html/search/functions_d.js +4 -4
  592. package/SVF-doxygen/html/html/search/functions_e.js +14 -14
  593. package/SVF-doxygen/html/html/search/functions_f.js +4 -4
  594. package/SVF-doxygen/html/html/search/namespaces_0.js +0 -2
  595. package/SVF-doxygen/html/html/search/namespaces_1.js +2 -0
  596. package/SVF-doxygen/html/html/search/related_9.js +3 -3
  597. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -1
  598. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  599. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  600. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -2
  601. package/SVF-doxygen/html/html/search/typedefs_4.js +1 -1
  602. package/SVF-doxygen/html/html/search/typedefs_6.js +3 -3
  603. package/SVF-doxygen/html/html/search/typedefs_7.js +2 -2
  604. package/SVF-doxygen/html/html/search/typedefs_c.js +4 -4
  605. package/SVF-doxygen/html/html/search/typedefs_e.js +2 -2
  606. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -2
  607. package/SVF-doxygen/html/html/search/variables_10.js +1 -1
  608. package/SVF-doxygen/html/html/search/variables_13.js +3 -3
  609. package/SVF-doxygen/html/html/search/variables_2.js +1 -1
  610. package/SVF-doxygen/html/html/search/variables_4.js +1 -1
  611. package/SVF-doxygen/html/html/search/variables_5.js +1 -1
  612. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  613. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  614. package/SVF-doxygen/html/html/search/variables_8.js +0 -1
  615. package/SVF-doxygen/html/html/search/variables_9.js +5 -5
  616. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  617. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  618. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  619. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits-members.html +99 -0
  620. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.html +193 -0
  621. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.png +0 -0
  622. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +105 -0
  623. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +443 -0
  624. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  625. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +104 -0
  626. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +388 -0
  627. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  628. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +106 -0
  629. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +481 -0
  630. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  631. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +106 -0
  632. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +475 -0
  633. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  634. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +107 -0
  635. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +486 -0
  636. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  637. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +106 -0
  638. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +457 -0
  639. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  640. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +108 -0
  641. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +595 -0
  642. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  643. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +105 -0
  644. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +409 -0
  645. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  646. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +107 -0
  647. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +543 -0
  648. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  649. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits-members.html +99 -0
  650. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html +855 -0
  651. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.png +0 -0
  652. package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
  653. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits-members.html +81 -0
  654. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits.html +116 -0
  655. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  656. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  657. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  658. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  659. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +110 -0
  660. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  661. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  662. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +110 -0
  663. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  664. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  665. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +110 -0
  666. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  667. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  668. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +110 -0
  669. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  670. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4-members.html +88 -0
  671. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +324 -0
  672. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  673. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +110 -0
  674. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  675. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  676. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +110 -0
  677. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  678. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  679. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +110 -0
  680. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  681. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  682. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +110 -0
  683. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  684. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  685. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +110 -0
  686. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  687. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4-members.html +81 -0
  688. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +126 -0
  689. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  690. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  691. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +106 -0
  692. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  693. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4-members.html +81 -0
  694. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +126 -0
  695. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  696. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  697. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +106 -0
  698. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  699. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4-members.html +81 -0
  700. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +126 -0
  701. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  702. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  703. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +106 -0
  704. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  705. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4-members.html +81 -0
  706. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +126 -0
  707. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  708. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  709. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +106 -0
  710. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  711. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +99 -0
  712. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +467 -0
  713. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.png +0 -0
  714. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +89 -0
  715. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +367 -0
  716. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.png +0 -0
  717. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  718. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +106 -0
  719. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  720. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4-members.html +81 -0
  721. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +126 -0
  722. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  723. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4-members.html +81 -0
  724. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +126 -0
  725. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  726. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  727. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +106 -0
  728. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  729. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4-members.html +81 -0
  730. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +126 -0
  731. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  732. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4-members.html +81 -0
  733. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +126 -0
  734. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  735. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  736. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +106 -0
  737. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  738. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  739. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +106 -0
  740. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  741. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4-members.html +81 -0
  742. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +126 -0
  743. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  744. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  745. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +106 -0
  746. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  747. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4-members.html +81 -0
  748. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +126 -0
  749. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  750. package/SVF-doxygen/html/html/structSVF_1_1Inverse-members.html +82 -0
  751. package/SVF-doxygen/html/html/structSVF_1_1Inverse.html +154 -0
  752. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter-members.html +111 -0
  753. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.html +279 -0
  754. package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.png +0 -0
  755. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  756. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  757. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  758. package/SVF-doxygen/html/html/svf-ex_8cpp.html +9 -9
  759. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
  760. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
  761. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  762. package/include/Graphs/CFLGraph.h +6 -6
  763. package/include/Graphs/CHG.h +6 -6
  764. package/include/Graphs/ConsG.h +6 -6
  765. package/include/Graphs/DOTGraphTraits.h +3 -3
  766. package/include/Graphs/GenericGraph.h +10 -9
  767. package/include/Graphs/GraphPrinter.h +2 -2
  768. package/include/Graphs/GraphTraits.h +29 -29
  769. package/include/Graphs/GraphWriter.h +6 -6
  770. package/include/Graphs/ICFG.h +6 -6
  771. package/include/Graphs/IRGraph.h +6 -7
  772. package/include/Graphs/PTACallGraph.h +6 -6
  773. package/include/Graphs/SVFG.h +6 -6
  774. package/include/Graphs/VFG.h +6 -6
  775. package/include/MTA/TCT.h +6 -6
  776. package/include/SABER/SrcSnkSolver.h +2 -2
  777. package/include/SVF-LLVM/DCHG.h +6 -6
  778. package/include/SVF-LLVM/LLVMUtil.h +5 -0
  779. package/include/SVF-LLVM/SymbolTableBuilder.h +0 -3
  780. package/include/SVFIR/SVFValue.h +2 -11
  781. package/include/SVFIR/SVFVariables.h +5 -5
  782. package/include/Util/GraphReachSolver.h +2 -2
  783. package/include/Util/SCC.h +1 -1
  784. package/include/Util/iterator.h +32 -32
  785. package/include/Util/iterator_range.h +11 -11
  786. package/include/WPA/WPASolver.h +1 -1
  787. package/lib/Graphs/CFLGraph.cpp +2 -2
  788. package/lib/Graphs/CHG.cpp +2 -2
  789. package/lib/Graphs/ConsG.cpp +2 -2
  790. package/lib/Graphs/GraphWriter.cpp +1 -1
  791. package/lib/Graphs/ICFG.cpp +2 -2
  792. package/lib/Graphs/IRGraph.cpp +2 -2
  793. package/lib/Graphs/PTACallGraph.cpp +2 -2
  794. package/lib/Graphs/SVFG.cpp +1 -1
  795. package/lib/Graphs/VFG.cpp +2 -2
  796. package/lib/MTA/TCT.cpp +1 -1
  797. package/lib/SVF-LLVM/LLVMModule.cpp +0 -2
  798. package/lib/SVF-LLVM/LLVMUtil.cpp +40 -0
  799. package/lib/SVF-LLVM/SVFIRBuilder.cpp +1 -1
  800. package/lib/SVF-LLVM/SymbolTableBuilder.cpp +0 -34
  801. package/lib/SVFIR/SVFValue.cpp +0 -1
  802. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html CHANGED
@@ -79,27 +79,28 @@ Inheritance diagram for SVF::GenericNode&lt; NodeTy, EdgeTy &gt;:</div>
79
79
  <div class="center">
80
80
  <img src="classSVF_1_1GenericNode.png" usemap="#SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" alt=""/>
81
81
  <map id="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" name="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map">
82
- <area href="classSVF_1_1CHNode.html" alt="SVF::CHNode" shape="rect" coords="0,56,238,80"/>
83
- <area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="248,56,486,80"/>
84
- <area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="496,56,734,80"/>
85
- <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="744,56,982,80"/>
86
- <area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="992,56,1230,80"/>
87
- <area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1240,56,1478,80"/>
88
- <area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="496,112,734,136"/>
89
- <area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="496,168,734,192"/>
90
- <area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="496,224,734,248"/>
91
- <area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="992,112,1230,136"/>
92
- <area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="992,168,1230,192"/>
93
- <area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1488,112,1726,136"/>
94
- <area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1488,168,1726,192"/>
95
- <area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1488,224,1726,248"/>
96
- <area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1488,280,1726,304"/>
97
- <area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1488,336,1726,360"/>
98
- <area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1488,392,1726,416"/>
99
- <area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1488,448,1726,472"/>
100
- <area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1488,504,1726,528"/>
101
- <area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1488,560,1726,584"/>
102
- <area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1488,616,1726,640"/>
82
+ <area href="classSVF_1_1CFLNode.html" alt="SVF::CFLNode" shape="rect" coords="0,56,238,80"/>
83
+ <area href="classSVF_1_1CHNode.html" alt="SVF::CHNode" shape="rect" coords="248,56,486,80"/>
84
+ <area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="496,56,734,80"/>
85
+ <area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="744,56,982,80"/>
86
+ <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="992,56,1230,80"/>
87
+ <area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="1240,56,1478,80"/>
88
+ <area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1488,56,1726,80"/>
89
+ <area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="744,112,982,136"/>
90
+ <area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="744,168,982,192"/>
91
+ <area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="744,224,982,248"/>
92
+ <area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="1240,112,1478,136"/>
93
+ <area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="1240,168,1478,192"/>
94
+ <area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1736,112,1974,136"/>
95
+ <area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1736,168,1974,192"/>
96
+ <area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1736,224,1974,248"/>
97
+ <area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1736,280,1974,304"/>
98
+ <area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1736,336,1974,360"/>
99
+ <area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1736,392,1974,416"/>
100
+ <area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1736,448,1974,472"/>
101
+ <area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1736,504,1974,528"/>
102
+ <area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1736,560,1974,584"/>
103
+ <area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1736,616,1974,640"/>
103
104
  </map>
104
105
  </div></div>
105
106
  <table class="memberdecls">
@@ -220,7 +221,7 @@ class SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</h3>
220
221
 
221
222
  <p>Generic node on the graph as base class </p>
222
223
 
223
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00133">133</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
224
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00134">134</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
224
225
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
225
226
  <a id="ab6dc1ae41ae23b383f8add474caa7429"></a>
226
227
  <h2 class="memtitle"><span class="permalink"><a href="#ab6dc1ae41ae23b383f8add474caa7429">&#9670;&nbsp;</a></span>const_iterator</h2>
@@ -236,7 +237,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
236
237
  </table>
237
238
  </div><div class="memdoc">
238
239
 
239
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00145">145</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
240
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00146">146</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
240
241
 
241
242
  </div>
242
243
  </div>
@@ -254,7 +255,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
254
255
  </table>
255
256
  </div><div class="memdoc">
256
257
 
257
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00138">138</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
258
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00139">139</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
258
259
 
259
260
  </div>
260
261
  </div>
@@ -272,7 +273,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
272
273
  </table>
273
274
  </div><div class="memdoc">
274
275
 
275
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00141">141</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
276
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00142">142</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
276
277
 
277
278
  </div>
278
279
  </div>
@@ -292,7 +293,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
292
293
 
293
294
  <p>Edge kind. </p>
294
295
 
295
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00140">140</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
296
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00141">141</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
296
297
 
297
298
  </div>
298
299
  </div>
@@ -311,7 +312,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
311
312
  </div><div class="memdoc">
312
313
  <p>Edge iterator </p>
313
314
 
314
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00144">144</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
315
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00145">145</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
315
316
 
316
317
  </div>
317
318
  </div>
@@ -329,7 +330,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
329
330
  </table>
330
331
  </div><div class="memdoc">
331
332
 
332
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00137">137</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
333
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00138">138</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
333
334
 
334
335
  </div>
335
336
  </div>
@@ -372,9 +373,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
372
373
 
373
374
  <p>Constructor. </p>
374
375
 
375
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00157">157</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
376
- <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; : <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>(i),<a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>(k)</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00149">GenericGraph.h:149</a></div></div>
377
- <div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
376
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00158">158</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
377
+ <div class="fragment"><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; : <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>(i),<a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>(k)</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
378
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00151">GenericGraph.h:151</a></div></div>
378
379
  </div><!-- fragment -->
379
380
  </div>
380
381
  </div>
@@ -405,8 +406,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
405
406
 
406
407
  <p>Destructor. </p>
407
408
 
408
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00163">163</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
409
- <div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> * edge : <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
409
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00164">164</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> * edge : <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>)</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
410
411
  </div><!-- fragment -->
411
412
  </div>
412
413
  </div>
@@ -439,8 +440,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
439
440
 
440
441
  <p>Add incoming and outgoing edges. </p>
441
442
 
442
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00280">280</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
443
- <div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; {</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
443
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00281">281</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
444
+ <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; {</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
444
445
  </div><!-- fragment -->
445
446
  </div>
446
447
  </div>
@@ -470,8 +471,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
470
471
  </table>
471
472
  </div><div class="memdoc">
472
473
 
473
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00284">284</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
474
- <div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; {</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
474
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00285">285</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
475
+ <div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; {</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
475
476
  </div><!-- fragment -->
476
477
  </div>
477
478
  </div>
@@ -502,8 +503,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
502
503
 
503
504
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a947fd86d30a4f0145280ab9a56fd8b10">SVF::ConstraintNode</a>.</p>
504
505
 
505
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00251">251</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
506
- <div class="fragment"><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
506
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00252">252</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
507
+ <div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; {</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
507
508
  </div><!-- fragment -->
508
509
  </div>
509
510
  </div>
@@ -534,8 +535,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
534
535
 
535
536
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae40976e622fdfe9c52b56ec386f1a53c">SVF::ConstraintNode</a>.</p>
536
537
 
537
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00268">268</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
538
- <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; {</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
538
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00269">269</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
539
+ <div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; {</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
539
540
  </div><!-- fragment -->
540
541
  </div>
541
542
  </div>
@@ -566,8 +567,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
566
567
 
567
568
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a1aeb6c40a8078d07dc6837114bddb213">SVF::ConstraintNode</a>.</p>
568
569
 
569
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00255">255</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
570
- <div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; {</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
570
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00256">256</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
571
+ <div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
571
572
  </div><!-- fragment -->
572
573
  </div>
573
574
  </div>
@@ -598,8 +599,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
598
599
 
599
600
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ad59c356474cf6c496da12e827ec2dd98">SVF::ConstraintNode</a>.</p>
600
601
 
601
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00272">272</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
602
- <div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
602
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00273">273</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
603
+ <div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
603
604
  </div><!-- fragment -->
604
605
  </div>
605
606
  </div>
@@ -632,8 +633,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
632
633
 
633
634
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae42c4a86f8c588e348ce4b0d7d919393">SVF::ConstraintNode</a>.</p>
634
635
 
635
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00243">243</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
636
- <div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
636
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00244">244</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
637
+ <div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
637
638
  </div><!-- fragment -->
638
639
  </div>
639
640
  </div>
@@ -664,8 +665,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
664
665
 
665
666
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a047851ec7866332ab422b48e261b5f75">SVF::ConstraintNode</a>.</p>
666
667
 
667
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00260">260</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
668
- <div class="fragment"><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; {</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
668
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00261">261</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
669
+ <div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; {</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
669
670
  </div><!-- fragment -->
670
671
  </div>
671
672
  </div>
@@ -696,8 +697,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
696
697
 
697
698
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#aa77fb67a62abe4c28cecc73d395d7b12">SVF::ConstraintNode</a>.</p>
698
699
 
699
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00247">247</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
700
- <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
700
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00248">248</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
701
+ <div class="fragment"><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; {</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
701
702
  </div><!-- fragment -->
702
703
  </div>
703
704
  </div>
@@ -728,8 +729,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
728
729
 
729
730
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#aef70a5e58c9917ea3f7329df84e65e62">SVF::ConstraintNode</a>.</p>
730
731
 
731
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00264">264</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
732
- <div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
732
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00265">265</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
733
+ <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
733
734
  </div><!-- fragment -->
734
735
  </div>
735
736
  </div>
@@ -760,8 +761,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
760
761
 
761
762
  <p>Get ID. </p>
762
763
 
763
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00170">170</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
764
- <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00149">GenericGraph.h:149</a></div></div>
764
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00171">171</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
765
+ <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
765
766
  </div><!-- fragment -->
766
767
  </div>
767
768
  </div>
@@ -790,8 +791,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
790
791
  </table>
791
792
  </div><div class="memdoc">
792
793
 
793
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00187">187</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
794
- <div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; {</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
794
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00188">188</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
795
+ <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
795
796
  </div><!-- fragment -->
796
797
  </div>
797
798
  </div>
@@ -822,8 +823,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
822
823
 
823
824
  <p>Get node kind. </p>
824
825
 
825
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00176">176</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
826
- <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
826
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00177">177</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
827
+ <div class="fragment"><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00151">GenericGraph.h:151</a></div></div>
827
828
  </div><!-- fragment -->
828
829
  </div>
829
830
  </div>
@@ -853,8 +854,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
853
854
  </div><div class="memdoc">
854
855
  <p>Get incoming/outgoing edge set </p>
855
856
 
856
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00183">183</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
857
- <div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
857
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00184">184</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
858
+ <div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
858
859
  </div><!-- fragment -->
859
860
  </div>
860
861
  </div>
@@ -885,8 +886,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
885
886
 
886
887
  <p>Has incoming/outgoing edge set. </p>
887
888
 
888
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00195">195</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
889
- <div class="fragment"><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
889
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00196">196</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
890
+ <div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
890
891
  </div><!-- fragment -->
891
892
  </div>
892
893
  </div>
@@ -918,9 +919,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
918
919
 
919
920
  <p>Find incoming and outgoing edges. </p>
920
921
 
921
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00310">310</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
922
- <div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end())</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
923
- <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
922
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00311">311</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
923
+ <div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; {</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end())</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00146">GenericGraph.h:146</a></div></div>
924
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
924
925
  </div><!-- fragment -->
925
926
  </div>
926
927
  </div>
@@ -949,8 +950,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
949
950
  </table>
950
951
  </div><div class="memdoc">
951
952
 
952
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00199">199</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
953
- <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
953
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00200">200</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
954
+ <div class="fragment"><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; {</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
954
955
  </div><!-- fragment -->
955
956
  </div>
956
957
  </div>
@@ -980,9 +981,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
980
981
  </table>
981
982
  </div><div class="memdoc">
982
983
 
983
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00318">318</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
984
- <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end())</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
985
- <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
984
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00319">319</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
985
+ <div class="fragment"><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; {</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end())</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00146">GenericGraph.h:146</a></div></div>
986
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
986
987
  </div><!-- fragment -->
987
988
  </div>
988
989
  </div>
@@ -1011,8 +1012,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1011
1012
  </table>
1012
1013
  </div><div class="memdoc">
1013
1014
 
1014
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00215">215</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1015
- <div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; {</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1015
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00216">216</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1016
+ <div class="fragment"><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; {</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1016
1017
  </div><!-- fragment -->
1017
1018
  </div>
1018
1019
  </div>
@@ -1041,8 +1042,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1041
1042
  </table>
1042
1043
  </div><div class="memdoc">
1043
1044
 
1044
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00231">231</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1045
- <div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1045
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00232">232</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1046
+ <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1046
1047
  </div><!-- fragment -->
1047
1048
  </div>
1048
1049
  </div>
@@ -1071,8 +1072,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1071
1072
  </table>
1072
1073
  </div><div class="memdoc">
1073
1074
 
1074
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00219">219</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1075
- <div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; {</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1075
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00220">220</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1076
+ <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1076
1077
  </div><!-- fragment -->
1077
1078
  </div>
1078
1079
  </div>
@@ -1101,8 +1102,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1101
1102
  </table>
1102
1103
  </div><div class="memdoc">
1103
1104
 
1104
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00235">235</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1105
- <div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; {</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1105
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00236">236</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1106
+ <div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; {</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1106
1107
  </div><!-- fragment -->
1107
1108
  </div>
1108
1109
  </div>
@@ -1133,8 +1134,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1133
1134
 
1134
1135
  <p>iterators </p>
1135
1136
 
1136
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00207">207</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1137
- <div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; {</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1137
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00208">208</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1138
+ <div class="fragment"><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; {</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1138
1139
  </div><!-- fragment -->
1139
1140
  </div>
1140
1141
  </div>
@@ -1163,8 +1164,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1163
1164
  </table>
1164
1165
  </div><div class="memdoc">
1165
1166
 
1166
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00223">223</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1167
- <div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1167
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00224">224</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1168
+ <div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1168
1169
  </div><!-- fragment -->
1169
1170
  </div>
1170
1171
  </div>
@@ -1193,8 +1194,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1193
1194
  </table>
1194
1195
  </div><div class="memdoc">
1195
1196
 
1196
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00211">211</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1197
- <div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1197
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00212">212</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1198
+ <div class="fragment"><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1198
1199
  </div><!-- fragment -->
1199
1200
  </div>
1200
1201
  </div>
@@ -1223,8 +1224,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1223
1224
  </table>
1224
1225
  </div><div class="memdoc">
1225
1226
 
1226
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00227">227</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1227
- <div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1227
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00228">228</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1228
+ <div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1228
1229
  </div><!-- fragment -->
1229
1230
  </div>
1230
1231
  </div>
@@ -1255,9 +1256,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1255
1256
  </div><div class="memdoc">
1256
1257
  <p>Remove incoming and outgoing edges </p>
1257
1258
 
1258
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00292">292</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1259
- <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(it);</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
1260
- <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1259
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00293">293</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1260
+ <div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(it);</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
1261
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1261
1262
  </div><!-- fragment -->
1262
1263
  </div>
1263
1264
  </div>
@@ -1287,9 +1288,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1287
1288
  </table>
1288
1289
  </div><div class="memdoc">
1289
1290
 
1290
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00299">299</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1291
- <div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(it);</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
1292
- <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1291
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00300">300</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1292
+ <div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(it);</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
1293
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
1293
1294
  </div><!-- fragment -->
1294
1295
  </div>
1295
1296
  </div>
@@ -1318,7 +1319,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1318
1319
 
1319
1320
  <p>Node ID. </p>
1320
1321
 
1321
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00149">149</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1322
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00150">150</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1322
1323
 
1323
1324
  </div>
1324
1325
  </div>
@@ -1346,7 +1347,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1346
1347
 
1347
1348
  <p>all incoming edge of this node </p>
1348
1349
 
1349
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00152">152</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1350
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00153">153</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1350
1351
 
1351
1352
  </div>
1352
1353
  </div>
@@ -1374,7 +1375,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1374
1375
 
1375
1376
  <p>Node kind. </p>
1376
1377
 
1377
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00150">150</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1378
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00151">151</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1378
1379
 
1379
1380
  </div>
1380
1381
  </div>
@@ -1402,7 +1403,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1402
1403
 
1403
1404
  <p>all outgoing edge of this node </p>
1404
1405
 
1405
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00153">153</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1406
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00154">154</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1406
1407
 
1407
1408
  </div>
1408
1409
  </div>