svf-tools 1.0.551 → 1.0.554

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 (357) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +7 -7
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  5. package/SVF-doxygen/html/html/Annotator_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp.html +1 -1
  7. package/SVF-doxygen/html/html/BreakConstantExpr_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +1 -1
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +8 -8
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +2 -2
  11. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +18 -18
  13. package/SVF-doxygen/html/html/CHGBuilder_8h.html +1 -0
  14. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +11 -10
  15. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  16. package/SVF-doxygen/html/html/CHG_8cpp_source.html +8 -8
  17. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  18. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +17 -17
  19. package/SVF-doxygen/html/html/CPPUtil_8h_source.html +1 -1
  20. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  22. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/ConsG_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  26. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +3 -3
  28. package/SVF-doxygen/html/html/DCHG_8cpp.html +2 -2
  29. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +38 -35
  30. package/SVF-doxygen/html/html/DCHG_8h_source.html +9 -10
  31. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +11 -14
  32. package/SVF-doxygen/html/html/DDAPass_8h_source.html +12 -13
  33. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/DPItem_8h_source.html +2 -2
  35. package/SVF-doxygen/html/html/DataFlowUtil_8cpp_source.html +5 -5
  36. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +7 -7
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +3 -3
  40. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -5
  41. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +4 -4
  42. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  43. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  44. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  45. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  47. package/SVF-doxygen/html/html/GEPTypeBridgeIterator_8h_source.html +1 -1
  48. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  49. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +9 -9
  50. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  51. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  52. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +5 -5
  53. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +5 -5
  55. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  56. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  57. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +3 -3
  58. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +12 -12
  59. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +20 -18
  60. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +27 -27
  61. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +17 -17
  62. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  63. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  64. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  65. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +7 -7
  66. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  67. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +10 -10
  68. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +1 -1
  69. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  70. package/SVF-doxygen/html/html/MHP_8cpp_source.html +11 -11
  71. package/SVF-doxygen/html/html/MHP_8h_source.html +3 -3
  72. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  73. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  74. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +3 -3
  75. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +12 -12
  76. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +4 -4
  77. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +4 -4
  78. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  79. package/SVF-doxygen/html/html/MTA_8h_source.html +3 -3
  80. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  81. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  82. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -6
  83. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +10 -10
  85. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -3
  86. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
  87. package/SVF-doxygen/html/html/PCG_8cpp_source.html +6 -6
  88. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +6 -6
  90. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  91. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +1 -1
  92. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +2 -2
  93. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  94. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +11 -11
  95. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  97. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html +2 -0
  99. package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h_source.html +110 -109
  100. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +4 -4
  101. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  102. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  103. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  104. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  105. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  106. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +61 -61
  107. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +47 -47
  108. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  109. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  110. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  111. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +9 -9
  112. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +49 -52
  113. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +2 -2
  114. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +2 -2
  115. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +2 -2
  116. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +10 -10
  118. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +4 -4
  119. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  120. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  121. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  122. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +34 -34
  123. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  124. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +5 -5
  125. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
  126. package/SVF-doxygen/html/html/TCT_8cpp_source.html +12 -12
  127. package/SVF-doxygen/html/html/TCT_8h_source.html +8 -8
  128. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +4 -4
  129. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +4 -4
  130. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
  131. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
  132. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  133. package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +0 -2
  134. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +79 -80
  135. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  136. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  137. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  138. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +29 -29
  139. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +27 -27
  140. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +9 -12
  141. package/SVF-doxygen/html/html/WPAPass_8h_source.html +10 -11
  142. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  143. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  147. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +1 -1
  148. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -7
  149. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  150. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
  151. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +1 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +2 -2
  159. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +8 -8
  160. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +50 -50
  161. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +6 -6
  162. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  165. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  166. package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  169. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  170. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  171. package/SVF-doxygen/html/html/classSVF_1_1CondStdSet.html +1 -1
  172. package/SVF-doxygen/html/html/classSVF_1_1CondVar.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +3 -3
  174. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
  175. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  176. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +2 -2
  178. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +2 -2
  179. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph-members.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +114 -111
  184. package/SVF-doxygen/html/html/classSVF_1_1DDAPass-members.html +5 -6
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +42 -79
  186. package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
  189. package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +5 -5
  192. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +8 -8
  194. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation-members.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +5 -5
  196. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  198. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  200. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  202. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  203. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  204. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  205. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  206. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1GlobalICFGNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  212. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +13 -13
  213. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  221. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  228. package/SVF-doxygen/html/html/classSVF_1_1IteratedDominanceFrontier.html +2 -2
  229. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +3 -3
  230. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +20 -19
  231. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +95 -54
  232. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +4 -4
  233. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +1 -1
  235. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +4 -4
  236. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +20 -20
  237. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  238. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +19 -19
  239. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +12 -12
  240. package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +4 -4
  243. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +10 -10
  244. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +15 -15
  245. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  246. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +13 -13
  248. package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +2 -2
  250. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +11 -11
  253. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1PTACFInfoBuilder.html +4 -4
  255. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +4 -4
  257. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +2 -2
  258. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +2 -2
  260. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +2 -2
  261. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  262. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +16 -16
  263. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +3 -3
  264. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +1 -1
  266. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +4 -4
  267. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  268. package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +1 -1
  270. package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  272. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +61 -61
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +3 -3
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +123 -120
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
  281. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  282. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +4 -4
  283. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +14 -14
  284. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  286. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +2 -2
  287. package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  289. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  290. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +40 -40
  291. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +8 -8
  292. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +19 -19
  293. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  294. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +4 -4
  296. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
  297. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1ThreadForkEdge.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1ThreadJoinEdge.html +1 -1
  300. package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  303. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  304. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +4 -4
  305. package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  308. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +85 -83
  310. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +8 -8
  311. package/SVF-doxygen/html/html/classSVF_1_1WPAPass-members.html +4 -5
  312. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +28 -66
  313. package/SVF-doxygen/html/html/functions_b.html +1 -1
  314. package/SVF-doxygen/html/html/functions_func_b.html +1 -1
  315. package/SVF-doxygen/html/html/functions_func_g.html +8 -8
  316. package/SVF-doxygen/html/html/functions_func_r.html +3 -3
  317. package/SVF-doxygen/html/html/functions_g.html +9 -9
  318. package/SVF-doxygen/html/html/functions_r.html +2 -4
  319. package/SVF-doxygen/html/html/namespaceSVF.html +141 -141
  320. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +49 -49
  321. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +168 -171
  322. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +28 -28
  323. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  324. package/SVF-doxygen/html/html/search/all_13.js +1 -1
  325. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  326. package/SVF-doxygen/html/html/search/all_7.js +3 -3
  327. package/SVF-doxygen/html/html/search/functions_1.js +1 -1
  328. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  329. package/SVF-doxygen/html/html/search/functions_6.js +3 -3
  330. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +3 -3
  331. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  332. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +2 -2
  333. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  334. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +3 -3
  335. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +4 -4
  336. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +4 -4
  337. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  338. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  339. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  340. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  341. package/include/DDA/DDAPass.h +0 -3
  342. package/include/SVF-FE/BasicTypes.h +1 -0
  343. package/include/SVF-FE/CHGBuilder.h +1 -0
  344. package/include/SVF-FE/DCHG.h +1 -1
  345. package/include/SVF-FE/LLVMModule.h +17 -0
  346. package/include/Util/BasicTypes.h +0 -1
  347. package/include/Util/ExtAPI.h +2 -2
  348. package/include/Util/ExtAPI.json +3 -3
  349. package/include/Util/SVFUtil.h +1 -13
  350. package/include/WPA/WPAPass.h +0 -3
  351. package/lib/DDA/DDAPass.cpp +0 -7
  352. package/lib/SVF-FE/DCHG.cpp +4 -7
  353. package/lib/SVF-FE/SVFIRBuilder.cpp +63 -23
  354. package/lib/Util/ExtAPI.cpp +1 -1
  355. package/lib/WPA/VersionedFlowSensitive.cpp +41 -15
  356. package/lib/WPA/WPAPass.cpp +0 -10
  357. package/package.json +1 -1
