svf-tools 1.0.558 → 1.0.561

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 (327) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +43 -43
  3. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +16 -16
  6. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +18 -18
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +56 -56
  9. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +8 -8
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
  11. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
  12. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +44 -44
  14. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +43 -43
  15. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  16. package/SVF-doxygen/html/html/DDAClient_8h_source.html +36 -36
  17. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/DDAPass_8h_source.html +21 -21
  19. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +51 -51
  20. package/SVF-doxygen/html/html/DDAStat_8h_source.html +51 -51
  21. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +111 -111
  22. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -2
  25. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -2
  26. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +40 -40
  27. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +52 -52
  28. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/FileChecker_8h_source.html +2 -2
  30. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +42 -42
  32. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  34. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  35. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +3 -3
  36. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +34 -34
  39. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +114 -114
  40. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +7 -7
  42. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  43. package/SVF-doxygen/html/html/MHP_8cpp_source.html +94 -94
  44. package/SVF-doxygen/html/html/MHP_8h_source.html +135 -135
  45. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +6 -6
  46. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +10 -10
  49. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  50. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +33 -33
  51. package/SVF-doxygen/html/html/MTAStat_8h_source.html +14 -14
  52. package/SVF-doxygen/html/html/MTA_8cpp_source.html +28 -28
  53. package/SVF-doxygen/html/html/MTA_8h_source.html +24 -24
  54. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/MemPartition_8h_source.html +4 -4
  56. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +50 -50
  57. package/SVF-doxygen/html/html/MemRegion_8h_source.html +93 -93
  58. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +59 -59
  59. package/SVF-doxygen/html/html/MemSSA_8h_source.html +103 -103
  60. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +185 -185
  61. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/PCG_8cpp_source.html +14 -14
  64. package/SVF-doxygen/html/html/PCG_8h_source.html +52 -52
  65. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
  66. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +40 -40
  67. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +181 -181
  68. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  69. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +30 -30
  70. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +60 -60
  74. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  76. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +19 -19
  80. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +12 -12
  82. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  83. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +3 -3
  86. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +2 -2
  87. package/SVF-doxygen/html/html/SaberCheckerAPI_8cpp_source.html +1 -1
  88. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  90. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +1 -1
  91. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  92. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  94. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +66 -66
  95. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +4 -4
  97. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +6 -6
  98. package/SVF-doxygen/html/html/TCT_8cpp_source.html +44 -44
  99. package/SVF-doxygen/html/html/TCT_8h_source.html +93 -93
  100. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  102. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  103. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +25 -25
  104. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +38 -38
  105. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  106. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  107. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  108. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
  110. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
  111. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +22 -22
  112. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +102 -102
  113. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +43 -43
  114. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +20 -20
  115. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -6
  116. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +16 -16
  117. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +19 -19
  118. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +39 -39
  119. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  120. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +2 -2
  122. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +100 -100
  124. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +51 -51
  125. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +58 -58
  126. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +165 -165
  127. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +286 -286
  128. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +26 -26
  129. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +11 -11
  130. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +4 -4
  131. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  132. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  134. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +40 -5
  135. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +30 -30
  136. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  137. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +71 -71
  138. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +7 -7
  139. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +218 -218
  141. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  142. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +19 -19
  144. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +7 -7
  146. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +17 -17
  147. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +334 -334
  149. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  150. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +246 -246
  151. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +7 -7
  152. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +200 -200
  153. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +53 -53
  159. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  160. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +22 -22
  161. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +181 -181
  162. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +44 -44
  163. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +23 -23
  164. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +267 -267
  165. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -18
  166. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +128 -128
  167. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +55 -55
  168. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +88 -88
  169. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +78 -78
  170. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +77 -77
  171. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +131 -131
  172. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +32 -32
  173. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +107 -107
  174. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +66 -66
  175. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +84 -84
  176. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +77 -77
  177. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +134 -134
  178. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +77 -77
  179. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  180. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +161 -161
  181. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
  182. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +22 -22
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  186. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  187. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +157 -157
  189. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +15 -15
  190. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  191. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +264 -264
  192. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +13 -13
  193. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +20 -20
  194. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +100 -100
  196. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  197. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +11 -11
  199. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  200. package/SVF-doxygen/html/html/dda_8cpp.html +2 -2
  201. package/SVF-doxygen/html/html/dda_8cpp_source.html +2 -2
  202. package/SVF-doxygen/html/html/functions_a.html +11 -5
  203. package/SVF-doxygen/html/html/functions_c.html +21 -18
  204. package/SVF-doxygen/html/html/functions_f.html +6 -6
  205. package/SVF-doxygen/html/html/functions_func.html +16 -10
  206. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  207. package/SVF-doxygen/html/html/functions_func_i.html +11 -8
  208. package/SVF-doxygen/html/html/functions_i.html +11 -8
  209. package/SVF-doxygen/html/html/functions_l.html +5 -5
  210. package/SVF-doxygen/html/html/functions_p.html +6 -6
  211. package/SVF-doxygen/html/html/functions_r.html +3 -7
  212. package/SVF-doxygen/html/html/functions_s.html +16 -14
  213. package/SVF-doxygen/html/html/functions_v.html +6 -6
  214. package/SVF-doxygen/html/html/functions_w.html +11 -11
  215. package/SVF-doxygen/html/html/globals_g.html +3 -3
  216. package/SVF-doxygen/html/html/globals_v.html +1 -2
  217. package/SVF-doxygen/html/html/globals_vars.html +3 -4
  218. package/SVF-doxygen/html/html/mta_8cpp.html +2 -2
  219. package/SVF-doxygen/html/html/mta_8cpp_source.html +2 -2
  220. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  221. package/SVF-doxygen/html/html/search/all_1.js +2 -0
  222. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  223. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  224. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  225. package/SVF-doxygen/html/html/search/all_13.js +2 -2
  226. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  227. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  228. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  229. package/SVF-doxygen/html/html/search/all_3.js +1 -0
  230. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  231. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  232. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  233. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  234. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_0.js +2 -0
  236. package/SVF-doxygen/html/html/search/functions_2.js +1 -0
  237. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  238. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  239. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  240. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  241. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  242. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  243. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +3 -3
  244. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  245. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +15 -15
  246. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +1 -1
  247. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +1 -1
  248. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +2 -2
  249. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  250. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  251. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  252. package/include/CFL/CFLGraphBuilder.h +9 -0
  253. package/include/CFL/PEGGrammar.txt +4 -8
  254. package/include/DDA/ContextDDA.h +29 -0
  255. package/include/DDA/DDAClient.h +23 -0
  256. package/include/DDA/DDAPass.h +22 -0
  257. package/include/DDA/DDAStat.h +22 -0
  258. package/include/DDA/DDAVFSolver.h +22 -0
  259. package/include/DDA/FlowDDA.h +29 -0
  260. package/include/MSSA/MSSAMuChi.h +1 -1
  261. package/include/MSSA/MemPartition.h +1 -1
  262. package/include/MSSA/MemRegion.h +5 -1
  263. package/include/MSSA/MemSSA.h +7 -1
  264. package/include/MSSA/SVFGBuilder.h +1 -1
  265. package/include/MTA/FSMPTA.h +26 -0
  266. package/include/MTA/LockAnalysis.h +22 -0
  267. package/include/MTA/MHP.h +22 -0
  268. package/include/MTA/MTA.h +27 -1
  269. package/include/MTA/MTAStat.h +22 -0
  270. package/include/MTA/PCG.h +22 -0
  271. package/include/MTA/TCT.h +22 -0
  272. package/include/MemoryModel/AbstractPointsToDS.h +34 -0
  273. package/include/MemoryModel/ConditionalPT.h +1 -1
  274. package/include/MemoryModel/LocationSet.h +1 -1
  275. package/include/MemoryModel/MutablePointsToDS.h +32 -0
  276. package/include/MemoryModel/PAGBuilderFromFile.h +2 -2
  277. package/include/MemoryModel/PersistentPointsToCache.h +3 -1
  278. package/include/MemoryModel/PersistentPointsToDS.h +10 -0
  279. package/include/MemoryModel/PointerAnalysis.h +1 -1
  280. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  281. package/include/MemoryModel/SVFStatements.h +1 -1
  282. package/include/SABER/DoubleFreeChecker.h +1 -1
  283. package/include/SABER/FileChecker.h +1 -1
  284. package/include/SABER/LeakChecker.h +1 -1
  285. package/include/SABER/ProgSlice.h +8 -1
  286. package/include/SABER/SaberAnnotator.h +1 -1
  287. package/include/SABER/SaberCheckerAPI.h +1 -1
  288. package/include/SABER/SaberCondAllocator.h +1 -1
  289. package/include/SABER/SaberSVFGBuilder.h +1 -1
  290. package/include/SABER/SrcSnkDDA.h +8 -1
  291. package/include/SABER/SrcSnkSolver.h +1 -1
  292. package/include/Util/ExtAPI.h +3 -0
  293. package/include/Util/ExtAPI.json +1456 -44
  294. package/include/WPA/Andersen.h +5 -0
  295. package/include/WPA/TypeAnalysis.h +1 -1
  296. package/include/WPA/VersionedFlowSensitive.h +4 -0
  297. package/lib/CFL/CFLGraphBuilder.cpp +44 -0
  298. package/lib/DDA/ContextDDA.cpp +22 -0
  299. package/lib/DDA/DDAClient.cpp +22 -0
  300. package/lib/DDA/DDAPass.cpp +23 -0
  301. package/lib/DDA/DDAStat.cpp +22 -0
  302. package/lib/DDA/FlowDDA.cpp +22 -0
  303. package/lib/MTA/FSMPTA.cpp +22 -0
  304. package/lib/MTA/LockAnalysis.cpp +22 -0
  305. package/lib/MTA/MHP.cpp +23 -1
  306. package/lib/MTA/MTA.cpp +23 -0
  307. package/lib/MTA/MTAStat.cpp +22 -0
  308. package/lib/MTA/PCG.cpp +22 -0
  309. package/lib/MTA/TCT.cpp +23 -0
  310. package/lib/MemoryModel/LocationSet.cpp +1 -1
  311. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  312. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  313. package/lib/MemoryModel/PointerAnalysisImpl.cpp +23 -0
  314. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  315. package/lib/SABER/FileChecker.cpp +1 -1
  316. package/lib/SABER/LeakChecker.cpp +1 -1
  317. package/lib/SABER/ProgSlice.cpp +1 -1
  318. package/lib/SABER/SaberAnnotator.cpp +1 -1
  319. package/lib/SABER/SaberCheckerAPI.cpp +1 -1
  320. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  321. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  322. package/lib/SABER/SrcSnkDDA.cpp +1 -1
  323. package/lib/Util/ExtAPI.cpp +42 -4
  324. package/lib/WPA/Steensgaard.cpp +22 -0
  325. package/lib/WPA/TypeAnalysis.cpp +1 -1
  326. package/lib/WPA/WPAPass.cpp +1 -1
  327. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html CHANGED
