svf-tools 1.0.628 → 1.0.630

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 (572) hide show
  1. package/SVF-doxygen/html/html/AddressValue_8h_source.html +2 -2
  2. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +3 -3
  3. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +5 -5
  4. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  6. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +21 -21
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -6
  9. package/SVF-doxygen/html/html/Annotator_8h.html +2 -1
  10. package/SVF-doxygen/html/html/Annotator_8h_source.html +19 -18
  11. package/SVF-doxygen/html/html/CFGNormalizer_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/CFLAlias_8cpp.html +1 -0
  14. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +11 -10
  15. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +5 -5
  16. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +3 -3
  17. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +3 -3
  19. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/CFLVF_8cpp.html +1 -0
  24. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +6 -5
  25. package/SVF-doxygen/html/html/CFLVF_8h_source.html +3 -3
  26. package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +1 -1
  27. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +23 -23
  28. package/SVF-doxygen/html/html/CHG_8cpp.html +7 -6
  29. package/SVF-doxygen/html/html/CHG_8cpp_source.html +22 -21
  30. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/CSC_8cpp_source.html +3 -3
  32. package/SVF-doxygen/html/html/CSC_8h_source.html +3 -3
  33. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +2 -2
  34. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +4 -4
  35. package/SVF-doxygen/html/html/ConsGEdge_8h_source.html +2 -2
  36. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +1 -1
  37. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +11 -11
  38. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  39. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +8 -8
  40. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +6 -6
  41. package/SVF-doxygen/html/html/CoreBitVector_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/CoreBitVector_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/CppUtil_8cpp.html +247 -0
  44. package/SVF-doxygen/html/html/CppUtil_8cpp_source.html +98 -0
  45. package/SVF-doxygen/html/html/CppUtil_8h.html +122 -0
  46. package/SVF-doxygen/html/html/CppUtil_8h_source.html +94 -0
  47. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +3 -3
  48. package/SVF-doxygen/html/html/DCHG_8cpp.html +1 -1
  49. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +40 -40
  50. package/SVF-doxygen/html/html/DCHG_8h.html +2 -1
  51. package/SVF-doxygen/html/html/DCHG_8h_source.html +75 -74
  52. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +10 -10
  53. package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
  54. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/DDAPass_8h_source.html +3 -3
  56. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +4 -4
  57. package/SVF-doxygen/html/html/DDAStat_8h_source.html +2 -2
  58. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
  59. package/SVF-doxygen/html/html/DPItem_8h_source.html +6 -6
  60. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +3 -3
  61. package/SVF-doxygen/html/html/ExeState_8cpp_source.html +2 -2
  62. package/SVF-doxygen/html/html/ExeState_8h_source.html +2 -2
  63. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +9 -8
  64. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +10 -9
  65. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -3
  66. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +6 -6
  67. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
  68. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +1 -1
  69. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +7 -7
  70. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +7 -7
  71. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +4 -4
  72. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +14 -14
  73. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
  74. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +6 -6
  75. package/SVF-doxygen/html/html/GraphPrinter_8h_source.html +1 -1
  76. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +10 -10
  77. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +3 -3
  79. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +7 -7
  82. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  83. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +8 -8
  84. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/IntervalExeState_8cpp_source.html +2 -2
  86. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +3 -3
  87. package/SVF-doxygen/html/html/IntervalValue_8h_source.html +5 -5
  88. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +4 -4
  89. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h.html +1 -0
  90. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +3 -2
  91. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +41 -41
  92. package/SVF-doxygen/html/html/LLVMModule_8h.html +1 -1
  93. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +6 -6
  94. package/SVF-doxygen/html/html/LLVMUtil_8cpp.html +78 -1
  95. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +71 -38
  96. package/SVF-doxygen/html/html/LLVMUtil_8h.html +41 -7
  97. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +75 -50
  98. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  99. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +7 -7
  100. package/SVF-doxygen/html/html/LocationSet_8h_source.html +4 -4
  101. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +11 -11
  102. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +5 -5
  103. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +6 -6
  104. package/SVF-doxygen/html/html/MHP_8cpp_source.html +10 -10
  105. package/SVF-doxygen/html/html/MHP_8h_source.html +2 -2
  106. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -2
  107. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +5 -5
  108. package/SVF-doxygen/html/html/MTAAnnotator_8h.html +3 -1
  109. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +29 -27
  110. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +7 -7
  111. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +6 -6
  112. package/SVF-doxygen/html/html/MTAStat_8h.html +1 -0
  113. package/SVF-doxygen/html/html/MTAStat_8h_source.html +9 -8
  114. package/SVF-doxygen/html/html/MTA_8cpp_source.html +13 -13
  115. package/SVF-doxygen/html/html/MTA_8h.html +1 -0
  116. package/SVF-doxygen/html/html/MTA_8h_source.html +12 -11
  117. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  118. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +12 -12
  119. package/SVF-doxygen/html/html/MemRegion_8h_source.html +5 -5
  120. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +10 -10
  121. package/SVF-doxygen/html/html/MemSSA_8h_source.html +4 -4
  122. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +4 -4
  123. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp.html +1 -0
  124. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +23 -23
  125. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +17 -17
  126. package/SVF-doxygen/html/html/NumericLiteral_8h_source.html +4 -4
  127. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  128. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +2 -2
  129. package/SVF-doxygen/html/html/PCG_8cpp_source.html +5 -5
  130. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +5 -5
  131. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +4 -4
  132. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +2 -2
  133. package/SVF-doxygen/html/html/PersistentPointsToCache_8h.html +1 -0
  134. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +43 -43
  135. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +12 -12
  136. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp.html +1 -0
  137. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +24 -23
  138. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +22 -22
  139. package/SVF-doxygen/html/html/PointerAnalysis_8cpp.html +2 -1
  140. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +34 -33
  141. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +25 -25
  142. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +2 -2
  143. package/SVF-doxygen/html/html/PointsTo_8h_source.html +1 -1
  144. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
  145. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +5 -5
  146. package/SVF-doxygen/html/html/RelExeState_8cpp_source.html +2 -2
  147. package/SVF-doxygen/html/html/RelExeState_8h_source.html +4 -4
  148. package/SVF-doxygen/html/html/RelationSolver_8cpp_source.html +1 -1
  149. package/SVF-doxygen/html/html/RelationSolver_8h_source.html +1 -1
  150. package/SVF-doxygen/html/html/SCC_8h_source.html +1 -1
  151. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +5 -5
  152. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
  153. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +2 -2
  154. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +4 -4
  155. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  156. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  157. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +4 -4
  158. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +3 -3
  159. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +13 -13
  160. package/SVF-doxygen/html/html/SVFG_8h_source.html +2 -2
  161. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +12 -12
  162. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +1 -1
  163. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +1 -1
  164. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +1 -1
  165. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +35 -35
  166. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +1 -0
  167. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +54 -53
  168. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +5 -5
  169. package/SVF-doxygen/html/html/SVFIR_8h_source.html +7 -7
  170. package/SVF-doxygen/html/html/SVFLoop_8h_source.html +1 -1
  171. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +1 -1
  172. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  173. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +4 -4
  174. package/SVF-doxygen/html/html/SVFStat_8h_source.html +1 -1
  175. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +3 -3
  176. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +6 -6
  177. package/SVF-doxygen/html/html/SVFType_8h.html +65 -35
  178. package/SVF-doxygen/html/html/SVFType_8h_source.html +114 -114
  179. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +4 -4
  180. package/SVF-doxygen/html/html/SVFUtil_8h.html +2 -3
  181. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +36 -36
  182. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +4 -4
  183. package/SVF-doxygen/html/html/SVFValue_8h_source.html +11 -11
  184. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
  185. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +4 -4
  186. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  187. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp.html +2 -0
  188. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +37 -36
  189. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +27 -27
  190. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +5 -5
  191. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +1 -1
  192. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +6 -6
  193. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp.html +1 -1
  194. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +36 -36
  195. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +3 -3
  196. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +17 -17
  197. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +8 -8
  198. package/SVF-doxygen/html/html/TCT_8cpp_source.html +7 -7
  199. package/SVF-doxygen/html/html/TCT_8h_source.html +4 -4
  200. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +4 -4
  201. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +4 -4
  202. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
  203. package/SVF-doxygen/html/html/TypeAnalysis_8cpp.html +1 -0
  204. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +11 -10
  205. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +5 -5
  206. package/SVF-doxygen/html/html/VFGEdge_8h_source.html +2 -2
  207. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  208. package/SVF-doxygen/html/html/VFG_8cpp_source.html +5 -5
  209. package/SVF-doxygen/html/html/VFG_8h_source.html +3 -3
  210. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +5 -5
  211. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +7 -7
  212. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +3 -3
  213. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +1 -1
  214. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +6 -6
  215. package/SVF-doxygen/html/html/WPAPass_8h_source.html +3 -3
  216. package/SVF-doxygen/html/html/WPASolver_8h_source.html +3 -3
  217. package/SVF-doxygen/html/html/WPAStat_8h_source.html +1 -1
  218. package/SVF-doxygen/html/html/WTO_8h_source.html +2 -2
  219. package/SVF-doxygen/html/html/WorkList_8h_source.html +1 -1
  220. package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +1 -1
  221. package/SVF-doxygen/html/html/Z3Expr_8h_source.html +1 -1
  222. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  223. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  224. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  225. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1AddressValue.html +3 -3
  228. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +22 -22
  230. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +11 -11
  231. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +10 -10
  232. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +4 -4
  233. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +5 -5
  234. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
  235. package/SVF-doxygen/html/html/classSVF_1_1Annotator.html +39 -39
  236. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +49 -49
  237. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1CFGNormalizer.html +4 -4
  242. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +15 -15
  243. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +8 -8
  244. package/SVF-doxygen/html/html/classSVF_1_1CFLData.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +1 -1
  246. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +8 -8
  247. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +63 -63
  248. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +22 -22
  249. package/SVF-doxygen/html/html/classSVF_1_1CHNode.html +2 -2
  250. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +4 -4
  251. package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +1 -1
  252. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  253. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +2 -2
  254. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +1 -1
  255. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  257. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +1 -1
  258. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  259. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +9 -9
  260. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +6 -6
  261. package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +2 -2
  262. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +23 -23
  263. package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +1 -1
  264. package/SVF-doxygen/html/html/classSVF_1_1CoreBitVector.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  267. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +2 -2
  268. package/SVF-doxygen/html/html/classSVF_1_1CxtStmtDPItem.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +2 -2
  270. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +2 -2
  272. package/SVF-doxygen/html/html/classSVF_1_1DCHEdge.html +14 -14
  273. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +124 -124
  274. package/SVF-doxygen/html/html/classSVF_1_1DCHNode.html +66 -66
  275. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +5 -5
  276. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +6 -6
  277. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +6 -6
  278. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +35 -35
  279. package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +8 -8
  281. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +1 -1
  282. package/SVF-doxygen/html/html/classSVF_1_1ExeState.html +3 -3
  283. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +9 -9
  284. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
  286. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  287. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +17 -17
  288. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +32 -32
  289. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +6 -6
  290. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +15 -15
  291. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +1 -1
  292. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +4 -4
  294. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +1 -1
  296. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase.html +6 -6
  298. package/SVF-doxygen/html/html/classSVF_1_1GrammarBase_1_1SymbolHash.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +10 -10
  300. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +15 -15
  301. package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
  302. package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +1 -1
  303. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +4 -4
  304. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  305. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  306. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +5 -5
  307. package/SVF-doxygen/html/html/classSVF_1_1IntervalValue.html +1 -1
  308. package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +1 -1
  310. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +5 -5
  312. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +1 -1
  313. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +70 -70
  314. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +11 -11
  315. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +1 -1
  316. package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +1 -1
  317. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +8 -8
  318. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +47 -47
  319. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +6 -6
  320. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +35 -35
  321. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +23 -23
  322. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +1 -1
  323. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  324. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +1 -1
  325. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  326. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +38 -38
  327. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +77 -77
  328. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +13 -13
  329. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +11 -11
  330. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +19 -19
  331. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  332. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +29 -29
  333. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +2 -2
  334. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +2 -2
  335. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +2 -2
  336. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +1 -1
  337. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator.html +15 -15
  338. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +43 -43
  339. package/SVF-doxygen/html/html/classSVF_1_1NumericLiteral.html +6 -6
  340. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +5 -5
  341. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  342. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  343. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +7 -7
  344. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  345. package/SVF-doxygen/html/html/classSVF_1_1POCRAlias.html +1 -1
  346. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +4 -4
  347. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphEdge.html +2 -2
  348. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  349. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +2 -2
  350. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +9 -9
  351. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +10 -10
  352. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +2 -2
  353. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +19 -19
  354. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +141 -141
  355. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +1 -1
  356. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +2 -2
  357. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +78 -78
  358. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +5 -5
  359. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +2 -2
  360. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +7 -7
  361. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +6 -6
  362. package/SVF-doxygen/html/html/classSVF_1_1RelExeState.html +7 -7
  363. package/SVF-doxygen/html/html/classSVF_1_1RelationSolver.html +2 -2
  364. package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +1 -1
  365. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +1 -1
  366. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  367. package/SVF-doxygen/html/html/classSVF_1_1SVFArrayType.html +6 -7
  368. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +4 -4
  369. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +1 -1
  370. package/SVF-doxygen/html/html/classSVF_1_1SVFFunctionType.html +9 -10
  371. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +10 -10
  372. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +8 -8
  373. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +6 -6
  374. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +6 -6
  375. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +5 -5
  376. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +30 -30
  377. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +352 -352
  378. package/SVF-doxygen/html/html/classSVF_1_1SVFIntergerType.html +5 -6
  379. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +1 -1
  380. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +4 -5
  381. package/SVF-doxygen/html/html/classSVF_1_1SVFPointerType.html +9 -10
  382. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +5 -5
  383. package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +3 -3
  384. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +5 -6
  385. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +40 -42
  386. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +2 -2
  387. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  388. package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +4 -4
  389. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +95 -95
  390. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
  391. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +1 -1
  392. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +2 -2
  393. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +14 -14
  394. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +44 -44
  395. package/SVF-doxygen/html/html/classSVF_1_1StmtDPItem.html +1 -1
  396. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +1 -1
  397. package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +1 -1
  398. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +71 -71
  399. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +23 -23
  400. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +22 -22
  401. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +1 -1
  402. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  403. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  404. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +6 -6
  405. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +8 -8
  406. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +18 -18
  407. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +1 -1
  408. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  409. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +5 -5
  410. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  411. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +20 -20
  412. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +7 -7
  413. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
  414. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  415. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +7 -7
  416. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
  417. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +1 -1
  418. package/SVF-doxygen/html/html/classSVF_1_1Wto.html +1 -1
  419. package/SVF-doxygen/html/html/classSVF_1_1WtoCycle.html +1 -1
  420. package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html +1 -1
  421. package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html +1 -1
  422. package/SVF-doxygen/html/html/classSVF_1_1iter__range.html +1 -1
  423. package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html +1 -1
  424. package/SVF-doxygen/html/html/classSVF_1_1pointer__iterator.html +1 -1
  425. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  426. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  427. package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +2 -0
  428. package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
  429. package/SVF-doxygen/html/html/dir_967d846b666a902c6ca9bc5c37976e49.html +0 -2
  430. package/SVF-doxygen/html/html/dir_a07347b69f031d2f872c9d4a9c274c8c.html +0 -2
  431. package/SVF-doxygen/html/html/files.html +41 -41
  432. package/SVF-doxygen/html/html/functions_func_i.html +3 -3
  433. package/SVF-doxygen/html/html/functions_g.html +1 -1
  434. package/SVF-doxygen/html/html/functions_i.html +3 -3
  435. package/SVF-doxygen/html/html/functions_n.html +4 -4
  436. package/SVF-doxygen/html/html/functions_o.html +15 -13
  437. package/SVF-doxygen/html/html/functions_s.html +7 -7
  438. package/SVF-doxygen/html/html/functions_t.html +9 -9
  439. package/SVF-doxygen/html/html/functions_v.html +3 -3
  440. package/SVF-doxygen/html/html/globals_c.html +1 -1
  441. package/SVF-doxygen/html/html/globals_d.html +3 -0
  442. package/SVF-doxygen/html/html/globals_defs.html +3 -0
  443. package/SVF-doxygen/html/html/globals_func.html +3 -3
  444. package/SVF-doxygen/html/html/globals_g.html +1 -1
  445. package/SVF-doxygen/html/html/globals_h.html +1 -1
  446. package/SVF-doxygen/html/html/globals_i.html +1 -1
  447. package/SVF-doxygen/html/html/globals_n.html +1 -1
  448. package/SVF-doxygen/html/html/globals_s.html +1 -1
  449. package/SVF-doxygen/html/html/globals_v.html +4 -4
  450. package/SVF-doxygen/html/html/globals_vars.html +7 -7
  451. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +4 -4
  452. package/SVF-doxygen/html/html/iterator_8h_source.html +1 -1
  453. package/SVF-doxygen/html/html/iterator__range_8h_source.html +1 -1
  454. package/SVF-doxygen/html/html/mta_8cpp.html +4 -4
  455. package/SVF-doxygen/html/html/mta_8cpp_source.html +4 -4
  456. package/SVF-doxygen/html/html/namespaceSVF.html +53 -53
  457. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +620 -150
  458. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +95 -125
  459. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +27 -440
  460. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil_1_1ctir.html +4 -4
  461. package/SVF-doxygen/html/html/namespacemembers_d.html +1 -1
  462. package/SVF-doxygen/html/html/namespacemembers_func_d.html +1 -1
  463. package/SVF-doxygen/html/html/namespacemembers_func_g.html +10 -10
  464. package/SVF-doxygen/html/html/namespacemembers_func_i.html +9 -8
  465. package/SVF-doxygen/html/html/namespacemembers_func_v.html +1 -1
  466. package/SVF-doxygen/html/html/namespacemembers_g.html +10 -10
  467. package/SVF-doxygen/html/html/namespacemembers_i.html +9 -8
  468. package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
  469. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  470. package/SVF-doxygen/html/html/namespacemembers_v.html +1 -1
  471. package/SVF-doxygen/html/html/saber_8cpp.html +1 -1
  472. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -1
  473. package/SVF-doxygen/html/html/search/all_10.js +1 -1
  474. package/SVF-doxygen/html/html/search/all_12.js +6 -6
  475. package/SVF-doxygen/html/html/search/all_13.js +5 -5
  476. package/SVF-doxygen/html/html/search/all_15.js +7 -7
  477. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  478. package/SVF-doxygen/html/html/search/all_3.js +3 -3
  479. package/SVF-doxygen/html/html/search/all_4.js +2 -1
  480. package/SVF-doxygen/html/html/search/all_7.js +12 -12
  481. package/SVF-doxygen/html/html/search/all_8.js +1 -1
  482. package/SVF-doxygen/html/html/search/all_9.js +10 -10
  483. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  484. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  485. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  486. package/SVF-doxygen/html/html/search/defines_3.js +1 -0
  487. package/SVF-doxygen/html/html/search/files_2.js +2 -2
  488. package/SVF-doxygen/html/html/search/functions_14.js +1 -1
  489. package/SVF-doxygen/html/html/search/functions_3.js +1 -1
  490. package/SVF-doxygen/html/html/search/functions_6.js +12 -12
  491. package/SVF-doxygen/html/html/search/functions_7.js +1 -1
  492. package/SVF-doxygen/html/html/search/functions_8.js +10 -10
  493. package/SVF-doxygen/html/html/search/typedefs_c.js +1 -1
  494. package/SVF-doxygen/html/html/search/variables_12.js +1 -1
  495. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  496. package/SVF-doxygen/html/html/search/variables_15.js +4 -4
  497. package/SVF-doxygen/html/html/search/variables_3.js +1 -1
  498. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  499. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html +12 -12
  500. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4-members.html +1 -1
  501. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +26 -16
  502. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4-members.html +1 -1
  503. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +25 -15
  504. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  505. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4-members.html +1 -1
  506. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +29 -19
  507. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html +1 -1
  508. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html +2 -2
  509. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html +1 -1
  510. package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html +2 -2
  511. package/SVF-doxygen/html/html/structSVF_1_1Hash.html +3 -3
  512. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +3 -3
  513. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +5 -5
  514. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +1 -1
  515. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1equalNodeBS.html +3 -3
  516. package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1equalPointsTo.html +3 -3
  517. package/SVF-doxygen/html/html/structSVF_1_1cppUtil_1_1DemangledName.html +6 -6
  518. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
  519. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
  520. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  521. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +1 -1
  522. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +3 -3
  523. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +4 -4
  524. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  525. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +3 -3
  526. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  527. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +3 -3
  528. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
  529. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  530. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  531. package/include/MTA/MTA.h +1 -0
  532. package/include/MTA/MTAStat.h +1 -0
  533. package/include/MemoryModel/PersistentPointsToCache.h +1 -0
  534. package/include/SVF-LLVM/DCHG.h +2 -1
  535. package/include/SVF-LLVM/LLVMLoopAnalysis.h +1 -0
  536. package/include/SVF-LLVM/LLVMModule.h +2 -2
  537. package/include/SVF-LLVM/LLVMUtil.h +135 -79
  538. package/include/SVF-LLVM/SVFIRBuilder.h +1 -0
  539. package/include/SVFIR/PAGBuilderFromFile.h +3 -3
  540. package/include/SVFIR/SVFIR.h +3 -3
  541. package/include/SVFIR/SVFModule.h +3 -3
  542. package/include/SVFIR/SVFStatements.h +3 -3
  543. package/include/SVFIR/SVFType.h +120 -103
  544. package/include/SVFIR/SVFValue.h +3 -3
  545. package/include/SVFIR/SVFVariables.h +3 -3
  546. package/include/SVFIR/SymbolTableInfo.h +3 -3
  547. package/include/Util/Annotator.h +8 -17
  548. package/include/{SVF-LLVM/CPPUtil.h → Util/CppUtil.h} +5 -54
  549. package/include/Util/SVFUtil.h +3 -9
  550. package/index.html +9 -5
  551. package/lib/CFL/CFLAlias.cpp +1 -1
  552. package/lib/CFL/CFLVF.cpp +1 -0
  553. package/lib/Graphs/CHG.cpp +1 -0
  554. package/lib/Graphs/ConsG.cpp +0 -5
  555. package/lib/Graphs/IRGraph.cpp +0 -5
  556. package/lib/Graphs/SVFG.cpp +0 -5
  557. package/lib/MemoryModel/PointerAnalysis.cpp +1 -0
  558. package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -0
  559. package/lib/SABER/SaberCondAllocator.cpp +2 -0
  560. package/lib/SVF-LLVM/CHGBuilder.cpp +10 -10
  561. package/lib/SVF-LLVM/DCHG.cpp +1 -1
  562. package/lib/SVF-LLVM/LLVMModule.cpp +4 -4
  563. package/lib/SVF-LLVM/LLVMUtil.cpp +362 -4
  564. package/lib/SVF-LLVM/SVFIRBuilder.cpp +2 -2
  565. package/lib/SVF-LLVM/SymbolTableBuilder.cpp +1 -1
  566. package/lib/Util/CppUtil.cpp +214 -0
  567. package/lib/Util/ExtAPI.cpp +1 -1
  568. package/lib/Util/NodeIDAllocator.cpp +3 -2
  569. package/lib/WPA/TypeAnalysis.cpp +1 -0
  570. package/package.json +1 -1
  571. package/tools/MTA/MTAAnnotator.h +2 -0
  572. package/lib/SVF-LLVM/CPPUtil.cpp +0 -572
