svf-tools 1.0.587 → 1.0.588

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 (536) hide show
  1. package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +5 -5
  3. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +7 -7
  4. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +9 -9
  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 +10 -10
  9. package/SVF-doxygen/html/html/Annotator_8h_source.html +3 -3
  10. package/SVF-doxygen/html/html/BasicTypes_8cpp_source.html +5 -5
  11. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +2 -2
  12. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +5 -5
  13. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +4 -4
  14. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +5 -5
  15. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +12 -12
  17. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +10 -10
  18. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +3 -3
  20. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +6 -6
  21. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +3 -3
  22. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +25 -25
  26. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +5 -5
  27. package/SVF-doxygen/html/html/CHG_8cpp.html +3 -3
  28. package/SVF-doxygen/html/html/CHG_8cpp_source.html +12 -12
  29. package/SVF-doxygen/html/html/CHG_8h_source.html +6 -6
  30. package/SVF-doxygen/html/html/CPPUtil_8cpp.html +2 -2
  31. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +26 -26
  32. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +4 -4
  33. package/SVF-doxygen/html/html/CSC_8cpp_source.html +4 -4
  34. package/SVF-doxygen/html/html/CSC_8h_source.html +4 -4
  35. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
  36. package/SVF-doxygen/html/html/Casting_8h.html +1 -0
  37. package/SVF-doxygen/html/html/Casting_8h_source.html +42 -42
  38. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +6 -6
  39. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +2 -2
  40. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
  42. package/SVF-doxygen/html/html/ConsG_8h_source.html +4 -4
  43. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +21 -21
  44. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +11 -11
  45. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/html/CoreBitVector_8h_source.html +2 -2
  47. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +5 -5
  48. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +27 -27
  49. package/SVF-doxygen/html/html/DCHG_8h_source.html +13 -13
  50. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  51. package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
  52. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +9 -9
  53. package/SVF-doxygen/html/html/DDAPass_8h_source.html +4 -4
  54. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +5 -5
  55. package/SVF-doxygen/html/html/DDAStat_8h_source.html +2 -2
  56. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
  57. package/SVF-doxygen/html/html/DPItem_8h_source.html +5 -5
  58. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +7 -7
  59. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +11 -11
  60. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  61. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  62. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +5 -5
  63. package/SVF-doxygen/html/html/ExeState_8h_source.html +4 -4
  64. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +1 -1
  65. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +8 -8
  66. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  67. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +8 -8
  68. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +6 -6
  69. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  70. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +7 -7
  71. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +13 -13
  72. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +6 -6
  73. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +13 -13
  74. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +7 -7
  75. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +3 -3
  76. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +5 -5
  77. package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +12 -12
  81. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +3 -3
  82. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +5 -5
  83. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  84. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +10 -10
  86. package/SVF-doxygen/html/html/ICFG_8h_source.html +5 -5
  87. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +12 -12
  88. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +4 -4
  89. package/SVF-doxygen/html/html/IRGraph_8h_source.html +6 -6
  90. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +8 -8
  91. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +28 -28
  92. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +7 -7
  93. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +26 -26
  94. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +18 -18
  95. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  96. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +2 -2
  97. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +8 -8
  98. package/SVF-doxygen/html/html/LocationSet_8h_source.html +5 -5
  99. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +16 -16
  100. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +10 -10
  101. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +15 -15
  102. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
  103. package/SVF-doxygen/html/html/MHP_8cpp.html +3 -3
  104. package/SVF-doxygen/html/html/MHP_8cpp_source.html +25 -26
  105. package/SVF-doxygen/html/html/MHP_8h_source.html +10 -10
  106. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +4 -4
  107. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +9 -9
  108. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +8 -8
  109. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +21 -21
  110. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +10 -10
  111. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  112. package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
  113. package/SVF-doxygen/html/html/MTA_8cpp_source.html +14 -14
  114. package/SVF-doxygen/html/html/MTA_8h_source.html +7 -7
  115. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  116. package/SVF-doxygen/html/html/MemPartition_8h_source.html +3 -3
  117. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +20 -20
  118. package/SVF-doxygen/html/html/MemRegion_8h_source.html +8 -8
  119. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +17 -17
  120. package/SVF-doxygen/html/html/MemSSA_8h_source.html +7 -7
  121. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
  122. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +6 -6
  123. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +3 -3
  124. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  125. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  126. package/SVF-doxygen/html/html/PCG_8cpp_source.html +11 -11
  127. package/SVF-doxygen/html/html/PCG_8h_source.html +7 -7
  128. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +4 -4
  129. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +7 -7
  130. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +3 -3
  131. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +3 -3
  132. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +2 -2
  133. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +18 -18
  134. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +19 -19
  135. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +59 -59
  136. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +81 -82
  137. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  138. package/SVF-doxygen/html/html/PointsTo_8h_source.html +1 -1
  139. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +6 -6
  140. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +4 -4
  141. package/SVF-doxygen/html/html/SCC_8h_source.html +2 -2
  142. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +5 -1
  143. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +85 -85
  144. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +23 -27
  145. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +69 -70
  146. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  147. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +3 -3
  148. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +2 -2
  149. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +4 -4
  150. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +3 -3
  151. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +4 -4
  152. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  153. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +3 -3
  154. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +4 -4
  155. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +8 -8
  156. package/SVF-doxygen/html/html/SVFG_8h_source.html +4 -4
  157. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +56 -56
  158. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +47 -47
  159. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +3 -3
  160. package/SVF-doxygen/html/html/SVFIR_8h_source.html +8 -8
  161. package/SVF-doxygen/html/html/SVFLoop_8h_source.html +2 -2
  162. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +3 -3
  163. package/SVF-doxygen/html/html/SVFModule_8h_source.html +13 -13
  164. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +5 -5
  165. package/SVF-doxygen/html/html/SVFStat_8h_source.html +1 -1
  166. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +3 -3
  167. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +10 -10
  168. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +14 -14
  169. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +16 -16
  170. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
  171. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +8 -8
  172. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +4 -4
  173. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +1 -1
  174. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +4 -4
  175. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
  176. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +8 -8
  177. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +10 -10
  178. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +2 -2
  179. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  180. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +6 -6
  181. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +3 -3
  182. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  183. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +3 -3
  184. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  185. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +40 -40
  186. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +6 -6
  187. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +16 -16
  188. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +13 -13
  189. package/SVF-doxygen/html/html/TCT_8cpp_source.html +20 -21
  190. package/SVF-doxygen/html/html/TCT_8h_source.html +16 -16
  191. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +5 -5
  192. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +8 -8
  193. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +9 -9
  194. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +6 -6
  195. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +8 -8
  196. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +5 -5
  197. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -14
  198. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +97 -97
  199. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +2 -2
  200. package/SVF-doxygen/html/html/VFGNode_8h_source.html +7 -7
  201. package/SVF-doxygen/html/html/VFG_8cpp_source.html +10 -10
  202. package/SVF-doxygen/html/html/VFG_8h_source.html +6 -6
  203. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +5 -5
  204. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +13 -13
  205. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +6 -6
  206. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +1 -1
  207. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +9 -9
  208. package/SVF-doxygen/html/html/WPAPass_8h_source.html +6 -6
  209. package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -3
  210. package/SVF-doxygen/html/html/WPAStat_8h_source.html +1 -1
  211. package/SVF-doxygen/html/html/WorkList_8h_source.html +2 -2
  212. package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +1 -1
  213. package/SVF-doxygen/html/html/Z3Expr_8h_source.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  215. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  216. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +2 -2
  221. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +249 -250
  223. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +37 -39
  224. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +216 -217
  225. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +9 -11
  226. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +259 -260
  227. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +15 -17
  228. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +271 -272
  229. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +8 -10
  230. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +14 -14
  231. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +257 -258
  232. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +6 -8
  233. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +164 -165
  236. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +31 -33
  237. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +2 -2
  241. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +4 -4
  242. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +6 -6
  243. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +191 -192
  244. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +17 -19
  245. package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +185 -186
  246. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +9 -11
  247. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  248. package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html +2 -2
  249. package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +189 -190
  250. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +2 -4
  251. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +50 -50
  252. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +8 -8
  253. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +5 -5
  254. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +4 -4
  257. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  258. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  260. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +36 -36
  261. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  262. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  263. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +153 -154
  264. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +17 -19
  265. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
  267. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +4 -4
  268. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +8 -8
  269. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  270. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +255 -256
  271. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +46 -48
  272. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  273. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  274. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +4 -4
  275. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +2 -2
  276. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  277. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  279. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +72 -72
  280. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +7 -7
  281. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +15 -15
  282. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +7 -7
  283. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +27 -27
  284. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  286. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +3 -3
  287. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  289. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +8 -8
  290. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +12 -12
  291. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +283 -284
  293. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +3 -5
  294. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +249 -250
  295. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +27 -29
  296. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +274 -275
  297. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +67 -69
  298. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +14 -14
  299. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +35 -36
  300. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  301. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +2 -2
  303. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
  304. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  305. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  306. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +5 -5
  307. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  308. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  310. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +4 -4
  313. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +4 -4
  315. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +17 -17
  316. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  318. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
  319. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +10 -10
  320. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +2 -2
  321. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
  322. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  323. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +2 -2
  324. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  325. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  326. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
  327. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  328. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +2 -2
  329. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
  330. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +2 -2
  331. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  332. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +3 -3
  333. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +8 -8
  334. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +51 -51
  335. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +5 -5
  336. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  337. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  338. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +9 -9
  339. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +67 -67
  340. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +19 -19
  341. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +50 -51
  342. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +38 -38
  343. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  344. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  345. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +16 -16
  346. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +15 -15
  347. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +44 -44
  348. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +25 -25
  349. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +8 -8
  350. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  351. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +50 -50
  352. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +2 -2
  353. package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +3 -3
  354. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +1 -1
  355. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +9 -9
  356. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  357. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +2 -2
  358. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  359. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  360. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +26 -26
  361. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  362. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +7 -7
  363. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +5 -5
  364. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  365. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +2 -2
  366. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +3 -3
  367. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +3 -3
  368. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +3 -3
  369. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +6 -6
  370. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +6 -6
  371. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  372. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +120 -121
  373. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +249 -267
  374. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
  375. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
  376. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +11 -11
  377. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  378. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
  379. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  380. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
  381. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  382. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  383. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +4 -4
  384. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +97 -97
  385. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +12 -12
  386. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +7 -7
  387. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +4 -4
  388. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +4 -4
  389. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +4 -4
  390. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +142 -142
  391. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
  392. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +6 -6
  393. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +6 -6
  394. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +33 -33
  395. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +4 -4
  396. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +7 -7
  397. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +35 -35
  398. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +10 -10
  399. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  400. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +10 -10
  401. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +1 -1
  402. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +228 -229
  403. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +2 -4
  404. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
  405. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  406. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  407. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +71 -71
  408. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +29 -29
  409. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +50 -51
  410. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  411. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  412. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +5 -5
  413. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +21 -21
  414. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +4 -4
  415. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
  416. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
  417. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
  418. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +221 -222
  419. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +16 -18
  420. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  421. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  422. package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +1 -1
  423. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +12 -12
  424. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
  425. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  426. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  427. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  428. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +324 -325
  429. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +39 -41
  430. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +10 -10
  431. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  432. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
  433. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  434. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +9 -9
  435. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
  436. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +1 -1
  437. package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +1 -1
  438. package/SVF-doxygen/html/html/classllvm_1_1generic__bridge__gep__type__iterator.html +3 -3
  439. package/SVF-doxygen/html/html/functions_a.html +5 -8
  440. package/SVF-doxygen/html/html/functions_func_i.html +3 -3
  441. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  442. package/SVF-doxygen/html/html/functions_i.html +2 -2
  443. package/SVF-doxygen/html/html/functions_l.html +8 -8
  444. package/SVF-doxygen/html/html/functions_n.html +4 -4
  445. package/SVF-doxygen/html/html/functions_o.html +8 -8
  446. package/SVF-doxygen/html/html/functions_p.html +14 -16
  447. package/SVF-doxygen/html/html/functions_r.html +2 -4
  448. package/SVF-doxygen/html/html/functions_s.html +7 -7
  449. package/SVF-doxygen/html/html/functions_type.html +0 -3
  450. package/SVF-doxygen/html/html/functions_v.html +6 -6
  451. package/SVF-doxygen/html/html/functions_w.html +11 -11
  452. package/SVF-doxygen/html/html/namespaceSVF.html +156 -174
  453. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +55 -55
  454. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +40 -40
  455. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +46 -46
  456. package/SVF-doxygen/html/html/namespacemembers_s.html +0 -3
  457. package/SVF-doxygen/html/html/namespacemembers_type_s.html +0 -3
  458. package/SVF-doxygen/html/html/search/all_1.js +0 -1
  459. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  460. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  461. package/SVF-doxygen/html/html/search/all_12.js +5 -6
  462. package/SVF-doxygen/html/html/search/all_13.js +4 -4
  463. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  464. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  465. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  466. package/SVF-doxygen/html/html/search/all_c.js +5 -5
  467. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  468. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  469. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  470. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  471. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  472. package/SVF-doxygen/html/html/search/typedefs_0.js +0 -1
  473. package/SVF-doxygen/html/html/search/typedefs_10.js +0 -1
  474. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  475. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  476. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +4 -4
  477. package/SVF-doxygen/html/html/structSVF_1_1Hash.html +3 -3
  478. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +3 -3
  479. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +5 -5
  480. package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter.html +1 -1
  481. package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html +1 -1
  482. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val.html +5 -5
  483. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html +3 -3
  484. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty.html +2 -2
  485. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl.html +2 -2
  486. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html +2 -2
  487. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html +2 -2
  488. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html +2 -2
  489. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html +2 -2
  490. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html +4 -4
  491. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap.html +2 -2
  492. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html +2 -2
  493. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__simple__type.html +2 -2
  494. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl.html +3 -3
  495. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html +3 -3
  496. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl.html +3 -3
  497. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html +3 -3
  498. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html +3 -3
  499. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html +3 -3
  500. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html +3 -3
  501. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html +3 -3
  502. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html +3 -3
  503. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap.html +5 -5
  504. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html +3 -3
  505. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type.html +4 -4
  506. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html +6 -6
  507. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
  508. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  509. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  510. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  511. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +2 -2
  512. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
  513. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
  514. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  515. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
  516. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
  517. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  518. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  519. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  520. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +1 -1
  521. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +1 -1
  522. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +3 -3
  523. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +4 -4
  524. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  525. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
  526. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +3 -3
  527. package/SVF-doxygen/html/html/svf-ex_8cpp.html +5 -5
  528. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
  529. package/include/MemoryModel/PointerAnalysis.h +0 -1
  530. package/include/SVF-FE/BasicTypes.h +7 -1
  531. package/include/Util/BasicTypes.h +1 -22
  532. package/include/Util/Casting.h +1 -0
  533. package/include/Util/SVFBasicTypes.h +0 -5
  534. package/lib/MTA/MHP.cpp +4 -4
  535. package/lib/MTA/TCT.cpp +1 -1
  536. package/package.json +1 -1
