svf-tools 1.0.619 → 1.0.621

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 (454) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +8 -8
  3. package/SVF-doxygen/html/html/Andersen_8h_source.html +4 -3
  4. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +9 -4
  5. package/SVF-doxygen/html/html/CFLAlias_8h.html +4 -0
  6. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +19 -10
  7. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +5 -5
  8. package/SVF-doxygen/html/html/CFLBase_8h_source.html +1 -1
  9. package/SVF-doxygen/html/html/CFLDataBuilder_8h.html +96 -0
  10. package/SVF-doxygen/html/html/CFLDataBuilder_8h_source.html +99 -0
  11. package/SVF-doxygen/html/html/CFLData_8h.html +106 -0
  12. package/SVF-doxygen/html/html/CFLData_8h_source.html +136 -0
  13. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/html/CFLSolver_8h.html +4 -0
  16. package/SVF-doxygen/html/html/CFLSolver_8h_source.html +22 -16
  17. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +4 -4
  18. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/CommandLine_8h.html +129 -0
  20. package/SVF-doxygen/html/html/CommandLine_8h_source.html +132 -0
  21. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +5 -5
  22. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +4 -4
  23. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +20 -19
  26. package/SVF-doxygen/html/html/DDAPass_8h_source.html +9 -9
  27. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +6 -6
  29. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +7 -7
  31. package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html +2 -1
  32. package/SVF-doxygen/html/html/GraphWriter_8h_source.html +2 -1
  33. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
  34. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +21 -20
  38. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +17 -17
  39. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  40. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
  43. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +2 -2
  45. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +6 -6
  50. package/SVF-doxygen/html/html/Options_8cpp.html +1 -0
  51. package/SVF-doxygen/html/html/Options_8cpp_source.html +124 -119
  52. package/SVF-doxygen/html/html/Options_8h.html +1 -1
  53. package/SVF-doxygen/html/html/Options_8h_source.html +125 -120
  54. package/SVF-doxygen/html/html/PCG_8cpp.html +2 -1
  55. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -12
  56. package/SVF-doxygen/html/html/PCG_8h_source.html +12 -12
  57. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +4 -4
  58. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +13 -13
  59. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  61. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
  62. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  63. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +2 -2
  64. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -3
  65. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +5 -4
  67. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +3 -3
  68. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +2 -2
  69. package/SVF-doxygen/html/html/SVFType_8h.html +2 -2
  70. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
  71. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
  72. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -7
  75. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +4 -4
  76. package/SVF-doxygen/html/html/TCT_8cpp_source.html +2 -2
  77. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/html/VFG_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  80. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +10 -9
  81. package/SVF-doxygen/html/html/WPAPass_8h_source.html +4 -4
  82. package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +2 -2
  83. package/SVF-doxygen/html/html/annotated.html +363 -353
  84. package/SVF-doxygen/html/html/cfl_8cpp.html +3 -85
  85. package/SVF-doxygen/html/html/cfl_8cpp_source.html +3 -5
  86. package/SVF-doxygen/html/html/classOption-members.html +99 -0
  87. package/SVF-doxygen/html/html/classOption.html +567 -0
  88. package/SVF-doxygen/html/html/classOption.png +0 -0
  89. package/SVF-doxygen/html/html/classOptionBase-members.html +95 -0
  90. package/SVF-doxygen/html/html/classOptionBase.html +823 -0
  91. package/SVF-doxygen/html/html/classOptionBase.png +0 -0
  92. package/SVF-doxygen/html/html/classOptionMap-members.html +97 -0
  93. package/SVF-doxygen/html/html/classOptionMap.html +428 -0
  94. package/SVF-doxygen/html/html/classOptionMap.png +0 -0
  95. package/SVF-doxygen/html/html/classOptionMultiple-members.html +97 -0
  96. package/SVF-doxygen/html/html/classOptionMultiple.html +460 -0
  97. package/SVF-doxygen/html/html/classOptionMultiple.png +0 -0
  98. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +2 -2
  99. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +16 -15
  100. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +9 -9
  101. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +6 -6
  102. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +7 -6
  103. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.png +0 -0
  104. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +2 -2
  105. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
  106. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +33 -30
  107. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.png +0 -0
  108. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +9 -8
  109. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.png +0 -0
  110. package/SVF-doxygen/html/html/classSVF_1_1CFLData-members.html +110 -0
  111. package/SVF-doxygen/html/html/classSVF_1_1CFLData.html +1126 -0
  112. package/SVF-doxygen/html/html/classSVF_1_1CFLDataBuilder-members.html +88 -0
  113. package/SVF-doxygen/html/html/classSVF_1_1CFLDataBuilder.html +380 -0
  114. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +2 -2
  115. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +4 -4
  116. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +48 -39
  117. package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.png +0 -0
  118. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +6 -6
  119. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +2 -2
  120. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +2 -2
  122. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +2 -2
  123. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +26 -26
  124. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +72 -72
  125. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  126. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +2 -2
  127. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +8 -8
  128. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  129. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +36 -35
  130. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
  131. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +4 -4
  132. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  134. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +11 -11
  135. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +22 -8
  136. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  137. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  138. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
  139. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +2 -2
  140. package/SVF-doxygen/html/html/classSVF_1_1GraphWriter.html +3 -2
  141. package/SVF-doxygen/html/html/classSVF_1_1HybridData-members.html +89 -0
  142. package/SVF-doxygen/html/html/classSVF_1_1HybridData.html +449 -0
  143. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  144. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +8 -8
  146. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  147. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +73 -72
  148. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +2 -2
  149. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +2 -2
  150. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
  153. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +10 -10
  155. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
  156. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +12 -12
  157. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +4 -4
  159. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html +2 -2
  160. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +8 -8
  161. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +2 -2
  162. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +2 -2
  163. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +121 -120
  164. package/SVF-doxygen/html/html/classSVF_1_1Options.html +641 -615
  165. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +28 -28
  166. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias-members.html +281 -0
  167. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +828 -0
  168. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.png +0 -0
  169. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver-members.html +98 -0
  170. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.html +245 -0
  171. package/SVF-doxygen/html/html/classSVF_1_1POCRSolver.png +0 -0
  172. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  173. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +20 -19
  174. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.png +0 -0
  175. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +2 -2
  176. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
  178. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +3 -3
  179. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +7 -7
  180. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +9 -9
  181. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +9 -8
  182. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +18 -18
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +6 -6
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +3 -3
  187. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +9 -9
  189. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +2 -2
  190. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +11 -11
  191. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +10 -10
  192. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +4 -4
  193. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +2 -2
  194. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +2 -2
  195. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +2 -2
  197. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +8 -8
  198. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +2 -2
  199. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +6 -6
  200. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +27 -26
  201. package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +6 -6
  202. package/SVF-doxygen/html/html/classes.html +110 -108
  203. package/SVF-doxygen/html/html/dda_8cpp.html +51 -248
  204. package/SVF-doxygen/html/html/dda_8cpp_source.html +9 -10
  205. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
  206. package/SVF-doxygen/html/html/dir_ae8aa099e368efaa962140c6624142bc.html +4 -0
  207. package/SVF-doxygen/html/html/files.html +27 -24
  208. package/SVF-doxygen/html/html/functions.html +7 -1
  209. package/SVF-doxygen/html/html/functions_0x7e.html +18 -0
  210. package/SVF-doxygen/html/html/functions_a.html +45 -21
  211. package/SVF-doxygen/html/html/functions_b.html +15 -7
  212. package/SVF-doxygen/html/html/functions_c.html +72 -49
  213. package/SVF-doxygen/html/html/functions_d.html +25 -16
  214. package/SVF-doxygen/html/html/functions_e.html +11 -4
  215. package/SVF-doxygen/html/html/functions_f.html +19 -16
  216. package/SVF-doxygen/html/html/functions_func.html +35 -11
  217. package/SVF-doxygen/html/html/functions_func_0x7e.html +18 -0
  218. package/SVF-doxygen/html/html/functions_func_b.html +11 -3
  219. package/SVF-doxygen/html/html/functions_func_c.html +55 -34
  220. package/SVF-doxygen/html/html/functions_func_e.html +5 -1
  221. package/SVF-doxygen/html/html/functions_func_f.html +4 -1
  222. package/SVF-doxygen/html/html/functions_func_g.html +26 -7
  223. package/SVF-doxygen/html/html/functions_func_h.html +10 -3
  224. package/SVF-doxygen/html/html/functions_func_i.html +25 -10
  225. package/SVF-doxygen/html/html/functions_func_m.html +3 -2
  226. package/SVF-doxygen/html/html/functions_func_n.html +4 -1
  227. package/SVF-doxygen/html/html/functions_func_o.html +23 -6
  228. package/SVF-doxygen/html/html/functions_func_p.html +15 -3
  229. package/SVF-doxygen/html/html/functions_func_s.html +20 -19
  230. package/SVF-doxygen/html/html/functions_func_t.html +3 -0
  231. package/SVF-doxygen/html/html/functions_func_u.html +3 -0
  232. package/SVF-doxygen/html/html/functions_g.html +28 -9
  233. package/SVF-doxygen/html/html/functions_h.html +13 -6
  234. package/SVF-doxygen/html/html/functions_i.html +44 -20
  235. package/SVF-doxygen/html/html/functions_k.html +1 -1
  236. package/SVF-doxygen/html/html/functions_l.html +4 -4
  237. package/SVF-doxygen/html/html/functions_m.html +14 -13
  238. package/SVF-doxygen/html/html/functions_n.html +9 -5
  239. package/SVF-doxygen/html/html/functions_o.html +48 -25
  240. package/SVF-doxygen/html/html/functions_p.html +65 -34
  241. package/SVF-doxygen/html/html/functions_r.html +7 -9
  242. package/SVF-doxygen/html/html/functions_s.html +34 -32
  243. package/SVF-doxygen/html/html/functions_t.html +17 -8
  244. package/SVF-doxygen/html/html/functions_type_c.html +2 -1
  245. package/SVF-doxygen/html/html/functions_type_d.html +3 -0
  246. package/SVF-doxygen/html/html/functions_type_i.html +2 -1
  247. package/SVF-doxygen/html/html/functions_type_o.html +7 -0
  248. package/SVF-doxygen/html/html/functions_type_p.html +6 -0
  249. package/SVF-doxygen/html/html/functions_type_t.html +3 -0
  250. package/SVF-doxygen/html/html/functions_u.html +6 -3
  251. package/SVF-doxygen/html/html/functions_v.html +7 -5
  252. package/SVF-doxygen/html/html/functions_vars.html +7 -1
  253. package/SVF-doxygen/html/html/functions_vars_a.html +7 -7
  254. package/SVF-doxygen/html/html/functions_vars_b.html +1 -1
  255. package/SVF-doxygen/html/html/functions_vars_c.html +15 -12
  256. package/SVF-doxygen/html/html/functions_vars_d.html +21 -15
  257. package/SVF-doxygen/html/html/functions_vars_e.html +5 -2
  258. package/SVF-doxygen/html/html/functions_vars_f.html +6 -6
  259. package/SVF-doxygen/html/html/functions_vars_g.html +2 -2
  260. package/SVF-doxygen/html/html/functions_vars_h.html +1 -1
  261. package/SVF-doxygen/html/html/functions_vars_i.html +14 -6
  262. package/SVF-doxygen/html/html/functions_vars_k.html +1 -1
  263. package/SVF-doxygen/html/html/functions_vars_l.html +4 -4
  264. package/SVF-doxygen/html/html/functions_vars_m.html +11 -11
  265. package/SVF-doxygen/html/html/functions_vars_n.html +3 -2
  266. package/SVF-doxygen/html/html/functions_vars_o.html +5 -2
  267. package/SVF-doxygen/html/html/functions_vars_p.html +34 -21
  268. package/SVF-doxygen/html/html/functions_vars_r.html +5 -5
  269. package/SVF-doxygen/html/html/functions_vars_s.html +13 -10
  270. package/SVF-doxygen/html/html/functions_vars_t.html +7 -4
  271. package/SVF-doxygen/html/html/functions_vars_u.html +3 -3
  272. package/SVF-doxygen/html/html/functions_vars_v.html +6 -4
  273. package/SVF-doxygen/html/html/functions_vars_w.html +3 -3
  274. package/SVF-doxygen/html/html/functions_w.html +11 -7
  275. package/SVF-doxygen/html/html/globals_d.html +4 -4
  276. package/SVF-doxygen/html/html/globals_e.html +6 -6
  277. package/SVF-doxygen/html/html/globals_f.html +2 -2
  278. package/SVF-doxygen/html/html/globals_func.html +6 -58
  279. package/SVF-doxygen/html/html/globals_i.html +4 -12
  280. package/SVF-doxygen/html/html/globals_l.html +2 -2
  281. package/SVF-doxygen/html/html/globals_r.html +4 -4
  282. package/SVF-doxygen/html/html/globals_s.html +0 -4
  283. package/SVF-doxygen/html/html/globals_type.html +3 -0
  284. package/SVF-doxygen/html/html/globals_u.html +3 -0
  285. package/SVF-doxygen/html/html/globals_vars.html +43 -12
  286. package/SVF-doxygen/html/html/hierarchy.html +517 -496
  287. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  288. package/SVF-doxygen/html/html/menudata.js +1 -2
  289. package/SVF-doxygen/html/html/mta_8cpp.html +4 -47
  290. package/SVF-doxygen/html/html/mta_8cpp_source.html +4 -4
  291. package/SVF-doxygen/html/html/namespaceSVF.html +29 -0
  292. package/SVF-doxygen/html/html/namespaceSVF_1_1DOT.html +3 -2
  293. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
  294. package/SVF-doxygen/html/html/namespacemembers_l.html +3 -0
  295. package/SVF-doxygen/html/html/namespacemembers_type_l.html +3 -0
  296. package/SVF-doxygen/html/html/saber_8cpp.html +38 -136
  297. package/SVF-doxygen/html/html/saber_8cpp_source.html +8 -7
  298. package/SVF-doxygen/html/html/search/all_0.js +2 -1
  299. package/SVF-doxygen/html/html/search/all_1.js +15 -8
  300. package/SVF-doxygen/html/html/search/all_10.js +33 -25
  301. package/SVF-doxygen/html/html/search/all_11.js +9 -9
  302. package/SVF-doxygen/html/html/search/all_12.js +22 -22
  303. package/SVF-doxygen/html/html/search/all_13.js +14 -11
  304. package/SVF-doxygen/html/html/search/all_14.js +5 -4
  305. package/SVF-doxygen/html/html/search/all_15.js +5 -5
  306. package/SVF-doxygen/html/html/search/all_16.js +4 -4
  307. package/SVF-doxygen/html/html/search/all_19.js +6 -0
  308. package/SVF-doxygen/html/html/search/all_2.js +5 -3
  309. package/SVF-doxygen/html/html/search/all_3.js +25 -18
  310. package/SVF-doxygen/html/html/search/all_4.js +20 -18
  311. package/SVF-doxygen/html/html/search/all_5.js +8 -6
  312. package/SVF-doxygen/html/html/search/all_6.js +9 -8
  313. package/SVF-doxygen/html/html/search/all_7.js +9 -3
  314. package/SVF-doxygen/html/html/search/all_8.js +5 -3
  315. package/SVF-doxygen/html/html/search/all_9.js +16 -11
  316. package/SVF-doxygen/html/html/search/all_b.js +2 -2
  317. package/SVF-doxygen/html/html/search/all_c.js +7 -6
  318. package/SVF-doxygen/html/html/search/all_d.js +13 -13
  319. package/SVF-doxygen/html/html/search/all_e.js +4 -3
  320. package/SVF-doxygen/html/html/search/all_f.js +24 -6
  321. package/SVF-doxygen/html/html/search/classes_10.js +1 -0
  322. package/SVF-doxygen/html/html/search/classes_2.js +2 -0
  323. package/SVF-doxygen/html/html/search/classes_7.js +2 -1
  324. package/SVF-doxygen/html/html/search/classes_c.js +15 -0
  325. package/SVF-doxygen/html/html/search/classes_d.js +2 -0
  326. package/SVF-doxygen/html/html/search/files_2.js +3 -0
  327. package/SVF-doxygen/html/html/search/functions_0.js +8 -1
  328. package/SVF-doxygen/html/html/search/functions_1.js +4 -2
  329. package/SVF-doxygen/html/html/search/functions_10.js +0 -2
  330. package/SVF-doxygen/html/html/search/functions_11.js +2 -3
  331. package/SVF-doxygen/html/html/search/functions_12.js +1 -0
  332. package/SVF-doxygen/html/html/search/functions_13.js +1 -0
  333. package/SVF-doxygen/html/html/search/functions_17.js +6 -0
  334. package/SVF-doxygen/html/html/search/functions_2.js +5 -1
  335. package/SVF-doxygen/html/html/search/functions_3.js +0 -2
  336. package/SVF-doxygen/html/html/search/functions_4.js +2 -4
  337. package/SVF-doxygen/html/html/search/functions_5.js +2 -1
  338. package/SVF-doxygen/html/html/search/functions_6.js +7 -1
  339. package/SVF-doxygen/html/html/search/functions_7.js +4 -2
  340. package/SVF-doxygen/html/html/search/functions_8.js +6 -3
  341. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  342. package/SVF-doxygen/html/html/search/functions_c.js +1 -1
  343. package/SVF-doxygen/html/html/search/functions_d.js +1 -0
  344. package/SVF-doxygen/html/html/search/functions_e.js +7 -3
  345. package/SVF-doxygen/html/html/search/functions_f.js +3 -0
  346. package/SVF-doxygen/html/html/search/typedefs_11.js +2 -1
  347. package/SVF-doxygen/html/html/search/typedefs_12.js +1 -1
  348. package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
  349. package/SVF-doxygen/html/html/search/typedefs_3.js +1 -0
  350. package/SVF-doxygen/html/html/search/typedefs_7.js +1 -1
  351. package/SVF-doxygen/html/html/search/typedefs_a.js +1 -0
  352. package/SVF-doxygen/html/html/search/typedefs_d.js +2 -0
  353. package/SVF-doxygen/html/html/search/typedefs_e.js +2 -0
  354. package/SVF-doxygen/html/html/search/variables_0.js +2 -1
  355. package/SVF-doxygen/html/html/search/variables_1.js +7 -7
  356. package/SVF-doxygen/html/html/search/variables_10.js +25 -21
  357. package/SVF-doxygen/html/html/search/variables_11.js +7 -5
  358. package/SVF-doxygen/html/html/search/variables_12.js +11 -10
  359. package/SVF-doxygen/html/html/search/variables_13.js +9 -8
  360. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  361. package/SVF-doxygen/html/html/search/variables_15.js +4 -4
  362. package/SVF-doxygen/html/html/search/variables_16.js +3 -3
  363. package/SVF-doxygen/html/html/search/variables_2.js +1 -1
  364. package/SVF-doxygen/html/html/search/variables_3.js +13 -12
  365. package/SVF-doxygen/html/html/search/variables_4.js +19 -15
  366. package/SVF-doxygen/html/html/search/variables_5.js +6 -2
  367. package/SVF-doxygen/html/html/search/variables_6.js +7 -6
  368. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  369. package/SVF-doxygen/html/html/search/variables_8.js +1 -1
  370. package/SVF-doxygen/html/html/search/variables_9.js +9 -7
  371. package/SVF-doxygen/html/html/search/variables_b.js +1 -1
  372. package/SVF-doxygen/html/html/search/variables_c.js +5 -4
  373. package/SVF-doxygen/html/html/search/variables_d.js +11 -11
  374. package/SVF-doxygen/html/html/search/variables_e.js +2 -2
  375. package/SVF-doxygen/html/html/search/variables_f.js +3 -2
  376. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +4 -4
  377. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  378. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +2 -2
  379. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +4 -4
  380. package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode-members.html +86 -0
  381. package/SVF-doxygen/html/html/structSVF_1_1HybridData_1_1TreeNode.html +255 -0
  382. package/SVF-doxygen/html/html/svf-ex_8cpp.html +12 -55
  383. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +8 -8
  384. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  385. package/SVF-doxygen/html/html/wpa_8cpp.html +4 -47
  386. package/SVF-doxygen/html/html/wpa_8cpp_source.html +4 -4
  387. package/include/CFL/CFLAlias.h +34 -0
  388. package/include/CFL/CFLData.h +316 -0
  389. package/include/CFL/CFLDataBuilder.h +91 -0
  390. package/include/CFL/CFLSolver.h +21 -0
  391. package/include/Util/CommandLine.h +527 -0
  392. package/include/Util/Options.h +125 -124
  393. package/include/WPA/Andersen.h +5 -5
  394. package/lib/AbstractExecution/SVFIR2ItvExeState.cpp +2 -2
  395. package/lib/CFL/CFLAlias.cpp +40 -4
  396. package/lib/CFL/CFLBase.cpp +4 -4
  397. package/lib/CFL/CFLGraphBuilder.cpp +2 -2
  398. package/lib/CFL/CFLVF.cpp +5 -5
  399. package/lib/DDA/ContextDDA.cpp +1 -1
  400. package/lib/DDA/DDAPass.cpp +14 -13
  401. package/lib/DDA/FlowDDA.cpp +1 -1
  402. package/lib/Graphs/ConsG.cpp +10 -10
  403. package/lib/Graphs/ICFG.cpp +1 -1
  404. package/lib/Graphs/IRGraph.cpp +2 -2
  405. package/lib/Graphs/SVFG.cpp +5 -5
  406. package/lib/Graphs/SVFGOPT.cpp +5 -5
  407. package/lib/Graphs/VFG.cpp +1 -1
  408. package/lib/MSSA/MemRegion.cpp +2 -2
  409. package/lib/MSSA/MemSSA.cpp +4 -4
  410. package/lib/MSSA/SVFGBuilder.cpp +4 -4
  411. package/lib/MTA/FSMPTA.cpp +13 -13
  412. package/lib/MTA/MHP.cpp +1 -1
  413. package/lib/MTA/MTA.cpp +2 -2
  414. package/lib/MTA/MTAStat.cpp +1 -1
  415. package/lib/MTA/PCG.cpp +8 -2
  416. package/lib/MTA/TCT.cpp +2 -2
  417. package/lib/MemoryModel/PointerAnalysis.cpp +13 -13
  418. package/lib/MemoryModel/PointerAnalysisImpl.cpp +13 -13
  419. package/lib/MemoryModel/PointsTo.cpp +1 -1
  420. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  421. package/lib/SABER/LeakChecker.cpp +1 -1
  422. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  423. package/lib/SABER/SrcSnkDDA.cpp +5 -5
  424. package/lib/SVF-LLVM/CHGBuilder.cpp +1 -1
  425. package/lib/SVF-LLVM/DCHG.cpp +1 -1
  426. package/lib/SVF-LLVM/LLVMLoopAnalysis.cpp +2 -2
  427. package/lib/SVF-LLVM/LLVMModule.cpp +10 -4
  428. package/lib/SVF-LLVM/SVFIRBuilder.cpp +8 -8
  429. package/lib/SVF-LLVM/SymbolTableBuilder.cpp +5 -5
  430. package/lib/SVFIR/SVFIR.cpp +4 -4
  431. package/lib/SVFIR/SVFStatements.cpp +16 -16
  432. package/lib/SVFIR/SVFVariables.cpp +5 -5
  433. package/lib/SVFIR/SymbolTableInfo.cpp +6 -6
  434. package/lib/Util/NodeIDAllocator.cpp +9 -9
  435. package/lib/Util/Options.cpp +431 -412
  436. package/lib/Util/SVFStat.cpp +5 -5
  437. package/lib/Util/SVFUtil.cpp +1 -1
  438. package/lib/Util/Z3Expr.cpp +2 -2
  439. package/lib/WPA/Andersen.cpp +13 -13
  440. package/lib/WPA/AndersenSCD.cpp +3 -3
  441. package/lib/WPA/FlowSensitive.cpp +8 -8
  442. package/lib/WPA/TypeAnalysis.cpp +1 -1
  443. package/lib/WPA/VersionedFlowSensitive.cpp +4 -4
  444. package/lib/WPA/WPAPass.cpp +10 -9
  445. package/package.json +1 -1
  446. package/tools/CFL/cfl.cpp +8 -14
  447. package/tools/DDA/dda.cpp +39 -29
  448. package/tools/Example/svf-ex.cpp +5 -8
  449. package/tools/MTA/LockResultValidator.cpp +2 -2
  450. package/tools/MTA/MTAAnnotator.cpp +5 -5
  451. package/tools/MTA/MTAResultValidator.cpp +8 -8
  452. package/tools/MTA/mta.cpp +5 -8
  453. package/tools/SABER/saber.cpp +23 -17
  454. package/tools/WPA/wpa.cpp +6 -9