package/SVF-doxygen/html/html/namespaceSVF.html CHANGED
@@ -787,6 +787,8 @@ Typedefs</h2></td></tr>
787
787
  <tr class="separator:a94824519e439aeef1568d415b6f7331c"><td class="memSeparator" colspan="2">&#160;</td></tr>
788
788
  <tr class="memitem:ae5853f7df76735b195ff93949ca4256b"><td class="memItemLeft" align="right" valign="top">typedef llvm::UnifyFunctionExitNodes&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b">UnifyFunctionExitNodes</a></td></tr>
789
789
  <tr class="separator:ae5853f7df76735b195ff93949ca4256b"><td class="memSeparator" colspan="2">&#160;</td></tr>
790
+ <tr class="memitem:aa7a770b5dd5cd0e37d06a1088f252906"><td class="memItemLeft" align="right" valign="top">typedef llvm::Module&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a></td></tr>
791
+ <tr class="separator:aa7a770b5dd5cd0e37d06a1088f252906"><td class="memSeparator" colspan="2">&#160;</td></tr>
790
792
  <tr class="memitem:a86863d104a3930b3a806935d92ddbf30"><td class="memItemLeft" align="right" valign="top">typedef llvm::SMDiagnostic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30">SMDiagnostic</a></td></tr>
791
793
  <tr class="separator:a86863d104a3930b3a806935d92ddbf30"><td class="memSeparator" colspan="2">&#160;</td></tr>
792
794
  <tr class="memitem:a956458a8554bf734db1194f320fd4b4c"><td class="memItemLeft" align="right" valign="top">typedef llvm::BlockAddress&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a956458a8554bf734db1194f320fd4b4c">BlockAddress</a></td></tr>
@@ -1022,8 +1024,6 @@ Typedefs</h2></td></tr>
1022
1024
  <tr class="separator:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
1023
1025
  <tr class="memitem:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalVariable&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a></td></tr>
1024
1026
  <tr class="separator:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
1025
- <tr class="memitem:aa7a770b5dd5cd0e37d06a1088f252906"><td class="memItemLeft" align="right" valign="top">typedef llvm::Module&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">Module</a></td></tr>
1026
- <tr class="separator:aa7a770b5dd5cd0e37d06a1088f252906"><td class="memSeparator" colspan="2">&#160;</td></tr>
1027
1027
  <tr class="memitem:afc1b50355821e7299df03b026e36f1df"><td class="memItemLeft" align="right" valign="top">typedef llvm::User&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a></td></tr>
1028
1028
  <tr class="separator:afc1b50355821e7299df03b026e36f1df"><td class="memSeparator" colspan="2">&#160;</td></tr>
1029
1029
  <tr class="memitem:abf85e29310b2e4df8925d00a5c081314"><td class="memItemLeft" align="right" valign="top">typedef llvm::Loop&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a></td></tr>
@@ -1327,7 +1327,7 @@ Functions</h2></td></tr>
1327
1327
  </table>
1328
1328
  </div><div class="memdoc">
1329
1329
 
1330
- <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>
1330
+ <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>
1331
1331
 
1332
1332
  </div>
1333
1333
  </div>
@@ -1343,7 +1343,7 @@ Functions</h2></td></tr>
1343
1343
  </table>
1344
1344
  </div><div class="memdoc">
1345
1345
 
1346
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1346
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1347
1347
 
1348
1348
  </div>
1349
1349
  </div>
@@ -1359,7 +1359,7 @@ Functions</h2></td></tr>
1359
1359
  </table>
1360
1360
  </div><div class="memdoc">
1361
1361
 
1362
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1362
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1363
1363
 
1364
1364
  </div>
1365
1365
  </div>
@@ -1375,7 +1375,7 @@ Functions</h2></td></tr>
1375
1375
  </table>
1376
1376
  </div><div class="memdoc">
1377
1377
 
1378
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1378
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1379
1379
 
1380
1380
  </div>
1381
1381
  </div>
@@ -1391,7 +1391,7 @@ Functions</h2></td></tr>
1391
1391
  </table>