package/SVF-doxygen/html/html/namespaceSVF.html CHANGED
@@ -1056,8 +1056,6 @@ Typedefs</h2></td></tr>
1056
1056
  <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Value , typename Compare = std::less&lt;Key&gt;, typename Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt; </td></tr>
1057
1057
  <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map&lt; Key, <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>, Compare, Allocator &gt;</td></tr>
1058
1058
  <tr class="separator:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memSeparator" colspan="2">&#160;</td></tr>
1059
- <tr class="memitem:a02be4933b76c2baa7fdbe8b290e12bb3"><td class="memItemLeft" align="right" valign="top">typedef llvm::SmallVector&lt; llvm::BasicBlock *, 8 &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SmallBBVector</a></td></tr>
1060
- <tr class="separator:a02be4933b76c2baa7fdbe8b290e12bb3"><td class="memSeparator" colspan="2">&#160;</td></tr>
1061
1059
  <tr class="memitem:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a></td></tr>
1062
1060
  <tr class="separator:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memSeparator" colspan="2">&#160;</td></tr>
1063
1061
  <tr class="memitem:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a></td></tr>
@@ -1242,7 +1240,7 @@ Functions</h2></td></tr>
1242
1240
  </table>
1243
1241
  </div><div class="memdoc">
1244
1242
 
