svf-tools 1.0.758 → 1.0.760

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 (666) hide show
  1. package/CMakeLists.txt +7 -0
  2. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/AddressValue_8h_source.html +1 -1
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  6. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/CFGrammar_8cpp_source.html +11 -8
  10. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +7 -7
  11. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +1 -1
  12. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +17 -17
  13. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  14. package/SVF-doxygen/html/html/CHG_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +6 -6
  17. package/SVF-doxygen/html/html/CallGraphBuilder_8h_source.html +1 -1
  18. package/SVF-doxygen/html/html/CommandLine_8h_source.html +2 -1
  19. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +2 -2
  25. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +11 -11
  26. package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
  27. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/ExeState_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +0 -196
  34. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +121 -786
  35. package/SVF-doxygen/html/html/ExtAPI_8h.html +2 -67
  36. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +69 -654
  37. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +11 -11
  42. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +4 -4
  45. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
  46. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  47. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +1 -1
  49. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +1 -1
  50. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +6 -6
  51. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +3 -4
  53. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1408 -1289
  54. package/SVF-doxygen/html/html/LLVMModule_8h.html +1 -0
  55. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +418 -400
  56. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +744 -616
  57. package/SVF-doxygen/html/html/LLVMUtil_8h.html +9 -1
  58. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +485 -472
  59. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  60. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +14 -14
  61. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +2 -2
  62. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +8 -8
  63. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +5 -5
  64. package/SVF-doxygen/html/html/MHP_8cpp_source.html +14 -14
  65. package/SVF-doxygen/html/html/MHP_8h_source.html +3 -3
  66. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  67. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  68. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +4 -4
  69. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +5 -5
  70. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  71. package/SVF-doxygen/html/html/MTA_8cpp_source.html +4 -4
  72. package/SVF-doxygen/html/html/MTA_8h_source.html +1 -1
  73. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +13 -13
  74. package/SVF-doxygen/html/html/MemRegion_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +20 -20
  76. package/SVF-doxygen/html/html/MemSSA_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -1
  79. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  80. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  81. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  82. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  83. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  84. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +12 -12
  85. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  87. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  88. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/RelExeState_8h_source.html +1 -1
  90. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +362 -365
  91. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +24 -24
  92. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +2087 -2084
  93. package/SVF-doxygen/html/html/SVFFileSystem_8h.html +1 -1
  94. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +60 -60
  95. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  96. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  97. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  98. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
  99. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
  100. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +4 -4
  101. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +454 -527
  102. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -1
  103. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +211 -233
  104. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp.html +2 -0
  105. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +286 -682
  106. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -2
  107. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  108. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +9 -9
  109. package/SVF-doxygen/html/html/SVFModule_8h.html +0 -1
  110. package/SVF-doxygen/html/html/SVFModule_8h_source.html +258 -260
  111. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +8 -8
  112. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +1 -1
  113. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +2 -2
  114. package/SVF-doxygen/html/html/SVFType_8h_source.html +1 -1
  115. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -6
  116. package/SVF-doxygen/html/html/SVFUtil_8h.html +4 -9
  117. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +392 -405
  118. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +11 -10
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1038 -1030
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  121. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  122. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +14 -14
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +6 -6
  124. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  125. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  126. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  128. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +5 -5
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  130. package/SVF-doxygen/html/html/SymState_8cpp_source.html +1 -1
  131. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  132. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +28 -28
  133. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  134. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  135. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  136. package/SVF-doxygen/html/html/TCT_8cpp_source.html +15 -15
  137. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  138. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +14 -14
  139. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +5 -5
  140. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +1 -1
  141. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +3 -3
  142. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  143. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +2 -2
  144. package/SVF-doxygen/html/html/WPAPass_8h_source.html +1 -1
  145. package/SVF-doxygen/html/html/WTO_8h_source.html +1 -1
  146. package/SVF-doxygen/html/html/annotated.html +1 -4
  147. package/SVF-doxygen/html/html/cJSON_8cpp.html +2 -1
  148. package/SVF-doxygen/html/html/cJSON_8cpp_source.html +2 -1
  149. package/SVF-doxygen/html/html/cfl_8cpp.html +2 -2
  150. package/SVF-doxygen/html/html/cfl_8cpp_source.html +2 -2
  151. package/SVF-doxygen/html/html/classOption.html +2 -1
  152. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +2 -2
  153. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1AddrCGEdge.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +1 -1
  158. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +1 -1
  159. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  160. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  161. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  162. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  163. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  164. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +1 -1
  165. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +50 -50
  166. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  168. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1 -1
  169. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +7 -7
  170. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +18 -18
  171. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +5 -5
  172. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  173. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +6 -6
  175. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +2 -2
  176. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  178. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +95 -95
  179. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  181. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +1 -1
  182. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +1 -1
  183. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  189. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +9 -9
  191. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +35 -35
  192. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
  193. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +8 -77
  195. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +130 -1337
  196. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +10 -10
  198. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +35 -35
  199. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  200. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +10 -10
  201. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +3 -3
  202. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +4 -4
  203. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  204. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +9 -13
  205. package/SVF-doxygen/html/html/classSVF_1_1GenericGraphReader.html +1 -1
  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_1GepValVar.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +11 -8
  210. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +11 -11
  212. package/SVF-doxygen/html/html/classSVF_1_1ICFGWriter.html +11 -11
  213. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  214. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  215. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +1 -1
  216. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +3 -3
  219. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  221. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +42 -40
  222. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1583 -1452
  223. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +4 -4
  224. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +14 -14
  226. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +8 -8
  227. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +14 -14
  228. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +13 -13
  230. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  231. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  232. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +6 -6
  233. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  234. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  235. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  236. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +21 -21
  237. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +10 -10
  238. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  240. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +14 -14
  241. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  242. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +1 -1
  243. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +34 -34
  245. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +10 -10
  246. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +11 -11
  248. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +1 -1
  249. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +2 -2
  251. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +7 -7
  252. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +3 -3
  253. package/SVF-doxygen/html/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  254. package/SVF-doxygen/html/html/classSVF_1_1ReaderPtrPool.html +2 -2
  255. package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +2 -2
  258. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +30 -30
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +73 -73
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +50 -50
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +87 -87
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +67 -67
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +17 -17
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +23 -23
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +21 -21
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +27 -27
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +15 -13
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +222 -153
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +5 -5
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +5 -5
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +34 -34
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +4 -4
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +64 -73
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +905 -1767
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1126 -1124
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +547 -546
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +53 -53
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +2 -2
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +173 -173
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleReader.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFModuleWriter.html +23 -23
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +1 -1
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +11 -11
  291. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +8 -8
  292. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +27 -27
  294. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  295. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +13 -13
  296. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +5 -5
  300. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  301. package/SVF-doxygen/html/html/classSVF_1_1SymState.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +27 -27
  303. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  304. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
  305. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  307. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +8 -8
  308. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +5 -5
  310. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -3
  311. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  312. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  313. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  314. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
  316. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
  318. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
  319. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
  320. package/SVF-doxygen/html/html/classes.html +335 -338
  321. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  322. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  323. package/SVF-doxygen/html/html/dir_3bbf4ce25bc1411b817b5643b794c8fb.html +2 -0
  324. package/SVF-doxygen/html/html/extapi_8c.html +1950 -0
  325. package/SVF-doxygen/html/html/extapi_8c_source.html +1488 -0
  326. package/SVF-doxygen/html/html/files.html +29 -28
  327. package/SVF-doxygen/html/html/functions_a.html +17 -27
  328. package/SVF-doxygen/html/html/functions_b.html +9 -12
  329. package/SVF-doxygen/html/html/functions_c.html +26 -70
  330. package/SVF-doxygen/html/html/functions_d.html +3 -7
  331. package/SVF-doxygen/html/html/functions_e.html +4 -121
  332. package/SVF-doxygen/html/html/functions_enum.html +0 -6
  333. package/SVF-doxygen/html/html/functions_eval.html +0 -1
  334. package/SVF-doxygen/html/html/functions_eval_c.html +1 -15
  335. package/SVF-doxygen/html/html/functions_eval_e.html +0 -96
  336. package/SVF-doxygen/html/html/functions_eval_g.html +1 -2
  337. package/SVF-doxygen/html/html/functions_eval_l.html +0 -1
  338. package/SVF-doxygen/html/html/functions_eval_m.html +0 -6
  339. package/SVF-doxygen/html/html/functions_eval_o.html +0 -3
  340. package/SVF-doxygen/html/html/functions_eval_r.html +0 -6
  341. package/SVF-doxygen/html/html/functions_eval_s.html +0 -1
  342. package/SVF-doxygen/html/html/functions_f.html +16 -19
  343. package/SVF-doxygen/html/html/functions_func.html +6 -18
  344. package/SVF-doxygen/html/html/functions_func_e.html +1 -13
  345. package/SVF-doxygen/html/html/functions_func_g.html +24 -91
  346. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  347. package/SVF-doxygen/html/html/functions_func_i.html +16 -28
  348. package/SVF-doxygen/html/html/functions_func_n.html +0 -3
  349. package/SVF-doxygen/html/html/functions_func_p.html +3 -12
  350. package/SVF-doxygen/html/html/functions_func_s.html +20 -83
  351. package/SVF-doxygen/html/html/functions_g.html +32 -100
  352. package/SVF-doxygen/html/html/functions_h.html +6 -9
  353. package/SVF-doxygen/html/html/functions_i.html +16 -28
  354. package/SVF-doxygen/html/html/functions_l.html +0 -1
  355. package/SVF-doxygen/html/html/functions_m.html +1 -7
  356. package/SVF-doxygen/html/html/functions_n.html +4 -7
  357. package/SVF-doxygen/html/html/functions_o.html +31 -44
  358. package/SVF-doxygen/html/html/functions_p.html +18 -29
  359. package/SVF-doxygen/html/html/functions_r.html +9 -16
  360. package/SVF-doxygen/html/html/functions_s.html +16 -84
  361. package/SVF-doxygen/html/html/functions_t.html +4 -10
  362. package/SVF-doxygen/html/html/functions_v.html +3 -3
  363. package/SVF-doxygen/html/html/functions_vars_a.html +3 -0
  364. package/SVF-doxygen/html/html/functions_vars_b.html +0 -3
  365. package/SVF-doxygen/html/html/functions_vars_c.html +1 -23
  366. package/SVF-doxygen/html/html/functions_vars_d.html +1 -5
  367. package/SVF-doxygen/html/html/functions_vars_e.html +2 -8
  368. package/SVF-doxygen/html/html/functions_vars_f.html +0 -3
  369. package/SVF-doxygen/html/html/functions_vars_o.html +0 -9
  370. package/SVF-doxygen/html/html/functions_vars_r.html +1 -2
  371. package/SVF-doxygen/html/html/functions_vars_s.html +1 -5
  372. package/SVF-doxygen/html/html/functions_vars_t.html +0 -6
  373. package/SVF-doxygen/html/html/globals.html +22 -4
  374. package/SVF-doxygen/html/html/globals_a.html +3 -0
  375. package/SVF-doxygen/html/html/globals_b.html +3 -0
  376. package/SVF-doxygen/html/html/globals_defs.html +3 -9
  377. package/SVF-doxygen/html/html/globals_e.html +0 -3
  378. package/SVF-doxygen/html/html/globals_f.html +11 -2
  379. package/SVF-doxygen/html/html/globals_func.html +159 -15
  380. package/SVF-doxygen/html/html/globals_g.html +13 -4
  381. package/SVF-doxygen/html/html/globals_i.html +41 -2
  382. package/SVF-doxygen/html/html/globals_j.html +3 -6
  383. package/SVF-doxygen/html/html/globals_l.html +3 -0
  384. package/SVF-doxygen/html/html/globals_m.html +8 -2
  385. package/SVF-doxygen/html/html/globals_n.html +2 -1
  386. package/SVF-doxygen/html/html/globals_p.html +1 -4
  387. package/SVF-doxygen/html/html/globals_r.html +12 -6
  388. package/SVF-doxygen/html/html/globals_s.html +33 -0
  389. package/SVF-doxygen/html/html/globals_t.html +3 -0
  390. package/SVF-doxygen/html/html/hierarchy.html +526 -529
  391. package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
  392. package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
  393. package/SVF-doxygen/html/html/llvm2svf_8cpp.html +1 -1
  394. package/SVF-doxygen/html/html/llvm2svf_8cpp_source.html +1 -1
  395. package/SVF-doxygen/html/html/menudata.js +3 -0
  396. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  397. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  398. package/SVF-doxygen/html/html/namespaceSVF.html +152 -151
  399. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1003 -776
  400. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +298 -368
  401. package/SVF-doxygen/html/html/namespacemembers_func_g.html +11 -5
  402. package/SVF-doxygen/html/html/namespacemembers_func_i.html +11 -14
  403. package/SVF-doxygen/html/html/namespacemembers_func_r.html +6 -0
  404. package/SVF-doxygen/html/html/namespacemembers_g.html +11 -5
  405. package/SVF-doxygen/html/html/namespacemembers_i.html +8 -11
  406. package/SVF-doxygen/html/html/namespacemembers_r.html +6 -0
  407. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  408. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  409. package/SVF-doxygen/html/html/search/all_0.js +153 -147
  410. package/SVF-doxygen/html/html/search/all_1.js +476 -478
  411. package/SVF-doxygen/html/html/search/all_10.js +323 -327
  412. package/SVF-doxygen/html/html/search/all_11.js +212 -209
  413. package/SVF-doxygen/html/html/search/all_12.js +536 -547
  414. package/SVF-doxygen/html/html/search/all_13.js +188 -189
  415. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  416. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  417. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  418. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  419. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  420. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  421. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  422. package/SVF-doxygen/html/html/search/all_2.js +159 -159
  423. package/SVF-doxygen/html/html/search/all_3.js +597 -608
  424. package/SVF-doxygen/html/html/search/all_4.js +226 -227
  425. package/SVF-doxygen/html/html/search/all_5.js +116 -156
  426. package/SVF-doxygen/html/html/search/all_6.js +225 -223
  427. package/SVF-doxygen/html/html/search/all_7.js +996 -1012
  428. package/SVF-doxygen/html/html/search/all_8.js +191 -192
  429. package/SVF-doxygen/html/html/search/all_9.js +605 -597
  430. package/SVF-doxygen/html/html/search/all_a.js +46 -47
  431. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  432. package/SVF-doxygen/html/html/search/all_c.js +114 -113
  433. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  434. package/SVF-doxygen/html/html/search/all_e.js +205 -206
  435. package/SVF-doxygen/html/html/search/all_f.js +116 -122
  436. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  437. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  438. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  439. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  440. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  441. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  442. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  443. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  444. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  445. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  446. package/SVF-doxygen/html/html/search/classes_4.js +8 -10
  447. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  448. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  449. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  450. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  451. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  452. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  453. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  454. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  455. package/SVF-doxygen/html/html/search/classes_d.js +18 -19
  456. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  457. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  458. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  459. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  460. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  461. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  462. package/SVF-doxygen/html/html/search/defines_4.js +2 -3
  463. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  464. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  465. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  466. package/SVF-doxygen/html/html/search/defines_8.js +11 -13
  467. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  468. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  469. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  470. package/SVF-doxygen/html/html/search/defines_c.js +3 -2
  471. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  472. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  473. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  474. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  475. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  476. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  477. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  478. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  479. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  480. package/SVF-doxygen/html/html/search/enums_4.js +3 -4
  481. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  482. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  483. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  484. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  485. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  486. package/SVF-doxygen/html/html/search/enums_a.js +1 -2
  487. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  488. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  489. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  490. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  491. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  492. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  493. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  494. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  495. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  496. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  497. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  498. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  499. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  500. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -40
  501. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  502. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -34
  503. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -48
  504. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  505. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  506. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  507. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  508. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -17
  509. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  510. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -6
  511. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  512. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -11
  513. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  514. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  515. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  516. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  517. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  518. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  519. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  520. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  521. package/SVF-doxygen/html/html/search/files_4.js +5 -4
  522. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  523. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  524. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  525. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  526. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  527. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  528. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  529. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  530. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  531. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  532. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  533. package/SVF-doxygen/html/html/search/functions_0.js +6 -351
  534. package/SVF-doxygen/html/html/search/functions_1.js +348 -81
  535. package/SVF-doxygen/html/html/search/functions_10.js +139 -122
  536. package/SVF-doxygen/html/html/search/functions_11.js +126 -283
  537. package/SVF-doxygen/html/html/search/functions_12.js +273 -55
  538. package/SVF-doxygen/html/html/search/functions_13.js +56 -38
  539. package/SVF-doxygen/html/html/search/functions_14.js +38 -71
  540. package/SVF-doxygen/html/html/search/functions_15.js +71 -29
  541. package/SVF-doxygen/html/html/search/functions_16.js +29 -2
  542. package/SVF-doxygen/html/html/search/functions_17.js +2 -169
  543. package/SVF-doxygen/html/html/search/functions_18.html +30 -0
  544. package/SVF-doxygen/html/html/search/functions_18.js +172 -0
  545. package/SVF-doxygen/html/html/search/functions_2.js +82 -251
  546. package/SVF-doxygen/html/html/search/functions_3.js +251 -71
  547. package/SVF-doxygen/html/html/search/functions_4.js +71 -55
  548. package/SVF-doxygen/html/html/search/functions_5.js +51 -55
  549. package/SVF-doxygen/html/html/search/functions_6.js +58 -832
  550. package/SVF-doxygen/html/html/search/functions_7.js +816 -144
  551. package/SVF-doxygen/html/html/search/functions_8.js +143 -417
  552. package/SVF-doxygen/html/html/search/functions_9.js +425 -29
  553. package/SVF-doxygen/html/html/search/functions_a.js +30 -2
  554. package/SVF-doxygen/html/html/search/functions_b.js +2 -23
  555. package/SVF-doxygen/html/html/search/functions_c.js +24 -75
  556. package/SVF-doxygen/html/html/search/functions_d.js +77 -35
  557. package/SVF-doxygen/html/html/search/functions_e.js +34 -56
  558. package/SVF-doxygen/html/html/search/functions_f.js +56 -143
  559. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  560. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  561. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  562. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  563. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  564. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  565. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  566. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  567. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  568. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  569. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  570. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  571. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  572. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  573. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  574. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  575. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  576. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  577. package/SVF-doxygen/html/html/search/searchdata.js +1 -1
  578. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  579. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  580. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  581. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  582. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  583. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  584. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  585. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  586. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  587. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  588. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  589. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  590. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  591. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  592. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  593. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  594. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  595. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  596. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  597. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  598. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  599. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  600. package/SVF-doxygen/html/html/search/variables_1.js +75 -74
  601. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  602. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  603. package/SVF-doxygen/html/html/search/variables_12.js +92 -93
  604. package/SVF-doxygen/html/html/search/variables_13.js +75 -77
  605. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  606. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  607. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  608. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  609. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  610. package/SVF-doxygen/html/html/search/variables_2.js +34 -35
  611. package/SVF-doxygen/html/html/search/variables_3.js +141 -148
  612. package/SVF-doxygen/html/html/search/variables_4.js +55 -56
  613. package/SVF-doxygen/html/html/search/variables_5.js +38 -40
  614. package/SVF-doxygen/html/html/search/variables_6.js +66 -67
  615. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  616. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  617. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  618. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  619. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  620. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  621. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  622. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  623. package/SVF-doxygen/html/html/search/variables_f.js +30 -33
  624. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  625. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  626. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable.html +1 -1
  627. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__iterable_3_01T_00_01void__t_3_01decltype_07std_1_1begin_07std_1_1dec794949348c8e1e00603fd8633b6dd1f3.html +1 -1
  628. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map.html +1 -1
  629. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  630. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__map_3_01std_1_1unordered__map_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  631. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container.html +1 -1
  632. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1deque_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  633. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1list_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  634. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__sequence__container_3_01std_1_1vector_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  635. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set.html +1 -1
  636. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  637. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__set_3_01std_1_1unordered__set_3_01Ts_8_8_8_01_4_01_4.html +1 -1
  638. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1make__void.html +2 -2
  639. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  640. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  641. package/SVF-doxygen/html/html/svf-ex_8cpp.html +3 -3
  642. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +4 -4
  643. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +9 -9
  644. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +9 -9
  645. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  646. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  647. package/build.sh +1 -1
  648. package/package.json +1 -1
  649. package/svf/include/SVFIR/SVFModule.h +0 -1
  650. package/svf/include/SVFIR/SVFValue.h +7 -1
  651. package/svf/include/Util/ExtAPI.h +11 -457
  652. package/svf/include/Util/SVFUtil.h +7 -22
  653. package/svf/lib/SVFIR/SVFFileSystem.cpp +3 -1
  654. package/svf/lib/SVFIR/SVFValue.cpp +2 -2
  655. package/svf/lib/Util/ExtAPI.cpp +36 -595
  656. package/svf/lib/Util/Options.cpp +1 -1
  657. package/svf/lib/Util/SVFBugReport.cpp +0 -2
  658. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +17 -0
  659. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +14 -1
  660. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +5 -14
  661. package/svf-llvm/lib/LLVMModule.cpp +157 -43
  662. package/svf-llvm/lib/LLVMUtil.cpp +121 -0
  663. package/svf-llvm/lib/SVFIRBuilder.cpp +7 -76
  664. package/svf-llvm/lib/SVFIRExtAPI.cpp +161 -536
  665. package/svf-llvm/lib/extapi.c +1348 -0
  666. package/svf/include/Util/ExtAPI.json +0 -5853