1392
1392
  </div><div class="memdoc">
1393
1393
 
1394
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00125">125</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1394
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1395
1395
 
1396
1396
  </div>
1397
1397
  </div>
@@ -1407,7 +1407,7 @@ Functions</h2></td></tr>
1407
1407
  </table>
1408
1408
  </div><div class="memdoc">
1409
1409
 
1410
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1410
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1411
1411
 
1412
1412
  </div>
1413
1413
  </div>
@@ -1425,7 +1425,7 @@ Functions</h2></td></tr>
1425
1425
 
1426
1426
  <p>LLVM Aliases and constants. </p>
1427
1427
 
1428
- <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>
1428
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1429
1429
 
1430
1430
  </div>
1431
1431
  </div>
@@ -1441,7 +1441,7 @@ Functions</h2></td></tr>
1441
1441
  </table>
1442
1442
  </div><div class="memdoc">
1443
1443
 
1444
- <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>
1444
+ <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>
1445
1445
 
1446
1446
  </div>
1447
1447
  </div>
@@ -1457,7 +1457,7 @@ Functions</h2></td></tr>
1457
1457
  </table>
1458
1458
  </div><div class="memdoc">
1459
1459
 
1460
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1460
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00142">142</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1461
1461
 
1462
1462
  </div>
1463
1463
  </div>
@@ -1473,7 +1473,7 @@ Functions</h2></td></tr>
1473
1473
  </table>
1474
1474
  </div><div class="memdoc">
1475
1475
 
1476
- <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>
1476
+ <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>
1477
1477
 
1478
1478
  </div>
1479
1479
  </div>
@@ -1489,7 +1489,7 @@ Functions</h2></td></tr>
1489
1489
  </table>
1490
1490
  </div><div class="memdoc">
1491
1491
 
1492
- <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>
1492
+ <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>
1493
1493
 
1494
1494
  </div>
1495
1495
  </div>
@@ -1505,7 +1505,7 @@ Functions</h2></td></tr>
1505
1505
  </table>
1506
1506
  </div><div class="memdoc">
1507
1507
 
1508
- <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>
1508
+ <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>
1509
1509
 
1510
1510
  </div>
1511
1511
  </div>
@@ -1521,7 +1521,7 @@ Functions</h2></td></tr>
1521
1521
  </table>
1522
1522
  </div><div class="memdoc">
1523
1523
 
1524
- <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>
1524
+ <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>
1525
1525
 
1526
1526
  </div>
1527
1527
  </div>
@@ -1537,7 +1537,7 @@ Functions</h2></td></tr>
1537
1537
  </table>
1538
1538
  </div><div class="memdoc">
1539
1539
 
1540
- <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>
1540
+ <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>
1541
1541
 
1542
1542
  </div>
1543
1543
  </div>
@@ -1553,7 +1553,7 @@ Functions</h2></td></tr>
1553
1553
  </table>
1554
1554
  </div><div class="memdoc">
1555
1555
 
1556
- <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>
1556
+ <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>
1557
1557
 
1558
1558
  </div>
1559
1559
  </div>
@@ -1569,7 +1569,7 @@ Functions</h2></td></tr>
1569
1569
  </table>
1570
1570
  </div><div class="memdoc">
1571
1571
 
1572
- <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>
1572
+ <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>
1573
1573
 
1574
1574
  </div>
1575
1575
  </div>
@@ -1601,7 +1601,7 @@ Functions</h2></td></tr>
1601
1601
  </table>
1602
1602
  </div><div class="memdoc">
1603
1603
 
1604
- <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>
1604
+ <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>
1605
1605
 
1606
1606
  </div>
1607
1607
  </div>
@@ -1617,7 +1617,7 @@ Functions</h2></td></tr>
1617
1617
  </table>
1618
1618
  </div><div class="memdoc">
1619
1619
 
1620
- <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>
1620
+ <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>
1621
1621
 
1622
1622
  </div>
1623
1623
  </div>
@@ -1633,7 +1633,7 @@ Functions</h2></td></tr>
1633
1633
  </table>
1634
1634
  </div><div class="memdoc">
1635
1635
 
1636
- <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>
1636
+ <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>
1637
1637
 
1638
1638
  </div>
1639
1639
  </div>
@@ -1649,7 +1649,7 @@ Functions</h2></td></tr>
1649
1649
  </table>
1650
1650
  </div><div class="memdoc">
1651
1651
 
1652
- <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>
1652
+ <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>
1653
1653
 
1654
1654
  </div>
1655
1655
  </div>
@@ -1665,7 +1665,7 @@ Functions</h2></td></tr>
1665
1665
  </table>
1666
1666
  </div><div class="memdoc">
1667
1667
 
1668
- <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>
1668
+ <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>
1669
1669
 
1670
1670
  </div>
1671
1671
  </div>
@@ -1681,7 +1681,7 @@ Functions</h2></td></tr>
1681
1681
  </table>
1682
1682
  </div><div class="memdoc">
1683
1683
 
1684
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1684
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1685
1685
 
1686
1686
  </div>
1687
1687
  </div>
@@ -1713,7 +1713,7 @@ Functions</h2></td></tr>
1713
1713
  </table>
1714
1714
  </div><div class="memdoc">
1715
1715
 
1716
- <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>
1716
+ <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>
1717
1717
 
1718
1718
  </div>
1719
1719
  </div>
@@ -1731,7 +1731,7 @@ Functions</h2></td></tr>
1731
1731
 
1732
1732
  <p>LLVM Instructions. </p>
1733
1733
 
1734
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1734
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1735
1735
 
1736
1736
  </div>
1737
1737
  </div>
@@ -1779,7 +1779,7 @@ Functions</h2></td></tr>
1779
1779
  </table>
1780
1780
  </div><div class="memdoc">
1781
1781
 
1782
- <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>
1782
+ <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>
1783
1783
 
1784
1784
  </div>
1785
1785
  </div>
@@ -1827,7 +1827,7 @@ Functions</h2></td></tr>
1827
1827
  </table>
1828
1828
  </div><div class="memdoc">
