svf-tools 1.0.595 → 1.0.596

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 (629) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +5 -5
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/Andersen_8h_source.html +3 -3
  6. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
  8. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +8 -8
  9. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +4 -4
  10. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +8 -5
  11. package/SVF-doxygen/html/html/CFLGraph_8h.html +1 -1
  12. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +18 -16
  13. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +4 -4
  14. package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -3
  16. package/SVF-doxygen/html/html/CHG_8cpp.html +1 -1
  17. package/SVF-doxygen/html/html/CHG_8cpp_source.html +11 -8
  18. package/SVF-doxygen/html/html/CHG_8h.html +1 -1
  19. package/SVF-doxygen/html/html/CHG_8h_source.html +9 -7
  20. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +3 -3
  21. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +7 -7
  22. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +18 -16
  23. package/SVF-doxygen/html/html/ConsG_8h.html +1 -1
  24. package/SVF-doxygen/html/html/ConsG_8h_source.html +8 -6
  25. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +5 -5
  26. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +15 -13
  28. package/SVF-doxygen/html/html/DCHG_8h.html +1 -1
  29. package/SVF-doxygen/html/html/DCHG_8h_source.html +12 -10
  30. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +8 -8
  33. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
  35. package/SVF-doxygen/html/html/DOTGraphTraits_8h.html +96 -0
  36. package/SVF-doxygen/html/html/DOTGraphTraits_8h_source.html +102 -0
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  38. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +11 -11
  39. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
  41. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +5 -5
  42. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/GenericGraph_8h.html +11 -1
  44. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +127 -114
  45. package/SVF-doxygen/html/html/GraphPrinter_8h.html +2 -4
  46. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +8 -5
  47. package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +2 -1
  48. package/SVF-doxygen/html/html/GraphTraits_8h.html +117 -0
  49. package/SVF-doxygen/html/html/GraphTraits_8h_source.html +91 -0
  50. package/SVF-doxygen/html/html/GraphWriter_8cpp.html +81 -0
  51. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +80 -0
  52. package/SVF-doxygen/html/html/GraphWriter_8h.html +137 -0
  53. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +129 -0
  54. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  55. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +6 -6
  56. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +3 -3
  58. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +9 -7
  59. package/SVF-doxygen/html/html/ICFG_8h.html +1 -1
  60. package/SVF-doxygen/html/html/ICFG_8h_source.html +11 -9
  61. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +2 -2
  62. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +8 -5
  63. package/SVF-doxygen/html/html/IRGraph_8h.html +1 -1
  64. package/SVF-doxygen/html/html/IRGraph_8h_source.html +7 -5
  65. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +4 -3
  66. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +4 -3
  67. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +31 -31
  68. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +28 -28
  69. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +7 -7
  72. package/SVF-doxygen/html/html/MHP_8cpp_source.html +9 -9
  73. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  74. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  75. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +8 -8
  76. package/SVF-doxygen/html/html/PCG_8cpp_source.html +6 -6
  77. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +17 -14
  78. package/SVF-doxygen/html/html/PTACallGraph_8h.html +1 -1
  79. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +15 -13
  80. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +6 -6
  81. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +6 -6
  82. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  83. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +5 -5
  84. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  85. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  86. package/SVF-doxygen/html/html/SCC_8h_source.html +3 -1
  87. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +3 -3
  88. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +2 -2
  89. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +14 -14
  90. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -8
  91. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  92. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +7 -7
  93. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +10 -9
  94. package/SVF-doxygen/html/html/SVFG_8h_source.html +11 -10
  95. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -6
  96. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  97. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +8 -8
  98. package/SVF-doxygen/html/html/SVFIR_8h_source.html +3 -3
  99. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +3 -3
  100. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +8 -8
  101. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +10 -10
  102. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +7 -7
  105. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +7 -7
  106. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  107. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  108. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +2 -1
  109. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +3 -3
  110. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  111. package/SVF-doxygen/html/html/TCT_8cpp_source.html +18 -16
  112. package/SVF-doxygen/html/html/TCT_8h.html +1 -1
  113. package/SVF-doxygen/html/html/TCT_8h_source.html +19 -17
  114. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +1 -1
  115. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +6 -6
  117. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +4 -4
  118. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +6 -6
  119. package/SVF-doxygen/html/html/VFGNode_8h_source.html +6 -6
  120. package/SVF-doxygen/html/html/VFG_8cpp_source.html +10 -8
  121. package/SVF-doxygen/html/html/VFG_8h.html +1 -1
  122. package/SVF-doxygen/html/html/VFG_8h_source.html +11 -9
  123. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +4 -4
  124. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +9 -9
  125. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +3 -2
  126. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
  127. package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -1
  128. package/SVF-doxygen/html/html/annotated.html +55 -42
  129. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  130. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  131. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +2 -2
  132. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  135. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +1 -1
  136. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  137. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +25 -25
  138. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
  139. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +7 -7
  140. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +5 -5
  141. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +15 -15
  142. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1AssignStmt.html +4 -4
  145. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -12
  146. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  147. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +3 -3
  148. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  149. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +5 -5
  150. package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html +4 -4
  151. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -3
  152. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +6 -6
  153. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
  154. package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +10 -10
  156. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +10 -9
  157. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
  159. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  160. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
  161. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  162. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +30 -29
  164. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  165. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +43 -43
  166. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
  167. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +2 -2
  169. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +27 -24
  170. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +14 -14
  172. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  174. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
  175. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  176. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  179. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
  180. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +2 -2
  181. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +3 -3
  182. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -17
  183. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +15 -15
  184. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +5 -5
  185. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
  189. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +31 -31
  192. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +44 -44
  193. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +96 -97
  194. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  195. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  196. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +4 -4
  200. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +16 -15
  201. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  202. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +7 -7
  203. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +2 -2
  205. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +11 -10
  206. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
  207. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
  210. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +4 -3
  216. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +103 -103
  217. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  218. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +8 -8
  220. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +11 -11
  221. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +9 -9
  222. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +5 -5
  225. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +28 -28
  226. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +3 -3
  228. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +4 -4
  229. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  231. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +8 -8
  232. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  233. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +23 -22
  234. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +3 -3
  235. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +6 -6
  236. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +9 -9
  237. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +12 -12
  239. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +4 -4
  240. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
  242. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
  243. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  246. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +4 -4
  247. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +11 -11
  248. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +43 -43
  249. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +9 -9
  250. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +35 -35
  251. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +19 -19
  252. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +3 -3
  253. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +9 -9
  254. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +9 -9
  256. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +12 -12
  257. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector-members.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +7 -7
  260. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html +4 -4
  261. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +12 -12
  262. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +4 -4
  263. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +7 -7
  264. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +5 -5
  265. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
  267. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +35 -35
  268. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +4 -4
  272. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +4 -4
  273. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
  274. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +6 -6
  275. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +4 -4
  276. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  277. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +19 -18
  278. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +13 -13
  279. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  281. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +32 -32
  283. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +6 -6
  284. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +4 -4
  285. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
  286. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +4 -3
  287. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
  288. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +4 -4
  290. package/SVF-doxygen/html/html/classes.html +105 -102
  291. package/SVF-doxygen/html/html/classllvm_1_1GraphPrinter.html +9 -7
  292. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter-members.html +100 -0
  293. package/SVF-doxygen/html/html/classllvm_1_1GraphWriter.html +882 -0
  294. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base-members.html +112 -0
  295. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.html +633 -0
  296. package/SVF-doxygen/html/html/classllvm_1_1iterator__adaptor__base.png +0 -0
  297. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base-members.html +102 -0
  298. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.html +787 -0
  299. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base.png +0 -0
  300. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy-members.html +84 -0
  301. package/SVF-doxygen/html/html/classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html +229 -0
  302. package/SVF-doxygen/html/html/classllvm_1_1iterator__range-members.html +87 -0
  303. package/SVF-doxygen/html/html/classllvm_1_1iterator__range.html +342 -0
  304. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter-members.html +112 -0
  305. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.html +322 -0
  306. package/SVF-doxygen/html/html/classllvm_1_1mapped__iter.png +0 -0
  307. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator-members.html +113 -0
  308. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.html +343 -0
  309. package/SVF-doxygen/html/html/classllvm_1_1pointer__iterator.png +0 -0
  310. package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
  311. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +4 -0
  312. package/SVF-doxygen/html/html/dir_fa02919a30fec2d2c2d591b4d920d648.html +6 -0
  313. package/SVF-doxygen/html/html/fastcluster__R__dm_8cpp_8inc_source.html +2 -1
  314. package/SVF-doxygen/html/html/files.html +42 -36
  315. package/SVF-doxygen/html/html/functions_a.html +11 -8
  316. package/SVF-doxygen/html/html/functions_b.html +20 -13
  317. package/SVF-doxygen/html/html/functions_c.html +36 -37
  318. package/SVF-doxygen/html/html/functions_d.html +16 -4
  319. package/SVF-doxygen/html/html/functions_e.html +16 -2
  320. package/SVF-doxygen/html/html/functions_eval_b.html +4 -4
  321. package/SVF-doxygen/html/html/functions_eval_i.html +6 -0
  322. package/SVF-doxygen/html/html/functions_f.html +21 -18
  323. package/SVF-doxygen/html/html/functions_func.html +13 -10
  324. package/SVF-doxygen/html/html/functions_func_b.html +3 -2
  325. package/SVF-doxygen/html/html/functions_func_d.html +7 -3
  326. package/SVF-doxygen/html/html/functions_func_e.html +12 -1
  327. package/SVF-doxygen/html/html/functions_func_g.html +54 -22
  328. package/SVF-doxygen/html/html/functions_func_h.html +7 -4
  329. package/SVF-doxygen/html/html/functions_func_i.html +22 -8
  330. package/SVF-doxygen/html/html/functions_func_m.html +3 -0
  331. package/SVF-doxygen/html/html/functions_func_n.html +3 -0
  332. package/SVF-doxygen/html/html/functions_func_o.html +42 -8
  333. package/SVF-doxygen/html/html/functions_func_p.html +7 -1
  334. package/SVF-doxygen/html/html/functions_func_r.html +7 -1
  335. package/SVF-doxygen/html/html/functions_func_w.html +21 -0
  336. package/SVF-doxygen/html/html/functions_g.html +60 -21
  337. package/SVF-doxygen/html/html/functions_h.html +8 -5
  338. package/SVF-doxygen/html/html/functions_i.html +50 -19
  339. package/SVF-doxygen/html/html/functions_l.html +3 -3
  340. package/SVF-doxygen/html/html/functions_m.html +4 -1
  341. package/SVF-doxygen/html/html/functions_n.html +9 -3
  342. package/SVF-doxygen/html/html/functions_o.html +53 -20
  343. package/SVF-doxygen/html/html/functions_p.html +31 -21
  344. package/SVF-doxygen/html/html/functions_r.html +13 -10
  345. package/SVF-doxygen/html/html/functions_rela.html +6 -3
  346. package/SVF-doxygen/html/html/functions_s.html +8 -10
  347. package/SVF-doxygen/html/html/functions_t.html +9 -9
  348. package/SVF-doxygen/html/html/functions_type_b.html +3 -0
  349. package/SVF-doxygen/html/html/functions_type_c.html +4 -3
  350. package/SVF-doxygen/html/html/functions_type_d.html +6 -1
  351. package/SVF-doxygen/html/html/functions_type_g.html +2 -1
  352. package/SVF-doxygen/html/html/functions_type_i.html +2 -1
  353. package/SVF-doxygen/html/html/functions_type_n.html +6 -3
  354. package/SVF-doxygen/html/html/functions_type_p.html +2 -1
  355. package/SVF-doxygen/html/html/functions_type_r.html +2 -1
  356. package/SVF-doxygen/html/html/functions_type_v.html +2 -1
  357. package/SVF-doxygen/html/html/functions_v.html +6 -5
  358. package/SVF-doxygen/html/html/functions_vars_b.html +3 -0
  359. package/SVF-doxygen/html/html/functions_vars_d.html +3 -0
  360. package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
  361. package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
  362. package/SVF-doxygen/html/html/functions_vars_g.html +6 -0
  363. package/SVF-doxygen/html/html/functions_vars_i.html +10 -0
  364. package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
  365. package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
  366. package/SVF-doxygen/html/html/functions_w.html +30 -9
  367. package/SVF-doxygen/html/html/hierarchy.html +444 -397
  368. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  369. package/SVF-doxygen/html/html/iterator_8h.html +123 -0
  370. package/SVF-doxygen/html/html/iterator_8h_source.html +134 -0
  371. package/SVF-doxygen/html/html/iterator__range_8h.html +109 -0
  372. package/SVF-doxygen/html/html/iterator__range_8h_source.html +90 -0
  373. package/SVF-doxygen/html/html/menudata.js +17 -16
  374. package/SVF-doxygen/html/html/namespacellvm.html +488 -11
  375. package/SVF-doxygen/html/html/namespacellvm_1_1DOT.html +107 -0
  376. package/SVF-doxygen/html/html/namespacellvm_1_1GraphProgram.html +122 -0
  377. package/SVF-doxygen/html/html/namespacemembers_c.html +9 -0
  378. package/SVF-doxygen/html/html/namespacemembers_d.html +5 -2
  379. package/SVF-doxygen/html/html/namespacemembers_e.html +3 -0
  380. package/SVF-doxygen/html/html/namespacemembers_enum.html +3 -0
  381. package/SVF-doxygen/html/html/namespacemembers_eval.html +15 -0
  382. package/SVF-doxygen/html/html/namespacemembers_f.html +3 -0
  383. package/SVF-doxygen/html/html/namespacemembers_func.html +0 -495
  384. package/SVF-doxygen/html/html/namespacemembers_func_b.html +88 -0
  385. package/SVF-doxygen/html/html/namespacemembers_func_c.html +97 -0
  386. package/SVF-doxygen/html/html/namespacemembers_func_d.html +97 -0
  387. package/SVF-doxygen/html/html/namespacemembers_func_e.html +82 -0
  388. package/SVF-doxygen/html/html/namespacemembers_func_f.html +76 -0
  389. package/SVF-doxygen/html/html/namespacemembers_func_g.html +186 -0
  390. package/SVF-doxygen/html/html/namespacemembers_func_h.html +76 -0
  391. package/SVF-doxygen/html/html/namespacemembers_func_i.html +250 -0
  392. package/SVF-doxygen/html/html/namespacemembers_func_m.html +91 -0
  393. package/SVF-doxygen/html/html/namespacemembers_func_n.html +76 -0
  394. package/SVF-doxygen/html/html/namespacemembers_func_o.html +94 -0
  395. package/SVF-doxygen/html/html/namespacemembers_func_p.html +82 -0
  396. package/SVF-doxygen/html/html/namespacemembers_func_r.html +79 -0
  397. package/SVF-doxygen/html/html/namespacemembers_func_s.html +91 -0
  398. package/SVF-doxygen/html/html/namespacemembers_func_t.html +76 -0
  399. package/SVF-doxygen/html/html/namespacemembers_func_v.html +85 -0
  400. package/SVF-doxygen/html/html/namespacemembers_func_w.html +82 -0
  401. package/SVF-doxygen/html/html/namespacemembers_i.html +8 -2
  402. package/SVF-doxygen/html/html/namespacemembers_m.html +12 -0
  403. package/SVF-doxygen/html/html/namespacemembers_n.html +9 -0
  404. package/SVF-doxygen/html/html/namespacemembers_r.html +4 -1
  405. package/SVF-doxygen/html/html/namespacemembers_t.html +3 -0
  406. package/SVF-doxygen/html/html/namespacemembers_type_r.html +3 -0
  407. package/SVF-doxygen/html/html/namespacemembers_v.html +3 -0
  408. package/SVF-doxygen/html/html/namespacemembers_w.html +3 -0
  409. package/SVF-doxygen/html/html/namespaces.html +3 -1
  410. package/SVF-doxygen/html/html/search/all_1.js +1 -0
  411. package/SVF-doxygen/html/html/search/all_10.js +13 -10
  412. package/SVF-doxygen/html/html/search/all_11.js +5 -2
  413. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  414. package/SVF-doxygen/html/html/search/all_13.js +7 -6
  415. package/SVF-doxygen/html/html/search/all_15.js +4 -3
  416. package/SVF-doxygen/html/html/search/all_16.js +9 -2
  417. package/SVF-doxygen/html/html/search/all_2.js +6 -4
  418. package/SVF-doxygen/html/html/search/all_3.js +8 -5
  419. package/SVF-doxygen/html/html/search/all_4.js +9 -2
  420. package/SVF-doxygen/html/html/search/all_5.js +7 -2
  421. package/SVF-doxygen/html/html/search/all_6.js +3 -1
  422. package/SVF-doxygen/html/html/search/all_7.js +51 -7
  423. package/SVF-doxygen/html/html/search/all_8.js +1 -0
  424. package/SVF-doxygen/html/html/search/all_9.js +24 -6
  425. package/SVF-doxygen/html/html/search/all_c.js +4 -2
  426. package/SVF-doxygen/html/html/search/all_d.js +6 -1
  427. package/SVF-doxygen/html/html/search/all_e.js +7 -4
  428. package/SVF-doxygen/html/html/search/all_f.js +17 -13
  429. package/SVF-doxygen/html/html/search/classes_3.js +4 -0
  430. package/SVF-doxygen/html/html/search/classes_6.js +33 -1
  431. package/SVF-doxygen/html/html/search/classes_8.js +11 -1
  432. package/SVF-doxygen/html/html/search/classes_a.js +1 -0
  433. package/SVF-doxygen/html/html/search/classes_d.js +2 -0
  434. package/SVF-doxygen/html/html/search/classes_e.js +1 -0
  435. package/SVF-doxygen/html/html/search/enums_8.js +1 -6
  436. package/SVF-doxygen/html/html/search/enums_9.js +6 -1
  437. package/SVF-doxygen/html/html/search/enums_a.js +1 -4
  438. package/SVF-doxygen/html/html/search/enums_b.js +4 -2
  439. package/SVF-doxygen/html/html/search/enums_c.js +2 -4
  440. package/SVF-doxygen/html/html/search/enums_d.js +4 -1
  441. package/SVF-doxygen/html/html/search/enums_e.html +26 -0
  442. package/SVF-doxygen/html/html/search/enums_e.js +4 -0
  443. package/SVF-doxygen/html/html/search/enumvalues_1.js +3 -3
  444. package/SVF-doxygen/html/html/search/enumvalues_10.js +1 -0
  445. package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -0
  446. package/SVF-doxygen/html/html/search/enumvalues_3.js +1 -0
  447. package/SVF-doxygen/html/html/search/enumvalues_5.js +1 -0
  448. package/SVF-doxygen/html/html/search/enumvalues_8.js +3 -1
  449. package/SVF-doxygen/html/html/search/enumvalues_b.js +1 -0
  450. package/SVF-doxygen/html/html/search/files_3.js +1 -0
  451. package/SVF-doxygen/html/html/search/files_6.js +4 -1
  452. package/SVF-doxygen/html/html/search/files_7.js +3 -1
  453. package/SVF-doxygen/html/html/search/functions_0.js +1 -0
  454. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  455. package/SVF-doxygen/html/html/search/functions_10.js +2 -0
  456. package/SVF-doxygen/html/html/search/functions_14.js +1 -0
  457. package/SVF-doxygen/html/html/search/functions_15.js +7 -0
  458. package/SVF-doxygen/html/html/search/functions_2.js +2 -0
  459. package/SVF-doxygen/html/html/search/functions_3.js +2 -1
  460. package/SVF-doxygen/html/html/search/functions_4.js +6 -2
  461. package/SVF-doxygen/html/html/search/functions_6.js +15 -6
  462. package/SVF-doxygen/html/html/search/functions_7.js +1 -0
  463. package/SVF-doxygen/html/html/search/functions_8.js +9 -3
  464. package/SVF-doxygen/html/html/search/functions_c.js +5 -0
  465. package/SVF-doxygen/html/html/search/functions_d.js +2 -0
  466. package/SVF-doxygen/html/html/search/functions_e.js +14 -8
  467. package/SVF-doxygen/html/html/search/functions_f.js +3 -1
  468. package/SVF-doxygen/html/html/search/namespaces_0.js +2 -0
  469. package/SVF-doxygen/html/html/search/related_9.js +3 -3
  470. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  471. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -0
  472. package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
  473. package/SVF-doxygen/html/html/search/typedefs_2.js +2 -2
  474. package/SVF-doxygen/html/html/search/typedefs_3.js +2 -1
  475. package/SVF-doxygen/html/html/search/typedefs_6.js +1 -1
  476. package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
  477. package/SVF-doxygen/html/html/search/typedefs_c.js +3 -3
  478. package/SVF-doxygen/html/html/search/typedefs_e.js +1 -1
  479. package/SVF-doxygen/html/html/search/typedefs_f.js +2 -1
  480. package/SVF-doxygen/html/html/search/variables_10.js +1 -0
  481. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  482. package/SVF-doxygen/html/html/search/variables_2.js +1 -0
  483. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  484. package/SVF-doxygen/html/html/search/variables_4.js +1 -0
  485. package/SVF-doxygen/html/html/search/variables_5.js +1 -0
  486. package/SVF-doxygen/html/html/search/variables_6.js +1 -0
  487. package/SVF-doxygen/html/html/search/variables_7.js +2 -1
  488. package/SVF-doxygen/html/html/search/variables_9.js +5 -2
  489. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  490. package/SVF-doxygen/html/html/search/variables_f.js +1 -0
  491. package/SVF-doxygen/html/html/structSVF_1_1GenericEdge_1_1equalGEdge.html +3 -3
  492. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement-members.html +3 -3
  493. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +46 -46
  494. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits-members.html +99 -0
  495. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.html +193 -0
  496. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits.png +0 -0
  497. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html +22 -4
  498. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +67 -10
  499. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.png +0 -0
  500. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4-members.html +21 -3
  501. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +65 -8
  502. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.png +0 -0
  503. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +22 -4
  504. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +72 -12
  505. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.png +0 -0
  506. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4-members.html +23 -5
  507. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +70 -10
  508. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.png +0 -0
  509. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +23 -5
  510. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +68 -11
  511. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.png +0 -0
  512. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4-members.html +23 -5
  513. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +68 -11
  514. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.png +0 -0
  515. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +24 -6
  516. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +76 -15
  517. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.png +0 -0
  518. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4-members.html +22 -4
  519. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +67 -10
  520. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.png +0 -0
  521. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4-members.html +24 -6
  522. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +73 -12
  523. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.png +0 -0
  524. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits-members.html +99 -0
  525. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.html +855 -0
  526. package/SVF-doxygen/html/html/structllvm_1_1DefaultDOTGraphTraits.png +0 -0
  527. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits-members.html +81 -0
  528. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits.html +116 -0
  529. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4-members.html +81 -0
  530. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html +106 -0
  531. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.png +0 -0
  532. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4-members.html +81 -0
  533. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html +12 -2
  534. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.png +0 -0
  535. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4-members.html +81 -0
  536. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html +12 -2
  537. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.png +0 -0
  538. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4-members.html +81 -0
  539. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html +12 -2
  540. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.png +0 -0
  541. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4-members.html +81 -0
  542. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +12 -2
  543. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.png +0 -0
  544. 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-members.html +1 -1
  545. 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 +33 -31
  546. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4-members.html +81 -0
  547. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +12 -2
  548. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.png +0 -0
  549. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4-members.html +81 -0
  550. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html +12 -2
  551. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.png +0 -0
  552. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4-members.html +81 -0
  553. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html +12 -2
  554. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.png +0 -0
  555. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4-members.html +81 -0
  556. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +12 -2
  557. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.png +0 -0
  558. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html +81 -0
  559. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html +12 -2
  560. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png +0 -0
  561. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html +5 -1
  562. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png +0 -0
  563. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html +81 -0
  564. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html +10 -0
  565. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png +0 -0
  566. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html +5 -1
  567. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png +0 -0
  568. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html +81 -0
  569. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html +10 -0
  570. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png +0 -0
  571. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html +5 -1
  572. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png +0 -0
  573. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html +81 -0
  574. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html +10 -0
  575. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png +0 -0
  576. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +5 -1
  577. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png +0 -0
  578. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4-members.html +81 -0
  579. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +10 -0
  580. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.png +0 -0
  581. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4-members.html +2 -2
  582. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html +46 -44
  583. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4-members.html +1 -1
  584. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html +38 -34
  585. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4-members.html +81 -0
  586. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +10 -0
  587. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.png +0 -0
  588. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +5 -1
  589. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.png +0 -0
  590. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html +5 -1
  591. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.png +0 -0
  592. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4-members.html +81 -0
  593. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html +10 -0
  594. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.png +0 -0
  595. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html +5 -1
  596. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.png +0 -0
  597. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +5 -1
  598. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.png +0 -0
  599. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4-members.html +81 -0
  600. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html +10 -0
  601. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.png +0 -0
  602. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4-members.html +81 -0
  603. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +10 -0
  604. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.png +0 -0
  605. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +5 -1
  606. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.png +0 -0
  607. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4-members.html +81 -0
  608. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html +10 -0
  609. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.png +0 -0
  610. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html +5 -1
  611. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.png +0 -0
  612. package/SVF-doxygen/html/html/structllvm_1_1Inverse-members.html +82 -0
  613. package/SVF-doxygen/html/html/structllvm_1_1Inverse.html +154 -0
  614. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator-members.html +111 -0
  615. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.html +279 -0
  616. package/SVF-doxygen/html/html/structllvm_1_1pointee__iterator.png +0 -0
  617. package/SVF-doxygen/html/html/svf-ex_8cpp.html +8 -8
  618. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  619. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  620. package/include/Graphs/DOTGraphTraits.h +188 -0
  621. package/include/Graphs/GenericGraph.h +50 -11
  622. package/include/Graphs/GraphPrinter.h +12 -20
  623. package/include/Graphs/GraphTraits.h +150 -0
  624. package/include/Graphs/GraphWriter.h +380 -0
  625. package/include/Util/iterator.h +407 -0
  626. package/include/Util/iterator_range.h +76 -0
  627. package/lib/Graphs/GraphWriter.cpp +53 -0
  628. package/lib/SVF-LLVM/LLVMModule.cpp +1 -0
  629. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html CHANGED