package/SVF-doxygen/html/html/SVFModule_8h_source.html CHANGED
@@ -102,281 +102,279 @@ $(function() {
102
102
  <div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160;<span class="preprocessor">#define INCLUDE_SVFMODULE_H_</span></div>
103
103
  <div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; </div>
104
104
  <div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFValue_8h.html">SVFIR/SVFValue.h</a>&quot;</span></div>
105
- <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ExtAPI_8h.html">Util/ExtAPI.h</a>&quot;</span></div>
106
- <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div>
107
- <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadAPI_8h.html">Util/ThreadAPI.h</a>&quot;</span></div>
108
- <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; </div>
109
- <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
110
- <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160;{</div>
111
- <div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; </div>
112
- <div class="line"><a name="l00041"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html"> 41</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a></div>
113
- <div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160;{</div>
114
- <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6"> 43</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
115
- <div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292"> 44</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
116
- <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; </div>
117
- <div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160;<span class="keyword">public</span>:</div>
118
- <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b"> 47</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;const SVFFunction*&gt; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>;</div>
119
- <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f"> 48</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>;</div>
120
- <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf"> 49</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>;</div>
121
- <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499"> 50</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFConstant*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>;</div>
122
- <div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf"> 51</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFOtherValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>;</div>
123
- <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; </div>
124
- <div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7"> 54</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a>;</div>
125
- <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1"> 55</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a>;</div>
126
- <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2"> 56</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a>;</div>
127
- <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57"> 57</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a>;</div>
128
- <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c"> 58</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a>;</div>
129
- <div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f"> 59</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a>;</div>
130
- <div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7"> 60</a></span>&#160; <span class="keyword">typedef</span> ConstantType::iterator <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a>;</div>
131
- <div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc"> 61</a></span>&#160; <span class="keyword">typedef</span> ConstantType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a>;</div>
132
- <div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7"> 62</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">ovalue_iterator</a>;</div>
133
- <div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912"> 63</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">const_ovalue_iterator</a>;</div>
134
- <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; </div>
135
- <div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160;<span class="keyword">private</span>:</div>
136
- <div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189"> 66</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">svfModule</a>;</div>
137
- <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f"> 67</a></span>&#160; <span class="keyword">static</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
138
- <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71"> 68</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
139
- <div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e"> 69</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>; </div>
140
- <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30"> 70</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>; </div>
141
- <div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9"> 71</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>; </div>
142
- <div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7"> 72</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>; </div>
143
- <div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64"> 73</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>; </div>
144
- <div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; </div>
145
- <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVFModule</a>() = <span class="keywordflow">default</span>;</div>
146
- <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; </div>
147
- <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;<span class="keyword">public</span>:</div>
148
- <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">getSVFModule</a>();</div>
149
- <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">releaseSVFModule</a>();</div>
150
- <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; </div>
151
- <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">~SVFModule</a>();</div>
152
- <div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; </div>
153
- <div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe"> 84</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">setPagFromTXT</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; txt)</div>
154
- <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div>
155
- <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div>
156
- <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div>
157
- <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; </div>
158
- <div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92"> 89</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">setModuleIdentifier</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>)</div>
159
- <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div>
160
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; this-&gt;moduleIdentifier = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
161
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div>
162
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; </div>
163
- <div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60"> 94</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">pagFileName</a>()</div>
164
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {</div>
165
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
166
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; }</div>
167
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; </div>
168
- <div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570"> 99</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>()</div>
169
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; {</div>
170
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty();</div>
171
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; }</div>
172
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; </div>
173
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">getSVFFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>);</div>
174
- <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; </div>
175
- <div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6"> 107</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">addFunctionSet</a>(<a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFunc)</div>
176
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; {</div>
177
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div>
178
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
179
- <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5"> 111</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">addGlobalSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* glob)</div>
180
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; {</div>
181
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div>
182
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(glob);</div>
183
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div>
184
- <div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d"> 116</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">addAliasSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* alias)</div>
185
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; {</div>
186
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div>
187
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(alias);</div>
188
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
189
- <div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3"> 121</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(<a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* cd)</div>
190
- <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div>
191
- <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.push_back(cd);</div>
192
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
193
- <div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca"> 125</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">addOtherValue</a>(<a class="code" href="classSVF_1_1SVFOtherValue.html">SVFOtherValue</a>* ov)</div>
194
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
195
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>.push_back(ov);</div>
196
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
197
- <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; </div>
198
- <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
199
- <div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255"> 134</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">begin</a>()</div>
200
- <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; {</div>
201
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
202
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; }</div>
203
- <div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7"> 138</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">begin</a>()<span class="keyword"> const</span></div>
204
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160;<span class="keyword"> </span>{</div>
205
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
206
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; }</div>
207
- <div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31"> 142</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">end</a>()</div>
208
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; {</div>
209
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
210
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; }</div>
211
- <div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc"> 146</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">end</a>()<span class="keyword"> const</span></div>
212
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160;<span class="keyword"> </span>{</div>
213
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
214
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
215
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; </div>
216
- <div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e"> 151</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">global_begin</a>()</div>
217
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
218
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
219
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; }</div>
220
- <div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2"> 155</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">global_begin</a>()<span class="keyword"> const</span></div>
221
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;<span class="keyword"> </span>{</div>
222
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
223
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div>
224
- <div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b"> 159</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">global_end</a>()</div>
225
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
226
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
227
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div>
228
- <div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2"> 163</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">global_end</a>()<span class="keyword"> const</span></div>
229
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;<span class="keyword"> </span>{</div>
230
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
231
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
232
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; </div>
233
- <div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065"> 168</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">alias_begin</a>()</div>
234
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; {</div>
235
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
236
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
237
- <div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852"> 172</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">alias_begin</a>()<span class="keyword"> const</span></div>
238
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;<span class="keyword"> </span>{</div>
239
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
240
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; }</div>
241
- <div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc"> 176</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">alias_end</a>()</div>
242
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div>
243
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
244
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
245
- <div class="line"><a name="l00180"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f"> 180</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">alias_end</a>()<span class="keyword"> const</span></div>
246
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160;<span class="keyword"> </span>{</div>
247
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
248
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; }</div>
249
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; </div>
250
- <div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d"> 185</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">constant_begin</a>()</div>
251
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
252
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
253
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; }</div>
254
- <div class="line"><a name="l00189"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf"> 189</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">constant_begin</a>()<span class="keyword"> const</span></div>
255
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160;<span class="keyword"> </span>{</div>
256
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
257
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; }</div>
258
- <div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e"> 193</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">constant_end</a>()</div>
259
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
260
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
261
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
262
- <div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0"> 197</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">constant_end</a>()<span class="keyword"> const</span></div>
263
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;<span class="keyword"> </span>{</div>
264
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
265
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
266
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; </div>
267
- <div class="line"><a name="l00203"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344"> 203</a></span>&#160; <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">getModuleIdentifier</a>()<span class="keyword"> const</span></div>
268
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160;<span class="keyword"> </span>{</div>
269
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div>
270
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
271
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty() &amp;&amp;</div>
272
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="stringliteral">&quot;No module found! Reading from a file other than LLVM-IR?&quot;</span>);</div>
273
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
274
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; }</div>
275
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">else</span></div>
276
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div>
277
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
278
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
279
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; }</div>
280
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; </div>
281
- <div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1"> 217</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>()<span class="keyword"> const</span></div>
282
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160;<span class="keyword"> </span>{</div>
283
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>;</div>
284
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
285
- <div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b"> 221</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">getConstantSet</a>()<span class="keyword"> const</span></div>
286
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160;<span class="keyword"> </span>{</div>
287
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>;</div>
288
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
289
- <div class="line"><a name="l00225"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba"> 225</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">getGlobalSet</a>()<span class="keyword"> const</span></div>
290
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160;<span class="keyword"> </span>{</div>
291
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>;</div>
292
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; }</div>
293
- <div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108"> 229</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">getAliasSet</a>()<span class="keyword"> const</span></div>
294
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160;<span class="keyword"> </span>{</div>
295
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>;</div>
296
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; }</div>
297
- <div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd"> 233</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">getOtherValueSet</a>()<span class="keyword"> const</span></div>
298
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160;<span class="keyword"> </span>{</div>
299
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>;</div>
300
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
301
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160;};</div>
302
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; </div>
303
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160;} <span class="comment">// End namespace SVF</span></div>
304
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; </div>
305
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_SVFMODULE_H_ */</span><span class="preprocessor"></span></div>
105
+ <div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>&quot;</span></div>
106
+ <div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ThreadAPI_8h.html">Util/ThreadAPI.h</a>&quot;</span></div>
107
+ <div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; </div>
108
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
109
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;{</div>
110
+ <div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; </div>
111
+ <div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html"> 40</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a></div>
112
+ <div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160;{</div>
113
+ <div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac6d7207b2c449f2aa8129697485d8fd6"> 42</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRWriter.html">SVFIRWriter</a>;</div>
114
+ <div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a96821c016c81ee0600ef62fd28298292"> 43</a></span>&#160; <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSVF_1_1SVFIRReader.html">SVFIRReader</a>;</div>
115
+ <div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; </div>
116
+ <div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160;<span class="keyword">public</span>:</div>
117
+ <div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b"> 46</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;const SVFFunction*&gt; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>;</div>
118
+ <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f"> 47</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>;</div>
119
+ <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf"> 48</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFGlobalValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>;</div>
120
+ <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499"> 49</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFConstant*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>;</div>
121
+ <div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf"> 50</a></span>&#160; <span class="keyword">typedef</span> std::vector&lt;SVFOtherValue*&gt; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>;</div>
122
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; </div>
123
+ <div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7"> 53</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a>;</div>
124
+ <div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1"> 54</a></span>&#160; <span class="keyword">typedef</span> FunctionSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a>;</div>
125
+ <div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2"> 55</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a>;</div>
126
+ <div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57"> 56</a></span>&#160; <span class="keyword">typedef</span> GlobalSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a>;</div>
127
+ <div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c"> 57</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::iterator <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a>;</div>
128
+ <div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f"> 58</a></span>&#160; <span class="keyword">typedef</span> AliasSetType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a>;</div>
129
+ <div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7"> 59</a></span>&#160; <span class="keyword">typedef</span> ConstantType::iterator <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a>;</div>
130
+ <div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc"> 60</a></span>&#160; <span class="keyword">typedef</span> ConstantType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a>;</div>
131
+ <div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7"> 61</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::iterator <a class="code" href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">ovalue_iterator</a>;</div>
132
+ <div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912"> 62</a></span>&#160; <span class="keyword">typedef</span> OtherValueType::const_iterator <a class="code" href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">const_ovalue_iterator</a>;</div>
133
+ <div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; </div>
134
+ <div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160;<span class="keyword">private</span>:</div>
135
+ <div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189"> 65</a></span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">svfModule</a>;</div>
136
+ <div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f"> 66</a></span>&#160; <span class="keyword">static</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
137
+ <div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71"> 67</a></span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
138
+ <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e"> 68</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>; </div>
139
+ <div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30"> 69</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>; </div>
140
+ <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9"> 70</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>; </div>
141
+ <div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7"> 71</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>; </div>
142
+ <div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64"> 72</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>; </div>
143
+ <div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; </div>
144
+ <div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVFModule</a>() = <span class="keywordflow">default</span>;</div>
145
+ <div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; </div>
146
+ <div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;<span class="keyword">public</span>:</div>
147
+ <div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; <span class="keyword">static</span> <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* <a class="code" href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">getSVFModule</a>();</div>
148
+ <div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">releaseSVFModule</a>();</div>
149
+ <div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; </div>
150
+ <div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">~SVFModule</a>();</div>
151
+ <div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; </div>
152
+ <div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe"> 83</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">setPagFromTXT</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; txt)</div>
153
+ <div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; {</div>
154
+ <div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a> = txt;</div>
155
+ <div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div>
156
+ <div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; </div>
157
+ <div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92"> 88</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">setModuleIdentifier</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>)</div>
158
+ <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
159
+ <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; this-&gt;moduleIdentifier = <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
160
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div>
161
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; </div>
162
+ <div class="line"><a name="l00093"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60"> 93</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">pagFileName</a>()</div>
163
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
164
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
165
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; }</div>
166
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; </div>
167
+ <div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570"> 98</a></span>&#160; <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">pagReadFromTXT</a>()</div>
168
+ <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; {</div>
169
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty();</div>
170
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
171
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; </div>
172
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">getSVFFunction</a>(<span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a>);</div>
173
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; </div>
174
+ <div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6"> 106</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">addFunctionSet</a>(<a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFunc)</div>
175
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; {</div>
176
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.push_back(svfFunc);</div>
177
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
178
+ <div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5"> 110</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">addGlobalSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* glob)</div>
179
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; {</div>
180
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.push_back(glob);</div>
181
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(glob);</div>
182
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; }</div>
183
+ <div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d"> 115</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">addAliasSet</a>(<a class="code" href="classSVF_1_1SVFGlobalValue.html">SVFGlobalValue</a>* alias)</div>
184
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; {</div>
185
+ <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.push_back(alias);</div>
186
+ <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(alias);</div>
187
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; }</div>
188
+ <div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3"> 120</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">addConstant</a>(<a class="code" href="classSVF_1_1SVFConstant.html">SVFConstant</a>* cd)</div>
189
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div>
190
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.push_back(cd);</div>
191
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div>
192
+ <div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca"> 124</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">addOtherValue</a>(<a class="code" href="classSVF_1_1SVFOtherValue.html">SVFOtherValue</a>* ov)</div>
193
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div>
194
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>.push_back(ov);</div>
195
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
196
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; </div>
197
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; </div>
198
+ <div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255"> 133</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">begin</a>()</div>
199
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
200
+ <div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
201
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div>
202
+ <div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7"> 137</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">begin</a>()<span class="keyword"> const</span></div>
203
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160;<span class="keyword"> </span>{</div>
204
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.begin();</div>
205
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
206
+ <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31"> 141</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">end</a>()</div>
207
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
208
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
209
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
210
+ <div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc"> 145</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">const_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">end</a>()<span class="keyword"> const</span></div>
211
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;<span class="keyword"> </span>{</div>
212
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>.end();</div>
213
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div>
214
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
215
+ <div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e"> 150</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">global_begin</a>()</div>
216
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
217
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
218
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
219
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2"> 154</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">global_begin</a>()<span class="keyword"> const</span></div>
220
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;<span class="keyword"> </span>{</div>
221
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.begin();</div>
222
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div>
223
+ <div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b"> 158</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">global_end</a>()</div>
224
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; {</div>
225
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
226
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
227
+ <div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2"> 162</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">const_global_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">global_end</a>()<span class="keyword"> const</span></div>
228
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;<span class="keyword"> </span>{</div>
229
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>.end();</div>
230
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
231
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; </div>
232
+ <div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065"> 167</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">alias_begin</a>()</div>
233
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
234
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
235
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; }</div>
236
+ <div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852"> 171</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">alias_begin</a>()<span class="keyword"> const</span></div>
237
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160;<span class="keyword"> </span>{</div>
238
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.begin();</div>
239
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
240
+ <div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc"> 175</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">alias_end</a>()</div>
241
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
242
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
243
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
244
+ <div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f"> 179</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">const_alias_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">alias_end</a>()<span class="keyword"> const</span></div>
245
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160;<span class="keyword"> </span>{</div>
246
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>.end();</div>
247
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; }</div>
248
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; </div>
249
+ <div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d"> 184</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">constant_begin</a>()</div>
250
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div>
251
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
252
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
253
+ <div class="line"><a name="l00188"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf"> 188</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">constant_begin</a>()<span class="keyword"> const</span></div>
254
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160;<span class="keyword"> </span>{</div>
255
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.begin();</div>
256
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div>
257
+ <div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e"> 192</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">constant_end</a>()</div>
258
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; {</div>
259
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
260
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; }</div>
261
+ <div class="line"><a name="l00196"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0"> 196</a></span>&#160; <a class="code" href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">const_cdata_iterator</a> <a class="code" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">constant_end</a>()<span class="keyword"> const</span></div>
262
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;<span class="keyword"> </span>{</div>
263
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>.end();</div>
264
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
265
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; </div>
266
+ <div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344"> 202</a></span>&#160; <span class="keyword">const</span> <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">getModuleIdentifier</a>()<span class="keyword"> const</span></div>
267
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;<span class="keyword"> </span>{</div>
268
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>.empty())</div>
269
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; {</div>
270
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>.empty() &amp;&amp;</div>
271
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="stringliteral">&quot;No module found! Reading from a file other than LLVM-IR?&quot;</span>);</div>
272
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">moduleIdentifier</a>;</div>
273
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
274
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">else</span></div>
275
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
276
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">pagReadFromTxt</a>;</div>
277
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
278
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
279
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; </div>
280
+ <div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1"> 216</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">FunctionSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>()<span class="keyword"> const</span></div>
281
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160;<span class="keyword"> </span>{</div>
282
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">FunctionSet</a>;</div>
283
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; }</div>
284
+ <div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b"> 220</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">ConstantType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">getConstantSet</a>()<span class="keyword"> const</span></div>
285
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160;<span class="keyword"> </span>{</div>
286
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">ConstantSet</a>;</div>
287
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
288
+ <div class="line"><a name="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba"> 224</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">GlobalSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">getGlobalSet</a>()<span class="keyword"> const</span></div>
289
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160;<span class="keyword"> </span>{</div>
290
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">GlobalSet</a>;</div>
291
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
292
+ <div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108"> 228</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">AliasSetType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">getAliasSet</a>()<span class="keyword"> const</span></div>
293
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160;<span class="keyword"> </span>{</div>
294
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">AliasSet</a>;</div>
295
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
296
+ <div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd"> 232</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">OtherValueType</a>&amp; <a class="code" href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">getOtherValueSet</a>()<span class="keyword"> const</span></div>
297
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160;<span class="keyword"> </span>{</div>
298
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">OtherValueSet</a>;</div>
299
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
300
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160;};</div>
301
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
302
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160;} <span class="comment">// End namespace SVF</span></div>
303
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
304
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_SVFMODULE_H_ */</span><span class="preprocessor"></span></div>
306
305
  </div><!-- fragment --></div><!-- contents -->
307
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aae827124684e6c0d6a72acece0e9d33f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">SVF::SVFModule::GlobalSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; GlobalSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00048">SVFModule.h:48</a></div></div>
308
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4cf1ca2e9f045a0520b0a8a6cd5993f2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule::global_iterator</a></div><div class="ttdeci">GlobalSetType::iterator global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00056">SVFModule.h:56</a></div></div>
309
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00073">SVFModule.h:73</a></div></div>
310
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00217">SVFModule.h:217</a></div></div>
311
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a600d5cf02c750f78b461fcabc3e29f7f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule::const_alias_iterator</a></div><div class="ttdeci">AliasSetType::const_iterator const_alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00059">SVFModule.h:59</a></div></div>
312
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3a13c562020a6b18dfa94dadeb42c912"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">SVF::SVFModule::const_ovalue_iterator</a></div><div class="ttdeci">OtherValueType::const_iterator const_ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00063">SVFModule.h:63</a></div></div>
313
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
306
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aae827124684e6c0d6a72acece0e9d33f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">SVF::SVFModule::GlobalSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; GlobalSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00047">SVFModule.h:47</a></div></div>
307
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4cf1ca2e9f045a0520b0a8a6cd5993f2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule::global_iterator</a></div><div class="ttdeci">GlobalSetType::iterator global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00055">SVFModule.h:55</a></div></div>
308
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a99da46c17993e1faef5d3737bcca8d64"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64">SVF::SVFModule::OtherValueSet</a></div><div class="ttdeci">OtherValueType OtherValueSet</div><div class="ttdoc">All other values in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
309
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00216">SVFModule.h:216</a></div></div>
310
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a600d5cf02c750f78b461fcabc3e29f7f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule::const_alias_iterator</a></div><div class="ttdeci">AliasSetType::const_iterator const_alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00058">SVFModule.h:58</a></div></div>
311
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3a13c562020a6b18dfa94dadeb42c912"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3a13c562020a6b18dfa94dadeb42c912">SVF::SVFModule::const_ovalue_iterator</a></div><div class="ttdeci">OtherValueType::const_iterator const_ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00062">SVFModule.h:62</a></div></div>
312
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a2547331e2c32b077d5876e609cb7f48f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule::pagReadFromTxt</a></div><div class="ttdeci">static std::string pagReadFromTxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
314
313
  <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
315
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a236f64d0b5529573f5070506e07b1faf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">const_cdata_iterator constant_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00189">SVFModule.h:189</a></div></div>
316
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac40e98040f949171279afec54bb03f71"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">SVF::SVFModule::moduleIdentifier</a></div><div class="ttdeci">std::string moduleIdentifier</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
317
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad3f057892f970c22ef3bf345841eb4cc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00146">SVFModule.h:146</a></div></div>
318
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7af3076a26060090377d1f74293560fe"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">SVF::SVFModule::setPagFromTXT</a></div><div class="ttdeci">static void setPagFromTXT(const std::string &amp;txt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00084">SVFModule.h:84</a></div></div>
319
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0bc5a63d8c10da51766007cf40b095e5"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">SVF::SVFModule::addGlobalSet</a></div><div class="ttdeci">void addGlobalSet(SVFGlobalValue *glob)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00111">SVFModule.h:111</a></div></div>
320
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ae64d24569942d7c4b18d2198be4839f3"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">SVF::SVFModule::addConstant</a></div><div class="ttdeci">void addConstant(SVFConstant *cd)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00121">SVFModule.h:121</a></div></div>
314
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a236f64d0b5529573f5070506e07b1faf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">const_cdata_iterator constant_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00188">SVFModule.h:188</a></div></div>
315
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac40e98040f949171279afec54bb03f71"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac40e98040f949171279afec54bb03f71">SVF::SVFModule::moduleIdentifier</a></div><div class="ttdeci">std::string moduleIdentifier</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00067">SVFModule.h:67</a></div></div>
316
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad3f057892f970c22ef3bf345841eb4cc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad3f057892f970c22ef3bf345841eb4cc">SVF::SVFModule::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00145">SVFModule.h:145</a></div></div>
317
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7af3076a26060090377d1f74293560fe"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7af3076a26060090377d1f74293560fe">SVF::SVFModule::setPagFromTXT</a></div><div class="ttdeci">static void setPagFromTXT(const std::string &amp;txt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00083">SVFModule.h:83</a></div></div>
318
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0bc5a63d8c10da51766007cf40b095e5"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5">SVF::SVFModule::addGlobalSet</a></div><div class="ttdeci">void addGlobalSet(SVFGlobalValue *glob)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00110">SVFModule.h:110</a></div></div>
319
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ae64d24569942d7c4b18d2198be4839f3"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3">SVF::SVFModule::addConstant</a></div><div class="ttdeci">void addConstant(SVFConstant *cd)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00120">SVFModule.h:120</a></div></div>
321
320
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0438953758cecab4ebe1b48895639eb8"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule::SVFModule</a></div><div class="ttdeci">SVFModule()=default</div><div class="ttdoc">Constructors.</div></div>
322
321
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_afdb11f5fcbb6e7ed2689e3387bb78850"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule::getSVFFunction</a></div><div class="ttdeci">const SVFFunction * getSVFFunction(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00048">SVFModule.cpp:48</a></div></div>
323
322
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_acdb9044668627a9e4102c32cae864db6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acdb9044668627a9e4102c32cae864db6">SVF::SVFModule::~SVFModule</a></div><div class="ttdeci">~SVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00035">SVFModule.cpp:35</a></div></div>
324
323
  <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
325
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_afa9068e662918f6649d5ca25340a3ae2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule::global_end</a></div><div class="ttdeci">const_global_iterator global_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00163">SVFModule.h:163</a></div></div>
326
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4dc32c583d29d74d052eaa5665b0b70e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule::global_begin</a></div><div class="ttdeci">global_iterator global_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00151">SVFModule.h:151</a></div></div>
327
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00142">SVFModule.h:142</a></div></div>
328
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a65ca3949501f11efa1eb94e08a40a2f9"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule::AliasSet</a></div><div class="ttdeci">AliasSetType AliasSet</div><div class="ttdoc">The Aliases in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00071">SVFModule.h:71</a></div></div>
329
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aceb9c743ba592836586f3cfb76e56108"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">SVF::SVFModule::getAliasSet</a></div><div class="ttdeci">const AliasSetType &amp; getAliasSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00229">SVFModule.h:229</a></div></div>
330
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d11fccf78e9e69cef94c26aab6689d7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">SVF::SVFModule::ovalue_iterator</a></div><div class="ttdeci">OtherValueType::iterator ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00062">SVFModule.h:62</a></div></div>
324
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_afa9068e662918f6649d5ca25340a3ae2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule::global_end</a></div><div class="ttdeci">const_global_iterator global_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00162">SVFModule.h:162</a></div></div>
325
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4dc32c583d29d74d052eaa5665b0b70e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule::global_begin</a></div><div class="ttdeci">global_iterator global_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00150">SVFModule.h:150</a></div></div>
326
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
327
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a65ca3949501f11efa1eb94e08a40a2f9"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9">SVF::SVFModule::AliasSet</a></div><div class="ttdeci">AliasSetType AliasSet</div><div class="ttdoc">The Aliases in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00070">SVFModule.h:70</a></div></div>
328
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aceb9c743ba592836586f3cfb76e56108"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aceb9c743ba592836586f3cfb76e56108">SVF::SVFModule::getAliasSet</a></div><div class="ttdeci">const AliasSetType &amp; getAliasSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00228">SVFModule.h:228</a></div></div>
329
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d11fccf78e9e69cef94c26aab6689d7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7">SVF::SVFModule::ovalue_iterator</a></div><div class="ttdeci">OtherValueType::iterator ovalue_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
331
330
  <div class="ttc" id="aThreadAPI_8h_html"><div class="ttname"><a href="ThreadAPI_8h.html">ThreadAPI.h</a></div></div>
332
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa6627399cf4d30d576f76f681d83449d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">SVF::SVFModule::addAliasSet</a></div><div class="ttdeci">void addAliasSet(SVFGlobalValue *alias)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00116">SVFModule.h:116</a></div></div>
333
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5d4f73db8fb5bddb0e7630eda8c6da57"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule::const_global_iterator</a></div><div class="ttdeci">GlobalSetType::const_iterator const_global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00057">SVFModule.h:57</a></div></div>
334
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a395c99c67cb2f45121a614620afaa8bf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">SVF::SVFModule::OtherValueType</a></div><div class="ttdeci">std::vector&lt; SVFOtherValue * &gt; OtherValueType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00051">SVFModule.h:51</a></div></div>
331
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa6627399cf4d30d576f76f681d83449d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">SVF::SVFModule::addAliasSet</a></div><div class="ttdeci">void addAliasSet(SVFGlobalValue *alias)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00115">SVFModule.h:115</a></div></div>
332
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5d4f73db8fb5bddb0e7630eda8c6da57"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule::const_global_iterator</a></div><div class="ttdeci">GlobalSetType::const_iterator const_global_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00056">SVFModule.h:56</a></div></div>
333
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a395c99c67cb2f45121a614620afaa8bf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf">SVF::SVFModule::OtherValueType</a></div><div class="ttdeci">std::vector&lt; SVFOtherValue * &gt; OtherValueType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00050">SVFModule.h:50</a></div></div>
335
334
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
336
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4ff4bbd1771615757fc6575282046e30"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule::GlobalSet</a></div><div class="ttdeci">GlobalSetType GlobalSet</div><div class="ttdoc">The Global Variables in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00070">SVFModule.h:70</a></div></div>
337
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a436c4bdede4d1c1e68d7e41bd2b27da7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">SVF::SVFModule::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00138">SVFModule.h:138</a></div></div>
338
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7f2b4647c8d69c8328b63e576cb6d065"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">alias_iterator alias_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00168">SVFModule.h:168</a></div></div>
339
- <div class="ttc" id="aExtAPI_8h_html"><div class="ttname"><a href="ExtAPI_8h.html">ExtAPI.h</a></div></div>
340
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a0fe93cc13b799fc28540fb312573c6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">SVF::SVFModule::addFunctionSet</a></div><div class="ttdeci">void addFunctionSet(SVFFunction *svfFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00107">SVFModule.h:107</a></div></div>
341
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00221">SVFModule.h:221</a></div></div>
342
- <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00789">SVFValue.h:789</a></div></div>
335
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a4ff4bbd1771615757fc6575282046e30"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30">SVF::SVFModule::GlobalSet</a></div><div class="ttdeci">GlobalSetType GlobalSet</div><div class="ttdoc">The Global Variables in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
336
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a436c4bdede4d1c1e68d7e41bd2b27da7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">SVF::SVFModule::begin</a></div><div class="ttdeci">const_iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00137">SVFModule.h:137</a></div></div>
337
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7f2b4647c8d69c8328b63e576cb6d065"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">alias_iterator alias_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00167">SVFModule.h:167</a></div></div>
338
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a0fe93cc13b799fc28540fb312573c6"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6">SVF::SVFModule::addFunctionSet</a></div><div class="ttdeci">void addFunctionSet(SVFFunction *svfFunc)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00106">SVFModule.h:106</a></div></div>
339
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa29e64e29db6af2387dec987a5e1985b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa29e64e29db6af2387dec987a5e1985b">SVF::SVFModule::getConstantSet</a></div><div class="ttdeci">const ConstantType &amp; getConstantSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00220">SVFModule.h:220</a></div></div>
340
+ <div class="ttc" id="aclassSVF_1_1SVFConstant_html"><div class="ttname"><a href="classSVF_1_1SVFConstant.html">SVF::SVFConstant</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00795">SVFValue.h:795</a></div></div>
343
341
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_a545633e2d7f103b4983b47d4e1c56823"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a545633e2d7f103b4983b47d4e1c56823">SVF::SVFModule::releaseSVFModule</a></div><div class="ttdeci">static void releaseSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00069">SVFModule.cpp:69</a></div></div>
344
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af22af3a6d54bb510e5c4805eff3d12cd"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">SVF::SVFModule::getOtherValueSet</a></div><div class="ttdeci">const OtherValueType &amp; getOtherValueSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00233">SVFModule.h:233</a></div></div>
342
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af22af3a6d54bb510e5c4805eff3d12cd"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd">SVF::SVFModule::getOtherValueSet</a></div><div class="ttdeci">const OtherValueType &amp; getOtherValueSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00232">SVFModule.h:232</a></div></div>
345
343
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
346
- <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01027">SVFValue.h:1027</a></div></div>
347
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a996acd5c2c10b16e0f8b6356073bf499"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">SVF::SVFModule::ConstantType</a></div><div class="ttdeci">std::vector&lt; SVFConstant * &gt; ConstantType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00050">SVFModule.h:50</a></div></div>
348
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abd37790149389fe1fd3bf93196b302e0"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule::constant_end</a></div><div class="ttdeci">const_cdata_iterator constant_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00197">SVFModule.h:197</a></div></div>
349
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00069">SVFModule.h:69</a></div></div>
350
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a709371b13dcf500277f8bc275bdb23c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">SVF::SVFModule::iterator</a></div><div class="ttdeci">FunctionSetType::iterator iterator</div><div class="ttdoc">Iterators type def.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
351
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acf5e3a6a89fb3e0c5d2fc7d79593b8a7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">SVF::SVFModule::cdata_iterator</a></div><div class="ttdeci">ConstantType::iterator cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00060">SVFModule.h:60</a></div></div>
352
- <div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00812">SVFValue.h:812</a></div></div>
353
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00099">SVFModule.h:99</a></div></div>
354
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a34164634d6ad9a7b76175907c8c44b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule::global_end</a></div><div class="ttdeci">global_iterator global_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00159">SVFModule.h:159</a></div></div>
355
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d742b73f8ef330334ff0280024399ba"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">SVF::SVFModule::getGlobalSet</a></div><div class="ttdeci">const GlobalSetType &amp; getGlobalSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00225">SVFModule.h:225</a></div></div>
344
+ <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html">SVF::SVFOtherValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01033">SVFValue.h:1033</a></div></div>
345
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a996acd5c2c10b16e0f8b6356073bf499"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a996acd5c2c10b16e0f8b6356073bf499">SVF::SVFModule::ConstantType</a></div><div class="ttdeci">std::vector&lt; SVFConstant * &gt; ConstantType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00049">SVFModule.h:49</a></div></div>
346
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abd37790149389fe1fd3bf93196b302e0"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule::constant_end</a></div><div class="ttdeci">const_cdata_iterator constant_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00196">SVFModule.h:196</a></div></div>
347
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af33660b9938a1a78b7ae44bf429c717e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule::FunctionSet</a></div><div class="ttdeci">FunctionSetType FunctionSet</div><div class="ttdoc">The Functions in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00068">SVFModule.h:68</a></div></div>
348
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a709371b13dcf500277f8bc275bdb23c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7">SVF::SVFModule::iterator</a></div><div class="ttdeci">FunctionSetType::iterator iterator</div><div class="ttdoc">Iterators type def.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00053">SVFModule.h:53</a></div></div>
349
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acf5e3a6a89fb3e0c5d2fc7d79593b8a7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acf5e3a6a89fb3e0c5d2fc7d79593b8a7">SVF::SVFModule::cdata_iterator</a></div><div class="ttdeci">ConstantType::iterator cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00059">SVFModule.h:59</a></div></div>
350
+ <div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00818">SVFValue.h:818</a></div></div>
351
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1357c876eccedd58b3abe68875b3a570"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule::pagReadFromTXT</a></div><div class="ttdeci">static bool pagReadFromTXT()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00098">SVFModule.h:98</a></div></div>
352
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a8a34164634d6ad9a7b76175907c8c44b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule::global_end</a></div><div class="ttdeci">global_iterator global_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00158">SVFModule.h:158</a></div></div>
353
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a7d742b73f8ef330334ff0280024399ba"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a7d742b73f8ef330334ff0280024399ba">SVF::SVFModule::getGlobalSet</a></div><div class="ttdeci">const GlobalSetType &amp; getGlobalSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00224">SVFModule.h:224</a></div></div>
356
354
  <div class="ttc" id="aclassSVF_1_1SVFIRWriter_html"><div class="ttname"><a href="classSVF_1_1SVFIRWriter.html">SVF::SVFIRWriter</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l00379">SVFFileSystem.h:379</a></div></div>
357
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acfd1ffb4696136de493843786c799e6b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">SVF::SVFModule::FunctionSetType</a></div><div class="ttdeci">std::vector&lt; const SVFFunction * &gt; FunctionSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00047">SVFModule.h:47</a></div></div>
358
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00134">SVFModule.h:134</a></div></div>
359
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00055">SVFModule.h:55</a></div></div>
360
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad4616c3bde775e0cf19ea9ed90065a2e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule::constant_end</a></div><div class="ttdeci">cdata_iterator constant_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00193">SVFModule.h:193</a></div></div>
361
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab10b74abdfde0139cd62e4d9900702fc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">SVF::SVFModule::const_cdata_iterator</a></div><div class="ttdeci">ConstantType::const_iterator const_cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00061">SVFModule.h:61</a></div></div>
362
- <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
363
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_af81c6deed3978562f83f120119c6aad2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule::global_begin</a></div><div class="ttdeci">const_global_iterator global_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00155">SVFModule.h:155</a></div></div>
364
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0e28f6eaf32efc6f2c0987e64f1df852"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">const_alias_iterator alias_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00172">SVFModule.h:172</a></div></div>
365
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_abee99d29b7d4c4915a386895c755009c"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule::alias_iterator</a></div><div class="ttdeci">AliasSetType::iterator alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00058">SVFModule.h:58</a></div></div>
366
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a54c2bc2cb7cda0d74f4cadc676461b60"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule::pagFileName</a></div><div class="ttdeci">static std::string pagFileName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00094">SVFModule.h:94</a></div></div>
367
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3cfd0983849950099d1e8f8e0fda42bc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule::alias_end</a></div><div class="ttdeci">alias_iterator alias_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00176">SVFModule.h:176</a></div></div>
368
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac088d7ffb9319033308b7aaee78f364d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">cdata_iterator constant_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00185">SVFModule.h:185</a></div></div>
355
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acfd1ffb4696136de493843786c799e6b"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b">SVF::SVFModule::FunctionSetType</a></div><div class="ttdeci">std::vector&lt; const SVFFunction * &gt; FunctionSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00046">SVFModule.h:46</a></div></div>
356
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
357
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
358
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad4616c3bde775e0cf19ea9ed90065a2e"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule::constant_end</a></div><div class="ttdeci">cdata_iterator constant_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00192">SVFModule.h:192</a></div></div>
359
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab10b74abdfde0139cd62e4d9900702fc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab10b74abdfde0139cd62e4d9900702fc">SVF::SVFModule::const_cdata_iterator</a></div><div class="ttdeci">ConstantType::const_iterator const_cdata_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00060">SVFModule.h:60</a></div></div>
360
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
361
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_af81c6deed3978562f83f120119c6aad2"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule::global_begin</a></div><div class="ttdeci">const_global_iterator global_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00154">SVFModule.h:154</a></div></div>
362
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a0e28f6eaf32efc6f2c0987e64f1df852"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule::alias_begin</a></div><div class="ttdeci">const_alias_iterator alias_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00171">SVFModule.h:171</a></div></div>
363
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_abee99d29b7d4c4915a386895c755009c"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule::alias_iterator</a></div><div class="ttdeci">AliasSetType::iterator alias_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00057">SVFModule.h:57</a></div></div>
364
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a54c2bc2cb7cda0d74f4cadc676461b60"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule::pagFileName</a></div><div class="ttdeci">static std::string pagFileName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00093">SVFModule.h:93</a></div></div>
365
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a3cfd0983849950099d1e8f8e0fda42bc"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule::alias_end</a></div><div class="ttdeci">alias_iterator alias_end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00175">SVFModule.h:175</a></div></div>
366
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ac088d7ffb9319033308b7aaee78f364d"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule::constant_begin</a></div><div class="ttdeci">cdata_iterator constant_begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00184">SVFModule.h:184</a></div></div>
369
367
  <div class="ttc" id="aNodeIDAllocator_8h_html"><div class="ttname"><a href="NodeIDAllocator_8h.html">NodeIDAllocator.h</a></div></div>
370
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1bb5c818ec63d81a238f3d242a89079f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule::alias_end</a></div><div class="ttdeci">const_alias_iterator alias_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00180">SVFModule.h:180</a></div></div>
371
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a9dc9266c21ba80b13ebb22731e1e9caf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">SVF::SVFModule::AliasSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; AliasSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00049">SVFModule.h:49</a></div></div>
368
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a1bb5c818ec63d81a238f3d242a89079f"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule::alias_end</a></div><div class="ttdeci">const_alias_iterator alias_end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00179">SVFModule.h:179</a></div></div>
369
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a9dc9266c21ba80b13ebb22731e1e9caf"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf">SVF::SVFModule::AliasSetType</a></div><div class="ttdeci">std::vector&lt; SVFGlobalValue * &gt; AliasSetType</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00048">SVFModule.h:48</a></div></div>
372
370
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
373
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a48d7f0643bb228701dcabb88ef541fca"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">SVF::SVFModule::addOtherValue</a></div><div class="ttdeci">void addOtherValue(SVFOtherValue *ov)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00125">SVFModule.h:125</a></div></div>
371
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a48d7f0643bb228701dcabb88ef541fca"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca">SVF::SVFModule::addOtherValue</a></div><div class="ttdeci">void addOtherValue(SVFOtherValue *ov)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00124">SVFModule.h:124</a></div></div>
374
372
  <div class="ttc" id="aclassSVF_1_1SVFIRReader_html"><div class="ttname"><a href="classSVF_1_1SVFIRReader.html">SVF::SVFIRReader</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFFileSystem_8h_source.html#l01033">SVFFileSystem.h:1033</a></div></div>
375
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00072">SVFModule.h:72</a></div></div>
373
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_a6ce288ee551c8a33cb353ee2374762c7"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a6ce288ee551c8a33cb353ee2374762c7">SVF::SVFModule::ConstantSet</a></div><div class="ttdeci">ConstantType ConstantSet</div><div class="ttdoc">The ConstantData in the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00071">SVFModule.h:71</a></div></div>
376
374
  <div class="ttc" id="aclassSVF_1_1SVFModule_html_ab930bb5449538c4d0da1297a103788a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ab930bb5449538c4d0da1297a103788a1">SVF::SVFModule::getSVFModule</a></div><div class="ttdeci">static SVFModule * getSVFModule()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00060">SVFModule.cpp:60</a></div></div>
377
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00203">SVFModule.h:203</a></div></div>
378
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00066">SVFModule.h:66</a></div></div>
379
- <div class="ttc" id="aclassSVF_1_1SVFModule_html_acaba1ff38ed1fdd8a9a1251a1b36be92"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">SVF::SVFModule::setModuleIdentifier</a></div><div class="ttdeci">void setModuleIdentifier(const std::string &amp;moduleIdentifier)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00089">SVFModule.h:89</a></div></div>
375
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00202">SVFModule.h:202</a></div></div>
376
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_ad81c63b60d030828262ea375917cc189"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule::svfModule</a></div><div class="ttdeci">static SVFModule * svfModule</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00065">SVFModule.h:65</a></div></div>
377
+ <div class="ttc" id="aclassSVF_1_1SVFModule_html_acaba1ff38ed1fdd8a9a1251a1b36be92"><div class="ttname"><a href="classSVF_1_1SVFModule.html#acaba1ff38ed1fdd8a9a1251a1b36be92">SVF::SVFModule::setModuleIdentifier</a></div><div class="ttdeci">void setModuleIdentifier(const std::string &amp;moduleIdentifier)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00088">SVFModule.h:88</a></div></div>
380
378
  <!-- start footer part -->
381
379
  <hr class="footer"/><address class="footer"><small>
382
380
  Generated by &#160;<a href="http://www.doxygen.org/index.html">