1829
1829
 
1830
- <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>
1830
+ <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>
1831
1831
 
1832
1832
  </div>
1833
1833
  </div>
@@ -1843,7 +1843,7 @@ Functions</h2></td></tr>
1843
1843
  </table>
1844
1844
  </div><div class="memdoc">
1845
1845
 
1846
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1846
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1847
1847
 
1848
1848
  </div>
1849
1849
  </div>
@@ -1859,7 +1859,7 @@ Functions</h2></td></tr>
1859
1859
  </table>
1860
1860
  </div><div class="memdoc">
1861
1861
 
1862
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1862
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1863
1863
 
1864
1864
  </div>
1865
1865
  </div>
@@ -1875,7 +1875,7 @@ Functions</h2></td></tr>
1875
1875
  </table>
1876
1876
  </div><div class="memdoc">
1877
1877
 
1878
- <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>
1878
+ <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>
1879
1879
 
1880
1880
  </div>
1881
1881
  </div>
@@ -1891,7 +1891,7 @@ Functions</h2></td></tr>
1891
1891
  </table>
1892
1892
  </div><div class="memdoc">
1893
1893
 
1894
- <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>
1894
+ <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>
1895
1895
 
1896
1896
  </div>
1897
1897
  </div>
@@ -1907,7 +1907,7 @@ Functions</h2></td></tr>
1907
1907
  </table>
1908
1908
  </div><div class="memdoc">
1909
1909
 
1910
- <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>
1910
+ <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>
1911
1911
 
1912
1912
  </div>
1913
1913
  </div>
@@ -1923,7 +1923,7 @@ Functions</h2></td></tr>
1923
1923
  </table>
1924
1924
  </div><div class="memdoc">
1925
1925
 
1926
- <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>
1926
+ <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>
1927
1927
 
1928
1928
  </div>
1929
1929
  </div>
@@ -1939,7 +1939,7 @@ Functions</h2></td></tr>
1939
1939
  </table>
1940
1940
  </div><div class="memdoc">
1941
1941
 
1942
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1942
+ <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>
1943
1943
 
1944
1944
  </div>
1945
1945
  </div>
@@ -1955,7 +1955,7 @@ Functions</h2></td></tr>
1955
1955
  </table>
1956
1956
  </div><div class="memdoc">
1957
1957
 
1958
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1958
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1959
1959
 
1960
1960
  </div>
1961
1961
  </div>
@@ -1971,7 +1971,7 @@ Functions</h2></td></tr>
1971
1971
  </table>
1972
1972
  </div><div class="memdoc">
1973
1973
 
1974
- <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>
1974
+ <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>
1975
1975
 
1976
1976
  </div>
1977
1977
  </div>
@@ -1987,7 +1987,7 @@ Functions</h2></td></tr>
1987
1987
  </table>
1988
1988
  </div><div class="memdoc">
1989
1989
 
1990
- <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>
1990
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
1991
1991
 
1992
1992
  </div>
1993
1993
  </div>
@@ -2003,7 +2003,7 @@ Functions</h2></td></tr>
2003
2003
  </table>
2004
2004
  </div><div class="memdoc">
2005
2005
 
2006
- <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>
2006
+ <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>
2007
2007
 
2008
2008
  </div>
2009
2009
  </div>
@@ -2019,7 +2019,7 @@ Functions</h2></td></tr>
2019
2019
  </table>
2020
2020
  </div><div class="memdoc">
2021
2021
 
2022
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2022
+ <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>
2023
2023
 
2024
2024
  </div>
2025
2025
  </div>
@@ -2035,7 +2035,7 @@ Functions</h2></td></tr>
2035
2035
  </table>
2036
2036
  </div><div class="memdoc">
2037
2037
 
2038
- <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>
2038
+ <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>
2039
2039
 
2040
2040
  </div>
2041
2041
  </div>
@@ -2051,7 +2051,7 @@ Functions</h2></td></tr>
2051
2051
  </table>
2052
2052
  </div><div class="memdoc">
2053
2053
 
2054
- <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>
2054
+ <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>
2055
2055
 
2056
2056
  </div>
2057
2057
  </div>
@@ -2067,7 +2067,7 @@ Functions</h2></td></tr>
2067
2067
  </table>
2068
2068
  </div><div class="memdoc">
2069
2069
 
2070
- <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>
2070
+ <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>
2071
2071
 
2072
2072
  </div>
2073
2073
  </div>
@@ -2149,7 +2149,7 @@ Functions</h2></td></tr>
2149
2149
  </table>
2150
2150
  </div><div class="memdoc">
2151
2151
 
2152
- <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>
2152
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2153
2153
 
2154
2154
  </div>
2155
2155
  </div>
@@ -2165,7 +2165,7 @@ Functions</h2></td></tr>
2165
2165
  </table>
2166
2166
  </div><div class="memdoc">
2167
2167
 
2168
- <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>
2168
+ <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>
2169
2169
 
2170
2170
  </div>
2171
2171
  </div>
@@ -2181,7 +2181,7 @@ Functions</h2></td></tr>
2181
2181
  </table>
2182
2182
  </div><div class="memdoc">
2183
2183
 
2184
- <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>
2184
+ <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>
2185
2185
 
2186
2186
  </div>
2187
2187
  </div>
@@ -2197,7 +2197,7 @@ Functions</h2></td></tr>
2197
2197
  </table>
2198
2198
  </div><div class="memdoc">
2199
2199
 
2200
- <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>
2200
+ <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>
2201
2201
 
2202
2202
  </div>
2203
2203
  </div>
@@ -2213,7 +2213,7 @@ Functions</h2></td></tr>
2213
2213
  </table>
2214
2214
  </div><div class="memdoc">
2215
2215
 
2216
- <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>
2216
+ <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>
2217
2217
 
2218
2218
  </div>
2219
2219
  </div>
@@ -2229,7 +2229,7 @@ Functions</h2></td></tr>
2229
2229
  </table>
2230
2230
  </div><div class="memdoc">
2231
2231
 
2232
- <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>
2232
+ <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>
2233
2233
 
2234
2234
  </div>