@@ -80,27 +80,26 @@ Inheritance diagram for SVF::GenericNode&lt; NodeTy, EdgeTy &gt;:</div>
80
80
  <img src="classSVF_1_1GenericNode.png" usemap="#SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" alt=""/>
81
81
  <map id="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" name="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map">
82
82
  <area href="classSVF_1_1CHNode.html" alt="SVF::CHNode" shape="rect" coords="0,56,238,80"/>
83
- <area href="classSVF_1_1ConstraintNode.html" alt="SVF::ConstraintNode" shape="rect" coords="248,56,486,80"/>
84
- <area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="496,56,734,80"/>
85
- <area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="744,56,982,80"/>
86
- <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="992,56,1230,80"/>
87
- <area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="1240,56,1478,80"/>
88
- <area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1488,56,1726,80"/>
89
- <area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="744,112,982,136"/>
90
- <area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="744,168,982,192"/>
91
- <area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="744,224,982,248"/>
92
- <area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="1240,112,1478,136"/>
93
- <area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="1240,168,1478,192"/>
94
- <area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1736,112,1974,136"/>
95
- <area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1736,168,1974,192"/>
96
- <area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1736,224,1974,248"/>
97
- <area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1736,280,1974,304"/>
98
- <area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1736,336,1974,360"/>
99
- <area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1736,392,1974,416"/>
100
- <area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1736,448,1974,472"/>
101
- <area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1736,504,1974,528"/>
102
- <area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1736,560,1974,584"/>
103
- <area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1736,616,1974,640"/>
83
+ <area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="248,56,486,80"/>
84
+ <area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="496,56,734,80"/>
85
+ <area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="744,56,982,80"/>
86
+ <area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="992,56,1230,80"/>
87
+ <area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1240,56,1478,80"/>
88
+ <area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="496,112,734,136"/>
89
+ <area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="496,168,734,192"/>
90
+ <area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="496,224,734,248"/>
91
+ <area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="992,112,1230,136"/>
92
+ <area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="992,168,1230,192"/>
93
+ <area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1488,112,1726,136"/>
94
+ <area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1488,168,1726,192"/>
95
+ <area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1488,224,1726,248"/>
96
+ <area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1488,280,1726,304"/>
97
+ <area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1488,336,1726,360"/>
98
+ <area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1488,392,1726,416"/>
99
+ <area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1488,448,1726,472"/>
100
+ <area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1488,504,1726,528"/>
101
+ <area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1488,560,1726,584"/>
102
+ <area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1488,616,1726,640"/>
104
103
  </map>
