svf-tools 1.0.310 → 1.0.311

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 (316) hide show
  1. package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +6 -6
  5. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
  7. package/SVF-doxygen/html/html/Andersen_8h_source.html +8 -8
  8. package/SVF-doxygen/html/html/CHG_8cpp.html +1 -1
  9. package/SVF-doxygen/html/html/CHG_8cpp_source.html +9 -9
  10. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +5 -5
  12. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  14. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +10 -10
  15. package/SVF-doxygen/html/html/ConsG_8h_source.html +5 -5
  16. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  17. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
  18. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
  19. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  20. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/DDAClient_8h_source.html +2 -2
  22. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +5 -5
  23. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  25. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/ExternalPAG_8cpp.html +1 -1
  28. package/SVF-doxygen/html/html/ExternalPAG_8cpp_source.html +8 -8
  29. package/SVF-doxygen/html/html/ExternalPAG_8h_source.html +1 -1
  30. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +8 -8
  31. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +9 -9
  37. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +4 -4
  39. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +82 -81
  40. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -4
  42. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  45. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +6 -6
  46. package/SVF-doxygen/html/html/ICFG_8h_source.html +6 -6
  47. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +4 -4
  48. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +2 -2
  50. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  51. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +4 -4
  52. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  53. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  56. package/SVF-doxygen/html/html/MHP_8cpp_source.html +13 -13
  57. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  58. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +1 -1
  61. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
  62. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  63. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/MemModel_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +11 -11
  66. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  67. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  68. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  69. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +15 -15
  71. package/SVF-doxygen/html/html/PAGBuilder_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/PAGEdge_8h_source.html +2 -2
  73. package/SVF-doxygen/html/html/PAGNode_8h_source.html +6 -6
  74. package/SVF-doxygen/html/html/PAG_8cpp_source.html +27 -27
  75. package/SVF-doxygen/html/html/PAG_8h_source.html +17 -17
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +8 -8
  77. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +8 -8
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +8 -8
  81. package/SVF-doxygen/html/html/PTAType_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +34 -33
  85. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +7 -7
  86. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +11 -11
  87. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +66 -66
  88. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +8 -8
  89. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  90. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
  91. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  92. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +10 -10
  94. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
  95. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +9 -9
  97. package/SVF-doxygen/html/html/SVFG_8h_source.html +7 -7
  98. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/html/SVFModule_8h.html +3 -0
  100. package/SVF-doxygen/html/html/SVFModule_8h_source.html +53 -46
  101. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
  102. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +7 -7
  103. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  105. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  106. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  107. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +11 -11
  108. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +16 -16
  109. package/SVF-doxygen/html/html/TCT_8cpp_source.html +11 -11
  110. package/SVF-doxygen/html/html/TCT_8h_source.html +10 -10
  111. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
  112. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
  113. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  114. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +4 -4
  115. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  116. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/VFG_8cpp_source.html +6 -6
  118. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
  119. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  120. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +10 -10
  121. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  122. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  124. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  125. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  126. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  127. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  128. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  129. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  131. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +29 -29
  132. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -4
  135. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
  137. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  138. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +2 -2
  139. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +69 -68
  141. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  142. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +25 -25
  144. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  146. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjPN.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjPN.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjPN.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +115 -115
  153. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +15 -15
  154. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +18 -18
  155. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +9 -9
  156. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +20 -20
  159. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  160. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +9 -9
  161. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +4 -4
  162. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1DummyObjPN.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1DummyValPN.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html +8 -8
  166. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +6 -6
  168. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +38 -38
  169. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +20 -20
  170. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +30 -30
  171. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  172. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  175. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  176. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +47 -47
  179. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +58 -57
  180. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +13 -13
  186. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +3 -3
  187. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +6 -6
  189. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  190. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +3 -3
  191. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +17 -17
  197. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1LocObjTypeInfo.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1LocSymTableInfo.html +2 -2
  202. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  203. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +15 -15
  205. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +17 -17
  206. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +4 -4
  209. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  210. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  211. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +21 -21
  212. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
  213. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +3 -3
  214. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +3 -3
  215. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +2 -2
  216. package/SVF-doxygen/html/html/classSVF_1_1PAG.html +33 -33
  217. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +21 -21
  218. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  219. package/SVF-doxygen/html/html/classSVF_1_1PAGEdge.html +5 -5
  220. package/SVF-doxygen/html/html/classSVF_1_1PAGNode.html +10 -10
  221. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +15 -15
  222. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +16 -16
  224. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +4 -4
  225. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +15 -15
  226. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +6 -6
  227. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +5 -5
  228. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +10 -10
  229. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +39 -38
  230. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +153 -116
  231. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  232. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  233. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  234. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +2 -2
  237. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
  238. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  239. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +35 -35
  240. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +7 -7
  241. package/SVF-doxygen/html/html/classSVF_1_1SVFModule-members.html +1 -0
  242. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +110 -77
  243. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +3 -3
  244. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +15 -15
  245. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  246. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +7 -7
  247. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
  248. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +66 -65
  251. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +28 -28
  252. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  255. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
  257. package/SVF-doxygen/html/html/classSVF_1_1TypeSystem.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  260. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +14 -14
  261. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  262. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +2 -2
  263. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +31 -31
  265. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  266. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +5 -5
  268. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  269. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  270. package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
  271. package/SVF-doxygen/html/html/functions_c.html +27 -26
  272. package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
  273. package/SVF-doxygen/html/html/functions_func_c.html +11 -10
  274. package/SVF-doxygen/html/html/functions_i.html +3 -3
  275. package/SVF-doxygen/html/html/functions_r.html +1 -1
  276. package/SVF-doxygen/html/html/functions_s.html +12 -12
  277. package/SVF-doxygen/html/html/functions_u.html +3 -3
  278. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  279. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  280. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  281. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  282. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  283. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  284. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  285. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  286. package/SVF-doxygen/html/html/search/all_14.js +2 -2
  287. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  288. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  289. package/SVF-doxygen/html/html/search/all_1b.js +1 -0
  290. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  291. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  292. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  293. package/SVF-doxygen/html/html/search/functions_16.js +1 -0
  294. package/SVF-doxygen/html/html/search/functions_2.js +1 -1
  295. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  296. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  297. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  298. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html +1 -1
  299. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html +17 -17
  300. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
  301. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +1 -1
  302. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html +14 -14
  303. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +20 -20
  304. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +16 -16
  305. package/SVF-doxygen/html/html/svf-ex_8cpp.html +5 -5
  306. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +3 -3
  307. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  308. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  309. package/include/Graphs/GenericGraph.h +5 -8
  310. package/include/MemoryModel/PersistentPointsToCache.h +13 -7
  311. package/include/MemoryModel/PointerAnalysisImpl.h +1 -0
  312. package/include/Util/SVFModule.h +16 -0
  313. package/lib/Graphs/PAG.cpp +3 -10
  314. package/lib/SVF-FE/SymbolTableInfo.cpp +3 -0
  315. package/lib/Util/Options.cpp +2 -2
  316. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html CHANGED