1245
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1243
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1246
1244
 
1247
1245
  </div>
1248
1246
  </div>
@@ -1258,7 +1256,7 @@ Functions</h2></td></tr>
1258
1256
  </table>
1259
1257
  </div><div class="memdoc">
1260
1258
 
1261
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1259
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1262
1260
 
1263
1261
  </div>
1264
1262
  </div>
@@ -1276,7 +1274,7 @@ Functions</h2></td></tr>
1276
1274
 
1277
1275
  <p>LLVM Aliases and constants. </p>
1278
1276
 
1279
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1277
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1280
1278
 
1281
1279
  </div>
1282
1280
  </div>
@@ -1292,7 +1290,7 @@ Functions</h2></td></tr>
1292
1290
  </table>
1293
1291
  </div><div class="memdoc">
1294
1292
 
1295
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1293
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1296
1294
 
1297
1295
  </div>
1298
1296
  </div>
@@ -1308,7 +1306,7 @@ Functions</h2></td></tr>
1308
1306
  </table>
1309
1307
  </div><div class="memdoc">
1310
1308
 
1311
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1309
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1312
1310
 
1313
1311
  </div>
1314
1312
  </div>
@@ -1324,7 +1322,7 @@ Functions</h2></td></tr>
1324
1322
  </table>
1325
1323
  </div><div class="memdoc">
1326
1324
 
1327
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1325
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1328
1326
 
1329
1327
  </div>
1330
1328
  </div>
@@ -1340,7 +1338,7 @@ Functions</h2></td></tr>
1340
1338
  </table>
1341
1339
  </div><div class="memdoc">
1342
1340
 
1343
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1341
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1344
1342
 
1345
1343
  </div>
1346
1344
  </div>
@@ -1356,7 +1354,7 @@ Functions</h2></td></tr>
1356
1354
  </table>
1357
1355
  </div><div class="memdoc">
1358
1356
 
1359
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1357
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1360
1358
 
1361
1359
  </div>
1362
1360
  </div>
@@ -1372,7 +1370,7 @@ Functions</h2></td></tr>
1372
1370
  </table>
1373
1371
  </div><div class="memdoc">
1374
1372
 
1375
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1373
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1376
1374
 
1377
1375
  </div>
1378
1376
  </div>
@@ -1388,7 +1386,7 @@ Functions</h2></td></tr>
1388
1386
  </table>
1389
1387
  </div><div class="memdoc">
1390
1388
 
1391
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1389
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1392
1390
 
1393
1391
  </div>
1394
1392
  </div>
@@ -1404,7 +1402,7 @@ Functions</h2></td></tr>
1404
1402
  </table>
1405
1403
  </div><div class="memdoc">
1406
1404
 
1407
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1405
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1408
1406
 
1409
1407
  </div>
1410
1408
  </div>
@@ -1420,7 +1418,7 @@ Functions</h2></td></tr>
1420
1418
  </table>
1421
1419
  </div><div class="memdoc">
1422
1420
 
1423
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1421
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00187">187</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1424
1422
 
1425
1423
  </div>
1426
1424
  </div>
@@ -1436,7 +1434,7 @@ Functions</h2></td></tr>
1436
1434
  </table>
1437
1435
  </div><div class="memdoc">
1438
1436
 
1439
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1437
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1440
1438
 
1441
1439
  </div>
1442
1440
  </div>
@@ -1452,7 +1450,7 @@ Functions</h2></td></tr>
1452
1450
  </table>
1453
1451
  </div><div class="memdoc">
1454
1452
 
1455
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1453
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1456
1454
 
1457
1455
  </div>
1458
1456
  </div>
@@ -1470,7 +1468,7 @@ Functions</h2></td></tr>
1470
1468
 
1471
1469
  <p>LLVM Instructions. </p>
1472
1470
 
1473
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1471
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1474
1472
 
1475
1473
  </div>
1476
1474
  </div>
@@ -1486,7 +1484,7 @@ Functions</h2></td></tr>
1486
1484
  </table>
1487
1485
  </div><div class="memdoc">
1488
1486
 
1489
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1487
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1490
1488
 
1491
1489
  </div>
1492
1490
  </div>
@@ -1502,7 +1500,7 @@ Functions</h2></td></tr>
1502
1500
  </table>
1503
1501
  </div><div class="memdoc">
1504
1502
 
1505
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1503
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
1506
1504
 
1507
1505
  </div>
1508
1506
  </div>
@@ -1518,7 +1516,7 @@ Functions</h2></td></tr>
1518
1516
  </table>
1519
1517
  </div><div class="memdoc">
1520
1518
 
1521
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1519
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1522
1520
 
1523
1521
  </div>
1524
1522
  </div>
@@ -1566,7 +1564,7 @@ Functions</h2></td></tr>
1566
1564
  </table>
1567
1565
  </div><div class="memdoc">