package/SVF-doxygen/html/html/CFLData_8h.html ADDED
@@ -0,0 +1,106 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.13"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/CFL/CFLData.h File Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.13 -->
33
+ <script type="text/javascript">
34
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
35
+ </script>
36
+ <script type="text/javascript" src="menudata.js"></script>
37
+ <script type="text/javascript" src="menu.js"></script>
38
+ <script type="text/javascript">
39
+ $(function() {
40
+ initMenu('',true,false,'search.php','Search');
41
+ $(document).ready(function() { init_search(); });
42
+ });
43
+ </script>
44
+ <div id="main-nav"></div>
45
+ <!-- window showing the filter options -->
46
+ <div id="MSearchSelectWindow"
47
+ onmouseover="return searchBox.OnSearchSelectShow()"
48
+ onmouseout="return searchBox.OnSearchSelectHide()"
49
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
50
+ </div>
51
+
52
+ <!-- iframe showing the search results (closed by default) -->
53
+ <div id="MSearchResultsWindow">
54
+ <iframe src="javascript:void(0)" frameborder="0"
55
+ name="MSearchResults" id="MSearchResults">
56
+ </iframe>
57
+ </div>
58
+
59
+ <div id="nav-path" class="navpath">
60
+ <ul>
61
+ <li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_ae8aa099e368efaa962140c6624142bc.html">CFL</a></li> </ul>
62
+ </div>
63
+ </div><!-- top -->
64
+ <div class="header">
65
+ <div class="summary">
66
+ <a href="#nested-classes">Classes</a> &#124;
67
+ <a href="#namespaces">Namespaces</a> &#124;
68
+ <a href="#typedef-members">Typedefs</a> </div>
69
+ <div class="headertitle">
70
+ <div class="title">CFLData.h File Reference</div> </div>
71
+ </div><!--header-->
72
+ <div class="contents">
73
+ <div class="textblock"><code>#include &quot;<a class="el" href="WorkList_8h_source.html">Util/WorkList.h</a>&quot;</code><br />
74
+ <code>#include &quot;<a class="el" href="CFLGrammar_8h_source.html">CFL/CFLGrammar.h</a>&quot;</code><br />
75
+ </div>
76
+ <p><a href="CFLData_8h_source.html">Go to the source code of this file.</a></p>
77
+ <table class="memberdecls">
78
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
79
+ Classes</h2></td></tr>
80
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLData.html">SVF::CFLData</a></td></tr>
81
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1HybridData.html">SVF::HybridData</a></td></tr>
83
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
84
+ <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></td></tr>
85
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
86
+ </table><table class="memberdecls">
87
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
88
+ Namespaces</h2></td></tr>
89
+ <tr class="memitem:namespaceSVF"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html">SVF</a></td></tr>
90
+ <tr class="memdesc:namespaceSVF"><td class="mdescLeft">&#160;</td><td class="mdescRight">for isBitcode <br /></td></tr>
91
+ <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
92
+ </table><table class="memberdecls">
93
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
94
+ Typedefs</h2></td></tr>
95
+ <tr class="memitem:a3e0f8e5e6b3c433f557a1ca8e17599c9"><td class="memItemLeft" align="right" valign="top">typedef GrammarBase::Symbol&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9">SVF::Label</a></td></tr>
96
+ <tr class="separator:a3e0f8e5e6b3c433f557a1ca8e17599c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
97
+ </table>
98
+ </div><!-- contents -->
99
+ <!-- start footer part -->
100
+ <hr class="footer"/><address class="footer"><small>
101
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
102
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
103
+ </a> 1.8.13
104
+ </small></address>
105
+ </body>
106
+ </html>
package/SVF-doxygen/html/html/CFLData_8h_source.html ADDED
@@ -0,0 +1,136 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.13"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: /home/runner/work/SVF/SVF/include/CFL/CFLData.h Source File</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.13 -->
33
+ <script type="text/javascript">
34
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
35
+ </script>
36
+ <script type="text/javascript" src="menudata.js"></script>
37
+ <script type="text/javascript" src="menu.js"></script>
38
+ <script type="text/javascript">
39
+ $(function() {
40
+ initMenu('',true,false,'search.php','Search');
41
+ $(document).ready(function() { init_search(); });
42
+ });
43
+ </script>
44
+ <div id="main-nav"></div>
45
+ <!-- window showing the filter options -->
46
+ <div id="MSearchSelectWindow"
47
+ onmouseover="return searchBox.OnSearchSelectShow()"
48
+ onmouseout="return searchBox.OnSearchSelectHide()"
49
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
50
+ </div>
51
+
52
+ <!-- iframe showing the search results (closed by default) -->
53
+ <div id="MSearchResultsWindow">
54
+ <iframe src="javascript:void(0)" frameborder="0"
55
+ name="MSearchResults" id="MSearchResults">
56
+ </iframe>
57
+ </div>
58
+
59
+ <div id="nav-path" class="navpath">
60
+ <ul>
61
+ <li class="navelem"><a class="el" href="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_ae8aa099e368efaa962140c6624142bc.html">CFL</a></li> </ul>
62
+ </div>
63
+ </div><!-- top -->
64
+ <div class="header">
65
+ <div class="headertitle">
66
+ <div class="title">CFLData.h</div> </div>
67
+ </div><!--header-->
68
+ <div class="contents">
69
+ <a href="CFLData_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span>&#160;<span class="comment">//===----- CFLData.h -- Context Free Language Reachability Graph Data Structure--------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span>&#160;<span class="comment">// SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt; &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>&#160;<span class="comment">// along with this program. If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>&#160;<span class="comment"> * CFLData.h</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;<span class="comment"> * Created on: Nov 22, 2019</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;<span class="comment"> * Author: Yuxiang Lei</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160;<span class="comment"> * The implementation is based on</span></div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;<span class="comment"> * Yuxiang Lei, Yulei Sui, Shuo Ding, and Qirun Zhang.</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="comment"> * Taming Transitive Redundancy for Context-Free Language Reachability.</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;<span class="comment"> * ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications</span></div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#ifndef INCLUDE_CFL_CFGDATA_H_</span></div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#define INCLUDE_CFL_CFGDATA_H_</span></div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.h</a>&quot;</span></div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.h</a>&quot;</span></div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9"> 43</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> <a class="code" href="namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9">Label</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html"> 47</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFLData.html">CFLData</a></div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ad6e5c00ad346f21cd59b5ff52862bbd5"> 50</a></span>&#160; <span class="keyword">typedef</span> std::map&lt;const Label, NodeBS&gt; <a class="code" href="classSVF_1_1CFLData.html#ad6e5c00ad346f21cd59b5ff52862bbd5">TypeMap</a>; <span class="comment">// Label with SparseBitVector of NodeID</span></div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a3a33fbfd1fb0afa58926e748012a2bf7"> 51</a></span>&#160; <span class="keyword">typedef</span> std::unordered_map&lt;NodeID, TypeMap&gt; <a class="code" href="classSVF_1_1CFLData.html#a3a33fbfd1fb0afa58926e748012a2bf7">DataMap</a>; <span class="comment">// Each Node has a TypeMap</span></div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ac9488c13a59fc9da5ea96774f68cb578"> 52</a></span>&#160; <span class="keyword">typedef</span> <span class="keyword">typename</span> DataMap::iterator <a class="code" href="classSVF_1_1CFLData.html#ac9488c13a59fc9da5ea96774f68cb578">iterator</a>; <span class="comment">// iterator for each node</span></div><div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ac65bbba5545887149cfe270fc6970d37"> 53</a></span>&#160; <span class="keyword">typedef</span> <span class="keyword">typename</span> DataMap::const_iterator <a class="code" href="classSVF_1_1CFLData.html#ac65bbba5545887149cfe270fc6970d37">const_iterator</a>; <span class="comment">// const iterator</span></div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa"> 56</a></span>&#160; DataMap <a class="code" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">succMap</a>; <span class="comment">// succ map for nodes contains Label: Edgeset</span></div><div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c"> 57</a></span>&#160; DataMap <a class="code" href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c">predMap</a>; <span class="comment">// pred map for nodes contains Label: edgeset</span></div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc"> 58</a></span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc">emptyData</a>; <span class="comment">// ??</span></div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311"> 59</a></span>&#160; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311">diff</a>; <span class="comment">// ??</span></div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160;</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="comment">// union/add data</span></div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e"> 63</a></span>&#160;<span class="comment"></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e">addPred</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordflow">return</span> predMap[key][ty].test_and_set(src);</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; };</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f"> 68</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f">addSucc</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; {</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <span class="keywordflow">return</span> succMap[key][ty].test_and_set(dst);</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; };</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ab214e58aee047fc94e79b8a8011ca8ca"> 73</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#ab214e58aee047fc94e79b8a8011ca8ca">addPreds</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; data, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; {</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <span class="keywordflow">if</span> (data.<a class="code" href="classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056">empty</a>())</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; <span class="keywordflow">return</span> predMap[key][ty] |= data; <span class="comment">// union of sparsebitvector (add to LHS)</span></div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; }</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a9766221dac3f6a9597dd663435ccd7ba"> 80</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#a9766221dac3f6a9597dd663435ccd7ba">addSuccs</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; data, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <span class="keywordflow">if</span> (data.<a class="code" href="classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056">empty</a>())</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">return</span> succMap[key][ty] |= data; <span class="comment">// // union of sparsebitvector (add to LHS)</span></div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; }</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="comment">// Constructor</span></div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a05d8b0f55753fdad40a0f7be00aa80e4"> 90</a></span>&#160; <a class="code" href="classSVF_1_1CFLData.html#a05d8b0f55753fdad40a0f7be00aa80e4">CFLData</a>()</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; {}</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="comment">// Destructor</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a2c04558fd5b2a69d4aa6e1af1c3c3279"> 94</a></span>&#160; <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1CFLData.html#a2c04558fd5b2a69d4aa6e1af1c3c3279">~CFLData</a>()</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {}</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#add6e4c022793302af571cfd251de1f51"> 97</a></span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLData.html#add6e4c022793302af571cfd251de1f51">clear</a>()</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; succMap.clear();</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; predMap.clear();</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a41a7fd0398309e57e5397ff84907e489"> 103</a></span>&#160; <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1CFLData.html#a41a7fd0398309e57e5397ff84907e489">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">return</span> succMap.begin();</div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; }</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160;</div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#aaab737512ca958a7f43e27bbcac23285"> 108</a></span>&#160; <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1CFLData.html#aaab737512ca958a7f43e27bbcac23285">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> succMap.end();</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#acb324be8b4e78900fba3f0d08b6edf4f"> 113</a></span>&#160; <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1CFLData.html#acb324be8b4e78900fba3f0d08b6edf4f">begin</a>()</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> succMap.begin();</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a013a6273943a633d33ded9705a0f7d19"> 118</a></span>&#160; <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1CFLData.html#a013a6273943a633d33ded9705a0f7d19">end</a>()</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; {</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <span class="keywordflow">return</span> succMap.end();</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; }</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;</div><div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ae764a0df4fe6ad0791418f617bae6e38"> 123</a></span>&#160; <span class="keyword">inline</span> DataMap&amp; <a class="code" href="classSVF_1_1CFLData.html#ae764a0df4fe6ad0791418f617bae6e38">getSuccMap</a>()</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; {</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">succMap</a>;</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; }</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a997fd769bab5e47a648f080796e6ce5a"> 128</a></span>&#160; <span class="keyword">inline</span> DataMap&amp; <a class="code" href="classSVF_1_1CFLData.html#a997fd769bab5e47a648f080796e6ce5a">getPredMap</a>()</div><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c">predMap</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a130dce5452773ab1b3c4612519f19f55"> 133</a></span>&#160; <span class="keyword">inline</span> TypeMap&amp; <a class="code" href="classSVF_1_1CFLData.html#a130dce5452773ab1b3c4612519f19f55">getSuccMap</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key)</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> succMap[key];</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a375add3c76a44eef188d12661d8170da"> 138</a></span>&#160; <span class="keyword">inline</span> TypeMap&amp; <a class="code" href="classSVF_1_1CFLData.html#a375add3c76a44eef188d12661d8170da">getPredMap</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key)</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; {</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> predMap[key];</div><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;</div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a4143cd55f9b844d35c1d8bf457db2cd4"> 143</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; <a class="code" href="classSVF_1_1CFLData.html#a4143cd55f9b844d35c1d8bf457db2cd4">getSuccs</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> succMap[key][ty];</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; }</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a27871f50a6b24770a7c8e4a7a1c42820"> 148</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; <a class="code" href="classSVF_1_1CFLData.html#a27871f50a6b24770a7c8e4a7a1c42820">getPreds</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> predMap[key][ty];</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="comment">// Alias data operations</span></div><div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#ad31c2dc818201eec84056b0b238048d1"> 155</a></span>&#160;<span class="comment"></span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#ad31c2dc818201eec84056b0b238048d1">addEdge</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <a class="code" href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f">addSucc</a>(src, dst, ty);</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e">addPred</a>(dst, src, ty);</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160;</div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#a35d5d928a6ae9298893c903ed00b476e"> 162</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1CFLData.html#a35d5d928a6ae9298893c903ed00b476e">addEdges</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; dstData, <span class="keyword">const</span> Label ty)</div><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; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newDsts;</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLData.html#a9766221dac3f6a9597dd663435ccd7ba">addSuccs</a>(src, dstData, ty))</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> datum: dstData)</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e">addPred</a>(datum, src, ty))</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; newDsts.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(datum);</div><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> newDsts;</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;</div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#aa95854135e7869605c423ad4c4042329"> 175</a></span>&#160; <span class="keyword">inline</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> <a class="code" href="classSVF_1_1CFLData.html#aa95854135e7869605c423ad4c4042329">addEdges</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a>&amp; srcData, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst, <span class="keyword">const</span> Label ty)</div><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; <a class="code" href="classSVF_1_1SparseBitVector.html">NodeBS</a> newSrcs;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLData.html#ab214e58aee047fc94e79b8a8011ca8ca">addPreds</a>(dst, srcData, ty))</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> datum: srcData)</div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f">addSucc</a>(datum, dst, ty))</div><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; newSrcs.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(datum);</div><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> newSrcs;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; }</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160;</div><div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#aa8a05aeeff41bfe940694c1ffb265371"> 188</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLData.html#aa8a05aeeff41bfe940694c1ffb265371">hasEdge</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst, <span class="keyword">const</span> Label ty)</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; const_iterator iter1 = succMap.find(src);</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span> (iter1 == succMap.end())</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keyword">auto</span> iter2 = iter1-&gt;second.find(ty);</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">if</span> (iter2 == iter1-&gt;second.end())</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">return</span> iter2-&gt;second.test(dst);</div><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;</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="comment">/* This is a dataset version, to be modified to a cflData version */</span></div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLData.html#af9427cd02ab98f3a265c92ca5b60131f"> 202</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLData.html#af9427cd02ab98f3a265c92ca5b60131f">clearEdges</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> key)</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; {</div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; succMap[key].clear();</div><div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; predMap[key].clear();</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; }</div><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;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160;</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html"> 214</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1HybridData.html">HybridData</a></div><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="keyword">public</span>:</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html"> 217</a></span>&#160; <span class="keyword">struct </span><a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a></div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div><div class="line"><a name="l00219"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b"> 219</a></span>&#160; <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a>;</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683"> 220</a></span>&#160; std::unordered_set&lt;TreeNode*&gt; <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">children</a>;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160;</div><div class="line"><a name="l00222"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736"> 222</a></span>&#160; <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736">TreeNode</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> nId) : id(nId)</div><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;</div><div class="line"><a name="l00225"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7"> 225</a></span>&#160; <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7">~TreeNode</a>()</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160;</div><div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f"> 229</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f">operator==</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> <span class="keywordtype">id</span> == rhs.<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a>;</div><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;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e"> 234</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160;<span class="keyword"> </span>{</div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <span class="keywordflow">return</span> <span class="keywordtype">id</span> &lt; rhs.<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a>;</div><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; };</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160;</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df"> 242</a></span>&#160; <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, std::unordered_map&lt;NodeID, TreeNode*&gt;</a>&gt; <a class="code" href="classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df">indMap</a>; <span class="comment">// indMap[v][u] points to node v in tree(u)</span></div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160;</div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#a6300911be9cebefba2248afd9dce59ce"> 244</a></span>&#160; <a class="code" href="classSVF_1_1HybridData.html#a6300911be9cebefba2248afd9dce59ce">HybridData</a>()</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {}</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160;</div><div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#a06a0f79963a5d9a330f030d3c93096f6"> 247</a></span>&#160; <a class="code" href="classSVF_1_1HybridData.html#a06a0f79963a5d9a330f030d3c93096f6">~HybridData</a>()</div><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">for</span> (<span class="keyword">auto</span> iter1: indMap)</div><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; {</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter2: iter1.second)</div><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="keyword">delete</span> iter2.second;</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; iter2.second = <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div><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; }</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; }</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160;</div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#aa07399d09863d01ea05a0418846eeb7b"> 259</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1HybridData.html#aa07399d09863d01ea05a0418846eeb7b">hasInd</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst)</div><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="keyword">auto</span> it = indMap.find(dst);</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keywordflow">if</span> (it == indMap.end())</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; <span class="keywordflow">return</span> (it-&gt;second.find(src) != it-&gt;second.end());</div><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;</div><div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#a7ef9213832546a850c968d075db6264b"> 268</a></span>&#160; <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* <a class="code" href="classSVF_1_1HybridData.html#a7ef9213832546a850c968d075db6264b">addInd</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst)</div><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="keyword">auto</span> resIns = indMap[dst].insert(std::make_pair(src, <span class="keyword">new</span> <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>(dst)));</div><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">if</span> (resIns.second)</div><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> resIns.first-&gt;second;</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160;</div><div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#ab27e0428efc2db15a97238f2e17e9e73"> 277</a></span>&#160; <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* <a class="code" href="classSVF_1_1HybridData.html#ab27e0428efc2db15a97238f2e17e9e73">getNode</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst)</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">return</span> indMap[dst][src];</div><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;</div><div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#a6b88524881456cfa725a818bb6e227aa"> 283</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1HybridData.html#a6b88524881456cfa725a818bb6e227aa">insertEdge</a>(<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* u, <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* v)</div><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; u-&gt;<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">children</a>.insert(v);</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; }</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160;</div><div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#aa77cded07aeb17c600c5d864694dd922"> 288</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1HybridData.html#aa77cded07aeb17c600c5d864694dd922">addArc</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> src, <a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> dst)</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; {</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">if</span> (!hasInd(src, dst))</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">auto</span> iter: indMap[src])</div><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; meld(iter.first, getNode(iter.first, src), getNode(dst, dst));</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; }</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160;</div><div class="line"><a name="l00299"></a><span class="lineno"><a class="line" href="classSVF_1_1HybridData.html#acb745344dc5018078823119856308cdb"> 299</a></span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1HybridData.html#acb745344dc5018078823119856308cdb">meld</a>(<a class="code" href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">NodeID</a> x, <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* uNode, <a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* vNode)</div><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="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* newVNode = addInd(x, vNode-&gt;<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">id</a>);</div><div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">if</span> (!newVNode)</div><div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160;</div><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; insertEdge(uNode, newVNode);</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html">TreeNode</a>* vChild: vNode-&gt;<a class="code" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">children</a>)</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; meld(x, newVNode, vChild);</div><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; }</div><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;};</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160;</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160;</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160;} <span class="comment">// end namespace SVF</span></div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="classSVF_1_1CFLData_html_ad6d63106c4db16659cf29a7e0c31c6bc"><div class="ttname"><a href="classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc">SVF::CFLData::emptyData</a></div><div class="ttdeci">const NodeBS emptyData</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00058">CFLData.h:58</a></div></div>
70
+ <div class="ttc" id="classSVF_1_1HybridData_html_a06a0f79963a5d9a330f030d3c93096f6"><div class="ttname"><a href="classSVF_1_1HybridData.html#a06a0f79963a5d9a330f030d3c93096f6">SVF::HybridData::~HybridData</a></div><div class="ttdeci">~HybridData()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00247">CFLData.h:247</a></div></div>
71
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_aee14edee2d81613c48c00b090ff0e66b"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">SVF::HybridData::TreeNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00219">CFLData.h:219</a></div></div>
72
+ <div class="ttc" id="classSVF_1_1HybridData_html_a6300911be9cebefba2248afd9dce59ce"><div class="ttname"><a href="classSVF_1_1HybridData.html#a6300911be9cebefba2248afd9dce59ce">SVF::HybridData::HybridData</a></div><div class="ttdeci">HybridData()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00244">CFLData.h:244</a></div></div>
73
+ <div class="ttc" id="classSVF_1_1CFLData_html_a58bc39506945e1c7eaaf542c9e93aefa"><div class="ttname"><a href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">SVF::CFLData::succMap</a></div><div class="ttdeci">DataMap succMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00056">CFLData.h:56</a></div></div>
74
+ <div class="ttc" id="namespaceSVF_html_a350ae9bf8606bdfe23c8679681b969dc"><div class="ttname"><a href="namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
75
+ <div class="ttc" id="classSVF_1_1HybridData_html_a7ef9213832546a850c968d075db6264b"><div class="ttname"><a href="classSVF_1_1HybridData.html#a7ef9213832546a850c968d075db6264b">SVF::HybridData::addInd</a></div><div class="ttdeci">TreeNode * addInd(NodeID src, NodeID dst)</div><div class="ttdoc">Add a node dst to tree(src) </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00268">CFLData.h:268</a></div></div>
76
+ <div class="ttc" id="classSVF_1_1CFLData_html_a1d420d898cd68f419f1ebc853547a90f"><div class="ttname"><a href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f">SVF::CFLData::addSucc</a></div><div class="ttdeci">bool addSucc(const NodeID key, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00068">CFLData.h:68</a></div></div>
77
+ <div class="ttc" id="classSVF_1_1CFLData_html_ad31c2dc818201eec84056b0b238048d1"><div class="ttname"><a href="classSVF_1_1CFLData.html#ad31c2dc818201eec84056b0b238048d1">SVF::CFLData::addEdge</a></div><div class="ttdeci">bool addEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00155">CFLData.h:155</a></div></div>
78
+ <div class="ttc" id="classSVF_1_1HybridData_html_a6b88524881456cfa725a818bb6e227aa"><div class="ttname"><a href="classSVF_1_1HybridData.html#a6b88524881456cfa725a818bb6e227aa">SVF::HybridData::insertEdge</a></div><div class="ttdeci">void insertEdge(TreeNode *u, TreeNode *v)</div><div class="ttdoc">add v into desc(x) as a child of u </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00283">CFLData.h:283</a></div></div>
79
+ <div class="ttc" id="classSVF_1_1CFLData_html_a013a6273943a633d33ded9705a0f7d19"><div class="ttname"><a href="classSVF_1_1CFLData.html#a013a6273943a633d33ded9705a0f7d19">SVF::CFLData::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00118">CFLData.h:118</a></div></div>
80
+ <div class="ttc" id="classSVF_1_1CFLData_html_a2b4400347283831800ccd3db50230e2c"><div class="ttname"><a href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c">SVF::CFLData::predMap</a></div><div class="ttdeci">DataMap predMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00057">CFLData.h:57</a></div></div>
81
+ <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00099">SVFType.h:99</a></div></div>
82
+ <div class="ttc" id="classSVF_1_1CFLData_html_a75adafb55103000ea7b959905831623e"><div class="ttname"><a href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e">SVF::CFLData::addPred</a></div><div class="ttdeci">bool addPred(const NodeID key, const NodeID src, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00063">CFLData.h:63</a></div></div>
83
+ <div class="ttc" id="classSVF_1_1HybridData_html_acb745344dc5018078823119856308cdb"><div class="ttname"><a href="classSVF_1_1HybridData.html#acb745344dc5018078823119856308cdb">SVF::HybridData::meld</a></div><div class="ttdeci">void meld(NodeID x, TreeNode *uNode, TreeNode *vNode)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00299">CFLData.h:299</a></div></div>
84
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_a4b273b1b7152457e9d445cfd766ab736"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736">SVF::HybridData::TreeNode::TreeNode</a></div><div class="ttdeci">TreeNode(NodeID nId)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00222">CFLData.h:222</a></div></div>
85
+ <div class="ttc" id="classSVF_1_1CFLData_html_a9766221dac3f6a9597dd663435ccd7ba"><div class="ttname"><a href="classSVF_1_1CFLData.html#a9766221dac3f6a9597dd663435ccd7ba">SVF::CFLData::addSuccs</a></div><div class="ttdeci">bool addSuccs(const NodeID key, const NodeBS &amp;data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00080">CFLData.h:80</a></div></div>
86
+ <div class="ttc" id="classSVF_1_1CFLData_html_a375add3c76a44eef188d12661d8170da"><div class="ttname"><a href="classSVF_1_1CFLData.html#a375add3c76a44eef188d12661d8170da">SVF::CFLData::getPredMap</a></div><div class="ttdeci">TypeMap &amp; getPredMap(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00138">CFLData.h:138</a></div></div>
87
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_ac0621d13b08e324200494c8fb3f4713f"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f">SVF::HybridData::TreeNode::operator==</a></div><div class="ttdeci">bool operator==(const TreeNode &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00229">CFLData.h:229</a></div></div>
88
+ <div class="ttc" id="classSVF_1_1CFLData_html_ae764a0df4fe6ad0791418f617bae6e38"><div class="ttname"><a href="classSVF_1_1CFLData.html#ae764a0df4fe6ad0791418f617bae6e38">SVF::CFLData::getSuccMap</a></div><div class="ttdeci">DataMap &amp; getSuccMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00123">CFLData.h:123</a></div></div>
89
+ <div class="ttc" id="classSVF_1_1CFLData_html_a27871f50a6b24770a7c8e4a7a1c42820"><div class="ttname"><a href="classSVF_1_1CFLData.html#a27871f50a6b24770a7c8e4a7a1c42820">SVF::CFLData::getPreds</a></div><div class="ttdeci">NodeBS &amp; getPreds(const NodeID key, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00148">CFLData.h:148</a></div></div>
90
+ <div class="ttc" id="classSVF_1_1HybridData_html"><div class="ttname"><a href="classSVF_1_1HybridData.html">SVF::HybridData</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00214">CFLData.h:214</a></div></div>
91
+ <div class="ttc" id="classSVF_1_1CFLData_html_a4143cd55f9b844d35c1d8bf457db2cd4"><div class="ttname"><a href="classSVF_1_1CFLData.html#a4143cd55f9b844d35c1d8bf457db2cd4">SVF::CFLData::getSuccs</a></div><div class="ttdeci">NodeBS &amp; getSuccs(const NodeID key, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00143">CFLData.h:143</a></div></div>
92
+ <div class="ttc" id="classSVF_1_1HybridData_html_aa77cded07aeb17c600c5d864694dd922"><div class="ttname"><a href="classSVF_1_1HybridData.html#aa77cded07aeb17c600c5d864694dd922">SVF::HybridData::addArc</a></div><div class="ttdeci">void addArc(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00288">CFLData.h:288</a></div></div>
93
+ <div class="ttc" id="classSVF_1_1HybridData_html_abec2faddf70b046941f146976c8d05df"><div class="ttname"><a href="classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df">SVF::HybridData::indMap</a></div><div class="ttdeci">Map&lt; NodeID, std::unordered_map&lt; NodeID, TreeNode * &gt; &gt; indMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00242">CFLData.h:242</a></div></div>
94
+ <div class="ttc" id="classSVF_1_1CFLData_html_a997fd769bab5e47a648f080796e6ce5a"><div class="ttname"><a href="classSVF_1_1CFLData.html#a997fd769bab5e47a648f080796e6ce5a">SVF::CFLData::getPredMap</a></div><div class="ttdeci">DataMap &amp; getPredMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00128">CFLData.h:128</a></div></div>
95
+ <div class="ttc" id="classSVF_1_1HybridData_html_ab27e0428efc2db15a97238f2e17e9e73"><div class="ttname"><a href="classSVF_1_1HybridData.html#ab27e0428efc2db15a97238f2e17e9e73">SVF::HybridData::getNode</a></div><div class="ttdeci">TreeNode * getNode(NodeID src, NodeID dst)</div><div class="ttdoc">Get the node dst in tree(src) </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00277">CFLData.h:277</a></div></div>
96
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html">SVF::HybridData::TreeNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00217">CFLData.h:217</a></div></div>
97
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_ad93a4d1a7e025403c741421c96030ce7"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7">SVF::HybridData::TreeNode::~TreeNode</a></div><div class="ttdeci">~TreeNode()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00225">CFLData.h:225</a></div></div>
98
+ <div class="ttc" id="classSVF_1_1CFLData_html_ac9488c13a59fc9da5ea96774f68cb578"><div class="ttname"><a href="classSVF_1_1CFLData.html#ac9488c13a59fc9da5ea96774f68cb578">SVF::CFLData::iterator</a></div><div class="ttdeci">DataMap::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00052">CFLData.h:52</a></div></div>
99
+ <div class="ttc" id="CFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
100
+ <div class="ttc" id="classSVF_1_1CFLData_html_ad6e5c00ad346f21cd59b5ff52862bbd5"><div class="ttname"><a href="classSVF_1_1CFLData.html#ad6e5c00ad346f21cd59b5ff52862bbd5">SVF::CFLData::TypeMap</a></div><div class="ttdeci">std::map&lt; const Label, NodeBS &gt; TypeMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00050">CFLData.h:50</a></div></div>
101
+ <div class="ttc" id="classSVF_1_1CFLData_html_af9427cd02ab98f3a265c92ca5b60131f"><div class="ttname"><a href="classSVF_1_1CFLData.html#af9427cd02ab98f3a265c92ca5b60131f">SVF::CFLData::clearEdges</a></div><div class="ttdeci">void clearEdges(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00202">CFLData.h:202</a></div></div>
102
+ <div class="ttc" id="classSVF_1_1CFLData_html_a35d5d928a6ae9298893c903ed00b476e"><div class="ttname"><a href="classSVF_1_1CFLData.html#a35d5d928a6ae9298893c903ed00b476e">SVF::CFLData::addEdges</a></div><div class="ttdeci">NodeBS addEdges(const NodeID src, const NodeBS &amp;dstData, const Label ty)</div><div class="ttdoc">add edges and return the set of added edges (dst) for src </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00162">CFLData.h:162</a></div></div>
103
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_ab9fbeff34671b066d10611616909c683"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">SVF::HybridData::TreeNode::children</a></div><div class="ttdeci">std::unordered_set&lt; TreeNode * &gt; children</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00220">CFLData.h:220</a></div></div>
104
+ <div class="ttc" id="classSVF_1_1CFLData_html_aa95854135e7869605c423ad4c4042329"><div class="ttname"><a href="classSVF_1_1CFLData.html#aa95854135e7869605c423ad4c4042329">SVF::CFLData::addEdges</a></div><div class="ttdeci">NodeBS addEdges(const NodeBS &amp;srcData, const NodeID dst, const Label ty)</div><div class="ttdoc">add edges and return the set of added edges (src) for dst </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00175">CFLData.h:175</a></div></div>
105
+ <div class="ttc" id="classSVF_1_1CFLData_html_a3a33fbfd1fb0afa58926e748012a2bf7"><div class="ttname"><a href="classSVF_1_1CFLData.html#a3a33fbfd1fb0afa58926e748012a2bf7">SVF::CFLData::DataMap</a></div><div class="ttdeci">std::unordered_map&lt; NodeID, TypeMap &gt; DataMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00051">CFLData.h:51</a></div></div>
106
+ <div class="ttc" id="classSVF_1_1CFLData_html_add6e4c022793302af571cfd251de1f51"><div class="ttname"><a href="classSVF_1_1CFLData.html#add6e4c022793302af571cfd251de1f51">SVF::CFLData::clear</a></div><div class="ttdeci">virtual void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00097">CFLData.h:97</a></div></div>
107
+ <div class="ttc" id="classSVF_1_1CFLData_html_acb324be8b4e78900fba3f0d08b6edf4f"><div class="ttname"><a href="classSVF_1_1CFLData.html#acb324be8b4e78900fba3f0d08b6edf4f">SVF::CFLData::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00113">CFLData.h:113</a></div></div>
108
+ <div class="ttc" id="classSVF_1_1CFLData_html"><div class="ttname"><a href="classSVF_1_1CFLData.html">SVF::CFLData</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00047">CFLData.h:47</a></div></div>
109
+ <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
110
+ <div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00454">SparseBitVector.h:454</a></div></div>
111
+ <div class="ttc" id="structSVF_1_1HybridData_1_1TreeNode_html_adefb801eb96d6b1c24c86fa48fe2932e"><div class="ttname"><a href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e">SVF::HybridData::TreeNode::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const TreeNode &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00234">CFLData.h:234</a></div></div>
112
+ <div class="ttc" id="classSVF_1_1CFLData_html_aa8a05aeeff41bfe940694c1ffb265371"><div class="ttname"><a href="classSVF_1_1CFLData.html#aa8a05aeeff41bfe940694c1ffb265371">SVF::CFLData::hasEdge</a></div><div class="ttdeci">bool hasEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdoc">find src -&gt; find src[ty] -&gt; find dst in set </div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00188">CFLData.h:188</a></div></div>
113
+ <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
114
+ <div class="ttc" id="classSVF_1_1CFLData_html_a130dce5452773ab1b3c4612519f19f55"><div class="ttname"><a href="classSVF_1_1CFLData.html#a130dce5452773ab1b3c4612519f19f55">SVF::CFLData::getSuccMap</a></div><div class="ttdeci">TypeMap &amp; getSuccMap(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00133">CFLData.h:133</a></div></div>
115
+ <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
116
+ <div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
117
+ <div class="ttc" id="WorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>
118
+ <div class="ttc" id="classSVF_1_1CFLData_html_a2c04558fd5b2a69d4aa6e1af1c3c3279"><div class="ttname"><a href="classSVF_1_1CFLData.html#a2c04558fd5b2a69d4aa6e1af1c3c3279">SVF::CFLData::~CFLData</a></div><div class="ttdeci">virtual ~CFLData()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00094">CFLData.h:94</a></div></div>
119
+ <div class="ttc" id="classSVF_1_1CFLData_html_ac65bbba5545887149cfe270fc6970d37"><div class="ttname"><a href="classSVF_1_1CFLData.html#ac65bbba5545887149cfe270fc6970d37">SVF::CFLData::const_iterator</a></div><div class="ttdeci">DataMap::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00053">CFLData.h:53</a></div></div>
120
+ <div class="ttc" id="classSVF_1_1HybridData_html_aa07399d09863d01ea05a0418846eeb7b"><div class="ttname"><a href="classSVF_1_1HybridData.html#aa07399d09863d01ea05a0418846eeb7b">SVF::HybridData::hasInd</a></div><div class="ttdeci">bool hasInd(NodeID src, NodeID dst)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00259">CFLData.h:259</a></div></div>
121
+ <div class="ttc" id="classSVF_1_1CFLData_html_ab7db3b1ae0698c64b02001dd9943c311"><div class="ttname"><a href="classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311">SVF::CFLData::diff</a></div><div class="ttdeci">NodeBS diff</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00059">CFLData.h:59</a></div></div>
122
+ <div class="ttc" id="classSVF_1_1CFLData_html_aaab737512ca958a7f43e27bbcac23285"><div class="ttname"><a href="classSVF_1_1CFLData.html#aaab737512ca958a7f43e27bbcac23285">SVF::CFLData::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00108">CFLData.h:108</a></div></div>
123
+ <div class="ttc" id="namespaceSVF_html_a3e0f8e5e6b3c433f557a1ca8e17599c9"><div class="ttname"><a href="namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9">SVF::Label</a></div><div class="ttdeci">GrammarBase::Symbol Label</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00043">CFLData.h:43</a></div></div>
124
+ <div class="ttc" id="classSVF_1_1CFLData_html_a41a7fd0398309e57e5397ff84907e489"><div class="ttname"><a href="classSVF_1_1CFLData.html#a41a7fd0398309e57e5397ff84907e489">SVF::CFLData::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00103">CFLData.h:103</a></div></div>
125
+ <div class="ttc" id="classSVF_1_1CFLData_html_a05d8b0f55753fdad40a0f7be00aa80e4"><div class="ttname"><a href="classSVF_1_1CFLData.html#a05d8b0f55753fdad40a0f7be00aa80e4">SVF::CFLData::CFLData</a></div><div class="ttdeci">CFLData()</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00090">CFLData.h:90</a></div></div>
126
+ <div class="ttc" id="classSVF_1_1CFLData_html_ab214e58aee047fc94e79b8a8011ca8ca"><div class="ttname"><a href="classSVF_1_1CFLData.html#ab214e58aee047fc94e79b8a8011ca8ca">SVF::CFLData::addPreds</a></div><div class="ttdeci">bool addPreds(const NodeID key, const NodeBS &amp;data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLData_8h_source.html#l00073">CFLData.h:73</a></div></div>
127
+ <div class="ttc" id="classSVF_1_1SparseBitVector_html_aea5389ad7e5fe4c8bef686940a1a6056"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056">SVF::SparseBitVector::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01091">SparseBitVector.h:1091</a></div></div>
128
+ </div><!-- fragment --></div><!-- contents -->
129
+ <!-- start footer part -->
130
+ <hr class="footer"/><address class="footer"><small>
131
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
132
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
133
+ </a> 1.8.13
134
+ </small></address>
135
+ </body>
136
+ </html>