@@ -408,7 +408,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
408
408
  <p>Destructor. </p>
409
409
 
410
410
  <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>
411
- <div class="fragment"><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><!-- fragment -->
411
+ <div class="fragment"><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; <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="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</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#l00148">GenericGraph.h:148</a></div></div>
412
+ </div><!-- fragment -->
412
413
  </div>
413
414
  </div>
414
415
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -440,8 +441,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
440
441
 
441
442
  <p>Add incoming and outgoing edges. </p>
442
443
 
443
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00274">274</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
444
- <div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; {</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</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="l00277"></a><span class="lineno"> 277</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#l00147">GenericGraph.h:147</a></div></div>
444
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00275">275</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; {</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</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="l00278"></a><span class="lineno"> 278</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#l00147">GenericGraph.h:147</a></div></div>
445
446
  </div><!-- fragment -->
446
447
  </div>
447
448
  </div>
@@ -471,8 +472,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
471
472
  </table>
472
473
  </div><div class="memdoc">
473
474
 
474
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00278">278</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; {</div><div class="line"><a name="l00280"></a><span class="lineno"> 280</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="l00281"></a><span class="lineno"> 281</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#l00148">GenericGraph.h:148</a></div></div>
475
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00279">279</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
476
+ <div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; {</div><div class="line"><a name="l00281"></a><span class="lineno"> 281</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="l00282"></a><span class="lineno"> 282</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#l00148">GenericGraph.h:148</a></div></div>
476
477
  </div><!-- fragment -->
477
478
  </div>
478
479
  </div>
@@ -503,8 +504,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
503
504
 
504
505
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">SVF::ConstraintNode</a>.</p>
505
506
 
506
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00245">245</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
507
- <div class="fragment"><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</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="l00248"></a><span class="lineno"> 248</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#l00147">GenericGraph.h:147</a></div></div>
507
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00246">246</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
508
+ <div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; {</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</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="l00249"></a><span class="lineno"> 249</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#l00147">GenericGraph.h:147</a></div></div>
508
509
  </div><!-- fragment -->
509
510
  </div>
510
511
  </div>
@@ -535,8 +536,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
535
536
 
536
537
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">SVF::ConstraintNode</a>.</p>
537
538
 
538
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00262">262</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
539
- <div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; {</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</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="l00265"></a><span class="lineno"> 265</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#l00147">GenericGraph.h:147</a></div></div>
539
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00263">263</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
540
+ <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</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="l00266"></a><span class="lineno"> 266</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#l00147">GenericGraph.h:147</a></div></div>
540
541
  </div><!-- fragment -->
541
542
  </div>
542
543
  </div>
@@ -567,8 +568,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
567
568
 
568
569
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">SVF::ConstraintNode</a>.</p>
569
570
 
570
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00249">249</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
571
- <div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; {</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</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="l00252"></a><span class="lineno"> 252</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#l00147">GenericGraph.h:147</a></div></div>
571
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00250">250</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
572
+ <div class="fragment"><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; {</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</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="l00253"></a><span class="lineno"> 253</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#l00147">GenericGraph.h:147</a></div></div>
572
573
  </div><!-- fragment -->
573
574
  </div>
574
575
  </div>
@@ -599,8 +600,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
599
600
 
600
601
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode</a>.</p>
601
602
 
602
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00266">266</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
603
- <div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; {</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</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="l00269"></a><span class="lineno"> 269</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#l00147">GenericGraph.h:147</a></div></div>
603
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00267">267</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
604
+ <div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; {</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</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="l00270"></a><span class="lineno"> 270</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#l00147">GenericGraph.h:147</a></div></div>
604
605
  </div><!-- fragment -->
605
606
  </div>
606
607
  </div>
@@ -633,8 +634,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
633
634
 
634
635
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">SVF::ConstraintNode</a>.</p>
635
636
 
636
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00237">237</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
637
- <div class="fragment"><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; {</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</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="l00240"></a><span class="lineno"> 240</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#l00148">GenericGraph.h:148</a></div></div>
637
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00238">238</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
638
+ <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</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="l00241"></a><span class="lineno"> 241</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#l00148">GenericGraph.h:148</a></div></div>
638
639
  </div><!-- fragment -->
639
640
  </div>
640
641
  </div>
@@ -665,8 +666,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
665
666
 
666
667
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">SVF::ConstraintNode</a>.</p>
667
668
 
668
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00254">254</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
669
- <div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; {</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</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="l00257"></a><span class="lineno"> 257</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#l00148">GenericGraph.h:148</a></div></div>
669
+ <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>
670
+ <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</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#l00148">GenericGraph.h:148</a></div></div>
670
671
  </div><!-- fragment -->
671
672
  </div>
672
673
  </div>
@@ -697,8 +698,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
697
698
 
698
699
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">SVF::ConstraintNode</a>.</p>
699
700
 
700
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00241">241</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
701
- <div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; {</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</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="l00244"></a><span class="lineno"> 244</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#l00148">GenericGraph.h:148</a></div></div>
701
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00242">242</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
702
+ <div class="fragment"><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</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="l00245"></a><span class="lineno"> 245</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#l00148">GenericGraph.h:148</a></div></div>
702
703
  </div><!-- fragment -->
703
704
  </div>
704
705
  </div>
@@ -729,8 +730,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
729
730
 
730
731
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">SVF::ConstraintNode</a>.</p>
731
732
 
732
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00258">258</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
733
- <div class="fragment"><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</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="l00261"></a><span class="lineno"> 261</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#l00148">GenericGraph.h:148</a></div></div>
733
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00259">259</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
734
+ <div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</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="l00262"></a><span class="lineno"> 262</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#l00148">GenericGraph.h:148</a></div></div>
734
735
  </div><!-- fragment -->
735
736
  </div>
736
737
  </div>
@@ -761,8 +762,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
761
762
 
762
763
  <p>Get ID. </p>
763
764
 
764
- <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>
765
- <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">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</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#l00144">GenericGraph.h:144</a></div></div>
765
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00165">165</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
766
+ <div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</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#l00144">GenericGraph.h:144</a></div></div>
766
767
  </div><!-- fragment -->
767
768
  </div>
768
769
  </div>
@@ -791,8 +792,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
791
792
  </table>
792
793
  </div><div class="memdoc">
793
794
 
794
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00181">181</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
795
- <div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</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#l00147">GenericGraph.h:147</a></div></div>
795
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00182">182</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
796
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</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#l00147">GenericGraph.h:147</a></div></div>
796
797
  </div><!-- fragment -->
797
798
  </div>
798
799
  </div>
@@ -823,8 +824,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
823
824
 
824
825
  <p>Get node kind. </p>
825
826
 
826
- <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>
827
- <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#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</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#l00145">GenericGraph.h:145</a></div></div>
827
+ <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>
828
+ <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#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</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#l00145">GenericGraph.h:145</a></div></div>
828
829
  </div><!-- fragment -->
829
830
  </div>
830
831
  </div>
@@ -854,8 +855,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
854
855
  </div><div class="memdoc">
855
856
  <p>Get incoming/outgoing edge set </p>
856
857
 
857
- <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>
858
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</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#l00148">GenericGraph.h:148</a></div></div>
858
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00178">178</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
859
+ <div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</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#l00148">GenericGraph.h:148</a></div></div>
859
860
  </div><!-- fragment -->
860
861
  </div>
861
862
  </div>
@@ -886,8 +887,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
886
887
 
887
888
  <p>Has incoming/outgoing edge set. </p>
888
889
 
889
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00189">189</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
890
- <div class="fragment"><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</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="l00192"></a><span class="lineno"> 192</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#l00147">GenericGraph.h:147</a></div></div>
890
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00190">190</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
891
+ <div class="fragment"><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</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="l00193"></a><span class="lineno"> 193</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#l00147">GenericGraph.h:147</a></div></div>
891
892
  </div><!-- fragment -->
892
893
  </div>
893
894
  </div>
@@ -919,8 +920,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
919
920
 
920
921
  <p>Find incoming and outgoing edges. </p>
921
922
 
922
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00302">302</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
923
- <div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</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="l00305"></a><span class="lineno"> 305</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="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</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#l00140">GenericGraph.h:140</a></div></div>
923
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00303">303</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
924
+ <div class="fragment"><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</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="l00306"></a><span class="lineno"> 306</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="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</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#l00140">GenericGraph.h:140</a></div></div>
924
925
  <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#l00147">GenericGraph.h:147</a></div></div>
925
926
  </div><!-- fragment -->
926
927
  </div>
@@ -950,8 +951,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
950
951
  </table>
951
952
  </div><div class="memdoc">
952
953
 
953
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00193">193</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
954
- <div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</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="l00196"></a><span class="lineno"> 196</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#l00148">GenericGraph.h:148</a></div></div>
954
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00194">194</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
955
+ <div class="fragment"><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</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="l00197"></a><span class="lineno"> 197</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#l00148">GenericGraph.h:148</a></div></div>
955
956
  </div><!-- fragment -->
956
957
  </div>
957
958
  </div>
@@ -981,8 +982,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
981
982
  </table>
982
983
  </div><div class="memdoc">
983
984
 
984
- <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>
985
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</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#a04aa14df71ffa60a54c870842c552889">OutEdges</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#l00140">GenericGraph.h:140</a></div></div>
985
+ <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>
986
+ <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#a04aa14df71ffa60a54c870842c552889">OutEdges</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#a04aa14df71ffa60a54c870842c552889">OutEdges</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#l00140">GenericGraph.h:140</a></div></div>
986
987
  <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#l00148">GenericGraph.h:148</a></div></div>
987
988
  </div><!-- fragment -->
988
989
  </div>
@@ -1012,8 +1013,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1012
1013
  </table>
1013
1014
  </div><div class="memdoc">
1014
1015
 
1015
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00209">209</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1016
- <div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; {</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</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="l00212"></a><span class="lineno"> 212</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#l00147">GenericGraph.h:147</a></div></div>
1016
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00210">210</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1017
+ <div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</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="l00213"></a><span class="lineno"> 213</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#l00147">GenericGraph.h:147</a></div></div>
1017
1018
  </div><!-- fragment -->
1018
1019
  </div>
1019
1020
  </div>
@@ -1042,8 +1043,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1042
1043
  </table>
1043
1044
  </div><div class="memdoc">
1044
1045
 
1045
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00225">225</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1046
- <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</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="l00228"></a><span class="lineno"> 228</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#l00147">GenericGraph.h:147</a></div></div>
1046
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00226">226</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1047
+ <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</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="l00229"></a><span class="lineno"> 229</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#l00147">GenericGraph.h:147</a></div></div>
1047
1048
  </div><!-- fragment -->
1048
1049
  </div>
1049
1050
  </div>
@@ -1072,8 +1073,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1072
1073
  </table>
1073
1074
  </div><div class="memdoc">
1074
1075
 
1075
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00213">213</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1076
- <div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</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="l00216"></a><span class="lineno"> 216</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#l00147">GenericGraph.h:147</a></div></div>
1076
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00214">214</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1077
+ <div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; {</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</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="l00217"></a><span class="lineno"> 217</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#l00147">GenericGraph.h:147</a></div></div>
1077
1078
  </div><!-- fragment -->
1078
1079
  </div>
1079
1080
  </div>
@@ -1102,8 +1103,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1102
1103
  </table>
1103
1104
  </div><div class="memdoc">
1104
1105
 
1105
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00229">229</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1106
- <div class="fragment"><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; {</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</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="l00232"></a><span class="lineno"> 232</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#l00147">GenericGraph.h:147</a></div></div>
1106
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00230">230</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1107
+ <div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div><div class="line"><a name="l00232"></a><span class="lineno"> 232</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="l00233"></a><span class="lineno"> 233</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#l00147">GenericGraph.h:147</a></div></div>
1107
1108
  </div><!-- fragment -->
1108
1109
  </div>
1109
1110
  </div>
@@ -1134,8 +1135,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1134
1135
 
1135
1136
  <p>iterators </p>
1136
1137
 
1137
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00201">201</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1138
- <div class="fragment"><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; {</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</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="l00204"></a><span class="lineno"> 204</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#l00148">GenericGraph.h:148</a></div></div>
1138
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00202">202</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1139
+ <div class="fragment"><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</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="l00205"></a><span class="lineno"> 205</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#l00148">GenericGraph.h:148</a></div></div>
1139
1140
  </div><!-- fragment -->
1140
1141
  </div>
1141
1142
  </div>
@@ -1164,8 +1165,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1164
1165
  </table>
1165
1166
  </div><div class="memdoc">
1166
1167
 
1167
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00217">217</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1168
- <div class="fragment"><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div><div class="line"><a name="l00219"></a><span class="lineno"> 219</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="l00220"></a><span class="lineno"> 220</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#l00148">GenericGraph.h:148</a></div></div>
1168
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00218">218</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1169
+ <div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; {</div><div class="line"><a name="l00220"></a><span class="lineno"> 220</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="l00221"></a><span class="lineno"> 221</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#l00148">GenericGraph.h:148</a></div></div>
1169
1170
  </div><!-- fragment -->
1170
1171
  </div>
1171
1172
  </div>
@@ -1194,8 +1195,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1194
1195
  </table>
1195
1196
  </div><div class="memdoc">
1196
1197
 
1197
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00205">205</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1198
- <div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</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="l00208"></a><span class="lineno"> 208</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#l00148">GenericGraph.h:148</a></div></div>
1198
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00206">206</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1199
+ <div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</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="l00209"></a><span class="lineno"> 209</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#l00148">GenericGraph.h:148</a></div></div>
1199
1200
  </div><!-- fragment -->
1200
1201
  </div>
1201
1202
  </div>
@@ -1224,8 +1225,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1224
1225
  </table>
1225
1226
  </div><div class="memdoc">
1226
1227
 
1227
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00221">221</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1228
- <div class="fragment"><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; {</div><div class="line"><a name="l00223"></a><span class="lineno"> 223</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="l00224"></a><span class="lineno"> 224</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#l00148">GenericGraph.h:148</a></div></div>
1228
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00222">222</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1229
+ <div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</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="l00225"></a><span class="lineno"> 225</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#l00148">GenericGraph.h:148</a></div></div>
1229
1230
  </div><!-- fragment -->
1230
1231
  </div>
1231
1232
  </div>
@@ -1256,8 +1257,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1256
1257
  </div><div class="memdoc">
1257
1258
  <p>Remove incoming and outgoing edges </p>
1258
1259
 
1259
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00286">286</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1260
- <div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; {</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</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="l00289"></a><span class="lineno"> 289</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(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="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(edge);</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
1260
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00287">287</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1261
+ <div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</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="l00290"></a><span class="lineno"> 290</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(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="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(edge);</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
1261
1262
  <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#l00139">GenericGraph.h:139</a></div></div>
1262
1263
  <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#l00147">GenericGraph.h:147</a></div></div>
1263
1264
  </div><!-- fragment -->
@@ -1289,8 +1290,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1289
1290
  </table>
1290
1291
  </div><div class="memdoc">
1291
1292
 
1292
- <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>
1293
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(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="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(edge);</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
1293
+ <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>
1294
+ <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(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="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(edge);</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
1294
1295
  <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#l00139">GenericGraph.h:139</a></div></div>
1295
1296
  <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#l00148">GenericGraph.h:148</a></div></div>
1296
1297
  </div><!-- fragment -->
package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html CHANGED
@@ -714,7 +714,7 @@ Additional Inherited Members</h2></td></tr>
714
714
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
715
715
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
716
716
  <div class="ttc" id="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00194">LocationSet.h:194</a></div></div>
717
- <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
717
+ <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
718
718
  </div><!-- fragment -->
719
719
  </div>
720
720
  </div>
package/SVF-doxygen/html/html/classSVF_1_1GepPE.html CHANGED
@@ -329,7 +329,7 @@ Additional Inherited Members</h2></td></tr>
329
329
  <p>constructor </p>
330
330
 
331
331
  <p class="definition">Definition at line <a class="el" href="PAGEdge_8h_source.html#l00460">460</a> of file <a class="el" href="PAGEdge_8h_source.html">PAGEdge.h</a>.</p>
332
- <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; : <a class="code" href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">PAGEdge</a>(s,d,k)</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160;</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01002">PAG.cpp:1002</a></div></div>
332
+ <div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; : <a class="code" href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">PAGEdge</a>(s,d,k)</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160;</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; }</div><div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00995">PAG.cpp:995</a></div></div>
333
333
  </div><!-- fragment -->
334
334
  </div>
335
335
  </div>
package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html CHANGED
@@ -570,7 +570,7 @@ Additional Inherited Members</h2></td></tr>
570
570
  <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00125">125</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
571
571
  <div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; std::string str;</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;GepVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6">getPAGEdge</a>()-&gt;<a class="code" href="classSVF_1_1PAGEdge.html#a85c0939ab55d744d32f5fda2b54f07e3">toString</a>();</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160;}</div><div class="ttc" id="classSVF_1_1StmtVFGNode_html_a4dd7615f42971da9b6ec1dc04f0ec4e6"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a4dd7615f42971da9b6ec1dc04f0ec4e6">SVF::StmtVFGNode::getPAGEdge</a></div><div class="ttdeci">const PAGEdge * getPAGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00134">VFGNode.h:134</a></div></div>
572
572
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
573
- <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
573
+ <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
574
574
  <div class="ttc" id="classSVF_1_1PAGEdge_html_a85c0939ab55d744d32f5fda2b54f07e3"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a85c0939ab55d744d32f5fda2b54f07e3">SVF::PAGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00200">PAG.cpp:200</a></div></div>
575
575
  </div><!-- fragment -->
576
576
  </div>
package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html CHANGED
@@ -663,7 +663,7 @@ Additional Inherited Members</h2></td></tr>
663
663
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
664
664
  <div class="ttc" id="classSVF_1_1GepValPN_html_a0f8a17f7624765228e44456d34897d5a"><div class="ttname"><a href="classSVF_1_1GepValPN.html#a0f8a17f7624765228e44456d34897d5a">SVF::GepValPN::getOffset</a></div><div class="ttdeci">u32_t getOffset() const</div><div class="ttdoc">offset of the base value node </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00423">PAGNode.h:423</a></div></div>
665
665
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00388">SVFUtil.cpp:388</a></div></div>
666
- <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
666
+ <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
667
667
  </div><!-- fragment -->
668
668
  </div>
669
669
  </div>