1568
1566
 
1569
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1567
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1570
1568
 
1571
1569
  </div>
1572
1570
  </div>
@@ -1582,7 +1580,7 @@ Functions</h2></td></tr>
1582
1580
  </table>
1583
1581
  </div><div class="memdoc">
1584
1582
 
1585
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1583
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00188">188</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1586
1584
 
1587
1585
  </div>
1588
1586
  </div>
@@ -1598,7 +1596,7 @@ Functions</h2></td></tr>
1598
1596
  </table>
1599
1597
  </div><div class="memdoc">
1600
1598
 
1601
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00183">183</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1599
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00189">189</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1602
1600
 
1603
1601
  </div>
1604
1602
  </div>
@@ -1614,7 +1612,7 @@ Functions</h2></td></tr>
1614
1612
  </table>
1615
1613
  </div><div class="memdoc">
1616
1614
 
1617
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1615
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1618
1616
 
1619
1617
  </div>
1620
1618
  </div>
@@ -1630,7 +1628,7 @@ Functions</h2></td></tr>
1630
1628
  </table>
1631
1629
  </div><div class="memdoc">
1632
1630
 
1633
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1631
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1634
1632
 
1635
1633
  </div>
1636
1634
  </div>
@@ -1646,7 +1644,7 @@ Functions</h2></td></tr>
1646
1644
  </table>
1647
1645
  </div><div class="memdoc">
1648
1646
 
1649
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1647
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1650
1648
 
1651
1649
  </div>
1652
1650
  </div>
@@ -1662,7 +1660,7 @@ Functions</h2></td></tr>
1662
1660
  </table>
1663
1661
  </div><div class="memdoc">
1664
1662
 
1665
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1663
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1666
1664
 
1667
1665
  </div>
1668
1666
  </div>
@@ -1678,7 +1676,7 @@ Functions</h2></td></tr>
1678
1676
  </table>
1679
1677
  </div><div class="memdoc">
1680
1678
 
1681
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1679
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1682
1680
 
1683
1681
  </div>
1684
1682
  </div>
@@ -1694,7 +1692,7 @@ Functions</h2></td></tr>
1694
1692
  </table>
1695
1693
  </div><div class="memdoc">
1696
1694
 
1697
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1695
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1698
1696
 
1699
1697
  </div>
1700
1698
  </div>
@@ -1710,7 +1708,7 @@ Functions</h2></td></tr>
1710
1708
  </table>
1711
1709
  </div><div class="memdoc">
1712
1710
 
1713
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1711
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1714
1712
 
1715
1713
  </div>
1716
1714
  </div>
@@ -1726,7 +1724,7 @@ Functions</h2></td></tr>
1726
1724
  </table>
1727
1725
  </div><div class="memdoc">
1728
1726
 
1729
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1727
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1730
1728
 
1731
1729
  </div>
1732
1730
  </div>
@@ -1742,7 +1740,7 @@ Functions</h2></td></tr>
1742
1740
  </table>
1743
1741
  </div><div class="memdoc">
1744
1742
 
1745
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1743
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1746
1744
 
1747
1745
  </div>
1748
1746
  </div>
@@ -1758,7 +1756,7 @@ Functions</h2></td></tr>
1758
1756
  </table>
1759
1757
  </div><div class="memdoc">
1760
1758
 
1761
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1759
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1762
1760
 
1763
1761
  </div>
1764
1762
  </div>
@@ -1774,7 +1772,7 @@ Functions</h2></td></tr>
1774
1772
  </table>
1775
1773
  </div><div class="memdoc">
1776
1774
 
1777
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00058">58</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1775
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1778
1776
 
1779
1777
  </div>
1780
1778
  </div>
@@ -1856,7 +1854,7 @@ Functions</h2></td></tr>
1856
1854
  </table>
1857
1855
  </div><div class="memdoc">
1858
1856
 
1859
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1857
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1860
1858
 
1861
1859
  </div>
1862
1860
  </div>
@@ -1872,7 +1870,7 @@ Functions</h2></td></tr>
1872
1870
  </table>
1873
1871
  </div><div class="memdoc">
1874
1872
 
1875
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00169">169</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1873
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1876
1874
 
1877
1875
  </div>
1878
1876
  </div>
@@ -1888,7 +1886,7 @@ Functions</h2></td></tr>
1888
1886
  </table>
1889
1887
  </div><div class="memdoc">
1890
1888
 
1891
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1889
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1892
1890
 
1893
1891
  </div>
1894
1892
  </div>
@@ -1904,7 +1902,7 @@ Functions</h2></td></tr>
1904
1902
  </table>
1905
1903
  </div><div class="memdoc">
1906
1904
 
1907
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1905
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1908
1906
 
1909
1907
  </div>
1910
1908
  </div>
@@ -1920,7 +1918,7 @@ Functions</h2></td></tr>
1920
1918
  </table>
1921
1919
  </div><div class="memdoc">
1922
1920
 
1923
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1921
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1924
1922
 
1925
1923
  </div>
1926
1924
  </div>
@@ -1936,7 +1934,7 @@ Functions</h2></td></tr>
1936
1934
  </table>
1937
1935
  </div><div class="memdoc">
1938
1936
 
1939
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1937
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1940
1938
 
1941
1939
  </div>
1942
1940
  </div>
@@ -1952,7 +1950,7 @@ Functions</h2></td></tr>
1952
1950
  </table>
1953
1951
  </div><div class="memdoc">
1954
1952
 
1955
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1953
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1956
1954
 
1957
1955
  </div>
1958
1956
  </div>
@@ -1968,7 +1966,7 @@ Functions</h2></td></tr>
1968
1966
  </table>
1969
1967
  </div><div class="memdoc">
1970
1968
 
1971
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1969
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1972
1970
 
1973
1971
  </div>
1974
1972
  </div>
@@ -1984,7 +1982,7 @@ Functions</h2></td></tr>
1984
1982
  </table>
1985
1983
  </div><div class="memdoc">
1986
1984
 
1987
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1985
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1988
1986
 
1989
1987
  </div>
1990
1988
  </div>
@@ -2000,7 +1998,7 @@ Functions</h2></td></tr>
2000
1998
  </table>
2001
1999
  </div><div class="memdoc">
2002
2000
 
2003
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00170">170</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2001
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2004
2002
 
2005
2003
  </div>
2006
2004
  </div>
@@ -2016,7 +2014,7 @@ Functions</h2></td></tr>
2016
2014
  </table>
2017
2015
  </div><div class="memdoc">
2018
2016
 
2019
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2017
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2020
2018
 
2021
2019
  </div>
2022
2020
  </div>
@@ -2032,7 +2030,7 @@ Functions</h2></td></tr>
2032
2030
  </table>
2033
2031
  </div><div class="memdoc">
2034
2032
 
2035
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2033
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2036
2034
 
2037
2035
  </div>
2038
2036
  </div>
@@ -2048,7 +2046,7 @@ Functions</h2></td></tr>
2048
2046
  </table>
2049
2047
  </div><div class="memdoc">
2050
2048
 
2051
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2049
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2052
2050
 
2053
2051
  </div>