105
104
  </div></div>
106
105
  <table class="memberdecls">
@@ -221,7 +220,7 @@ class SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</h3>
221
220
 
222
221
  <p>Generic node on the graph as base class </p>
223
222
 
224
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00132">132</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
223
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00133">133</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
225
224
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
226
225
  <a id="ab6dc1ae41ae23b383f8add474caa7429"></a>
227
226
  <h2 class="memtitle"><span class="permalink"><a href="#ab6dc1ae41ae23b383f8add474caa7429">&#9670;&nbsp;</a></span>const_iterator</h2>
@@ -237,7 +236,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
237
236
  </table>
238
237
  </div><div class="memdoc">
239
238
 
240
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00144">144</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
239
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00145">145</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
241
240
 
242
241
  </div>
243
242
  </div>
@@ -255,7 +254,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
255
254
  </table>
256
255
  </div><div class="memdoc">
257
256
 
258
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00137">137</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
257
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00138">138</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
259
258
 
260
259
  </div>
261
260
  </div>
@@ -273,7 +272,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
273
272
  </table>
274
273
  </div><div class="memdoc">
275
274
 
276
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00140">140</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
275
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00141">141</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
277
276
 
278
277
  </div>
279
278
  </div>
@@ -293,7 +292,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
293
292
 