2235
2235
  </div>
@@ -2245,7 +2245,7 @@ Functions</h2></td></tr>
2245
2245
  </table>
2246
2246
  </div><div class="memdoc">
2247
2247
 
2248
- <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>
2248
+ <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>
2249
2249
 
2250
2250
  </div>
2251
2251
  </div>
@@ -2261,7 +2261,7 @@ Functions</h2></td></tr>
2261
2261
  </table>
2262
2262
  </div><div class="memdoc">
2263
2263
 
2264
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2264
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2265
2265
 
2266
2266
  </div>
2267
2267
  </div>
@@ -2277,7 +2277,7 @@ Functions</h2></td></tr>
2277
2277
  </table>
2278
2278
  </div><div class="memdoc">
2279
2279
 
2280
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2280
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2281
2281
 
2282
2282
  </div>
2283
2283
  </div>
@@ -2293,7 +2293,7 @@ Functions</h2></td></tr>
2293
2293
  </table>
2294
2294
  </div><div class="memdoc">
2295
2295
 
2296
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2296
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00146">146</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2297
2297
 
2298
2298
  </div>
2299
2299
  </div>
@@ -2309,7 +2309,7 @@ Functions</h2></td></tr>
2309
2309
  </table>
2310
2310
  </div><div class="memdoc">
2311
2311
 
2312
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00146">146</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2312
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2313
2313
 
2314
2314
  </div>
2315
2315
  </div>
@@ -2325,7 +2325,7 @@ Functions</h2></td></tr>
2325
2325
  </table>
2326
2326
  </div><div class="memdoc">
2327
2327
 
2328
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2328
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2329
2329
 
2330
2330
  </div>
2331
2331
  </div>
@@ -2341,7 +2341,7 @@ Functions</h2></td></tr>
2341
2341
  </table>
2342
2342
  </div><div class="memdoc">
2343
2343
 
2344
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2344
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2345
2345
 
2346
2346
  </div>
2347
2347
  </div>
@@ -2357,7 +2357,7 @@ Functions</h2></td></tr>
2357
2357
  </table>
2358
2358
  </div><div class="memdoc">
2359
2359
 
2360
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2360
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2361
2361
 
2362
2362
  </div>
2363
2363
  </div>
@@ -2373,7 +2373,7 @@ Functions</h2></td></tr>
2373
2373
  </table>
2374
2374
  </div><div class="memdoc">
2375
2375
 
2376
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2376
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2377
2377
 
2378
2378
  </div>
2379
2379
  </div>
@@ -2389,7 +2389,7 @@ Functions</h2></td></tr>
2389
2389
  </table>
2390
2390
  </div><div class="memdoc">
2391
2391
 
2392
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2392
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2393
2393
 
2394
2394
  </div>
2395
2395
  </div>
@@ -2405,7 +2405,7 @@ Functions</h2></td></tr>
2405
2405
  </table>
2406
2406
  </div><div class="memdoc">
2407
2407
 
2408
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2408
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2409
2409
 
2410
2410
  </div>
2411
2411
  </div>
@@ -2421,7 +2421,7 @@ Functions</h2></td></tr>
2421
2421
  </table>
2422
2422
  </div><div class="memdoc">
2423
2423
 
2424
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2424
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2425
2425
 
2426
2426
  </div>
2427
2427
  </div>
@@ -2439,7 +2439,7 @@ Functions</h2></td></tr>
2439
2439
 
2440
2440
  <p>LLVM Dominators. </p>
2441
2441
 
2442
- <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>
2442
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2443
2443
 
2444
2444
  </div>
2445
2445
  </div>
@@ -2455,7 +2455,7 @@ Functions</h2></td></tr>
2455
2455
  </table>
2456
2456
  </div><div class="memdoc">
2457
2457
 
2458
- <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>
2458
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2459
2459
 
2460
2460
  </div>
2461
2461
  </div>
@@ -2471,7 +2471,7 @@ Functions</h2></td></tr>
2471
2471
  </table>
2472
2472
  </div><div class="memdoc">
2473
2473
 
2474
- <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>
2474
+ <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>
2475
2475
 
2476
2476
  </div>
2477
2477
  </div>
@@ -2487,7 +2487,7 @@ Functions</h2></td></tr>
2487
2487
  </table>
2488
2488
  </div><div class="memdoc">
2489
2489
 
2490
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2490
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2491
2491
 
2492
2492
  </div>
2493
2493
  </div>
@@ -2551,7 +2551,7 @@ Functions</h2></td></tr>
2551
2551
  </table>
2552
2552
  </div><div class="memdoc">
2553
2553
 
2554
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2554
+ <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>
2555
2555
 
2556
2556
  </div>
2557
2557
  </div>
@@ -2567,7 +2567,7 @@ Functions</h2></td></tr>
2567
2567
  </table>
2568
2568
  </div><div class="memdoc">
2569
2569
 
2570
- <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>
2570
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2571
2571
 
2572
2572
  </div>
2573
2573
  </div>
@@ -2583,7 +2583,7 @@ Functions</h2></td></tr>
2583
2583
  </table>
2584
2584
  </div><div class="memdoc">
2585
2585
 
2586
- <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>
2586
+ <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>
2587
2587
 
2588
2588
  </div>
2589
2589
  </div>
@@ -2631,7 +2631,7 @@ Functions</h2></td></tr>
2631
2631
  </table>
2632
2632
  </div><div class="memdoc">
2633
2633
 
2634
- <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>
2634
+ <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>
2635
2635
 
2636
2636
  </div>
2637
2637
  </div>
@@ -2663,7 +2663,7 @@ Functions</h2></td></tr>
2663
2663
  </table>
2664
2664
  </div><div class="memdoc">
2665
2665
 
2666
- <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>
2666
+ <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>
2667
2667
 
2668
2668
  </div>
2669
2669
  </div>
@@ -2679,7 +2679,7 @@ Functions</h2></td></tr>
2679
2679
  </table>
2680
2680
  </div><div class="memdoc">
2681
2681
 
2682
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00138">138</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2682
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00139">139</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2683
2683
 