2054
2052
  </div>
@@ -2064,7 +2062,7 @@ Functions</h2></td></tr>
2064
2062
  </table>
2065
2063
  </div><div class="memdoc">
2066
2064
 
2067
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2065
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2068
2066
 
2069
2067
  </div>
2070
2068
  </div>
@@ -2082,7 +2080,7 @@ Functions</h2></td></tr>
2082
2080
 
2083
2081
  <p>LLVM Dominators. </p>
2084
2082
 
2085
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2083
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2086
2084
 
2087
2085
  </div>
2088
2086
  </div>
@@ -2098,7 +2096,7 @@ Functions</h2></td></tr>
2098
2096
  </table>
2099
2097
  </div><div class="memdoc">
2100
2098
 
2101
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2099
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2102
2100
 
2103
2101
  </div>
2104
2102
  </div>
@@ -2114,7 +2112,7 @@ Functions</h2></td></tr>
2114
2112
  </table>
2115
2113
  </div><div class="memdoc">
2116
2114
 
2117
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2115
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2118
2116
 
2119
2117
  </div>
2120
2118
  </div>
@@ -2130,7 +2128,7 @@ Functions</h2></td></tr>
2130
2128
  </table>
2131
2129
  </div><div class="memdoc">
2132
2130
 
2133
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2131
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2134
2132
 
2135
2133
  </div>
2136
2134
  </div>
@@ -2146,7 +2144,7 @@ Functions</h2></td></tr>
2146
2144
  </table>
2147
2145
  </div><div class="memdoc">
2148
2146
 
2149
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2147
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
2150
2148
 
2151
2149
  </div>
2152
2150
  </div>
@@ -2162,7 +2160,7 @@ Functions</h2></td></tr>
2162
2160
  </table>
2163
2161
  </div><div class="memdoc">
2164
2162
 
2165
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2163
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2166
2164
 
2167
2165
  </div>
2168
2166
  </div>
@@ -2178,7 +2176,7 @@ Functions</h2></td></tr>
2178
2176
  </table>
2179
2177
  </div><div class="memdoc">
2180
2178
 
2181
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2179
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2182
2180
 
2183
2181
  </div>
2184
2182
  </div>
@@ -2194,7 +2192,7 @@ Functions</h2></td></tr>
2194
2192
  </table>
2195
2193
  </div><div class="memdoc">
2196
2194
 
2197
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2195
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2198
2196
 
2199
2197
  </div>
2200
2198
  </div>
@@ -2242,7 +2240,7 @@ Functions</h2></td></tr>
2242
2240
  </table>
2243
2241
  </div><div class="memdoc">
2244
2242
 
2245
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2243
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2246
2244
 
2247
2245
  </div>
2248
2246
  </div>
@@ -2258,7 +2256,7 @@ Functions</h2></td></tr>
2258
2256
  </table>
2259
2257
  </div><div class="memdoc">
2260
2258
 
2261
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2259
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2262
2260
 
2263
2261
  </div>
2264
2262
  </div>
@@ -2274,7 +2272,7 @@ Functions</h2></td></tr>
2274
2272
  </table>
2275
2273
  </div><div class="memdoc">
2276
2274
 
2277
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2275
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2278
2276
 
2279
2277
  </div>
2280
2278
  </div>
@@ -2656,7 +2654,7 @@ Functions</h2></td></tr>
2656
2654
  </table>
2657
2655
  </div><div class="memdoc">
2658
2656
 
2659
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2657
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00186">186</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2660
2658
 
2661
2659
  </div>
2662
2660
  </div>
@@ -2688,7 +2686,7 @@ Functions</h2></td></tr>
2688
2686
  </table>
2689
2687
  </div><div class="memdoc">
2690
2688
 
2691
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2689
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2692
2690
 
2693
2691
  </div>
2694
2692
  </div>
@@ -2704,7 +2702,7 @@ Functions</h2></td></tr>
2704
2702
  </table>
2705
2703
  </div><div class="memdoc">
2706
2704
 
2707
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2705
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2708
2706
 
2709
2707
  </div>
2710
2708
  </div>
@@ -2720,7 +2718,7 @@ Functions</h2></td></tr>
2720
2718
  </table>
2721
2719
  </div><div class="memdoc">
2722
2720
 
2723
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00036">36</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2721
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00042">42</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2724
2722
 
2725
2723
  </div>
2726
2724
  </div>
@@ -2736,7 +2734,7 @@ Functions</h2></td></tr>
2736
2734
  </table>
2737
2735
  </div><div class="memdoc">
2738
2736
 
2739
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2737
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2740
2738
 
2741
2739
  </div>
2742
2740
  </div>
@@ -2752,7 +2750,7 @@ Functions</h2></td></tr>
2752
2750
  </table>
2753
2751
  </div><div class="memdoc">
2754
2752
 
2755
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2753
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2756
2754
 
2757
2755
  </div>
2758
2756
  </div>
@@ -2768,7 +2766,7 @@ Functions</h2></td></tr>
2768
2766
  </table>
2769
2767
  </div><div class="memdoc">
2770
2768
 
2771
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2769
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2772
2770
 
2773
2771
  </div>
2774
2772
  </div>
@@ -2784,7 +2782,7 @@ Functions</h2></td></tr>
2784
2782
  </table>
2785
2783
  </div><div class="memdoc">
2786
2784
 
2787
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2785
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2788
2786
 
2789
2787
  </div>
2790
2788
  </div>
@@ -2800,7 +2798,7 @@ Functions</h2></td></tr>
2800
2798
  </table>
2801
2799
  </div><div class="memdoc">
2802
2800
 
2803
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2801
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2804
2802
 
2805
2803
  </div>
2806
2804
  </div>
@@ -2816,7 +2814,7 @@ Functions</h2></td></tr>
2816
2814
  </table>
2817
2815
  </div><div class="memdoc">
2818
2816
 
2819
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2817
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00185">185</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2820
2818
 
2821
2819
  </div>
2822
2820
  </div>
@@ -2832,7 +2830,7 @@ Functions</h2></td></tr>
2832
2830
  </table>
2833
2831
  </div><div class="memdoc">
2834
2832
 
2835
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2833
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2836
2834
 
2837
2835
  </div>
2838
2836
  </div>
@@ -2848,7 +2846,7 @@ Functions</h2></td></tr>
2848
2846
  </table>
2849
2847
  </div><div class="memdoc">
2850
2848
 
2851
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2849
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2852
2850
 
2853
2851
  </div>
2854
2852
  </div>
@@ -2896,7 +2894,7 @@ Functions</h2></td></tr>
2896
2894
  </table>
2897
2895
  </div><div class="memdoc">
2898
2896
 
2899
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2897
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2900
2898
 
2901
2899
  </div>
2902
2900
  </div>
@@ -2912,7 +2910,7 @@ Functions</h2></td></tr>
2912
2910
  </table>
2913
2911
  </div><div class="memdoc">
2914
2912
 
2915
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2913
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2916
2914
 
2917
2915
  </div>
2918
2916
  </div>
@@ -2928,7 +2926,7 @@ Functions</h2></td></tr>
2928
2926
  </table>