@@ -289,7 +289,7 @@ Protected Attributes</h2></td></tr>
289
289
  class SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</h3>
290
290
 
291
291
 
292
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00017">17</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
292
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00049">49</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
293
293
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
294
294
  <a id="a17a5aa4a749a5ffc75c663d057454e4a"></a>
295
295
  <h2 class="memtitle"><span class="permalink"><a href="#a17a5aa4a749a5ffc75c663d057454e4a">&#9670;&nbsp;</a></span>BaseDFPTData</h2>
@@ -305,7 +305,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
305
305
  </table>
306
306
  </div><div class="memdoc">
307
307
 
308
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00336">336</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
308
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00368">368</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
309
309
 
310
310
  </div>
311
311
  </div>
@@ -323,7 +323,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
323
323
  </table>
324
324
  </div><div class="memdoc">
325
325
 
326
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00335">335</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
326
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00367">367</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
327
327
 
328
328
  </div>
329
329
  </div>
@@ -341,7 +341,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
341
341
  </table>
342
342
  </div><div class="memdoc">
343
343
 
344
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00334">334</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
344
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00366">366</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
345
345
 
346
346
  </div>
347
347
  </div>
@@ -361,7 +361,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
361
361
 
362
362
  <p>Data-flow point-to map. </p>
363
363
 
364
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00342">342</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
364
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00374">374</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
365
365
 
366
366
  </div>
367
367
  </div>
@@ -379,7 +379,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
379
379
  </table>
380
380
  </div><div class="memdoc">
381
381
 