2684
2684
  </div>
2685
2685
  </div>
@@ -2695,7 +2695,7 @@ Functions</h2></td></tr>
2695
2695
  </table>
2696
2696
  </div><div class="memdoc">
2697
2697
 
2698
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00139">139</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2698
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2699
2699
 
2700
2700
  </div>
2701
2701
  </div>
@@ -2711,7 +2711,7 @@ Functions</h2></td></tr>
2711
2711
  </table>
2712
2712
  </div><div class="memdoc">
2713
2713
 
2714
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2714
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2715
2715
 
2716
2716
  </div>
2717
2717
  </div>
@@ -2727,7 +2727,7 @@ Functions</h2></td></tr>
2727
2727
  </table>
2728
2728
  </div><div class="memdoc">
2729
2729
 
2730
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00137">137</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2730
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00138">138</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
2731
2731
 
2732
2732
  </div>
2733
2733
  </div>
@@ -3109,7 +3109,7 @@ Functions</h2></td></tr>
3109
3109
  </table>
3110
3110
  </div><div class="memdoc">
3111
3111
 
3112
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3112
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3113
3113
 
3114
3114
  </div>
3115
3115
  </div>
@@ -3141,7 +3141,7 @@ Functions</h2></td></tr>
3141
3141
  </table>
3142
3142
  </div><div class="memdoc">
3143
3143
 
3144
- <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>
3144
+ <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>
3145
3145
 
3146
3146
  </div>
3147
3147
  </div>
@@ -3157,7 +3157,7 @@ Functions</h2></td></tr>
3157
3157
  </table>
3158
3158
  </div><div class="memdoc">
3159
3159
 
3160
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3160
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3161
3161
 
3162
3162
  </div>
3163
3163
  </div>
@@ -3221,7 +3221,7 @@ Functions</h2></td></tr>
3221
3221
  </table>
3222
3222
  </div><div class="memdoc">
3223
3223
 
3224
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3224
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00119">119</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3225
3225
 
3226
3226
  </div>
3227
3227
  </div>
@@ -3237,7 +3237,7 @@ Functions</h2></td></tr>
3237
3237
  </table>
3238
3238
  </div><div class="memdoc">
3239
3239
 
3240
- <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>
3240
+ <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>
3241
3241
 
3242
3242
  </div>
3243
3243
  </div>
@@ -3253,7 +3253,7 @@ Functions</h2></td></tr>
3253
3253
  </table>
3254
3254
  </div><div class="memdoc">
3255
3255
 
3256
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3256
+ <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>
3257
3257
 
3258
3258
  </div>
3259
3259
  </div>
@@ -3269,7 +3269,7 @@ Functions</h2></td></tr>
3269
3269
  </table>
3270
3270
  </div><div class="memdoc">
3271
3271
 
3272
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3272
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3273
3273
 
3274
3274
  </div>
3275
3275
  </div>
@@ -3285,7 +3285,7 @@ Functions</h2></td></tr>
3285
3285
  </table>
3286
3286
  </div><div class="memdoc">
3287
3287
 
3288
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00132">132</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3288
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3289
3289
 
3290
3290
  </div>
3291
3291
  </div>
@@ -3301,7 +3301,7 @@ Functions</h2></td></tr>
3301
3301
  </table>
3302
3302
  </div><div class="memdoc">
3303
3303
 
3304
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3304
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00134">134</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3305
3305
 
3306
3306
  </div>
3307
3307
  </div>
@@ -3317,7 +3317,7 @@ Functions</h2></td></tr>
3317
3317
  </table>
3318
3318
  </div><div class="memdoc">
3319
3319
 
3320
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00134">134</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3320
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3321
3321
 
3322
3322
  </div>
3323
3323
  </div>
@@ -3349,7 +3349,7 @@ Functions</h2></td></tr>
3349
3349
  </table>
3350
3350
  </div><div class="memdoc">
3351
3351
 
3352
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00121">121</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3352
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00120">120</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3353
3353
 
3354
3354
  </div>
3355
3355
  </div>
@@ -3397,7 +3397,7 @@ Functions</h2></td></tr>
3397
3397
  </table>
3398
3398
  </div><div class="memdoc">
3399
3399
 
3400
- <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>
3400
+ <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>
3401
3401
 
3402
3402
  </div>
3403
3403
  </div>
@@ -3413,7 +3413,7 @@ Functions</h2></td></tr>
3413
3413
  </table>
3414
3414
  </div><div class="memdoc">
3415
3415
 
3416
- <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>
3416
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3417
3417
 
3418
3418
  </div>
3419
3419
  </div>
@@ -3429,7 +3429,7 @@ Functions</h2></td></tr>
3429
3429
  </table>
3430
3430
  </div><div class="memdoc">
3431
3431
 
3432
- <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>
3432
+ <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>
3433
3433
 
3434
3434
  </div>
3435
3435
  </div>
@@ -3461,7 +3461,7 @@ Functions</h2></td></tr>
3461
3461
  </table>
3462
3462
  </div><div class="memdoc">
3463
3463
 
3464
- <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>
3464
+ <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>
3465
3465
 
3466
3466
  </div>
3467
3467
  </div>
@@ -3493,7 +3493,7 @@ Functions</h2></td></tr>
3493
3493
  </table>
3494
3494
  </div><div class="memdoc">
3495
3495
 
3496
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3496
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3497
3497
 
3498
3498
  </div>
3499
3499
  </div>
@@ -3541,7 +3541,7 @@ Functions</h2></td></tr>
3541
3541
  </table>
3542
3542
  </div><div class="memdoc">
3543
3543
 
3544
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3544
+ <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>
3545
3545
 
3546
3546
  </div>
3547
3547
  </div>
@@ -3557,7 +3557,7 @@ Functions</h2></td></tr>
3557
3557
  </table>
3558
3558
  </div><div class="memdoc">
3559
3559
 
3560
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3560
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3561
3561
 
3562
3562
  </div>
3563
3563
  </div>
@@ -3591,7 +3591,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3591
3591
  </table>
3592
3592
  </div><div class="memdoc">
3593
3593
 