2929
2927
  </div><div class="memdoc">
2930
2928
 
2931
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00039">39</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2929
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2932
2930
 
2933
2931
  </div>
2934
2932
  </div>
@@ -2944,7 +2942,7 @@ Functions</h2></td></tr>
2944
2942
  </table>
2945
2943
  </div><div class="memdoc">
2946
2944
 
2947
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2945
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2948
2946
 
2949
2947
  </div>
2950
2948
  </div>
@@ -2960,7 +2958,7 @@ Functions</h2></td></tr>
2960
2958
  </table>
2961
2959
  </div><div class="memdoc">
2962
2960
 
2963
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2961
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00041">41</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2964
2962
 
2965
2963
  </div>
2966
2964
  </div>
@@ -2976,7 +2974,7 @@ Functions</h2></td></tr>
2976
2974
  </table>
2977
2975
  </div><div class="memdoc">
2978
2976
 
2979
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2977
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2980
2978
 
2981
2979
  </div>
2982
2980
  </div>
@@ -3026,7 +3024,7 @@ Functions</h2></td></tr>
3026
3024
 
3027
3025
  <p>LLVM Loop. </p>
3028
3026
 
3029
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3027
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3030
3028
 
3031
3029
  </div>
3032
3030
  </div>
@@ -3042,7 +3040,7 @@ Functions</h2></td></tr>
3042
3040
  </table>
3043
3041
  </div><div class="memdoc">
3044
3042
 
3045
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3043
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3046
3044
 
3047
3045
  </div>
3048
3046
  </div>
@@ -3060,7 +3058,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3060
3058
  </table>
3061
3059
  </div><div class="memdoc">
3062
3060
 
3063
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3061
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3064
3062
 
3065
3063
  </div>
3066
3064
  </div>
@@ -3076,7 +3074,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3076
3074
  </table>
3077
3075
  </div><div class="memdoc">
3078
3076
 
3079
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3077
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3080
3078
 
3081
3079
  </div>
3082
3080
  </div>
@@ -3092,7 +3090,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3092
3090
  </table>
3093
3091
  </div><div class="memdoc">
3094
3092
 
3095
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3093
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00059">59</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3096
3094
 
3097
3095
  </div>
3098
3096
  </div>
@@ -3108,7 +3106,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3108
3106
  </table>
3109
3107
  </div><div class="memdoc">
3110
3108
 
3111
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00059">59</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3109
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3112
3110
 
3113
3111
  </div>
3114
3112
  </div>
@@ -3124,7 +3122,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3124
3122
  </table>
3125
3123
  </div><div class="memdoc">
3126
3124
 
3127
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3125
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3128
3126
 
3129
3127
  </div>
3130
3128
  </div>
@@ -3140,7 +3138,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3140
3138
  </table>
3141
3139
  </div><div class="memdoc">
3142
3140
 
3143
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00046">46</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3141
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3144
3142
 
3145
3143
  </div>
3146
3144
  </div>
@@ -3156,7 +3154,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3156
3154
  </table>
3157
3155
  </div><div class="memdoc">
3158
3156
 
3159
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00038">38</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3157
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00044">44</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3160
3158
 
3161
3159
  </div>
3162
3160
  </div>
@@ -3222,7 +3220,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3222
3220
 
3223
3221
  <p>LLVM metadata. </p>
3224
3222
 
3225
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3223
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3226
3224
 
3227
3225
  </div>
3228
3226
  </div>
@@ -3238,7 +3236,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3238
3236
  </table>
3239
3237
  </div><div class="memdoc">
3240
3238
 
3241
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3239
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3242
3240
 
3243
3241
  </div>
3244
3242
  </div>
@@ -3254,7 +3252,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3254
3252
  </table>
3255
3253
  </div><div class="memdoc">
3256
3254
 
3257
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3255
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3258
3256
 
3259
3257
  </div>
3260
3258
  </div>
@@ -3286,7 +3284,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3286
3284
  </table>
3287
3285
  </div><div class="memdoc">
3288
3286
 
3289
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3287
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3290
3288
 
3291
3289
  </div>
3292
3290
  </div>
@@ -3302,7 +3300,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3302
3300
  </table>
3303
3301
  </div><div class="memdoc">
3304
3302
 
3305
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3303
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3306
3304
 
3307
3305
  </div>
3308
3306
  </div>
@@ -3318,7 +3316,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3318
3316
  </table>
3319
3317
  </div><div class="memdoc">
3320
3318
 
3321
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3319
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3322
3320
 
3323
3321
  </div>
3324
3322
  </div>
@@ -3334,7 +3332,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3334
3332
  </table>
3335
3333
  </div><div class="memdoc">
3336
3334
 
3337
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3335
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3338
3336
 
3339
3337
  </div>
3340
3338
  </div>
@@ -3350,7 +3348,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3350
3348
  </table>
3351
3349
  </div><div class="memdoc">
3352
3350
 
3353
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3351
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3354
3352
 
3355
3353
  </div>
3356
3354
  </div>
@@ -3366,7 +3364,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3366
3364
  </table>
3367
3365
  </div><div class="memdoc">
3368
3366
 
3369
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3367
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3370
3368
 
3371
3369
  </div>
3372
3370
  </div>
@@ -3382,7 +3380,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3382
3380
  </table>
3383
3381
  </div><div class="memdoc">
3384
3382
 
3385
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3383
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3386
3384
 
3387
3385
  </div>
3388
3386
  </div>
@@ -3416,7 +3414,7 @@ template&lt;typename Key , typename Value , typename Compare = std::less&lt;Key
3416
3414
  </table>
3417
3415
  </div><div class="memdoc">
3418
3416
 
3419
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3417
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3420
3418
 
3421
3419
  </div>
3422
3420
  </div>
@@ -3432,7 +3430,7 @@ template&lt;typename Key , typename Value , typename Compare = std::less&lt;Key
3432
3430
  </table>
3433
3431
  </div><div class="memdoc">
3434
3432
 
3435
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3433
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3436
3434
 
3437
3435
  </div>
3438
3436
  </div>
@@ -3450,7 +3448,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3450
3448
  </table>
3451
3449
  </div><div class="memdoc">
3452
3450
 
3453
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3451
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3454
3452
 
3455
3453
  </div>
3456
3454
  </div>
@@ -3466,7 +3464,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3466
3464
  </table>
3467
3465
  </div><div class="memdoc">
3468
3466
 
3469
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3467
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3470
3468
 
3471
3469
  </div>
3472
3470
  </div>
@@ -3530,7 +3528,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3530
3528
  </table>
3531
3529
  </div><div class="memdoc">
3532
3530
 
3533
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3531
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3534
3532
 
3535
3533
  </div>
3536
3534
  </div>
@@ -3562,7 +3560,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3562
3560
  </table>
3563
3561
  </div><div class="memdoc">
3564
3562
 
3565
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3563
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3566
3564
 
3567
3565
  </div>
3568
3566
  </div>
@@ -3578,7 +3576,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3578
3576
  </table>
3579
3577
  </div><div class="memdoc">
3580
3578
 
3581
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3579
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3582
3580
 
3583
3581
  </div>
3584
3582
  </div>