382
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00344">344</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
382
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00376">376</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
383
383
 
384
384
  </div>
385
385
  </div>
@@ -397,7 +397,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
397
397
  </table>
398
398
  </div><div class="memdoc">
399
399
 
400
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00343">343</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
400
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00375">375</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
401
401
 
402
402
  </div>
403
403
  </div>
@@ -415,7 +415,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
415
415
  </table>
416
416
  </div><div class="memdoc">
417
417
 
418
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00339">339</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
418
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00371">371</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
419
419
 
420
420
  </div>
421
421
  </div>
@@ -433,7 +433,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
433
433
  </table>
434
434
  </div><div class="memdoc">
435
435
 
436
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00337">337</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
436
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00369">369</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
437
437
 
438
438
  </div>
439
439
  </div>
@@ -451,7 +451,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
451
451
  </table>
452
452
  </div><div class="memdoc">
453
453
 
454
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00340">340</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
454
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00372">372</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
455
455
 
456
456
  </div>
457
457
  </div>
@@ -469,7 +469,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
469
469
  </table>
470
470
  </div><div class="memdoc">
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00341">341</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
472
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00373">373</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
473
473
 
474
474
  </div>
475
475
  </div>
@@ -512,9 +512,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
512
512
 
513
513
  <p>Constructor. </p>
514
514
 
515
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00347">347</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
516
- <div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160;: <a class="code" href="classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a">BaseDFPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>(reversePT) { }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
517
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a17a5aa4a749a5ffc75c663d057454e4a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a">SVF::MutableDFPTData::BaseDFPTData</a></div><div class="ttdeci">DFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00336">MutablePointsToDS.h:336</a></div></div>
515
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00379">379</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
516
+ <div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160;: <a class="code" href="classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a">BaseDFPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>(reversePT) { }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
517
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a17a5aa4a749a5ffc75c663d057454e4a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a17a5aa4a749a5ffc75c663d057454e4a">SVF::MutableDFPTData::BaseDFPTData</a></div><div class="ttdeci">DFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00368">MutablePointsToDS.h:368</a></div></div>
518
518
  </div><!-- fragment -->
519
519
  </div>
520
520
  </div>
@@ -543,8 +543,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
543
543
  </table>
544
544
  </div><div class="memdoc">
545
545
 
546
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00349">349</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
547
- <div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160;{ }</div></div><!-- fragment -->
546
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00381">381</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
547
+ <div class="fragment"><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160;{ }</div></div><!-- fragment -->
548
548
  </div>
549
549
  </div>
550
550
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -585,9 +585,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
585
585
  </div><div class="memdoc">
586
586
  <p>Override the methods defined in <a class="el" href="classSVF_1_1PTData.html">PTData</a>. Union/add points-to without adding reverse points-to, used internally </p>
587
587
 