3594
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3594
+ <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>
3595
3595
 
3596
3596
  </div>
3597
3597
  </div>
@@ -3607,7 +3607,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3607
3607
  </table>
3608
3608
  </div><div class="memdoc">
3609
3609
 
3610
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3610
+ <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>
3611
3611
 
3612
3612
  </div>
3613
3613
  </div>
@@ -3623,7 +3623,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3623
3623
  </table>
3624
3624
  </div><div class="memdoc">
3625
3625
 
3626
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3626
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00124">124</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3627
3627
 
3628
3628
  </div>
3629
3629
  </div>
@@ -3639,7 +3639,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3639
3639
  </table>
3640
3640
  </div><div class="memdoc">
3641
3641
 
3642
- <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>
3642
+ <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>
3643
3643
 
3644
3644
  </div>
3645
3645
  </div>
@@ -3655,7 +3655,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3655
3655
  </table>
3656
3656
  </div><div class="memdoc">
3657
3657
 
3658
- <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>
3658
+ <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>
3659
3659
 
3660
3660
  </div>
3661
3661
  </div>
@@ -3671,7 +3671,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3671
3671
  </table>
3672
3672
  </div><div class="memdoc">
3673
3673
 
3674
- <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>
3674
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00123">123</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3675
3675
 
3676
3676
  </div>
3677
3677
  </div>
@@ -3687,7 +3687,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3687
3687
  </table>
3688
3688
  </div><div class="memdoc">
3689
3689
 
3690
- <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>
3690
+ <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>
3691
3691
 
3692
3692
  </div>
3693
3693
  </div>
@@ -3703,7 +3703,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3703
3703
  </table>
3704
3704
  </div><div class="memdoc">
3705
3705
 
3706
- <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>
3706
+ <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>
3707
3707
 
3708
3708
  </div>
3709
3709
  </div>
@@ -3719,7 +3719,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3719
3719
  </table>
3720
3720
  </div><div class="memdoc">
3721
3721
 
3722
- <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>
3722
+ <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>
3723
3723
 
3724
3724
  </div>
3725
3725
  </div>
@@ -3735,7 +3735,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3735
3735
  </table>
3736
3736
  </div><div class="memdoc">
3737
3737
 
3738
- <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>
3738
+ <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>
3739
3739
 
3740
3740
  </div>
3741
3741
  </div>
@@ -3751,7 +3751,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3751
3751
  </table>
3752
3752
  </div><div class="memdoc">
3753
3753
 
3754
- <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>
3754
+ <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>
3755
3755
 
3756
3756
  </div>
3757
3757
  </div>
@@ -3767,7 +3767,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3767
3767
  </table>
3768
3768
  </div><div class="memdoc">
3769
3769
 
3770
- <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>
3770
+ <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>
3771
3771
 
3772
3772
  </div>
3773
3773
  </div>
@@ -3849,7 +3849,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3849
3849
 
3850
3850
  <p>LLVM metadata. </p>
3851
3851
 
3852
- <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>
3852
+ <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>
3853
3853
 
3854
3854
  </div>
3855
3855
  </div>
@@ -3865,7 +3865,7 @@ template&lt;typename Key , typename Value , typename Hash = Hash&lt;Key&gt;, ty
3865
3865
  </table>
3866
3866
  </div><div class="memdoc">
3867
3867
 
3868
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3868
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00137">137</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
3869
3869
 
3870
3870
  </div>
3871
3871
  </div>
@@ -4173,7 +4173,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4173
4173
  </table>
4174
4174
  </div><div class="memdoc">
4175
4175
 
4176
- <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>
4176
+ <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>
4177
4177
 
4178
4178
  </div>
4179
4179
  </div>
@@ -4205,7 +4205,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4205
4205
  </table>
4206
4206
  </div><div class="memdoc">
4207
4207
 
4208
- <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>
4208
+ <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>
4209
4209
 
4210
4210
  </div>
4211
4211
  </div>
@@ -4237,7 +4237,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4237
4237
  </table>
4238
4238
  </div><div class="memdoc">
4239
4239
 
4240
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4240
+ <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>
4241
4241
 
4242
4242
  </div>
4243
4243
  </div>
@@ -4253,7 +4253,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4253
4253
  </table>
4254
4254
  </div><div class="memdoc">
4255
4255
 
4256
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4256
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4257
4257
 
4258
4258
  </div>
4259
4259
  </div>
@@ -4269,7 +4269,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4269
4269
  </table>
4270
4270
  </div><div class="memdoc">
4271
4271
 
4272
- <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>
4272
+ <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>
4273
4273
 
4274
4274
  </div>
4275
4275
  </div>
@@ -4287,7 +4287,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4287
4287
 
4288
4288
  <p>LLVM outputs. </p>
4289
4289
 
4290
- <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>
4290
+ <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>
4291
4291
 
4292
4292
  </div>
4293
4293
  </div>
@@ -4303,7 +4303,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4303
4303
  </table>
4304
4304
  </div><div class="memdoc">
4305
4305
 
4306
- <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>
4306
+ <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>
4307
4307
 
4308
4308
  </div>
4309
4309
  </div>
@@ -4319,7 +4319,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4319
4319
  </table>
4320
4320
  </div><div class="memdoc">
4321
4321
 
4322
- <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>
4322
+ <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>
4323
4323
 
4324
4324
  </div>
4325
4325
  </div>
@@ -4367,7 +4367,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4367
4367
  </table>
4368
4368
  </div><div class="memdoc">
4369
4369
 
4370
- <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>
4370
+ <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>
4371
4371
 
4372
4372
  </div>
4373
4373
  </div>
@@ -4383,7 +4383,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4383
4383
  </table>
4384
4384
  </div><div class="memdoc">
4385
4385
 
4386
- <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>
4386
+ <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>
4387
4387
 
4388
4388
  </div>
4389
4389
  </div>
@@ -4399,7 +4399,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4399
4399
  </table>
4400
4400
  </div><div class="memdoc">
4401
4401
 
4402
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4402
+ <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4403
4403
 
4404
4404
  </div>
4405
4405
  </div>