@@ -3594,7 +3592,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3594
3592
  </table>
3595
3593
  </div><div class="memdoc">
3596
3594
 
3597
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3595
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3598
3596
 
3599
3597
  </div>
3600
3598
  </div>
@@ -3612,7 +3610,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3612
3610
 
3613
3611
  <p>LLVM outputs. </p>
3614
3612
 
3615
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00193">193</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3613
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00199">199</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3616
3614
 
3617
3615
  </div>
3618
3616
  </div>
@@ -3630,7 +3628,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3630
3628
 
3631
3629
  <p>LLVM outputs. </p>
3632
3630
 
3633
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3631
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3634
3632
 
3635
3633
  </div>
3636
3634
  </div>
@@ -3646,7 +3644,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3646
3644
  </table>
3647
3645
  </div><div class="memdoc">
3648
3646
 
3649
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3647
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3650
3648
 
3651
3649
  </div>
3652
3650
  </div>
@@ -3662,7 +3660,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3662
3660
  </table>
3663
3661
  </div><div class="memdoc">
3664
3662
 
3665
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3663
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3666
3664
 
3667
3665
  </div>
3668
3666
  </div>
@@ -3678,7 +3676,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3678
3676
  </table>
3679
3677
  </div><div class="memdoc">
3680
3678
 
3681
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3679
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3682
3680
 
3683
3681
  </div>
3684
3682
  </div>
@@ -3694,7 +3692,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3694
3692
  </table>
3695
3693
  </div><div class="memdoc">
3696
3694
 
3697
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3695
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3698
3696
 
3699
3697
  </div>
3700
3698
  </div>
@@ -3710,7 +3708,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3710
3708
  </table>
3711
3709
  </div><div class="memdoc">
3712
3710
 
3713
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00189">189</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3711
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00195">195</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3714
3712
 
3715
3713
  </div>
3716
3714
  </div>
@@ -3726,7 +3724,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3726
3724
  </table>
3727
3725
  </div><div class="memdoc">
3728
3726
 
3729
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00186">186</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3727
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00192">192</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3730
3728
 
3731
3729
  </div>
3732
3730
  </div>
@@ -3742,7 +3740,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3742
3740
  </table>
3743
3741
  </div><div class="memdoc">
3744
3742
 
3745
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00190">190</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3743
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00196">196</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3746
3744
 
3747
3745
  </div>
3748
3746
  </div>
@@ -3758,7 +3756,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3758
3756
  </table>
3759
3757
  </div><div class="memdoc">
3760
3758
 
3761
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00187">187</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3759
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00193">193</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3762
3760
 
3763
3761
  </div>
3764
3762
  </div>
@@ -3774,7 +3772,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3774
3772
  </table>
3775
3773
  </div><div class="memdoc">
3776
3774
 
3777
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00188">188</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3775
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00194">194</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3778
3776
 
3779
3777
  </div>
3780
3778
  </div>
@@ -3790,7 +3788,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
3790
3788
  </table>
3791
3789
  </div><div class="memdoc">
3792
3790
 
3793
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3791
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3794
3792
 
3795
3793
  </div>
3796
3794
  </div>
@@ -3808,7 +3806,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3808
3806
  </table>
3809
3807
  </div><div class="memdoc">
3810
3808
 
3811
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3809
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3812
3810
 
3813
3811
  </div>
3814
3812
  </div>
@@ -3824,23 +3822,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3824
3822
  </table>
3825
3823
  </div><div class="memdoc">
3826
3824
 
3827
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3828
-
3829
- </div>
3830
- </div>
3831
- <a id="a02be4933b76c2baa7fdbe8b290e12bb3"></a>
3832
- <h2 class="memtitle"><span class="permalink"><a href="#a02be4933b76c2baa7fdbe8b290e12bb3">&#9670;&nbsp;</a></span>SmallBBVector</h2>
3833
-
3834
- <div class="memitem">
3835
- <div class="memproto">
3836
- <table class="memname">
3837
- <tr>
3838
- <td class="memname">typedef llvm::SmallVector&lt;llvm::BasicBlock*, 8&gt; <a class="el" href="namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3">SVF::SmallBBVector</a></td>
3839
- </tr>
3840
- </table>
3841
- </div><div class="memdoc">
3842
-
3843
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3825
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3844
3826
 
3845
3827
  </div>
3846
3828
  </div>
@@ -3856,7 +3838,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3856
3838
  </table>
3857
3839
  </div><div class="memdoc">
3858
3840
 
3859
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3841
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3860
3842
 
3861
3843
  </div>
3862
3844
  </div>
@@ -3888,7 +3870,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3888
3870
  </table>
3889
3871
  </div><div class="memdoc">
3890
3872
 
3891
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3873
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3892
3874
 
3893
3875
  </div>
3894
3876
  </div>
@@ -3920,7 +3902,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3920
3902
  </table>
3921
3903
  </div><div class="memdoc">
3922
3904
 
3923
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3905
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3924
3906
 
3925
3907
  </div>
3926
3908
  </div>
@@ -3938,7 +3920,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3938
3920
 
3939
3921
  <p>LLVM types. </p>
3940
3922
 
3941
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3923
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3942
3924
 
3943
3925
  </div>
3944
3926
  </div>
@@ -3956,7 +3938,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3956
3938
 
3957
3939
  <p>LLVM Iterators. </p>
3958
3940
 
3959
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3941
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3960
3942
 
3961
3943
  </div>
3962
3944
  </div>
@@ -4004,7 +3986,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4004
3986
  </table>
4005
3987
  </div><div class="memdoc">
4006
3988
 
4007
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3989
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4008
3990
 
4009
3991
  </div>
4010
3992
  </div>
@@ -4020,7 +4002,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4020
4002
  </table>
4021
4003
  </div><div class="memdoc">
4022
4004
 
4023
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4005
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4024
4006
 
4025
4007
  </div>
4026
4008
  </div>
@@ -4036,7 +4018,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4036
4018
  </table>
4037
4019
  </div><div class="memdoc">
4038
4020
 
4039
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4021
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4040
4022
 
4041
4023
  </div>
4042
4024
  </div>
@@ -4054,7 +4036,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4054
4036
 
4055
4037
  <p>LLVM Basic classes. </p>
4056
4038
 
4057
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4039
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4058
4040
 
4059
4041
  </div>
4060
4042
  </div>
@@ -4070,7 +4052,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4070
4052
  </table>
4071
4053
  </div><div class="memdoc">
4072
4054
 
4073
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4055
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4074
4056
 
4075
4057
  </div>
4076
4058
  </div>
@@ -4086,7 +4068,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4086
4068
  </table>
4087
4069
  </div><div class="memdoc">
4088
4070
 
4089
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4071
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4090
4072
 
4091
4073
  </div>
4092
4074
  </div>
@@ -4102,7 +4084,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4102
4084
  </table>
4103
4085
  </div><div class="memdoc">
4104
4086
 
4105
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4087
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4106
4088
 
4107
4089
  </div>
4108
4090
  </div>
@@ -4118,7 +4100,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4118
4100
  </table>
4119
4101
  </div><div class="memdoc">
4120
4102
 