294
293
  <p>Edge kind. </p>
295
294
 
296
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00139">139</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
295
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00140">140</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
297
296
 
298
297
  </div>
299
298
  </div>
@@ -312,7 +311,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
312
311
  </div><div class="memdoc">
313
312
  <p>Edge iterator </p>
314
313
 
315
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00143">143</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
314
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00144">144</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
316
315
 
317
316
  </div>
318
317
  </div>
@@ -330,7 +329,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
330
329
  </table>
331
330
  </div><div class="memdoc">
332
331
 
333
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00136">136</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
332
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00137">137</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
334
333
 
335
334
  </div>
336
335
  </div>
@@ -373,9 +372,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
373
372
 
374
373
  <p>Constructor. </p>
375
374
 
376
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00156">156</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
377
- <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; : <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>(i),<a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>(k)</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; {</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div><div class="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#l00148">GenericGraph.h:148</a></div></div>
378
- <div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00149">GenericGraph.h:149</a></div></div>
375
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00157">157</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
376
+ <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; : <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>(i),<a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>(k)</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00149">GenericGraph.h:149</a></div></div>
377
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
379
378
  </div><!-- fragment -->
380
379
  </div>
381
380
  </div>
@@ -406,8 +405,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
406
405
 
407
406
  <p>Destructor. </p>
408
407
 
409
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00162">162</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; {</div><div class="line"><a name="l00164"></a><span class="lineno"> 164</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="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</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#l00152">GenericGraph.h:152</a></div></div>
408
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00163">163</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
409
+ <div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> * edge : <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>)</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <span class="keyword">delete</span> edge;</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
411
410
  </div><!-- fragment -->