588
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00494">494</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
589
- <div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; {</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">addPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], srcKey);</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab75373d16f57dbbf1e9472e9a27d6b4b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">SVF::MutableDFPTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00494">MutablePointsToDS.h:494</a></div></div>
590
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
588
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00526">526</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
589
+ <div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160; {</div><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">addPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], srcKey);</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab75373d16f57dbbf1e9472e9a27d6b4b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">SVF::MutableDFPTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00526">MutablePointsToDS.h:526</a></div></div>
590
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
591
591
  </div><!-- fragment -->
592
592
  </div>
593
593
  </div>
@@ -627,8 +627,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
627
627
  </table>
628
628
  </div><div class="memdoc">
629
629
 
630
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00571">571</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
631
- <div class="fragment"><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; {</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; <span class="keywordflow">return</span> d.test_and_set(e);</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; }</div></div><!-- fragment -->
630
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00603">603</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
631
+ <div class="fragment"><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; {</div><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160; <span class="keywordflow">return</span> d.test_and_set(e);</div><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; }</div></div><!-- fragment -->
632
632
  </div>
633
633
  </div>
634
634
  <a id="a5baa6fffedfd0ac356590f9a0b222ee0"></a>
@@ -658,8 +658,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
658
658
  </div><div class="memdoc">
659
659
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
660
660
 
661
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00553">553</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
662
- <div class="fragment"><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; {</div><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; }</div></div><!-- fragment -->
661
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00585">585</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
662
+ <div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; {</div><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; }</div></div><!-- fragment -->
663
663
  </div>
664
664
  </div>
665
665
  <a id="acb338bbe5773001a15b81e596a764222"></a>
@@ -688,9 +688,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
688
688
  </table>
689
689
  </div><div class="memdoc">
690
690
 
691
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00557">557</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
692
- <div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; {</div><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62">BaseDFPTData::MutDataFlow</a></div><div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; || ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">BaseDFPTData::MutIncDataFlow</a>;</div><div class="line"><a name="l00561"></a><span class="lineno"> 561</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62">SVF::PTData::MutDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00051">AbstractPointsToDS.h:51</a></div></div>
693
- <div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">SVF::PTData::MutIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00052">AbstractPointsToDS.h:52</a></div></div>
691
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00589">589</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
692
+ <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62">BaseDFPTData::MutDataFlow</a></div><div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; || ptd-&gt;getPTDTY() == <a class="code" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">BaseDFPTData::MutIncDataFlow</a>;</div><div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; }</div><div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a46777c0122829cc199bc911e585b4f62">SVF::PTData::MutDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00085">AbstractPointsToDS.h:85</a></div></div>
693
+ <div class="ttc" id="classSVF_1_1PTData_html_a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c"><div class="ttname"><a href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848aa4e18dfa52aad741c91bcc78339e986c">SVF::PTData::MutIncDataFlow</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00086">AbstractPointsToDS.h:86</a></div></div>
694
694
  </div><!-- fragment -->
695
695
  </div>
696
696
  </div>
@@ -723,8 +723,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
723
723
 
724
724
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
725
725
 
726
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00356">356</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
727
- <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; {</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clear();</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
726
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00388">388</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
727
+ <div class="fragment"><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; {</div><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clear();</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
728
728
  </div><!-- fragment -->
729
729
  </div>
730
730
  </div>
@@ -758,8 +758,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
758
758
 
759
759
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
760
760
 
761
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00487">487</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
762
- <div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; }</div></div><!-- fragment -->
761
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00519">519</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
762
+ <div class="fragment"><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; {</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; }</div></div><!-- fragment -->
763
763
  </div>
764
764
  </div>
765
765
  <a id="ab345e148997b9e1c6e4c2c76267880b7"></a>
@@ -792,8 +792,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
792
792
 
793
793
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
794
794
 
795
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00510">510</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
796
- <div class="fragment"><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; {</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clearFullPts(var);</div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
795
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00542">542</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
796
+ <div class="fragment"><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; {</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clearFullPts(var);</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
797
797
  </div><!-- fragment -->
798
798
  </div>
799
799
  </div>
@@ -837,8 +837,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
837
837
 
838
838
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
839
839
 
840
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00506">506</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
841
- <div class="fragment"><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clearPts(var, element);</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
840
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00538">538</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
841
+ <div class="fragment"><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; {</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.clearPts(var, element);</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
842
842
  </div><!-- fragment -->
843
843
  </div>
844
844
  </div>
@@ -872,21 +872,21 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
872
872
 
873
873
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
874
874
 
875
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00580">580</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
876
- <div class="fragment"><div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; {</div><div class="line"><a name="l00583"></a><span class="lineno"> 583</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.dumpPTData();</div><div class="line"><a name="l00585"></a><span class="lineno"> 585</span>&#160; std::error_code ErrInfo;</div><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; std::fstream f(<span class="stringliteral">&quot;svfg_pts.data&quot;</span>, std::ios_base::out);</div><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">if</span> (f.good())</div><div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; {</div><div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; <a class="code" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a> locs;</div><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.begin(), eit = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; locs.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(it-&gt;first);</div><div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160;</div><div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.begin(), eit = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; locs.set(it-&gt;first);</div><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160;</div><div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c">NodeBS::iterator</a> it = locs.begin(), eit = locs.end(); it != eit; it++)</div><div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; {</div><div class="line"><a name="l00598"></a><span class="lineno"> 598</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">LocID</a> loc = *it;</div><div class="line"><a name="l00599"></a><span class="lineno"> 599</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; {</div><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;Loc:&quot;</span> &lt;&lt; loc &lt;&lt; <span class="stringliteral">&quot; IN:{&quot;</span>;</div><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">dumpPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">getDFInPtsMap</a>(loc), f);</div><div class="line"><a name="l00603"></a><span class="lineno"> 603</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div><div class="line"><a name="l00604"></a><span class="lineno"> 604</span>&#160; }</div><div class="line"><a name="l00605"></a><span class="lineno"> 605</span>&#160;</div><div class="line"><a name="l00606"></a><span class="lineno"> 606</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00607"></a><span class="lineno"> 607</span>&#160; {</div><div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;Loc:&quot;</span> &lt;&lt; loc &lt;&lt; <span class="stringliteral">&quot; OUT:{&quot;</span>;</div><div class="line"><a name="l00609"></a><span class="lineno"> 609</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">dumpPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">getDFOutPtsMap</a>(loc), f);</div><div class="line"><a name="l00610"></a><span class="lineno"> 610</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div><div class="line"><a name="l00611"></a><span class="lineno"> 611</span>&#160; }</div><div class="line"><a name="l00612"></a><span class="lineno"> 612</span>&#160; }</div><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; f.close();</div><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; <span class="keywordflow">if</span> (f.good())</div><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; {</div><div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; }</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; }</div><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot; error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
877
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae88094abad311dd633f66db2cd78c322"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">SVF::MutableDFPTData::dumpPts</a></div><div class="ttdeci">virtual void dumpPts(const PtsMap &amp;ptsSet, OutStream &amp;O=SVFUtil::outs()) const</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00623">MutablePointsToDS.h:623</a></div></div>
878
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
879
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae847b982baec8115ede5d7d28cd91d34"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">SVF::MutableDFPTData::LocID</a></div><div class="ttdeci">BaseDFPTData::LocID LocID</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00339">MutablePointsToDS.h:339</a></div></div>
875
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00612">612</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
876
+ <div class="fragment"><div class="line"><a name="l00613"></a><span class="lineno"> 613</span>&#160; {</div><div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.dumpPTData();</div><div class="line"><a name="l00617"></a><span class="lineno"> 617</span>&#160; std::error_code ErrInfo;</div><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; std::fstream f(<span class="stringliteral">&quot;svfg_pts.data&quot;</span>, std::ios_base::out);</div><div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; <span class="keywordflow">if</span> (f.good())</div><div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; {</div><div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; <a class="code" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a> locs;</div><div class="line"><a name="l00622"></a><span class="lineno"> 622</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.begin(), eit = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; locs.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(it-&gt;first);</div><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160;</div><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">for</span>(<a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.begin(), eit = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; locs.set(it-&gt;first);</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160;</div><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c">NodeBS::iterator</a> it = locs.begin(), eit = locs.end(); it != eit; it++)</div><div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; {</div><div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">LocID</a> loc = *it;</div><div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160; {</div><div class="line"><a name="l00633"></a><span class="lineno"> 633</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;Loc:&quot;</span> &lt;&lt; loc &lt;&lt; <span class="stringliteral">&quot; IN:{&quot;</span>;</div><div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">dumpPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">getDFInPtsMap</a>(loc), f);</div><div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div><div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; }</div><div class="line"><a name="l00637"></a><span class="lineno"> 637</span>&#160;</div><div class="line"><a name="l00638"></a><span class="lineno"> 638</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00639"></a><span class="lineno"> 639</span>&#160; {</div><div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;Loc:&quot;</span> &lt;&lt; loc &lt;&lt; <span class="stringliteral">&quot; OUT:{&quot;</span>;</div><div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">dumpPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">getDFOutPtsMap</a>(loc), f);</div><div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; f &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div><div class="line"><a name="l00643"></a><span class="lineno"> 643</span>&#160; }</div><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; }</div><div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; f.close();</div><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160; <span class="keywordflow">if</span> (f.good())</div><div class="line"><a name="l00647"></a><span class="lineno"> 647</span>&#160; {</div><div class="line"><a name="l00648"></a><span class="lineno"> 648</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00649"></a><span class="lineno"> 649</span>&#160; <span class="keywordflow">return</span>;</div><div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; }</div><div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160; }</div><div class="line"><a name="l00652"></a><span class="lineno"> 652</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot; error opening file for writing!\n&quot;</span>;</div><div class="line"><a name="l00653"></a><span class="lineno"> 653</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00404">MutablePointsToDS.h:404</a></div></div>
877
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae88094abad311dd633f66db2cd78c322"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae88094abad311dd633f66db2cd78c322">SVF::MutableDFPTData::dumpPts</a></div><div class="ttdeci">virtual void dumpPts(const PtsMap &amp;ptsSet, OutStream &amp;O=SVFUtil::outs()) const</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00655">MutablePointsToDS.h:655</a></div></div>
878
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
879
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae847b982baec8115ede5d7d28cd91d34"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">SVF::MutableDFPTData::LocID</a></div><div class="ttdeci">BaseDFPTData::LocID LocID</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00371">MutablePointsToDS.h:371</a></div></div>
880
880
  <div class="ttc" id="classSVF_1_1SparseBitVector_html_a0421e3336137b232edc442ece00a8a9c"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c">SVF::SparseBitVector::iterator</a></div><div class="ttdeci">SparseBitVectorIterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00673">SparseBitVector.h:673</a></div></div>
881
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a7559810e1ad40588f5fd82123ea1f150"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">SVF::MutableDFPTData::getDFInPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFInPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00414">MutablePointsToDS.h:414</a></div></div>
882
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
883
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
884
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00377">MutablePointsToDS.h:377</a></div></div>
881
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a7559810e1ad40588f5fd82123ea1f150"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">SVF::MutableDFPTData::getDFInPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFInPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00446">MutablePointsToDS.h:446</a></div></div>
882
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
883
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
884
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00409">MutablePointsToDS.h:409</a></div></div>
885
885
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
886
886
  <div class="ttc" id="namespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
887
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a034c1bf20ab8a73a97863073e08dcd4e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">SVF::MutableDFPTData::getDFOutPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFOutPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00418">MutablePointsToDS.h:418</a></div></div>
887
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a034c1bf20ab8a73a97863073e08dcd4e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">SVF::MutableDFPTData::getDFOutPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFOutPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00450">MutablePointsToDS.h:450</a></div></div>
888
888
  <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#l00745">SparseBitVector.h:745</a></div></div>
889
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00344">MutablePointsToDS.h:344</a></div></div>
889
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00376">MutablePointsToDS.h:376</a></div></div>
890
890
  </div><!-- fragment -->
891
891
  </div>
892
892
  </div>
@@ -926,9 +926,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
926
926
  </table>
927
927
  </div><div class="memdoc">
928
928
 
929
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00623">623</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
930
- <div class="fragment"><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; {</div><div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">PtsMapConstIter</a> nodeIt = ptsSet.begin(); nodeIt != ptsSet.end(); nodeIt++)</div><div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; {</div><div class="line"><a name="l00627"></a><span class="lineno"> 627</span>&#160; <span class="keyword">const</span> Key&amp; var = nodeIt-&gt;first;</div><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; <span class="keyword">const</span> DataSet &amp; pts = nodeIt-&gt;second;</div><div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; <span class="keywordflow">if</span> (pts.empty())</div><div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00631"></a><span class="lineno"> 631</span>&#160; O &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var &lt;&lt; <span class="stringliteral">&quot;,{&quot;</span>;</div><div class="line"><a name="l00632"></a><span class="lineno"> 632</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVFUtil::dumpSet</a>(pts,O);</div><div class="line"><a name="l00633"></a><span class="lineno"> 633</span>&#160; O &lt;&lt; <span class="stringliteral">&quot;}&gt; &quot;</span>;</div><div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160; }</div><div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160; }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeb570e9267fd7b189bd1bc877896d7ab"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, OutStream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00147">SVFUtil.cpp:147</a></div></div>
931
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a3f234abc0def4815a03de164fa258f24"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData::PtsMapConstIter</a></div><div class="ttdeci">BaseMutPTData::PtsMapConstIter PtsMapConstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00341">MutablePointsToDS.h:341</a></div></div>
929
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00655">655</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
930
+ <div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160; {</div><div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">PtsMapConstIter</a> nodeIt = ptsSet.begin(); nodeIt != ptsSet.end(); nodeIt++)</div><div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; {</div><div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; <span class="keyword">const</span> Key&amp; var = nodeIt-&gt;first;</div><div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160; <span class="keyword">const</span> DataSet &amp; pts = nodeIt-&gt;second;</div><div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160; <span class="keywordflow">if</span> (pts.empty())</div><div class="line"><a name="l00662"></a><span class="lineno"> 662</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160; O &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var &lt;&lt; <span class="stringliteral">&quot;,{&quot;</span>;</div><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVFUtil::dumpSet</a>(pts,O);</div><div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; O &lt;&lt; <span class="stringliteral">&quot;}&gt; &quot;</span>;</div><div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; }</div><div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeb570e9267fd7b189bd1bc877896d7ab"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVF::SVFUtil::dumpSet</a></div><div class="ttdeci">void dumpSet(NodeBS To, OutStream &amp;O=SVFUtil::outs())</div><div class="ttdoc">Dump sparse bitvector set. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00147">SVFUtil.cpp:147</a></div></div>
931
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a3f234abc0def4815a03de164fa258f24"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData::PtsMapConstIter</a></div><div class="ttdeci">BaseMutPTData::PtsMapConstIter PtsMapConstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00373">MutablePointsToDS.h:373</a></div></div>
932
932
  </div><!-- fragment -->
933
933
  </div>
934
934
  </div>
@@ -961,10 +961,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
961
961
 
962
962
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
963
963
 
964
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00529">529</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
965
- <div class="fragment"><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160; {</div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type lptsmap : <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>)</div><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; {</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type vpt : lptsmap.second)</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; {</div><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; ++allPts[vpt.second];</div><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; }</div><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; }</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160;</div><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type lptm : <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>)</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; {</div><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type vpt : lptm.second)</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; {</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; ++allPts[vpt.second];</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; }</div><div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; }</div><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160;</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
966
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
967
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
964
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00561">561</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
965
+ <div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; {</div><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type lptsmap : <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>)</div><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; {</div><div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type vpt : lptsmap.second)</div><div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; {</div><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; ++allPts[vpt.second];</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; }</div><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; }</div><div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160;</div><div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type lptm : <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>)</div><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; {</div><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type vpt : lptm.second)</div><div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; {</div><div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; ++allPts[vpt.second];</div><div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; }</div><div class="line"><a name="l00578"></a><span class="lineno"> 578</span>&#160; }</div><div class="line"><a name="l00579"></a><span class="lineno"> 579</span>&#160;</div><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
966
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
967
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
968
968
  </div><!-- fragment -->
969
969
  </div>
970
970
  </div>
@@ -993,8 +993,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
993
993
  </table>
994
994
  </div><div class="memdoc">
995
995
 
996
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00422">422</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
997
- <div class="fragment"><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; {</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>;</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
996
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00454">454</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
997
+ <div class="fragment"><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; {</div><div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>;</div><div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
998
998
  </div><!-- fragment -->
999
999
  </div>
1000
1000
  </div>
@@ -1025,8 +1025,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1025
1025
  </div><div class="memdoc">
1026
1026
  <p>Get internal flow-sensitive data structures. </p>
1027
1027
 
1028
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00414">414</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1029
- <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
1028
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00446">446</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1029
+ <div class="fragment"><div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; {</div><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
1030
1030
  </div><!-- fragment -->
1031
1031
  </div>
1032
1032
  </div>
@@ -1068,9 +1068,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1068
1068
 
1069
1069
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1070
1070
 
1071
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00400">400</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1072
- <div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; {</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; inSet = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; <span class="keywordflow">return</span> inSet[var];</div><div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
1073
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00340">MutablePointsToDS.h:340</a></div></div>
1071
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00432">432</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1072
+ <div class="fragment"><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; {</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; inSet = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">return</span> inSet[var];</div><div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
1073
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1074
1074
  </div><!-- fragment -->
1075
1075
  </div>
1076
1076
  </div>
@@ -1099,8 +1099,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1099
1099
  </table>
1100
1100
  </div><div class="memdoc">
1101
1101
 
1102
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00426">426</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1103
- <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; {</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>;</div><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1102
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00458">458</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1103
+ <div class="fragment"><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; {</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>;</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1104
1104
  </div><!-- fragment -->
1105
1105
  </div>
1106
1106
  </div>
@@ -1130,8 +1130,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1130
1130
  </table>
1131
1131
  </div><div class="memdoc">
1132
1132
 
1133
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00418">418</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1134
- <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>[loc];</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1133
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00450">450</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1134
+ <div class="fragment"><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; {</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>[loc];</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1135
1135
  </div><!-- fragment -->
1136
1136
  </div>
1137
1137
  </div>
@@ -1173,9 +1173,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1173
1173
 
1174
1174
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1175
1175
 
1176
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00406">406</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1177
- <div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; {</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; outSet = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>[loc];</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; <span class="keywordflow">return</span> outSet[var];</div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1178
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00340">MutablePointsToDS.h:340</a></div></div>
1176
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00438">438</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1177
+ <div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; {</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; outSet = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>[loc];</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>&#160; <span class="keywordflow">return</span> outSet[var];</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1178
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1179
1179
  </div><!-- fragment -->
1180
1180
  </div>
1181
1181
  </div>
@@ -1209,8 +1209,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1209
1209
 
1210
1210
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1211
1211
 
1212
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00361">361</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1213
- <div class="fragment"><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; {</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPts(var);</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1212
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00393">393</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1213
+ <div class="fragment"><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; {</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPts(var);</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1214
1214
  </div><!-- fragment -->
1215
1215
  </div>
1216
1216
  </div>
@@ -1239,8 +1239,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1239
1239
  </table>
1240
1240
  </div><div class="memdoc">
1241
1241
 
1242
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00351">351</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1243
- <div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; {</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPtsMap();</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1242
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00383">383</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1243
+ <div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; {</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getPtsMap();</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1244
1244
  </div><!-- fragment -->
1245
1245
  </div>
1246
1246
  </div>
@@ -1274,9 +1274,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1274
1274
 
1275
1275
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1276
1276
 
1277
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00366">366</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1278
- <div class="fragment"><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableDFPTData::getRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getRevPts(datum);</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1279
- <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00107">AbstractPointsToDS.h:107</a></div></div>
1277
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00398">398</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1278
+ <div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableDFPTData::getRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.getRevPts(datum);</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1279
+ <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00141">AbstractPointsToDS.h:141</a></div></div>
1280
1280
  </div><!-- fragment -->
1281
1281
  </div>
1282
1282
  </div>
@@ -1309,8 +1309,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1309
1309
 
1310
1310
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1311
1311
 
1312
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00372">372</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1313
- <div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div><div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end());</div><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
1312
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00404">404</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1313
+ <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end());</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
1314
1314
  </div><!-- fragment -->
1315
1315
  </div>
1316
1316
  </div>
@@ -1352,10 +1352,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1352
1352
 
1353
1353
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1354
1354
 
1355
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00382">382</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1356
- <div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.find(loc);</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <span class="keywordflow">if</span> ( it == <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end())</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; ptsMap = it-&gt;second;</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordflow">return</span> (ptsMap.find(var) != ptsMap.end());</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
1357
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00344">MutablePointsToDS.h:344</a></div></div>
1358
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00340">MutablePointsToDS.h:340</a></div></div>
1355
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00414">414</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1356
+ <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.find(loc);</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; <span class="keywordflow">if</span> ( it == <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>.end())</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; ptsMap = it-&gt;second;</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">return</span> (ptsMap.find(var) != ptsMap.end());</div><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
1357
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00376">MutablePointsToDS.h:376</a></div></div>
1358
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1359
1359
  </div><!-- fragment -->
1360
1360
  </div>
1361
1361
  </div>
@@ -1387,8 +1387,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1387
1387
 
1388
1388
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1389
1389
 
1390
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00377">377</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1391
- <div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; {</div><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end());</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1390
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00409">409</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1391
+ <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end());</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1392
1392
  </div><!-- fragment -->
1393
1393
  </div>
1394
1394
  </div>
@@ -1431,10 +1431,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1431
1431
 
1432
1432
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1433
1433
 
1434
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00391">391</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1435
- <div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; {</div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.find(loc);</div><div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <span class="keywordflow">if</span> ( it == <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end())</div><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; ptsMap = it-&gt;second;</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> (ptsMap.find(var) != ptsMap.end());</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1436
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00344">MutablePointsToDS.h:344</a></div></div>
1437
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00340">MutablePointsToDS.h:340</a></div></div>
1434
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00423">423</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1435
+ <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">DFPtsMapconstIter</a> it = <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.find(loc);</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">if</span> ( it == <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>.end())</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a>&amp; ptsMap = it-&gt;second;</div><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <span class="keywordflow">return</span> (ptsMap.find(var) != ptsMap.end());</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1436
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00376">MutablePointsToDS.h:376</a></div></div>
1437
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1438
1438
  </div><!-- fragment -->
1439
1439
  </div>
1440
1440
  </div>
@@ -1468,10 +1468,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1468
1468
 
1469
1469
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1470
1470
 
1471
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00514">514</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1472
- <div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; {</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.remapAllPts();</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type &amp;lopt : <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>)</div><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; {</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type &amp;opt : lopt.second) opt.second.checkAndRemap();</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; }</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160;</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type &amp;lopt : <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>)</div><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; {</div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type &amp;opt : lopt.second) opt.second.checkAndRemap();</div><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>&#160; }</div><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00640">MutablePointsToDS.h:640</a></div></div>
1473
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1474
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00642">MutablePointsToDS.h:642</a></div></div>
1471
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00546">546</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1472
+ <div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; {</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; <a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.remapAllPts();</div><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type &amp;lopt : <a class="code" href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">dfInPtsMap</a>)</div><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; {</div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type &amp;opt : lopt.second) opt.second.checkAndRemap();</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; }</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160;</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> DFPtsMap::value_type &amp;lopt : <a class="code" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">dfOutPtsMap</a>)</div><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; {</div><div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::value_type &amp;opt : lopt.second) opt.second.checkAndRemap();</div><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; }</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_abb59ef7367e353e65b82b54dac509f36"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#abb59ef7367e353e65b82b54dac509f36">SVF::MutableDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFPtsMap dfInPtsMap</div><div class="ttdoc">Data-flow IN set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00672">MutablePointsToDS.h:672</a></div></div>
1473
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1474
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad3c53ef1c8e221299f3afe078946fbe0"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFPtsMap dfOutPtsMap</div><div class="ttdoc">Data-flow OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00674">MutablePointsToDS.h:674</a></div></div>
1475
1475
  </div><!-- fragment -->
1476
1476
  </div>
1477
1477
  </div>
@@ -1515,10 +1515,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1515
1515
 
1516
1516
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1517
1517
 
1518
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00498">498</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1519
- <div class="fragment"><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; {</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], <a class="code" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">getPts</a>(srcKey));</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1520
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1521
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a4cbb9131a89c5c48367fb927693b5c6b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00361">MutablePointsToDS.h:361</a></div></div>
1518
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00530">530</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1519
+ <div class="fragment"><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; {</div><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], <a class="code" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">getPts</a>(srcKey));</div><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1520
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1521
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a4cbb9131a89c5c48367fb927693b5c6b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00393">MutablePointsToDS.h:393</a></div></div>
1522
1522
  </div><!-- fragment -->
1523
1523
  </div>
1524
1524
  </div>
@@ -1562,9 +1562,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1562
1562
 
1563
1563
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1564
1564
 
1565
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00502">502</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1566
- <div class="fragment"><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; {</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], srcDataSet);</div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1567
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00645">MutablePointsToDS.h:645</a></div></div>
1565
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00534">534</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1566
+ <div class="fragment"><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; {</div><div class="line"><a name="l00536"></a><span class="lineno"> 536</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">mutPTData</a>.ptsMap[dstKey], srcDataSet);</div><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1567
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_acf40f716470f73095d44a1b9e3bb939e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#acf40f716470f73095d44a1b9e3bb939e">SVF::MutableDFPTData::mutPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; mutPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00677">MutablePointsToDS.h:677</a></div></div>
1568
1568
  </div><!-- fragment -->
1569
1569
  </div>
1570
1570
  </div>
@@ -1605,8 +1605,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1605
1605
  </div><div class="memdoc">
1606
1606
  <p>Internal union/add points-to helper methods. </p>
1607
1607
 
1608
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00567">567</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1609
- <div class="fragment"><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; {</div><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">return</span> dstDataSet |= srcDataSet;</div><div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; }</div></div><!-- fragment -->
1608
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00599">599</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1609
+ <div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno"> 600</span>&#160; {</div><div class="line"><a name="l00601"></a><span class="lineno"> 601</span>&#160; <span class="keywordflow">return</span> dstDataSet |= srcDataSet;</div><div class="line"><a name="l00602"></a><span class="lineno"> 602</span>&#160; }</div></div><!-- fragment -->
1610
1610
  </div>
1611
1611
  </div>
1612
1612
  <a id="a23fca889a29399a91dfc916f5fab46ee"></a>
@@ -1663,8 +1663,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1663
1663
 
1664
1664
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1665
1665
 
1666
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00452">452</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1667
- <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">updateDFInFromIn</a>(srcLoc,srcVar,dstLoc,dstVar);</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac3ebc5afa531118b2b4446d23e3b8c7a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1666
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00484">484</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1667
+ <div class="fragment"><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; {</div><div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">updateDFInFromIn</a>(srcLoc,srcVar,dstLoc,dstVar);</div><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac3ebc5afa531118b2b4446d23e3b8c7a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00464">MutablePointsToDS.h:464</a></div></div>
1668
1668
  </div><!-- fragment -->
1669
1669
  </div>
1670
1670
  </div>
@@ -1722,8 +1722,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1722
1722
 
1723
1723
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1724
1724
 
1725
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00447">447</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1726
- <div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; {</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">updateDFInFromOut</a>(srcLoc,srcVar,dstLoc,dstVar);</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a85c0d93ee01d2c93c255e5a369248d1b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00437">MutablePointsToDS.h:437</a></div></div>
1725
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00479">479</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1726
+ <div class="fragment"><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; {</div><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">updateDFInFromOut</a>(srcLoc,srcVar,dstLoc,dstVar);</div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a85c0d93ee01d2c93c255e5a369248d1b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00469">MutablePointsToDS.h:469</a></div></div>
1727
1727
  </div><!-- fragment -->
1728
1728
  </div>
1729
1729
  </div>
@@ -1777,11 +1777,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1777
1777
 
1778
1778
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1779
1779
 
1780
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00457">457</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1781
- <div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; {</div><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a> &amp; ptsMap = <a class="code" href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">getDFInPtsMap</a>(loc);</div><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::const_iterator ptsIt = ptsMap.begin(), ptsEit = ptsMap.end(); ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; {</div><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keyword">const</span> Key var = ptsIt-&gt;first;</div><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton)</div><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">updateDFOutFromIn</a>(loc, var, loc, var))</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1782
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a7559810e1ad40588f5fd82123ea1f150"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">SVF::MutableDFPTData::getDFInPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFInPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00414">MutablePointsToDS.h:414</a></div></div>
1783
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab3c517be91b4711ace581df075d4647a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00442">MutablePointsToDS.h:442</a></div></div>
1784
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00340">MutablePointsToDS.h:340</a></div></div>
1780
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00489">489</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1781
+ <div class="fragment"><div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; {</div><div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">hasDFInSet</a>(loc))</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; {</div><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">PtsMap</a> &amp; ptsMap = <a class="code" href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">getDFInPtsMap</a>(loc);</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> PtsMap::const_iterator ptsIt = ptsMap.begin(), ptsEit = ptsMap.end(); ptsIt != ptsEit; ++ptsIt)</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; <span class="keyword">const</span> Key var = ptsIt-&gt;first;</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton)</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">updateDFOutFromIn</a>(loc, var, loc, var))</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; }</div><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_a9a9641305c9d670e09f02b71a3e384a9"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00404">MutablePointsToDS.h:404</a></div></div>
1782
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a7559810e1ad40588f5fd82123ea1f150"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">SVF::MutableDFPTData::getDFInPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFInPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00446">MutablePointsToDS.h:446</a></div></div>
1783
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab3c517be91b4711ace581df075d4647a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00474">MutablePointsToDS.h:474</a></div></div>
1784
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ae7456fccd4c95227cdd7163176703205"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData::PtsMap</a></div><div class="ttdeci">BaseMutPTData::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00372">MutablePointsToDS.h:372</a></div></div>
1785
1785
  </div><!-- fragment -->
1786
1786
  </div>
1787
1787
  </div>
@@ -1833,10 +1833,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1833
1833
 
1834
1834
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1835
1835
 
1836
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00482">482</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1837
- <div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; {</div><div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; <span class="keywordflow">return</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">getPts</a>(srcVar)));</div><div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1838
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a4cbb9131a89c5c48367fb927693b5c6b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00361">MutablePointsToDS.h:361</a></div></div>
1839
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1836
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00514">514</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1837
+ <div class="fragment"><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; {</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <span class="keywordflow">return</span> (this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">getPts</a>(srcVar)));</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1838
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a4cbb9131a89c5c48367fb927693b5c6b"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00393">MutablePointsToDS.h:393</a></div></div>
1839
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1840
1840
  </div><!-- fragment -->
1841
1841
  </div>
1842
1842
  </div>
@@ -1894,9 +1894,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1894
1894
 
1895
1895
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1896
1896
 
1897
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00432">432</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1898
- <div class="fragment"><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; {</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1899
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1897
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00464">464</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1898
+ <div class="fragment"><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; {</div><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1899
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1900
1900
  </div><!-- fragment -->
1901
1901
  </div>
1902
1902
  </div>
@@ -1954,10 +1954,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1954
1954
 
1955
1955
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1956
1956
 
1957
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00437">437</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1958
- <div class="fragment"><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; {</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
1959
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
1960
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
1957
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00469">469</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1958
+ <div class="fragment"><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; {</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
1959
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
1960
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
1961
1961
  </div><!-- fragment -->
1962
1962
  </div>
1963
1963
  </div>
@@ -2015,10 +2015,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2015
2015
 
2016
2016
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
2017
2017
 
2018
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00442">442</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2019
- <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
2020
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00406">MutablePointsToDS.h:406</a></div></div>
2021
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
2018
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00474">474</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2019
+ <div class="fragment"><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; {</div><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(<a class="code" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">getDFOutPtsSet</a>(dstLoc,dstVar), <a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
2020
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ab6b0496d0c34642ddd2707142334f4a2"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData::getDFOutPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFOutPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00438">MutablePointsToDS.h:438</a></div></div>
2021
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
2022
2022
  </div><!-- fragment -->
2023
2023
  </div>
2024
2024
  </div>
@@ -2070,9 +2070,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2070
2070
 
2071
2071
  <p>Reimplemented in <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
2072
2072
 
2073
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00477">477</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2074
- <div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; {</div><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(dstVar, this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00498">MutablePointsToDS.h:498</a></div></div>
2075
- <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00400">MutablePointsToDS.h:400</a></div></div>
2073
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00509">509</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2074
+ <div class="fragment"><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; {</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">unionPts</a>(dstVar, this-&gt;<a class="code" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">getDFInPtsSet</a>(srcLoc,srcVar));</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableDFPTData_html_ad64eed26e054eb4e91ec1139867cd196"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ad64eed26e054eb4e91ec1139867cd196">SVF::MutableDFPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00530">MutablePointsToDS.h:530</a></div></div>
2075
+ <div class="ttc" id="classSVF_1_1MutableDFPTData_html_a44aad57ac0de594e404a6c4ceff0bd53"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData::getDFInPtsSet</a></div><div class="ttdeci">virtual DataSet &amp; getDFInPtsSet(LocID loc, const Key &amp;var) override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00432">MutablePointsToDS.h:432</a></div></div>
2076
2076
  </div><!-- fragment -->
2077
2077
  </div>
2078
2078
  </div>
@@ -2101,7 +2101,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2101
2101
 
2102
2102
  <p>Data-flow IN set. </p>
2103
2103
 
2104
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00640">640</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2104
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00672">672</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2105
2105
 
2106
2106
  </div>
2107
2107
  </div>
@@ -2129,7 +2129,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2129
2129
 
2130
2130
  <p>Data-flow OUT set. </p>
2131
2131
 
2132
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00642">642</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2132
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00674">674</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2133
2133
 
2134
2134
  </div>
2135
2135
  </div>
@@ -2156,7 +2156,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2156
2156
  </div><div class="memdoc">
2157
2157
  <p>Backing to implement the basic <a class="el" href="classSVF_1_1PTData.html">PTData</a> methods which are not overridden. This allows us to avoid multiple-inheritance. </p>
2158
2158
 
2159
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00645">645</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2159
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00677">677</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
2160
2160
 
2161
2161
  </div>
2162
2162
  </div>