@@ -249,7 +249,7 @@ Private Attributes</h2></td></tr>
249
249
  </table>
250
250
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
251
251
  <div class="textblock">
252
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00063">63</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
252
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00064">64</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
253
253
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
254
254
  <a id="aebd4fb544e8a97164901ab602e0fe7fc"></a>
255
255
  <h2 class="memtitle"><span class="permalink"><a href="#aebd4fb544e8a97164901ab602e0fe7fc">&#9670;&nbsp;</a></span>FuncVector</h2>
@@ -263,7 +263,7 @@ Private Attributes</h2></td></tr>
263
263
  </table>
264
264
  </div><div class="memdoc">
265
265
 
266
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00074">74</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
266
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00075">75</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
267
267
 
268
268
  </div>
269
269
  </div>
@@ -286,12 +286,12 @@ Private Attributes</h2></td></tr>
286
286
  <tr><td class="fieldname"><a id="a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"></a>SCALAR&#160;</td><td class="fielddoc"></td></tr>
287
287
  </table>
288
288
 
289
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00066">66</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
290
- <div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; {</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a> = 0x1, <span class="comment">// pure virtual abstract class</span></div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a> = 0x2, <span class="comment">// multi inheritance class</span></div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a> = 0x04, <span class="comment">// template class</span></div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a> = 0x08 <span class="comment">// non-class scalar type</span></div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; } <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3">CLASSATTR</a>;</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3">SVF::DCHNode::CLASSATTR</a></div><div class="ttdeci">CLASSATTR</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00066">DCHG.h:66</a></div></div>
291
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00068">DCHG.h:68</a></div></div>
292
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
293
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
294
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
289
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00067">67</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
290
+ <div class="fragment"><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; {</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a> = 0x1, <span class="comment">// pure virtual abstract class</span></div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a> = 0x2, <span class="comment">// multi inheritance class</span></div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a> = 0x04, <span class="comment">// template class</span></div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a> = 0x08 <span class="comment">// non-class scalar type</span></div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; } <a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3">CLASSATTR</a>;</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3">SVF::DCHNode::CLASSATTR</a></div><div class="ttdeci">CLASSATTR</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00067">DCHG.h:67</a></div></div>
291
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
292
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
293
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00072">DCHG.h:72</a></div></div>
294
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
295
295
  </div><!-- fragment -->
296
296
  </div>
297
297
  </div>
@@ -336,11 +336,11 @@ Private Attributes</h2></td></tr>
336
336
  </table>
337
337
  </div><div class="memdoc">
338
338
 
339
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00076">76</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
340
- <div class="fragment"><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160; : GenericNode&lt;DCHNode, DCHEdge&gt;(i, k), <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a>(0)</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; {</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; this-&gt;<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a> = <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; {</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <span class="stringliteral">&quot;null-void&quot;</span>;</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; }</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>-&gt;getRawName() != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>-&gt;getName().str();</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <span class="stringliteral">&quot;unnamed!&quot;</span>;</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; }</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a05b5b4539273ac5d21d8cbcfa712a439"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">SVF::DCHNode::diType</a></div><div class="ttdeci">const DIType * diType</div><div class="ttdoc">Type of this node. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00193">DCHG.h:193</a></div></div>
341
- <div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
342
- <div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00196">DCHG.h:196</a></div></div>
343
- <div class="ttc" id="classSVF_1_1DCHNode_html_a8a7b412262af7a90c9ef583b6a8c10fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode::typeName</a></div><div class="ttdeci">std::string typeName</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00197">DCHG.h:197</a></div></div>
339
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00077">77</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
340
+ <div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160; : GenericNode&lt;DCHNode, DCHEdge&gt;(i, k), <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a>(0)</div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>&#160; {</div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; this-&gt;<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a> = <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; {</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <span class="stringliteral">&quot;null-void&quot;</span>;</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; }</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>-&gt;getRawName() != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; {</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>-&gt;getName().str();</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; }</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a> = <span class="stringliteral">&quot;unnamed!&quot;</span>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; }</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a05b5b4539273ac5d21d8cbcfa712a439"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">SVF::DCHNode::diType</a></div><div class="ttdeci">const DIType * diType</div><div class="ttdoc">Type of this node. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00194">DCHG.h:194</a></div></div>
341
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00199">DCHG.h:199</a></div></div>
342
+ <div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00197">DCHG.h:197</a></div></div>
343
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a8a7b412262af7a90c9ef583b6a8c10fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode::typeName</a></div><div class="ttdeci">std::string typeName</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
344
344
  </div><!-- fragment -->
345
345
  </div>
346
346
  </div>
@@ -367,8 +367,8 @@ Private Attributes</h2></td></tr>
367
367
  </table>
368
368
  </div><div class="memdoc">
369
369
 
370
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00094">94</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
371
- <div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160;{ }</div></div><!-- fragment -->
370
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00095">95</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
371
+ <div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160;{ }</div></div><!-- fragment -->
372
372
  </div>
373
373
  </div>
374
374
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -396,8 +396,8 @@ Private Attributes</h2></td></tr>
396
396
  </table>
397
397
  </div><div class="memdoc">
398
398
 
399
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00154">154</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
400
- <div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; {</div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">typedefs</a>.insert(diTypedef);</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_abafa483be12690549fbcccaf4c3fa511"><div class="ttname"><a href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">SVF::DCHNode::typedefs</a></div><div class="ttdeci">Set&lt; const DIDerivedType * &gt; typedefs</div><div class="ttdoc">Typedefs which map to this type. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00195">DCHG.h:195</a></div></div>
399
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00155">155</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
400
+ <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">typedefs</a>.insert(diTypedef);</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_abafa483be12690549fbcccaf4c3fa511"><div class="ttname"><a href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">SVF::DCHNode::typedefs</a></div><div class="ttdeci">Set&lt; const DIDerivedType * &gt; typedefs</div><div class="ttdoc">Typedefs which map to this type. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00196">DCHG.h:196</a></div></div>
401
401
  </div><!-- fragment -->
402
402
  </div>
403
403
  </div>
@@ -424,8 +424,8 @@ Private Attributes</h2></td></tr>
424
424
  </table>
425
425
  </div><div class="memdoc">
426
426
 
427
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00101">101</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
428
- <div class="fragment"><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; {</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a8a7b412262af7a90c9ef583b6a8c10fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode::typeName</a></div><div class="ttdeci">std::string typeName</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00197">DCHG.h:197</a></div></div>
427
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00102">102</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
428
+ <div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; {</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">typeName</a>;</div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a8a7b412262af7a90c9ef583b6a8c10fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode::typeName</a></div><div class="ttdeci">std::string typeName</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
429
429
  </div><!-- fragment -->
430
430
  </div>
431
431
  </div>
@@ -453,8 +453,8 @@ Private Attributes</h2></td></tr>
453
453
  </table>
454
454
  </div><div class="memdoc">
455
455
 
456
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00096">96</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
457
- <div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; {</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a05b5b4539273ac5d21d8cbcfa712a439"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">SVF::DCHNode::diType</a></div><div class="ttdeci">const DIType * diType</div><div class="ttdoc">Type of this node. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00193">DCHG.h:193</a></div></div>
456
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00097">97</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
457
+ <div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; {</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">diType</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a05b5b4539273ac5d21d8cbcfa712a439"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a05b5b4539273ac5d21d8cbcfa712a439">SVF::DCHNode::diType</a></div><div class="ttdeci">const DIType * diType</div><div class="ttdoc">Type of this node. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00194">DCHG.h:194</a></div></div>
458
458
  </div><!-- fragment -->
459
459
  </div>
460
460
  </div>
@@ -482,8 +482,8 @@ Private Attributes</h2></td></tr>
482
482
  </table>
483
483
  </div><div class="memdoc">
484
484
 
485
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00159">159</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
486
- <div class="fragment"><div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">typedefs</a>;</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_abafa483be12690549fbcccaf4c3fa511"><div class="ttname"><a href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">SVF::DCHNode::typedefs</a></div><div class="ttdeci">Set&lt; const DIDerivedType * &gt; typedefs</div><div class="ttdoc">Typedefs which map to this type. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00195">DCHG.h:195</a></div></div>
485
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00160">160</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
486
+ <div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">typedefs</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_abafa483be12690549fbcccaf4c3fa511"><div class="ttname"><a href="classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511">SVF::DCHNode::typedefs</a></div><div class="ttdeci">Set&lt; const DIDerivedType * &gt; typedefs</div><div class="ttdoc">Typedefs which map to this type. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00196">DCHG.h:196</a></div></div>
487
487
  </div><!-- fragment -->
488
488
  </div>
489
489
  </div>
@@ -513,8 +513,8 @@ Private Attributes</h2></td></tr>
513
513
 
514
514
  <p>Return the nth virtual function vector in the vtable. </p>
515
515
 
516
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00181">181</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
517
- <div class="fragment"><div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>.size() &lt; <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> + 1)</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>.resize(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> + 1);</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160;</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>[<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>];</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_af479bf99a759b5dd68619e24f00bfa10"><div class="ttname"><a href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode::vfnVectors</a></div><div class="ttdeci">std::vector&lt; std::vector&lt; const Function * &gt; &gt; vfnVectors</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00204">DCHG.h:204</a></div></div>
516
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00182">182</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
517
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>.size() &lt; <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> + 1)</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; {</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>.resize(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a> + 1);</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160;</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>[<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>];</div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_af479bf99a759b5dd68619e24f00bfa10"><div class="ttname"><a href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode::vfnVectors</a></div><div class="ttdeci">std::vector&lt; std::vector&lt; const Function * &gt; &gt; vfnVectors</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00205">DCHG.h:205</a></div></div>
518
518
  <div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
519
519
  </div><!-- fragment -->
520
520
  </div>
@@ -545,8 +545,8 @@ Private Attributes</h2></td></tr>
545
545
 
546
546
  <p>Returns the vector of virtual function vectors. </p>
547
547
 
548
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00175">175</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
549
- <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>;</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_af479bf99a759b5dd68619e24f00bfa10"><div class="ttname"><a href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode::vfnVectors</a></div><div class="ttdeci">std::vector&lt; std::vector&lt; const Function * &gt; &gt; vfnVectors</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00204">DCHG.h:204</a></div></div>
548
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00176">176</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
549
+ <div class="fragment"><div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; {</div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">vfnVectors</a>;</div><div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_af479bf99a759b5dd68619e24f00bfa10"><div class="ttname"><a href="classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10">SVF::DCHNode::vfnVectors</a></div><div class="ttdeci">std::vector&lt; std::vector&lt; const Function * &gt; &gt; vfnVectors</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00205">DCHG.h:205</a></div></div>
550
550
  </div><!-- fragment -->
551
551
  </div>
552
552
  </div>
@@ -573,8 +573,8 @@ Private Attributes</h2></td></tr>
573
573
  </table>
574
574
  </div><div class="memdoc">
575
575
 
576
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00169">169</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
577
- <div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00196">DCHG.h:196</a></div></div>
576
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00170">170</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
577
+ <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00197">DCHG.h:197</a></div></div>
578
578
  </div><!-- fragment -->
579
579
  </div>
580
580
  </div>
@@ -602,8 +602,8 @@ Private Attributes</h2></td></tr>
602
602
  </table>
603
603
  </div><div class="memdoc">
604
604
 
605
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00112">112</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
606
- <div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; {</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a> &amp; mask) == mask;</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
605
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00113">113</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
606
+ <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; {</div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a> &amp; mask) == mask;</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00199">DCHG.h:199</a></div></div>
607
607
  </div><!-- fragment -->
608
608
  </div>
609
609
  </div>
@@ -630,9 +630,9 @@ Private Attributes</h2></td></tr>
630
630
  </table>
631
631
  </div><div class="memdoc">
632
632
 
633
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00140">140</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
634
- <div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; {</div><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
635
- <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00112">DCHG.h:112</a></div></div>
633
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00141">141</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
634
+ <div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
635
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00113">DCHG.h:113</a></div></div>
636
636
  </div><!-- fragment -->
637
637
  </div>
638
638
  </div>
@@ -659,9 +659,9 @@ Private Attributes</h2></td></tr>
659
659
  </table>
660
660
  </div><div class="memdoc">
661
661
 
662
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00136">136</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
663
- <div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; {</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00068">DCHG.h:68</a></div></div>
664
- <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00112">DCHG.h:112</a></div></div>
662
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00137">137</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
663
+ <div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
664
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00113">DCHG.h:113</a></div></div>
665
665
  </div><!-- fragment -->
666
666
  </div>
667
667
  </div>
@@ -688,9 +688,9 @@ Private Attributes</h2></td></tr>
688
688
  </table>
689
689
  </div><div class="memdoc">
690
690
 
691
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00148">148</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
692
- <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a>);</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
693
- <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00112">DCHG.h:112</a></div></div>
691
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00149">149</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
692
+ <div class="fragment"><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a>);</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00072">DCHG.h:72</a></div></div>
693
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00113">DCHG.h:113</a></div></div>
694
694
  </div><!-- fragment -->
695
695
  </div>
696
696
  </div>
@@ -717,9 +717,9 @@ Private Attributes</h2></td></tr>
717
717
  </table>
718
718
  </div><div class="memdoc">
719
719
 
720
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00144">144</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
721
- <div class="fragment"><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; {</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a>);</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
722
- <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00112">DCHG.h:112</a></div></div>
720
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00145">145</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
721
+ <div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">hasFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a>);</div><div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
722
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a743bc5df582114c45d1907d62a42a39c"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode::hasFlag</a></div><div class="ttdeci">bool hasFlag(CLASSATTR mask) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00113">DCHG.h:113</a></div></div>
723
723
  </div><!-- fragment -->
724
724
  </div>
725
725
  </div>
@@ -749,8 +749,8 @@ Private Attributes</h2></td></tr>
749
749
 
750
750
  <p>Flags. </p>
751
751
 
752
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00108">108</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
753
- <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; {</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a> |= mask;</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
752
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00109">109</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
753
+ <div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; {</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">flags</a> |= mask;</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a0b2c21429fd28c50965737a0baa2e90b"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a0b2c21429fd28c50965737a0baa2e90b">SVF::DCHNode::flags</a></div><div class="ttdeci">size_t flags</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00199">DCHG.h:199</a></div></div>
754
754
  </div><!-- fragment -->
755
755
  </div>
756
756
  </div>
@@ -777,9 +777,9 @@ Private Attributes</h2></td></tr>
777
777
  </table>
778
778
  </div><div class="memdoc">
779
779
 
780
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00124">124</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
781
- <div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; {</div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00108">DCHG.h:108</a></div></div>
782
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
780
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00125">125</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
781
+ <div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">MULTI_INHERITANCE</a>);</div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00109">DCHG.h:109</a></div></div>
782
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a1d2b2d38bfc09259f63933e9ab23aecc">SVF::DCHNode::MULTI_INHERITANCE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
783
783
  </div><!-- fragment -->
784
784
  </div>
785
785
  </div>
@@ -808,9 +808,9 @@ Private Attributes</h2></td></tr>
808
808
 
809
809
  <p>Attribute. </p>
810
810
 
811
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00120">120</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
812
- <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; {</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00068">DCHG.h:68</a></div></div>
813
- <div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00108">DCHG.h:108</a></div></div>
811
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00121">121</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
812
+ <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">PURE_ABSTRACT</a>);</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode::PURE_ABSTRACT</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00069">DCHG.h:69</a></div></div>
813
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00109">DCHG.h:109</a></div></div>
814
814
  </div><!-- fragment -->
815
815
  </div>
816
816
  </div>
@@ -837,9 +837,9 @@ Private Attributes</h2></td></tr>
837
837
  </table>
838
838
  </div><div class="memdoc">
839
839
 
840
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00132">132</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
841
- <div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; {</div><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a>);</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00108">DCHG.h:108</a></div></div>
842
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
840
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00133">133</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
841
+ <div class="fragment"><div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div><div class="line"><a name="l00135"></a><span class="lineno"> 135</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SCALAR</a>);</div><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00109">DCHG.h:109</a></div></div>
842
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb">SVF::DCHNode::SCALAR</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00072">DCHG.h:72</a></div></div>
843
843
  </div><!-- fragment -->
844
844
  </div>
845
845
  </div>
@@ -866,9 +866,9 @@ Private Attributes</h2></td></tr>
866
866
  </table>
867
867
  </div><div class="memdoc">
868
868
 
869
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00128">128</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
870
- <div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a>);</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00108">DCHG.h:108</a></div></div>
871
- <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00070">DCHG.h:70</a></div></div>
869
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00129">129</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
870
+ <div class="fragment"><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; {</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">setFlag</a>(<a class="code" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">TEMPLATE</a>);</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_a4e08c543fa2ae557ff835b1a0f3c53a4"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode::setFlag</a></div><div class="ttdeci">void setFlag(CLASSATTR mask)</div><div class="ttdoc">Flags. </div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00109">DCHG.h:109</a></div></div>
871
+ <div class="ttc" id="classSVF_1_1DCHNode_html_a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc">SVF::DCHNode::TEMPLATE</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00071">DCHG.h:71</a></div></div>
872
872
  </div><!-- fragment -->
873
873
  </div>
874
874
  </div>
@@ -896,8 +896,8 @@ Private Attributes</h2></td></tr>
896
896
  </table>
897
897
  </div><div class="memdoc">
898
898
 
899
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00164">164</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
900
- <div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; {</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a> = vtbl;</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00196">DCHG.h:196</a></div></div>
899
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00165">165</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
900
+ <div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <a class="code" href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">vtable</a> = vtbl;</div><div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div><div class="ttc" id="classSVF_1_1DCHNode_html_aca8d8b3cf86c566698cc8b76e940f46e"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aca8d8b3cf86c566698cc8b76e940f46e">SVF::DCHNode::vtable</a></div><div class="ttdeci">const SVFGlobalValue * vtable</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00197">DCHG.h:197</a></div></div>
901
901
  </div><!-- fragment -->
902
902
  </div>
903
903
  </div>
@@ -924,7 +924,7 @@ Private Attributes</h2></td></tr>
924
924
 
925
925
  <p>Type of this node. </p>
926
926
 
927
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00193">193</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
927
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00194">194</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
928
928
 
929
929
  </div>
930
930
  </div>
@@ -948,7 +948,7 @@ Private Attributes</h2></td></tr>
948
948
  </table>
949
949
  </div><div class="memdoc">
950
950
 
951
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00198">198</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
951
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00199">199</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
952
952
 
953
953
  </div>
954
954
  </div>
@@ -974,7 +974,7 @@ Private Attributes</h2></td></tr>
974
974
 
975
975
  <p>The virtual functions which this class actually defines/overrides. </p>
976
976
 
977
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00200">200</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
977
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00201">201</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
978
978
 
979
979
  </div>
980
980
  </div>
@@ -1000,7 +1000,7 @@ Private Attributes</h2></td></tr>
1000
1000
 
1001
1001
  <p>Typedefs which map to this type. </p>
1002
1002
 
1003
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00195">195</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1003
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00196">196</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1004
1004
 
1005
1005
  </div>
1006
1006
  </div>
@@ -1024,7 +1024,7 @@ Private Attributes</h2></td></tr>
1024
1024
  </table>
1025
1025
  </div><div class="memdoc">
1026
1026
 
1027
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00197">197</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1027
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00198">198</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1028
1028
 
1029
1029
  </div>
1030
1030
  </div>
@@ -1049,7 +1049,7 @@ Private Attributes</h2></td></tr>
1049
1049
  </div><div class="memdoc">
1050
1050
  <p>If a vtable is split into more than one vfn vector for multiple inheritance, 0 would be the primary base + this classes virtual functions, 1 would be the second parent, 2 would be third parent, etc. </p>
1051
1051
 
1052
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00204">204</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1052
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00205">205</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1053
1053
 
1054
1054
  </div>
1055
1055
  </div>
@@ -1073,7 +1073,7 @@ Private Attributes</h2></td></tr>
1073
1073
  </table>
1074
1074
  </div><div class="memdoc">
1075
1075
 
1076
- <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00196">196</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1076
+ <p class="definition">Definition at line <a class="el" href="DCHG_8h_source.html#l00197">197</a> of file <a class="el" href="DCHG_8h_source.html">DCHG.h</a>.</p>
1077
1077
 
1078
1078
  </div>
1079
1079
  </div>