412
411
  </div>
413
412
  </div>
@@ -440,8 +439,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
440
439
 
441
440
  <p>Add incoming and outgoing edges. </p>
442
441
 
443
- <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>
444
- <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#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</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#l00151">GenericGraph.h:151</a></div></div>
442
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00280">280</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
443
+ <div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; {</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.insert(inEdge).second;</div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
445
444
  </div><!-- fragment -->
446
445
  </div>
447
446
  </div>
@@ -471,8 +470,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
471
470
  </table>
472
471
  </div><div class="memdoc">
473
472
 
474
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00283">283</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
475
- <div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</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="l00286"></a><span class="lineno"> 286</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#l00152">GenericGraph.h:152</a></div></div>
473
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00284">284</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
474
+ <div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; {</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.insert(outEdge).second;</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
476
475
  </div><!-- fragment -->
477
476
  </div>
478
477
  </div>
@@ -503,8 +502,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
503
502
 
504
503
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a947fd86d30a4f0145280ab9a56fd8b10">SVF::ConstraintNode</a>.</p>
505
504
 
506
- <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>
507
- <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>.begin();</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#l00151">GenericGraph.h:151</a></div></div>
505
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00251">251</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
506
+ <div class="fragment"><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
508
507
  </div><!-- fragment -->
509
508
  </div>
510
509
  </div>
@@ -535,8 +534,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
535
534
 
536
535
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae40976e622fdfe9c52b56ec386f1a53c">SVF::ConstraintNode</a>.</p>
537
536
 
538
- <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>
539
- <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>.begin();</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#l00151">GenericGraph.h:151</a></div></div>
537
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00268">268</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
538
+ <div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; {</div><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
540
539
  </div><!-- fragment -->
541
540
  </div>
542
541
  </div>
@@ -567,8 +566,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
567
566
 
568
567
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a1aeb6c40a8078d07dc6837114bddb213">SVF::ConstraintNode</a>.</p>
569
568
 
570
- <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>
571
- <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#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</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#l00151">GenericGraph.h:151</a></div></div>
569
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00255">255</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
570
+ <div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; {</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
572
571
  </div><!-- fragment -->
573
572
  </div>
574
573
  </div>
@@ -599,8 +598,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
599
598
 
600
599
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ad59c356474cf6c496da12e827ec2dd98">SVF::ConstraintNode</a>.</p>
601
600
 
602
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00271">271</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
603
- <div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; {</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</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="l00274"></a><span class="lineno"> 274</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#l00151">GenericGraph.h:151</a></div></div>
601
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00272">272</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
602
+ <div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
604
603
  </div><!-- fragment -->
605
604
  </div>
606
605
  </div>
@@ -633,8 +632,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
633
632
 
634
633
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#ae42c4a86f8c588e348ce4b0d7d919393">SVF::ConstraintNode</a>.</p>
635
634
 
636
- <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>
637
- <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>.begin();</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#l00152">GenericGraph.h:152</a></div></div>
635
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00243">243</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
636
+ <div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
638
637
  </div><!-- fragment -->
639
638
  </div>
640
639
  </div>
@@ -665,8 +664,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
665
664
 
666
665
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#a047851ec7866332ab422b48e261b5f75">SVF::ConstraintNode</a>.</p>
667
666
 
668
- <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>
669
- <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>.begin();</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#l00152">GenericGraph.h:152</a></div></div>
667
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00260">260</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
668
+ <div class="fragment"><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; {</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
670
669
  </div><!-- fragment -->
671
670
  </div>
672
671
  </div>
@@ -697,8 +696,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
697
696
 
698
697
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#aa77fb67a62abe4c28cecc73d395d7b12">SVF::ConstraintNode</a>.</p>
699
698
 
700
- <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>
701
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</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#l00152">GenericGraph.h:152</a></div></div>
699
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00247">247</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
700
+ <div class="fragment"><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
702
701
  </div><!-- fragment -->
703
702
  </div>
704
703
  </div>
@@ -729,8 +728,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
729
728
 
730
729
  <p>Reimplemented in <a class="el" href="classSVF_1_1ConstraintNode.html#aef70a5e58c9917ea3f7329df84e65e62">SVF::ConstraintNode</a>.</p>
731
730
 
732
- <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>
733
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</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#l00152">GenericGraph.h:152</a></div></div>
731
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00264">264</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
732
+ <div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
734
733
  </div><!-- fragment -->
735
734
  </div>
736
735
  </div>
@@ -761,8 +760,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
761
760
 
762
761
  <p>Get ID. </p>
763
762
 
764
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00169">169</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
765
- <div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</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#l00148">GenericGraph.h:148</a></div></div>
763
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00170">170</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
764
+ <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00149">GenericGraph.h:149</a></div></div>
766
765
  </div><!-- fragment -->
767
766
  </div>
768
767
  </div>
@@ -791,8 +790,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
791
790
  </table>
792
791
  </div><div class="memdoc">
793
792
 
794
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00186">186</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
795
- <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</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#l00151">GenericGraph.h:151</a></div></div>
793
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00187">187</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
794
+ <div class="fragment"><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; {</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>;</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
796
795
  </div><!-- fragment -->
797
796
  </div>
798
797
  </div>
@@ -823,8 +822,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
823
822
 
824
823
  <p>Get node kind. </p>
825
824
 
826
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00175">175</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
827
- <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</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#l00149">GenericGraph.h:149</a></div></div>
825
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00176">176</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
826
+ <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">nodeKind</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a586df5473d1e7cdcb9051683914d0220"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode::nodeKind</a></div><div class="ttdeci">GNodeK nodeKind</div><div class="ttdoc">Node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
828
827
  </div><!-- fragment -->
829
828
  </div>
830
829
  </div>
@@ -854,8 +853,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
854
853
  </div><div class="memdoc">
855
854
  <p>Get incoming/outgoing edge set </p>
856
855
 
857
- <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>
858
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</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#l00152">GenericGraph.h:152</a></div></div>
856
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00183">183</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
857
+ <div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>;</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
859
858
  </div><!-- fragment -->
860
859
  </div>
861
860
  </div>
@@ -886,8 +885,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
886
885
 
887
886
  <p>Has incoming/outgoing edge set. </p>
888
887
 
889
- <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>
890
- <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#a24971168130222400d9aa5f03610bff5">InEdges</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_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#l00151">GenericGraph.h:151</a></div></div>
888
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00195">195</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
889
+ <div class="fragment"><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
891
890
  </div><!-- fragment -->
892
891
  </div>
893
892
  </div>
@@ -919,9 +918,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
919
918
 
920
919
  <p>Find incoming and outgoing edges. </p>
921
920
 
922
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00309">309</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
923
- <div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</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="l00312"></a><span class="lineno"> 312</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="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</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#l00144">GenericGraph.h:144</a></div></div>
924
- <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00151">GenericGraph.h:151</a></div></div>
921
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00310">310</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
922
+ <div class="fragment"><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end())</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
923
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
925
924
  </div><!-- fragment -->
926
925
  </div>
927
926
  </div>
@@ -950,8 +949,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
950
949
  </table>
951
950
  </div><div class="memdoc">
952
951
 
953
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00198">198</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
954
- <div class="fragment"><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; {</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</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="l00201"></a><span class="lineno"> 201</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#l00152">GenericGraph.h:152</a></div></div>
952
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00199">199</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
953
+ <div class="fragment"><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; {</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.empty() == <span class="keyword">false</span>);</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
955
954
  </div><!-- fragment -->
956
955
  </div>
957
956
  </div>
@@ -981,9 +980,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
981
980
  </table>
982
981
  </div><div class="memdoc">
983
982
 
984
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00317">317</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
985
- <div class="fragment"><div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; {</div><div class="line"><a name="l00319"></a><span class="lineno"> 319</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="l00320"></a><span class="lineno"> 320</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="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00324"></a><span class="lineno"> 324</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#l00144">GenericGraph.h:144</a></div></div>
986
- <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
983
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00318">318</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
984
+ <div class="fragment"><div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div><div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end())</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">return</span> *it;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_ab6dc1ae41ae23b383f8add474caa7429"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">SVF::GenericNode::const_iterator</a></div><div class="ttdeci">GEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00145">GenericGraph.h:145</a></div></div>
985
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
987
986
  </div><!-- fragment -->
988
987
  </div>
989
988
  </div>
@@ -1012,8 +1011,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1012
1011
  </table>
1013
1012
  </div><div class="memdoc">
1014
1013
 
1015
- <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>
1016
- <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>.begin();</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#l00151">GenericGraph.h:151</a></div></div>
1014
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00215">215</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1015
+ <div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; {</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1017
1016
  </div><!-- fragment -->
1018
1017
  </div>
1019
1018
  </div>
@@ -1042,8 +1041,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1042
1041
  </table>
1043
1042
  </div><div class="memdoc">
1044
1043
 
1045
- <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>
1046
- <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>.begin();</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#l00151">GenericGraph.h:151</a></div></div>
1044
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00231">231</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1045
+ <div class="fragment"><div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; {</div><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.begin();</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1047
1046
  </div><!-- fragment -->
1048
1047
  </div>
1049
1048
  </div>
@@ -1072,8 +1071,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1072
1071
  </table>
1073
1072
  </div><div class="memdoc">
1074
1073
 
1075
- <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>
1076
- <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#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</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#l00151">GenericGraph.h:151</a></div></div>
1074
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00219">219</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1075
+ <div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; {</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1077
1076
  </div><!-- fragment -->
1078
1077
  </div>
1079
1078
  </div>
@@ -1102,8 +1101,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1102
1101
  </table>
1103
1102
  </div><div class="memdoc">
1104
1103
 
1105
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00234">234</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1106
- <div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</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="l00237"></a><span class="lineno"> 237</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#l00151">GenericGraph.h:151</a></div></div>
1104
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00235">235</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1105
+ <div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; {</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end();</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1107
1106
  </div><!-- fragment -->
1108
1107
  </div>
1109
1108
  </div>
@@ -1134,8 +1133,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1134
1133
 
1135
1134
  <p>iterators </p>
1136
1135
 
1137
- <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>
1138
- <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>.begin();</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#l00152">GenericGraph.h:152</a></div></div>
1136
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00207">207</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1137
+ <div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; {</div><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1139
1138
  </div><!-- fragment -->
1140
1139
  </div>
1141
1140
  </div>
@@ -1164,8 +1163,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1164
1163
  </table>
1165
1164
  </div><div class="memdoc">
1166
1165
 
1167
- <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>
1168
- <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>.begin();</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#l00152">GenericGraph.h:152</a></div></div>
1166
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00223">223</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1167
+ <div class="fragment"><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; {</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.begin();</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1169
1168
  </div><!-- fragment -->
1170
1169
  </div>
1171
1170
  </div>
@@ -1194,8 +1193,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1194
1193
  </table>
1195
1194
  </div><div class="memdoc">
1196
1195
 
1197
- <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>
1198
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</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#l00152">GenericGraph.h:152</a></div></div>
1196
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00211">211</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1197
+ <div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1199
1198
  </div><!-- fragment -->
1200
1199
  </div>
1201
1200
  </div>
@@ -1224,8 +1223,8 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1224
1223
  </table>
1225
1224
  </div><div class="memdoc">
1226
1225
 
1227
- <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>
1228
- <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#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</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#l00152">GenericGraph.h:152</a></div></div>
1226
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00227">227</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1227
+ <div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end();</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1229
1228
  </div><!-- fragment -->
1230
1229
  </div>
1231
1230
  </div>
@@ -1256,9 +1255,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1256
1255
  </div><div class="memdoc">
1257
1256
  <p>Remove incoming and outgoing edges </p>
1258
1257
 
1259
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00291">291</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1260
- <div class="fragment"><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</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="l00294"></a><span class="lineno"> 294</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(it);</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00143">GenericGraph.h:143</a></div></div>
1261
- <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00151">GenericGraph.h:151</a></div></div>
1258
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00292">292</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1259
+ <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.find(edge);</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find in edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">InEdges</a>.erase(it);</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
1260
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a24971168130222400d9aa5f03610bff5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a24971168130222400d9aa5f03610bff5">SVF::GenericNode::InEdges</a></div><div class="ttdeci">GEdgeSetTy InEdges</div><div class="ttdoc">all incoming edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1262
1261
  </div><!-- fragment -->
1263
1262
  </div>
1264
1263
  </div>
@@ -1288,9 +1287,9 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1288
1287
  </table>
1289
1288
  </div><div class="memdoc">
1290
1289
 
1291
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00298">298</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1292
- <div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; {</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</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="l00301"></a><span class="lineno"> 301</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(it);</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00143">GenericGraph.h:143</a></div></div>
1293
- <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00152">GenericGraph.h:152</a></div></div>
1290
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00299">299</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1291
+ <div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a> it = <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.find(edge);</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; assert(it != <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.end() &amp;&amp; <span class="stringliteral">&quot;can not find out edge in SVFG node&quot;</span>);</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">OutEdges</a>.erase(it);</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00144">GenericGraph.h:144</a></div></div>
1292
+ <div class="ttc" id="classSVF_1_1GenericNode_html_a04aa14df71ffa60a54c870842c552889"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889">SVF::GenericNode::OutEdges</a></div><div class="ttdeci">GEdgeSetTy OutEdges</div><div class="ttdoc">all outgoing edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00153">GenericGraph.h:153</a></div></div>
1294
1293
  </div><!-- fragment -->
1295
1294
  </div>
1296
1295
  </div>
@@ -1319,7 +1318,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1319
1318
 
1320
1319
  <p>Node ID. </p>
1321
1320
 
1322
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00148">148</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1321
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00149">149</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1323
1322
 
1324
1323
  </div>
1325
1324
  </div>
@@ -1347,7 +1346,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1347
1346
 
1348
1347
  <p>all incoming edge of this node </p>
1349
1348
 
1350
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00151">151</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1349
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00152">152</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1351
1350
 
1352
1351
  </div>
1353
1352
  </div>
@@ -1375,7 +1374,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1375
1374
 
1376
1375
  <p>Node kind. </p>
1377
1376
 
1378
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00149">149</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1377
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00150">150</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1379
1378
 
1380
1379
  </div>
1381
1380
  </div>
@@ -1403,7 +1402,7 @@ template&lt;class NodeTy, class EdgeTy&gt; </div>
1403
1402
 
1404
1403
  <p>all outgoing edge of this node </p>
1405
1404
 
1406
- <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00152">152</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1405
+ <p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00153">153</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
1407
1406
 
1408
1407
  </div>
1409
1408
  </div>