4121
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4103
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00122">122</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4122
4104
 
4123
4105
  </div>
4124
4106
  </div>
@@ -4134,7 +4116,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4134
4116
  </table>
4135
4117
  </div><div class="memdoc">
4136
4118
 
4137
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4119
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4138
4120
 
4139
4121
  </div>
4140
4122
  </div>
@@ -4150,7 +4132,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4150
4132
  </table>
4151
4133
  </div><div class="memdoc">
4152
4134
 
4153
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4135
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4154
4136
 
4155
4137
  </div>
4156
4138
  </div>
@@ -4166,7 +4148,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4166
4148
  </table>
4167
4149
  </div><div class="memdoc">
4168
4150
 
4169
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00037">37</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4151
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4170
4152
 
4171
4153
  </div>
4172
4154
  </div>
@@ -4182,7 +4164,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4182
4164
  </table>
4183
4165
  </div><div class="memdoc">
4184
4166
 
4185
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4167
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4186
4168
 
4187
4169
  </div>
4188
4170
  </div>
@@ -4198,7 +4180,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4198
4180
  </table>
4199
4181
  </div><div class="memdoc">
4200
4182
 
4201
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4183
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00116">116</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4202
4184
 
4203
4185
  </div>
4204
4186
  </div>
@@ -4214,7 +4196,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4214
4196
  </table>
4215
4197
  </div><div class="memdoc">
4216
4198
 
4217
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4199
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4218
4200
 
4219
4201
  </div>
4220
4202
  </div>
@@ -4230,7 +4212,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4230
4212
  </table>
4231
4213
  </div><div class="memdoc">
4232
4214
 
4233
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4215
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4234
4216
 
4235
4217
  </div>
4236
4218
  </div>
@@ -4246,7 +4228,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4246
4228
  </table>
4247
4229
  </div><div class="memdoc">
4248
4230
 
4249
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4231
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4250
4232
 
4251
4233
  </div>
4252
4234
  </div>
@@ -4262,7 +4244,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4262
4244
  </table>
4263
4245
  </div><div class="memdoc">
4264
4246
 
4265
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4247
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4266
4248
 
4267
4249
  </div>
4268
4250
  </div>
@@ -4278,7 +4260,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4278
4260
  </table>
4279
4261
  </div><div class="memdoc">
4280
4262
 
4281
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00196">196</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4263
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00202">202</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4282
4264
 
4283
4265
  </div>
4284
4266
  </div>
@@ -4294,7 +4276,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4294
4276
  </table>
4295
4277
  </div><div class="memdoc">
4296
4278
 
4297
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4279
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4298
4280
 
4299
4281
  </div>
4300
4282
  </div>
@@ -4310,7 +4292,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4310
4292
  </table>
4311
4293
  </div><div class="memdoc">
4312
4294
 
4313
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4295
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4314
4296
 
4315
4297
  </div>
4316
4298
  </div>
@@ -4326,7 +4308,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4326
4308
  </table>
4327
4309
  </div><div class="memdoc">
4328
4310
 
4329
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4311
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4330
4312
 
4331
4313
  </div>
4332
4314
  </div>
@@ -4342,7 +4324,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4342
4324
  </table>
4343
4325
  </div><div class="memdoc">
4344
4326
 
4345
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00134">134</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4327
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4346
4328
 
4347
4329
  </div>
4348
4330
  </div>
@@ -4432,11 +4414,11 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4432
4414
  <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"></a>PartialAlias&#160;</td><td class="fielddoc"></td></tr>
4433
4415
  </table>
4434
4416
 
4435
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00196">196</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4436
- <div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;{</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00199">SVFBasicTypes.h:199</a></div></div>
4437
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00201">SVFBasicTypes.h:201</a></div></div>
4438
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00198">SVFBasicTypes.h:198</a></div></div>
4439
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00200">SVFBasicTypes.h:200</a></div></div>
4417
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00191">191</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4418
+ <div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160;{</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
4419
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
4420
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00193">SVFBasicTypes.h:193</a></div></div>
4421
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00195">SVFBasicTypes.h:195</a></div></div>
4440
4422
  </div><!-- fragment -->
4441
4423
  </div>
4442
4424
  </div>
@@ -4458,11 +4440,11 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4458
4440
  <tr><td class="fieldname"><a id="a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"></a>NoModRef&#160;</td><td class="fielddoc"></td></tr>
4459
4441
  </table>
4460
4442
 
4461
- <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00188">188</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4462
- <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;{</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">ModRef</a>,</div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">Ref</a>,</div><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">Mod</a>,</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>,</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00191">SVFBasicTypes.h:191</a></div></div>
4463
- <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00193">SVFBasicTypes.h:193</a></div></div>
4464
- <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00190">SVFBasicTypes.h:190</a></div></div>
4465
- <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00192">SVFBasicTypes.h:192</a></div></div>
4443
+ <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00183">183</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
4444
+ <div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160;{</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">ModRef</a>,</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">Ref</a>,</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">Mod</a>,</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>,</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a068332f7018e0e4ff96fd22e7db1ca76">SVF::Ref</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00186">SVFBasicTypes.h:186</a></div></div>
4445
+ <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">SVF::NoModRef</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00188">SVFBasicTypes.h:188</a></div></div>
4446
+ <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a7f99364c041329bd5758261c8c440b30">SVF::ModRef</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00185">SVFBasicTypes.h:185</a></div></div>
4447
+ <div class="ttc" id="namespaceSVF_html_a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0"><div class="ttname"><a href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF::Mod</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00187">SVFBasicTypes.h:187</a></div></div>
4466
4448
  </div><!-- fragment -->
4467
4449
  </div>
4468
4450
  </div>
@@ -4566,7 +4548,7 @@ template&lt;typename T &gt; </div>
4566
4548
 
4567
4549
  <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00197">197</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
4568
4550
  <div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;{</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; static_assert(std::numeric_limits&lt;T&gt;::is_integer &amp;&amp;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; !std::numeric_limits&lt;T&gt;::is_signed,</div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="stringliteral">&quot;Only unsigned integral types are allowed.&quot;</span>);</div><div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">PopulationCounter&lt;T, sizeof(T)&gt;::count</a>(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;}</div><div class="ttc" id="cJSON_8h_html_ad43c3812e6d13e0518d9f8b8f463ffcf"><div class="ttname"><a href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a></div><div class="ttdeci">int count</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00216">cJSON.h:216</a></div></div>
4569
- <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
4551
+ <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00050">BasicTypes.h:50</a></div></div>
4570
4552
  </div><!-- fragment -->
4571
4553
  </div>
4572
4554
  </div>
@@ -4927,8 +4909,8 @@ template&lt;typename F , typename S &gt; </div>
4927
4909
  </table>
4928
4910
  </div><div class="memdoc">
4929
4911
 
4930
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00367">367</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4931
- <div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160;{</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160;}</div></div><!-- fragment -->
4912
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00346">346</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4913
+ <div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160;{</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160;}</div></div><!-- fragment -->
4932
4914
  </div>
4933
4915
  </div>
4934
4916
  <a id="aec4534b227e8f43b9077e708b74817fa"></a>