@@ -4415,7 +4415,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4415
4415
  </table>
4416
4416
  </div><div class="memdoc">
4417
4417
 
4418
- <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>
4418
+ <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>
4419
4419
 
4420
4420
  </div>
4421
4421
  </div>
@@ -4431,7 +4431,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4431
4431
  </table>
4432
4432
  </div><div class="memdoc">
4433
4433
 
4434
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4434
+ <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>
4435
4435
 
4436
4436
  </div>
4437
4437
  </div>
@@ -4447,7 +4447,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4447
4447
  </table>
4448
4448
  </div><div class="memdoc">
4449
4449
 
4450
- <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>
4450
+ <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>
4451
4451
 
4452
4452
  </div>
4453
4453
  </div>
@@ -4463,7 +4463,7 @@ template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Al
4463
4463
  </table>
4464
4464
  </div><div class="memdoc">
4465
4465
 
4466
- <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>
4466
+ <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>
4467
4467
 
4468
4468
  </div>
4469
4469
  </div>
@@ -4497,7 +4497,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4497
4497
  </table>
4498
4498
  </div><div class="memdoc">
4499
4499
 
4500
- <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>
4500
+ <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>
4501
4501
 
4502
4502
  </div>
4503
4503
  </div>
@@ -4529,7 +4529,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4529
4529
  </table>
4530
4530
  </div><div class="memdoc">
4531
4531
 
4532
- <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>
4532
+ <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>
4533
4533
 
4534
4534
  </div>
4535
4535
  </div>
@@ -4561,7 +4561,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4561
4561
  </table>
4562
4562
  </div><div class="memdoc">
4563
4563
 
4564
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4564
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4565
4565
 
4566
4566
  </div>
4567
4567
  </div>
@@ -4593,7 +4593,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4593
4593
  </table>
4594
4594
  </div><div class="memdoc">
4595
4595
 
4596
- <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4596
+ <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>
4597
4597
 
4598
4598
  </div>
4599
4599
  </div>
@@ -4611,7 +4611,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4611
4611
 
4612
4612
  <p>LLVM types. </p>
4613
4613
 
4614
- <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>
4614
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4615
4615
 
4616
4616
  </div>
4617
4617
  </div>
@@ -4629,7 +4629,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4629
4629
 
4630
4630
  <p>LLVM Iterators. </p>
4631
4631
 
4632
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00118">118</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4632
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00117">117</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
4633
4633
 
4634
4634
  </div>
4635
4635
  </div>
@@ -4677,7 +4677,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4677
4677
  </table>
4678
4678
  </div><div class="memdoc">
4679
4679
 
4680
- <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>
4680
+ <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>
4681
4681
 
4682
4682
  </div>
4683
4683
  </div>
@@ -4775,7 +4775,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4775
4775
  </table>
4776
4776
  </div><div class="memdoc">
4777
4777
 
4778
- <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>
4778
+ <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>
4779
4779
 
4780
4780
  </div>
4781
4781
  </div>
@@ -4791,7 +4791,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4791
4791
  </table>
4792
4792
  </div><div class="memdoc">
4793
4793
 
4794
- <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>
4794
+ <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>
4795
4795
 
4796
4796
  </div>
4797
4797
  </div>
@@ -4823,7 +4823,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4823
4823
  </table>
4824
4824
  </div><div class="memdoc">
4825
4825
 
4826
- <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>
4826
+ <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>
4827
4827
 
4828
4828
  </div>
4829
4829
  </div>
@@ -4855,7 +4855,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4855
4855
  </table>
4856
4856
  </div><div class="memdoc">
4857
4857
 
4858
- <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>
4858
+ <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>
4859
4859
 
4860
4860
  </div>
4861
4861
  </div>
@@ -4871,7 +4871,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4871
4871
  </table>
4872
4872
  </div><div class="memdoc">
4873
4873
 
4874
- <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>
4874
+ <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>
4875
4875
 
4876
4876
  </div>
4877
4877
  </div>
@@ -4887,7 +4887,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4887
4887
  </table>
4888
4888
  </div><div class="memdoc">
4889
4889
 
4890
- <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>
4890
+ <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>
4891
4891
 
4892
4892
  </div>
4893
4893
  </div>
@@ -4903,7 +4903,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4903
4903
  </table>
4904
4904
  </div><div class="memdoc">
4905
4905
 
4906
- <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>
4906
+ <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>
4907
4907
 
4908
4908
  </div>
4909
4909
  </div>
@@ -4935,7 +4935,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4935
4935
  </table>
4936
4936
  </div><div class="memdoc">
4937
4937
 
4938
- <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>
4938
+ <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>
4939
4939
 
4940
4940
  </div>
4941
4941
  </div>
@@ -4951,7 +4951,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
4951
4951
  </table>
4952
4952
  </div><div class="memdoc">
4953
4953
 
4954
- <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>
4954
+ <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>
4955
4955
 
4956
4956
  </div>
4957
4957
  </div>
@@ -5047,7 +5047,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
5047
5047
  </table>
5048
5048
  </div><div class="memdoc">
5049
5049
 
5050
- <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>
5050
+ <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>
5051
5051
 
5052
5052
  </div>
5053
5053
  </div>
@@ -5079,7 +5079,7 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
5079
5079
  </table>
5080
5080
  </div><div class="memdoc">
5081
5081
 
5082
- <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>
5082
+ <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>
5083
5083
 
5084
5084
  </div>
5085
5085
  </div>
@@ -5632,8 +5632,8 @@ template&lt;typename F , typename S &gt; </div>
5632
5632
  </table>
5633
5633
  </div><div class="memdoc">
5634
5634
 
5635
- <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00333">333</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
5636
- <div class="fragment"><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160;{</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</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="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160;}</div></div><!-- fragment -->
5635
+ <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00332">332</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
5636
+ <div class="fragment"><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160;{</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</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="l00335"></a><span class="lineno"> 335</span>&#160; <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160;}</div></div><!-- fragment -->
5637
5637
  </div>
5638
5638
  </div>
5639
5639
  <a id="aec4534b227e8f43b9077e708b74817fa"></a>