svf-tools 1.0.897 → 1.0.899

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 (639) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp.html +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +1638 -1659
  3. package/SVF-doxygen/html/AbstractExecution_8h_source.html +49 -49
  4. package/SVF-doxygen/html/AbstractPointsToDS_8h_source.html +1 -1
  5. package/SVF-doxygen/html/AccessPath_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/AccessPath_8h_source.html +2 -2
  7. package/SVF-doxygen/html/AddressValue_8h_source.html +1 -1
  8. package/SVF-doxygen/html/AndersenPWC_8h_source.html +4 -4
  9. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/AndersenSFR_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/AndersenWaveDiff_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/Andersen_8cpp_source.html +5 -5
  14. package/SVF-doxygen/html/Andersen_8h_source.html +3 -3
  15. package/SVF-doxygen/html/BoundedZ3Expr_8cpp_source.html +4 -4
  16. package/SVF-doxygen/html/BoundedZ3Expr_8h_source.html +400 -380
  17. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +29 -28
  18. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +1 -1
  19. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  21. package/SVF-doxygen/html/CDG_8h_source.html +2 -2
  22. package/SVF-doxygen/html/CFGNormalizer_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/CFGNormalizer_8h_source.html +3 -3
  24. package/SVF-doxygen/html/CFGrammar_8cpp_source.html +2 -2
  25. package/SVF-doxygen/html/CFGrammar_8h_source.html +3 -3
  26. package/SVF-doxygen/html/CFLAlias_8h_source.html +2 -2
  27. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +1 -1
  28. package/SVF-doxygen/html/CFLGraphBuilder_8h_source.html +1 -1
  29. package/SVF-doxygen/html/CFLSVFGBuilder_8cpp_source.html +1 -1
  30. package/SVF-doxygen/html/CFLSVFGBuilder_8h_source.html +2 -2
  31. package/SVF-doxygen/html/CFLSolver_8h_source.html +1 -1
  32. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +1 -1
  33. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  34. package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/CSC_8h_source.html +3 -3
  36. package/SVF-doxygen/html/ConditionalPT_8h_source.html +3 -3
  37. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +6 -6
  38. package/SVF-doxygen/html/ConsExeState_8h_source.html +6 -6
  39. package/SVF-doxygen/html/ConsGEdge_8h_source.html +2 -2
  40. package/SVF-doxygen/html/ConsG_8cpp_source.html +14 -14
  41. package/SVF-doxygen/html/ConsG_8h_source.html +4 -4
  42. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +4 -4
  43. package/SVF-doxygen/html/ContextDDA_8h_source.html +2 -2
  44. package/SVF-doxygen/html/CoreBitVector_8h_source.html +1 -1
  45. package/SVF-doxygen/html/CppUtil_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/CppUtil_8h_source.html +1 -1
  47. package/SVF-doxygen/html/CxtStmt_8h_source.html +1 -1
  48. package/SVF-doxygen/html/DCHG_8cpp_source.html +3 -3
  49. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  50. package/SVF-doxygen/html/DDAClient_8cpp_source.html +2 -2
  51. package/SVF-doxygen/html/DDAClient_8h_source.html +3 -3
  52. package/SVF-doxygen/html/DDAPass_8cpp_source.html +2 -2
  53. package/SVF-doxygen/html/DDAPass_8h_source.html +1 -1
  54. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +2 -2
  55. package/SVF-doxygen/html/DPItem_8h_source.html +2 -2
  56. package/SVF-doxygen/html/ExeState_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/ExeState_8h_source.html +1 -1
  58. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  59. package/SVF-doxygen/html/FSMPTA_8h_source.html +2 -2
  60. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +4 -4
  61. package/SVF-doxygen/html/FlowDDA_8h_source.html +1 -1
  62. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +2 -2
  63. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +6 -6
  64. package/SVF-doxygen/html/FlowSensitive_8h_source.html +2 -2
  65. package/SVF-doxygen/html/GeneralType_8h.html +8 -0
  66. package/SVF-doxygen/html/GeneralType_8h_source.html +110 -102
  67. package/SVF-doxygen/html/GenericGraph_8h_source.html +2 -2
  68. package/SVF-doxygen/html/GrammarBuilder_8h_source.html +1 -1
  69. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +1 -1
  70. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +1 -1
  71. package/SVF-doxygen/html/ICFGEdge_8h_source.html +3 -3
  72. package/SVF-doxygen/html/ICFGNode_8h_source.html +1 -1
  73. package/SVF-doxygen/html/ICFGSimplification_8cpp_source.html +2 -2
  74. package/SVF-doxygen/html/ICFGStat_8h_source.html +1 -1
  75. package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/ICFG_8h_source.html +2 -2
  77. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  78. package/SVF-doxygen/html/IRGraph_8h_source.html +2 -2
  79. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +2 -2
  80. package/SVF-doxygen/html/IntervalExeState_8h_source.html +4 -4
  81. package/SVF-doxygen/html/IntervalValue_8h_source.html +863 -802
  82. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +335 -316
  84. package/SVF-doxygen/html/LLVMModule_8h_source.html +11 -11
  85. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +2 -2
  86. package/SVF-doxygen/html/LLVMUtil_8h_source.html +1 -1
  87. package/SVF-doxygen/html/LeakChecker_8h_source.html +1 -1
  88. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +2 -2
  89. package/SVF-doxygen/html/LockAnalysis_8h_source.html +3 -3
  90. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +1 -1
  91. package/SVF-doxygen/html/LockResultValidator_8h_source.html +2 -2
  92. package/SVF-doxygen/html/MHP_8cpp_source.html +3 -3
  93. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  94. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +4 -4
  95. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +1 -1
  96. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  97. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +5 -5
  98. package/SVF-doxygen/html/MTAStat_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/MTAStat_8h_source.html +1 -1
  100. package/SVF-doxygen/html/MTA_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/MTA_8h_source.html +1 -1
  102. package/SVF-doxygen/html/MemPartition_8h_source.html +2 -2
  103. package/SVF-doxygen/html/MemRegion_8cpp_source.html +4 -4
  104. package/SVF-doxygen/html/MemRegion_8h_source.html +5 -5
  105. package/SVF-doxygen/html/MemSSA_8cpp_source.html +4 -4
  106. package/SVF-doxygen/html/MemSSA_8h_source.html +5 -5
  107. package/SVF-doxygen/html/MutablePointsToDS_8h_source.html +1 -1
  108. package/SVF-doxygen/html/NodeIDAllocator_8cpp_source.html +2 -2
  109. package/SVF-doxygen/html/NodeIDAllocator_8h_source.html +2 -2
  110. package/SVF-doxygen/html/NumericLiteral_8h_source.html +465 -424
  111. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +3 -3
  112. package/SVF-doxygen/html/ObjTypeInference_8h_source.html +2 -2
  113. package/SVF-doxygen/html/Options_8cpp_source.html +10 -1
  114. package/SVF-doxygen/html/Options_8h_source.html +8 -4
  115. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +195 -137
  116. package/SVF-doxygen/html/PAGBuilderFromFile_8h_source.html +3 -3
  117. package/SVF-doxygen/html/PCG_8cpp_source.html +1 -1
  118. package/SVF-doxygen/html/PCG_8h_source.html +1 -1
  119. package/SVF-doxygen/html/PTACallGraph_8cpp_source.html +1 -1
  120. package/SVF-doxygen/html/PTACallGraph_8h_source.html +4 -4
  121. package/SVF-doxygen/html/PTAStat_8cpp_source.html +1 -1
  122. package/SVF-doxygen/html/PersistentPointsToCache_8h_source.html +2 -2
  123. package/SVF-doxygen/html/PersistentPointsToDS_8h_source.html +2 -2
  124. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  125. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +3 -3
  126. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +1 -1
  127. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +5 -5
  128. package/SVF-doxygen/html/PointsTo_8cpp_source.html +3 -3
  129. package/SVF-doxygen/html/PointsTo_8h_source.html +3 -3
  130. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +1 -1
  131. package/SVF-doxygen/html/ProgSlice_8h_source.html +2 -2
  132. package/SVF-doxygen/html/RelExeState_8cpp_source.html +5 -5
  133. package/SVF-doxygen/html/RelExeState_8h_source.html +6 -6
  134. package/SVF-doxygen/html/RelationSolver_8cpp.html +2 -0
  135. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +386 -378
  136. package/SVF-doxygen/html/RelationSolver_8h_source.html +11 -11
  137. package/SVF-doxygen/html/SCC_8h_source.html +2 -2
  138. package/SVF-doxygen/html/SVFBugReport_8h_source.html +1 -1
  139. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +1937 -1934
  140. package/SVF-doxygen/html/SVFFileSystem_8h.html +1 -1
  141. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +59 -59
  142. package/SVF-doxygen/html/SVFGEdge_8h_source.html +2 -2
  143. package/SVF-doxygen/html/SVFGNode_8h_source.html +2 -2
  144. package/SVF-doxygen/html/SVFGOPT_8cpp_source.html +1 -1
  145. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  146. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +3 -3
  147. package/SVF-doxygen/html/SVFGStat_8cpp_source.html +1 -1
  148. package/SVF-doxygen/html/SVFGStat_8h_source.html +3 -3
  149. package/SVF-doxygen/html/SVFG_8cpp_source.html +2 -2
  150. package/SVF-doxygen/html/SVFG_8h_source.html +2 -2
  151. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
  152. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
  153. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +1101 -886
  154. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +173 -154
  155. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
  156. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +17 -17
  157. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +172 -121
  158. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +5 -5
  159. package/SVF-doxygen/html/SVFIR_8cpp_source.html +24 -22
  160. package/SVF-doxygen/html/SVFIR_8h_source.html +55 -53
  161. package/SVF-doxygen/html/SVFLoop_8h_source.html +1 -1
  162. package/SVF-doxygen/html/SVFStat_8cpp_source.html +1 -1
  163. package/SVF-doxygen/html/SVFStat_8h_source.html +1 -1
  164. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
  165. package/SVF-doxygen/html/SVFStatements_8h_source.html +979 -955
  166. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  167. package/SVF-doxygen/html/SVFType_8h_source.html +4 -4
  168. package/SVF-doxygen/html/SVFUtil_8h_source.html +2 -2
  169. package/SVF-doxygen/html/SVFValue_8cpp_source.html +1 -1
  170. package/SVF-doxygen/html/SVFValue_8h_source.html +3 -3
  171. package/SVF-doxygen/html/SVFVariables_8h_source.html +1 -1
  172. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  173. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +10 -10
  174. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +8 -8
  175. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  176. package/SVF-doxygen/html/SaberSVFGBuilder_8h_source.html +2 -2
  177. package/SVF-doxygen/html/SingleAbsValue_8h_source.html +6 -6
  178. package/SVF-doxygen/html/SparseBitVector_8h_source.html +3 -3
  179. package/SVF-doxygen/html/SrcSnkDDA_8cpp_source.html +1 -1
  180. package/SVF-doxygen/html/SrcSnkDDA_8h_source.html +2 -2
  181. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +2 -2
  182. package/SVF-doxygen/html/Steensgaard_8h_source.html +4 -4
  183. package/SVF-doxygen/html/SymState_8h_source.html +2 -2
  184. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +4 -4
  185. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +1 -1
  186. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +3 -3
  187. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +4 -4
  188. package/SVF-doxygen/html/TCT_8cpp_source.html +3 -3
  189. package/SVF-doxygen/html/TCT_8h_source.html +4 -4
  190. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +1 -1
  191. package/SVF-doxygen/html/ThreadAPI_8h_source.html +1 -1
  192. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  193. package/SVF-doxygen/html/ThreadCallGraph_8h_source.html +3 -3
  194. package/SVF-doxygen/html/VFGEdge_8h_source.html +1 -1
  195. package/SVF-doxygen/html/VFGNode_8h_source.html +12 -12
  196. package/SVF-doxygen/html/VFG_8cpp_source.html +18 -18
  197. package/SVF-doxygen/html/VFG_8h_source.html +17 -17
  198. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  199. package/SVF-doxygen/html/VersionedFlowSensitive_8cpp_source.html +4 -4
  200. package/SVF-doxygen/html/VersionedFlowSensitive_8h_source.html +4 -4
  201. package/SVF-doxygen/html/WPAFSSolver_8h_source.html +1 -1
  202. package/SVF-doxygen/html/WPASolver_8h_source.html +2 -2
  203. package/SVF-doxygen/html/WTO_8h_source.html +2 -2
  204. package/SVF-doxygen/html/WorkList_8h_source.html +1 -1
  205. package/SVF-doxygen/html/Z3Expr_8cpp_source.html +5 -5
  206. package/SVF-doxygen/html/Z3Expr_8h_source.html +303 -294
  207. package/SVF-doxygen/html/ae_8cpp_source.html +6 -6
  208. package/SVF-doxygen/html/classSVF_1_1AEStat.html +119 -119
  209. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +1517 -1538
  210. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +1 -1
  211. package/SVF-doxygen/html/classSVF_1_1Andersen.html +5 -5
  212. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
  213. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +3 -3
  214. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +3 -3
  215. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  216. package/SVF-doxygen/html/classSVF_1_1AndersenWaveDiff.html +1 -1
  217. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  218. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  219. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr-members.html +77 -72
  220. package/SVF-doxygen/html/classSVF_1_1BoundedZ3Expr.html +450 -294
  221. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  222. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +4 -4
  223. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +7 -7
  224. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +1 -1
  225. package/SVF-doxygen/html/classSVF_1_1CFGNormalizer.html +3 -3
  226. package/SVF-doxygen/html/classSVF_1_1CFLSVFGBuilder.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +1 -1
  228. package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
  229. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  230. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  231. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
  232. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +5 -5
  233. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +13 -13
  234. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +5 -5
  235. package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +48 -33
  236. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +206 -65
  237. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +3 -3
  238. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +2 -2
  239. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  240. package/SVF-doxygen/html/classSVF_1_1ExeState.html +1 -1
  241. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
  242. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +5 -5
  243. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  244. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +3 -3
  245. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +1 -1
  246. package/SVF-doxygen/html/classSVF_1_1GenericGraphReader.html +1 -1
  247. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
  248. package/SVF-doxygen/html/classSVF_1_1GrammarBase.html +1 -1
  249. package/SVF-doxygen/html/classSVF_1_1ICFG.html +3 -3
  250. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +1 -1
  251. package/SVF-doxygen/html/classSVF_1_1ICFGWriter.html +11 -11
  252. package/SVF-doxygen/html/classSVF_1_1IntervalESBase.html +2 -2
  253. package/SVF-doxygen/html/classSVF_1_1IntervalValue-members.html +40 -35
  254. package/SVF-doxygen/html/classSVF_1_1IntervalValue.html +512 -307
  255. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  256. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +331 -312
  257. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
  258. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +2 -2
  259. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +1 -1
  260. package/SVF-doxygen/html/classSVF_1_1MHP.html +2 -2
  261. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +3 -3
  262. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +1 -1
  263. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +4 -4
  264. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  265. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +1 -1
  266. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +4 -4
  267. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  268. package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html +1 -1
  269. package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -1
  270. package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html +50 -43
  271. package/SVF-doxygen/html/classSVF_1_1NumericLiteral.html +574 -343
  272. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +3 -3
  273. package/SVF-doxygen/html/classSVF_1_1Options-members.html +129 -128
  274. package/SVF-doxygen/html/classSVF_1_1Options.html +26 -0
  275. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +204 -135
  276. package/SVF-doxygen/html/classSVF_1_1PCG.html +1 -1
  277. package/SVF-doxygen/html/classSVF_1_1POCRSolver.html +1 -1
  278. package/SVF-doxygen/html/classSVF_1_1PTACallGraph.html +1 -1
  279. package/SVF-doxygen/html/classSVF_1_1PTAStat.html +1 -1
  280. package/SVF-doxygen/html/classSVF_1_1PersistentDFPTData.html +1 -1
  281. package/SVF-doxygen/html/classSVF_1_1PersistentDiffPTData.html +1 -1
  282. package/SVF-doxygen/html/classSVF_1_1PersistentPTData.html +1 -1
  283. package/SVF-doxygen/html/classSVF_1_1PersistentPointsToCache.html +1 -1
  284. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  285. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +1 -1
  286. package/SVF-doxygen/html/classSVF_1_1PointsTo.html +1 -1
  287. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +1 -1
  288. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  289. package/SVF-doxygen/html/classSVF_1_1ReaderIDToObjMap.html +2 -2
  290. package/SVF-doxygen/html/classSVF_1_1ReaderPtrPool.html +2 -2
  291. package/SVF-doxygen/html/classSVF_1_1RelExeState.html +6 -6
  292. package/SVF-doxygen/html/classSVF_1_1RelationSolver-members.html +1 -1
  293. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +362 -358
  294. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  295. package/SVF-doxygen/html/classSVF_1_1SVFG.html +3 -3
  296. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +1 -1
  297. package/SVF-doxygen/html/classSVF_1_1SVFGStat.html +1 -1
  298. package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +1 -1
  299. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +32 -25
  300. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
  301. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +49 -40
  302. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1346 -909
  303. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder-members.html +62 -61
  304. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +211 -131
  305. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1122 -1121
  306. package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +429 -427
  307. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +1 -1
  308. package/SVF-doxygen/html/classSVF_1_1SVFModuleReader.html +1 -1
  309. package/SVF-doxygen/html/classSVF_1_1SVFModuleWriter.html +23 -23
  310. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +1 -1
  311. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
  312. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  313. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  314. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue-members.html +96 -91
  315. package/SVF-doxygen/html/classSVF_1_1SingleAbsValue.html +19 -5
  316. package/SVF-doxygen/html/classSVF_1_1SrcSnkDDA.html +1 -1
  317. package/SVF-doxygen/html/classSVF_1_1StInfo.html +1 -1
  318. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
  319. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
  320. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  321. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfo.html +3 -3
  322. package/SVF-doxygen/html/classSVF_1_1SymbolTableInfoReader.html +1 -1
  323. package/SVF-doxygen/html/classSVF_1_1TCT.html +4 -4
  324. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  325. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  326. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +1 -1
  327. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  328. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  329. package/SVF-doxygen/html/classSVF_1_1VFG.html +17 -17
  330. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  331. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  332. package/SVF-doxygen/html/classSVF_1_1WPAFSSolver.html +2 -2
  333. package/SVF-doxygen/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  334. package/SVF-doxygen/html/classSVF_1_1WPASCCSolver.html +2 -2
  335. package/SVF-doxygen/html/classSVF_1_1WPASolver.html +1 -1
  336. package/SVF-doxygen/html/classSVF_1_1Z3Expr-members.html +2 -2
  337. package/SVF-doxygen/html/classSVF_1_1Z3Expr.html +227 -221
  338. package/SVF-doxygen/html/classSymblicAbstractionTest.html +6 -6
  339. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  340. package/SVF-doxygen/html/functions_a.html +11 -8
  341. package/SVF-doxygen/html/functions_b.html +8 -5
  342. package/SVF-doxygen/html/functions_c.html +23 -14
  343. package/SVF-doxygen/html/functions_e.html +1 -1
  344. package/SVF-doxygen/html/functions_enum.html +3 -0
  345. package/SVF-doxygen/html/functions_eval_b.html +3 -0
  346. package/SVF-doxygen/html/functions_eval_c.html +3 -0
  347. package/SVF-doxygen/html/functions_eval_f.html +9 -0
  348. package/SVF-doxygen/html/functions_eval_i.html +3 -0
  349. package/SVF-doxygen/html/functions_eval_p.html +3 -0
  350. package/SVF-doxygen/html/functions_eval_s.html +6 -0
  351. package/SVF-doxygen/html/functions_eval_t.html +3 -0
  352. package/SVF-doxygen/html/functions_eval_u.html +3 -0
  353. package/SVF-doxygen/html/functions_eval_z.html +79 -0
  354. package/SVF-doxygen/html/functions_f.html +21 -12
  355. package/SVF-doxygen/html/functions_func.html +2 -2
  356. package/SVF-doxygen/html/functions_func_b.html +3 -3
  357. package/SVF-doxygen/html/functions_func_g.html +47 -12
  358. package/SVF-doxygen/html/functions_func_i.html +19 -9
  359. package/SVF-doxygen/html/functions_func_n.html +1 -1
  360. package/SVF-doxygen/html/functions_func_p.html +1 -1
  361. package/SVF-doxygen/html/functions_func_z.html +1 -1
  362. package/SVF-doxygen/html/functions_g.html +54 -19
  363. package/SVF-doxygen/html/functions_i.html +18 -5
  364. package/SVF-doxygen/html/functions_l.html +3 -3
  365. package/SVF-doxygen/html/functions_o.html +15 -15
  366. package/SVF-doxygen/html/functions_p.html +28 -29
  367. package/SVF-doxygen/html/functions_r.html +1 -1
  368. package/SVF-doxygen/html/functions_s.html +24 -16
  369. package/SVF-doxygen/html/functions_t.html +7 -4
  370. package/SVF-doxygen/html/functions_u.html +6 -3
  371. package/SVF-doxygen/html/functions_v.html +4 -6
  372. package/SVF-doxygen/html/functions_vars_a.html +3 -0
  373. package/SVF-doxygen/html/functions_vars_c.html +3 -0
  374. package/SVF-doxygen/html/functions_w.html +13 -7
  375. package/SVF-doxygen/html/functions_z.html +4 -1
  376. package/SVF-doxygen/html/menudata.js +2 -1
  377. package/SVF-doxygen/html/namespaceSVF.html +689 -617
  378. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1 -1
  379. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +1 -1
  380. package/SVF-doxygen/html/namespaceSVF_1_1cppUtil.html +1 -1
  381. package/SVF-doxygen/html/namespacemembers_s.html +6 -0
  382. package/SVF-doxygen/html/namespacemembers_type_s.html +6 -0
  383. package/SVF-doxygen/html/namespacemembers_type_u.html +6 -0
  384. package/SVF-doxygen/html/namespacemembers_u.html +6 -0
  385. package/SVF-doxygen/html/search/all_1.js +135 -134
  386. package/SVF-doxygen/html/search/all_10.js +326 -325
  387. package/SVF-doxygen/html/search/all_11.js +226 -226
  388. package/SVF-doxygen/html/search/all_12.js +574 -570
  389. package/SVF-doxygen/html/search/all_13.js +208 -207
  390. package/SVF-doxygen/html/search/all_14.js +73 -70
  391. package/SVF-doxygen/html/search/all_15.js +176 -176
  392. package/SVF-doxygen/html/search/all_16.js +77 -77
  393. package/SVF-doxygen/html/search/all_17.js +1 -1
  394. package/SVF-doxygen/html/search/all_18.js +1 -1
  395. package/SVF-doxygen/html/search/all_19.js +27 -26
  396. package/SVF-doxygen/html/search/all_1a.js +179 -179
  397. package/SVF-doxygen/html/search/all_2.js +182 -181
  398. package/SVF-doxygen/html/search/all_3.js +642 -640
  399. package/SVF-doxygen/html/search/all_4.js +236 -236
  400. package/SVF-doxygen/html/search/all_5.js +126 -126
  401. package/SVF-doxygen/html/search/all_6.js +235 -232
  402. package/SVF-doxygen/html/search/all_7.js +1056 -1047
  403. package/SVF-doxygen/html/search/all_8.js +215 -215
  404. package/SVF-doxygen/html/search/all_9.js +632 -629
  405. package/SVF-doxygen/html/search/all_a.js +46 -46
  406. package/SVF-doxygen/html/search/all_b.js +26 -26
  407. package/SVF-doxygen/html/search/all_c.js +115 -115
  408. package/SVF-doxygen/html/search/all_d.js +204 -204
  409. package/SVF-doxygen/html/search/all_e.js +209 -209
  410. package/SVF-doxygen/html/search/all_f.js +122 -122
  411. package/SVF-doxygen/html/search/classes_0.js +28 -28
  412. package/SVF-doxygen/html/search/classes_1.js +11 -11
  413. package/SVF-doxygen/html/search/classes_10.js +74 -74
  414. package/SVF-doxygen/html/search/classes_11.js +14 -14
  415. package/SVF-doxygen/html/search/classes_12.js +2 -2
  416. package/SVF-doxygen/html/search/classes_13.js +10 -10
  417. package/SVF-doxygen/html/search/classes_14.js +19 -19
  418. package/SVF-doxygen/html/search/classes_15.js +1 -1
  419. package/SVF-doxygen/html/search/classes_2.js +73 -73
  420. package/SVF-doxygen/html/search/classes_3.js +35 -35
  421. package/SVF-doxygen/html/search/classes_4.js +8 -8
  422. package/SVF-doxygen/html/search/classes_5.js +28 -28
  423. package/SVF-doxygen/html/search/classes_6.js +98 -98
  424. package/SVF-doxygen/html/search/classes_7.js +38 -38
  425. package/SVF-doxygen/html/search/classes_8.js +59 -59
  426. package/SVF-doxygen/html/search/classes_9.js +1 -1
  427. package/SVF-doxygen/html/search/classes_a.js +12 -12
  428. package/SVF-doxygen/html/search/classes_b.js +29 -29
  429. package/SVF-doxygen/html/search/classes_c.js +6 -6
  430. package/SVF-doxygen/html/search/classes_d.js +19 -19
  431. package/SVF-doxygen/html/search/classes_e.js +36 -36
  432. package/SVF-doxygen/html/search/classes_f.js +25 -25
  433. package/SVF-doxygen/html/search/defines_0.js +3 -3
  434. package/SVF-doxygen/html/search/defines_1.js +3 -3
  435. package/SVF-doxygen/html/search/defines_10.js +2 -2
  436. package/SVF-doxygen/html/search/defines_2.js +30 -30
  437. package/SVF-doxygen/html/search/defines_3.js +20 -20
  438. package/SVF-doxygen/html/search/defines_4.js +3 -3
  439. package/SVF-doxygen/html/search/defines_5.js +4 -4
  440. package/SVF-doxygen/html/search/defines_6.js +2 -2
  441. package/SVF-doxygen/html/search/defines_7.js +5 -5
  442. package/SVF-doxygen/html/search/defines_8.js +11 -11
  443. package/SVF-doxygen/html/search/defines_9.js +9 -9
  444. package/SVF-doxygen/html/search/defines_a.js +2 -2
  445. package/SVF-doxygen/html/search/defines_b.js +1 -1
  446. package/SVF-doxygen/html/search/defines_c.js +4 -4
  447. package/SVF-doxygen/html/search/defines_d.js +2 -2
  448. package/SVF-doxygen/html/search/defines_e.js +8 -8
  449. package/SVF-doxygen/html/search/defines_f.js +4 -4
  450. package/SVF-doxygen/html/search/enums_0.js +4 -4
  451. package/SVF-doxygen/html/search/enums_1.js +2 -2
  452. package/SVF-doxygen/html/search/enums_10.js +1 -1
  453. package/SVF-doxygen/html/search/enums_11.js +1 -1
  454. package/SVF-doxygen/html/search/enums_2.js +9 -8
  455. package/SVF-doxygen/html/search/enums_3.js +1 -1
  456. package/SVF-doxygen/html/search/enums_4.js +4 -4
  457. package/SVF-doxygen/html/search/enums_5.js +1 -1
  458. package/SVF-doxygen/html/search/enums_6.js +2 -2
  459. package/SVF-doxygen/html/search/enums_7.js +2 -2
  460. package/SVF-doxygen/html/search/enums_8.js +4 -4
  461. package/SVF-doxygen/html/search/enums_9.js +1 -1
  462. package/SVF-doxygen/html/search/enums_a.js +1 -1
  463. package/SVF-doxygen/html/search/enums_b.js +7 -7
  464. package/SVF-doxygen/html/search/enums_c.js +1 -1
  465. package/SVF-doxygen/html/search/enums_d.js +4 -4
  466. package/SVF-doxygen/html/search/enums_e.js +2 -2
  467. package/SVF-doxygen/html/search/enums_f.js +4 -4
  468. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  469. package/SVF-doxygen/html/search/enumvalues_1.js +16 -15
  470. package/SVF-doxygen/html/search/enumvalues_10.js +36 -35
  471. package/SVF-doxygen/html/search/enumvalues_11.js +5 -4
  472. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  473. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  474. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  475. package/SVF-doxygen/html/search/enumvalues_15.js +4 -3
  476. package/SVF-doxygen/html/search/enumvalues_2.js +37 -36
  477. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  478. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  479. package/SVF-doxygen/html/search/enumvalues_5.js +50 -47
  480. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  481. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  482. package/SVF-doxygen/html/search/enumvalues_8.js +24 -23
  483. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  484. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  485. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  486. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  487. package/SVF-doxygen/html/search/enumvalues_d.js +19 -18
  488. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  489. package/SVF-doxygen/html/search/enumvalues_f.js +49 -47
  490. package/SVF-doxygen/html/search/files_0.js +16 -16
  491. package/SVF-doxygen/html/search/files_1.js +9 -9
  492. package/SVF-doxygen/html/search/files_10.js +8 -8
  493. package/SVF-doxygen/html/search/files_11.js +8 -8
  494. package/SVF-doxygen/html/search/files_12.js +2 -2
  495. package/SVF-doxygen/html/search/files_2.js +53 -53
  496. package/SVF-doxygen/html/search/files_3.js +14 -14
  497. package/SVF-doxygen/html/search/files_4.js +5 -5
  498. package/SVF-doxygen/html/search/files_5.js +13 -13
  499. package/SVF-doxygen/html/search/files_6.js +10 -10
  500. package/SVF-doxygen/html/search/files_7.js +17 -17
  501. package/SVF-doxygen/html/search/files_8.js +13 -13
  502. package/SVF-doxygen/html/search/files_9.js +18 -18
  503. package/SVF-doxygen/html/search/files_a.js +3 -3
  504. package/SVF-doxygen/html/search/files_b.js +4 -4
  505. package/SVF-doxygen/html/search/files_c.js +20 -20
  506. package/SVF-doxygen/html/search/files_d.js +4 -4
  507. package/SVF-doxygen/html/search/files_e.js +62 -62
  508. package/SVF-doxygen/html/search/files_f.js +8 -8
  509. package/SVF-doxygen/html/search/functions_0.js +13 -13
  510. package/SVF-doxygen/html/search/functions_1.js +368 -368
  511. package/SVF-doxygen/html/search/functions_10.js +140 -140
  512. package/SVF-doxygen/html/search/functions_11.js +140 -140
  513. package/SVF-doxygen/html/search/functions_12.js +299 -299
  514. package/SVF-doxygen/html/search/functions_13.js +73 -73
  515. package/SVF-doxygen/html/search/functions_14.js +41 -41
  516. package/SVF-doxygen/html/search/functions_15.js +72 -72
  517. package/SVF-doxygen/html/search/functions_16.js +38 -38
  518. package/SVF-doxygen/html/search/functions_17.js +3 -3
  519. package/SVF-doxygen/html/search/functions_18.js +179 -179
  520. package/SVF-doxygen/html/search/functions_2.js +94 -94
  521. package/SVF-doxygen/html/search/functions_3.js +261 -261
  522. package/SVF-doxygen/html/search/functions_4.js +85 -85
  523. package/SVF-doxygen/html/search/functions_5.js +57 -57
  524. package/SVF-doxygen/html/search/functions_6.js +65 -65
  525. package/SVF-doxygen/html/search/functions_7.js +872 -863
  526. package/SVF-doxygen/html/search/functions_8.js +162 -162
  527. package/SVF-doxygen/html/search/functions_9.js +440 -438
  528. package/SVF-doxygen/html/search/functions_a.js +30 -30
  529. package/SVF-doxygen/html/search/functions_b.js +2 -2
  530. package/SVF-doxygen/html/search/functions_c.js +25 -25
  531. package/SVF-doxygen/html/search/functions_d.js +82 -82
  532. package/SVF-doxygen/html/search/functions_e.js +36 -36
  533. package/SVF-doxygen/html/search/functions_f.js +58 -58
  534. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  535. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  536. package/SVF-doxygen/html/search/related_0.js +4 -4
  537. package/SVF-doxygen/html/search/related_1.js +2 -2
  538. package/SVF-doxygen/html/search/related_2.js +2 -2
  539. package/SVF-doxygen/html/search/related_3.js +2 -2
  540. package/SVF-doxygen/html/search/related_4.js +2 -2
  541. package/SVF-doxygen/html/search/related_5.js +1 -1
  542. package/SVF-doxygen/html/search/related_6.js +2 -2
  543. package/SVF-doxygen/html/search/related_7.js +5 -5
  544. package/SVF-doxygen/html/search/related_8.js +2 -2
  545. package/SVF-doxygen/html/search/related_9.js +4 -4
  546. package/SVF-doxygen/html/search/related_a.js +19 -19
  547. package/SVF-doxygen/html/search/related_b.js +4 -4
  548. package/SVF-doxygen/html/search/related_c.js +2 -2
  549. package/SVF-doxygen/html/search/related_d.js +12 -12
  550. package/SVF-doxygen/html/search/related_e.js +2 -2
  551. package/SVF-doxygen/html/search/related_f.js +2 -2
  552. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  553. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  554. package/SVF-doxygen/html/search/typedefs_10.js +65 -63
  555. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  556. package/SVF-doxygen/html/search/typedefs_12.js +13 -11
  557. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  558. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  559. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  560. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  561. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  562. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  563. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  564. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  565. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  566. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  567. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  568. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  569. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  570. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  571. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  572. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  573. package/SVF-doxygen/html/search/variables_0.js +177 -177
  574. package/SVF-doxygen/html/search/variables_1.js +77 -76
  575. package/SVF-doxygen/html/search/variables_10.js +98 -98
  576. package/SVF-doxygen/html/search/variables_11.js +46 -46
  577. package/SVF-doxygen/html/search/variables_12.js +93 -93
  578. package/SVF-doxygen/html/search/variables_13.js +76 -76
  579. package/SVF-doxygen/html/search/variables_14.js +14 -14
  580. package/SVF-doxygen/html/search/variables_15.js +49 -49
  581. package/SVF-doxygen/html/search/variables_16.js +11 -11
  582. package/SVF-doxygen/html/search/variables_17.js +1 -1
  583. package/SVF-doxygen/html/search/variables_18.js +17 -17
  584. package/SVF-doxygen/html/search/variables_2.js +40 -40
  585. package/SVF-doxygen/html/search/variables_3.js +143 -142
  586. package/SVF-doxygen/html/search/variables_4.js +51 -51
  587. package/SVF-doxygen/html/search/variables_5.js +39 -39
  588. package/SVF-doxygen/html/search/variables_6.js +66 -66
  589. package/SVF-doxygen/html/search/variables_7.js +34 -34
  590. package/SVF-doxygen/html/search/variables_8.js +8 -8
  591. package/SVF-doxygen/html/search/variables_9.js +79 -79
  592. package/SVF-doxygen/html/search/variables_a.js +4 -4
  593. package/SVF-doxygen/html/search/variables_b.js +10 -10
  594. package/SVF-doxygen/html/search/variables_c.js +45 -45
  595. package/SVF-doxygen/html/search/variables_d.js +57 -57
  596. package/SVF-doxygen/html/search/variables_e.js +123 -123
  597. package/SVF-doxygen/html/search/variables_f.js +31 -31
  598. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  599. package/SVF-doxygen/html/structSVF_1_1Hash.html +6 -6
  600. package/SVF-doxygen/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html +12 -12
  601. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +1 -1
  602. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html +6 -6
  603. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html +1 -1
  604. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +1 -1
  605. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  606. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1NumericLiteral_01_4.html +5 -5
  607. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html +1 -1
  608. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +1 -1
  609. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +1 -1
  610. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1SymState_01_4.html +1 -1
  611. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html +6 -6
  612. package/SVF-doxygen/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +1 -1
  613. package/SVF-doxygen/html/svf-ex_8cpp.html +21 -21
  614. package/SVF-doxygen/html/svf-ex_8cpp_source.html +21 -21
  615. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  616. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +3 -3
  617. package/package.json +1 -1
  618. package/svf/include/AE/Core/BoundedZ3Expr.h +33 -20
  619. package/svf/include/AE/Core/IntervalValue.h +57 -5
  620. package/svf/include/AE/Core/NumericLiteral.h +31 -1
  621. package/svf/include/AE/Core/RelationSolver.h +1 -1
  622. package/svf/include/AE/Svfexe/SVFIR2ItvExeState.h +10 -0
  623. package/svf/include/SVFIR/SVFIR.h +2 -1
  624. package/svf/include/SVFIR/SVFStatements.h +12 -2
  625. package/svf/include/Util/GeneralType.h +4 -0
  626. package/svf/include/Util/Options.h +3 -0
  627. package/svf/include/Util/Z3Expr.h +9 -2
  628. package/svf/lib/AE/Core/RelationSolver.cpp +11 -6
  629. package/svf/lib/AE/Svfexe/AbstractExecution.cpp +13 -34
  630. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +6 -6
  631. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +217 -23
  632. package/svf/lib/SVFIR/PAGBuilderFromFile.cpp +62 -3
  633. package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -1
  634. package/svf/lib/SVFIR/SVFIR.cpp +3 -3
  635. package/svf/lib/Util/Options.cpp +8 -0
  636. package/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h +39 -3
  637. package/svf-llvm/lib/LLVMModule.cpp +21 -2
  638. package/svf-llvm/lib/SVFIRBuilder.cpp +7 -7
  639. package/svf-llvm/lib/SVFIRExtAPI.cpp +3 -3
package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html CHANGED
@@ -301,7 +301,7 @@ Additional Inherited Members</h2></td></tr>
301
301
  </table>
302
302
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
303
303
  <div class="textblock">
304
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00679">679</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
304
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00689">689</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
305
305
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
306
306
  <a id="acf8c7cfbf1c8baab672040635bb9a007"></a>
307
307
  <h2 class="memtitle"><span class="permalink"><a href="#acf8c7cfbf1c8baab672040635bb9a007">&#9670;&nbsp;</a></span>OPVars</h2>
@@ -315,7 +315,7 @@ Additional Inherited Members</h2></td></tr>
315
315
  </table>
316
316
  </div><div class="memdoc">
317
317
 
318
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00685">685</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
318
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00695">695</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
319
319
 
320
320
  </div>
321
321
  </div>
@@ -450,8 +450,8 @@ Additional Inherited Members</h2></td></tr>
450
450
 
451
451
  <p>Constructs empty <a class="el" href="classSVF_1_1MultiOpndStmt.html">MultiOpndStmt</a> (for SVFIRReader/serialization) </p>
452
452
 
453
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00701">701</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
454
- <div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno"> 701</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(k) {}</div>
453
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00711">711</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
454
+ <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(k) {}</div>
455
455
  </div><!-- fragment -->
456
456
  </div>
457
457
  </div>
@@ -480,11 +480,11 @@ Additional Inherited Members</h2></td></tr>
480
480
  </table>
481
481
  </div><div class="memdoc">
482
482
 
483
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00715">715</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
484
- <div class="fragment"><div class="line"><a name="l00716"></a><span class="lineno"> 716</span>&#160; {</div>
485
- <div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; <span class="keywordflow">return</span> node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> ||</div>
486
- <div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>;</div>
487
- <div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div>
483
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00725">725</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
484
+ <div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; {</div>
485
+ <div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; <span class="keywordflow">return</span> node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> ||</div>
486
+ <div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>;</div>
487
+ <div class="line"><a name="l00729"></a><span class="lineno"> 729</span>&#160; }</div>
488
488
  </div><!-- fragment -->
489
489
  </div>
490
490
  </div>
@@ -514,10 +514,10 @@ Additional Inherited Members</h2></td></tr>
514
514
 
515
515
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
516
516
 
517
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00706">706</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
518
- <div class="fragment"><div class="line"><a name="l00707"></a><span class="lineno"> 707</span>&#160; {</div>
519
- <div class="line"><a name="l00708"></a><span class="lineno"> 708</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
520
- <div class="line"><a name="l00709"></a><span class="lineno"> 709</span>&#160; }</div>
517
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00716">716</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
518
+ <div class="fragment"><div class="line"><a name="l00717"></a><span class="lineno"> 717</span>&#160; {</div>
519
+ <div class="line"><a name="l00718"></a><span class="lineno"> 718</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
520
+ <div class="line"><a name="l00719"></a><span class="lineno"> 719</span>&#160; }</div>
521
521
  </div><!-- fragment -->
522
522
  </div>
523
523
  </div>
@@ -545,11 +545,11 @@ Additional Inherited Members</h2></td></tr>
545
545
  </table>
546
546
  </div><div class="memdoc">
547
547
 
548
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00710">710</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
549
- <div class="fragment"><div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160; {</div>
550
- <div class="line"><a name="l00712"></a><span class="lineno"> 712</span>&#160; <span class="keywordflow">return</span> node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> ||</div>
551
- <div class="line"><a name="l00713"></a><span class="lineno"> 713</span>&#160; node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>;</div>
552
- <div class="line"><a name="l00714"></a><span class="lineno"> 714</span>&#160; }</div>
548
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00720">720</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
549
+ <div class="fragment"><div class="line"><a name="l00721"></a><span class="lineno"> 721</span>&#160; {</div>
550
+ <div class="line"><a name="l00722"></a><span class="lineno"> 722</span>&#160; <span class="keywordflow">return</span> node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">Phi</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">Select</a> ||</div>
551
+ <div class="line"><a name="l00723"></a><span class="lineno"> 723</span>&#160; node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">BinaryOp</a> || node-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">Cmp</a>;</div>
552
+ <div class="line"><a name="l00724"></a><span class="lineno"> 724</span>&#160; }</div>
553
553
  </div><!-- fragment -->
554
554
  </div>
555
555
  </div>
@@ -630,10 +630,10 @@ Additional Inherited Members</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="SVFStatements_8h_source.html#l00742">742</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
634
- <div class="fragment"><div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; {</div>
635
- <div class="line"><a name="l00744"></a><span class="lineno"> 744</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>;</div>
636
- <div class="line"><a name="l00745"></a><span class="lineno"> 745</span>&#160; }</div>
633
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00752">752</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
634
+ <div class="fragment"><div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; {</div>
635
+ <div class="line"><a name="l00754"></a><span class="lineno"> 754</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>;</div>
636
+ <div class="line"><a name="l00755"></a><span class="lineno"> 755</span>&#160; }</div>
637
637
  </div><!-- fragment -->
638
638
  </div>
639
639
  </div>
@@ -664,10 +664,10 @@ Additional Inherited Members</h2></td></tr>
664
664
  <p>Operand SVFVars. </p>
665
665
  <p>Operands and result at a BinaryNode e.g., p = q + r, <code>p</code> is resVar and <code>r</code> is OpVar </p>
666
666
 
667
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00725">725</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
668
- <div class="fragment"><div class="line"><a name="l00726"></a><span class="lineno"> 726</span>&#160; {</div>
669
- <div class="line"><a name="l00727"></a><span class="lineno"> 727</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.at(pos);</div>
670
- <div class="line"><a name="l00728"></a><span class="lineno"> 728</span>&#160; }</div>
667
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00735">735</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
668
+ <div class="fragment"><div class="line"><a name="l00736"></a><span class="lineno"> 736</span>&#160; {</div>
669
+ <div class="line"><a name="l00737"></a><span class="lineno"> 737</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.at(pos);</div>
670
+ <div class="line"><a name="l00738"></a><span class="lineno"> 738</span>&#160; }</div>
671
671
  </div><!-- fragment -->
672
672
  </div>
673
673
  </div>
@@ -717,10 +717,10 @@ Additional Inherited Members</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="SVFStatements_8h_source.html#l00738">738</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
721
- <div class="fragment"><div class="line"><a name="l00739"></a><span class="lineno"> 739</span>&#160; {</div>
722
- <div class="line"><a name="l00740"></a><span class="lineno"> 740</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.size();</div>
723
- <div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; }</div>
720
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00748">748</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
721
+ <div class="fragment"><div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; {</div>
722
+ <div class="line"><a name="l00750"></a><span class="lineno"> 750</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.size();</div>
723
+ <div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; }</div>
724
724
  </div><!-- fragment -->
725
725
  </div>
726
726
  </div>
@@ -749,10 +749,10 @@ Additional Inherited Members</h2></td></tr>
749
749
 
750
750
  <p>Result <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>. </p>
751
751
 
752
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00730">730</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
753
- <div class="fragment"><div class="line"><a name="l00731"></a><span class="lineno"> 731</span>&#160; {</div>
754
- <div class="line"><a name="l00732"></a><span class="lineno"> 732</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
755
- <div class="line"><a name="l00733"></a><span class="lineno"> 733</span>&#160; }</div>
752
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00740">740</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
753
+ <div class="fragment"><div class="line"><a name="l00741"></a><span class="lineno"> 741</span>&#160; {</div>
754
+ <div class="line"><a name="l00742"></a><span class="lineno"> 742</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
755
+ <div class="line"><a name="l00743"></a><span class="lineno"> 743</span>&#160; }</div>
756
756
  </div><!-- fragment -->
757
757
  </div>
758
758
  </div>
@@ -883,10 +883,10 @@ Additional Inherited Members</h2></td></tr>
883
883
  </table>
884
884
  </div><div class="memdoc">
885
885
 
886
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00746">746</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
887
- <div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160; {</div>
888
- <div class="line"><a name="l00748"></a><span class="lineno"> 748</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.begin();</div>
889
- <div class="line"><a name="l00749"></a><span class="lineno"> 749</span>&#160; }</div>
886
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00756">756</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
887
+ <div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; {</div>
888
+ <div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.begin();</div>
889
+ <div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; }</div>
890
890
  </div><!-- fragment -->
891
891
  </div>
892
892
  </div>
@@ -913,10 +913,10 @@ Additional Inherited Members</h2></td></tr>
913
913
  </table>
914
914
  </div><div class="memdoc">
915
915
 
916
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00750">750</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
917
- <div class="fragment"><div class="line"><a name="l00751"></a><span class="lineno"> 751</span>&#160; {</div>
918
- <div class="line"><a name="l00752"></a><span class="lineno"> 752</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.end();</div>
919
- <div class="line"><a name="l00753"></a><span class="lineno"> 753</span>&#160; }</div>
916
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00760">760</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
917
+ <div class="fragment"><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; {</div>
918
+ <div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.end();</div>
919
+ <div class="line"><a name="l00763"></a><span class="lineno"> 763</span>&#160; }</div>
920
920
  </div><!-- fragment -->
921
921
  </div>
922
922
  </div>
@@ -941,7 +941,7 @@ Additional Inherited Members</h2></td></tr>
941
941
  </table>
942
942
  </div><div class="memdoc">
943
943
 
944
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00682">682</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
944
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00692">692</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
945
945
 
946
946
  </div>
947
947
  </div>
@@ -965,7 +965,7 @@ Additional Inherited Members</h2></td></tr>
965
965
  </table>
966
966
  </div><div class="memdoc">
967
967
 
968
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00681">681</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
968
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00691">691</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
969
969
 
970
970
  </div>
971
971
  </div>
@@ -990,7 +990,7 @@ Additional Inherited Members</h2></td></tr>
990
990
  </table>
991
991
  </div><div class="memdoc">
992
992
 
993
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00697">697</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
993
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00707">707</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
994
994
 
995
995
  </div>
996
996
  </div>
@@ -1001,11 +1001,11 @@ Additional Inherited Members</h2></td></tr>
1001
1001
  </div><!-- contents -->
1002
1002
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4f4159567121416cbe78d124f5c6a8b6"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(GEdgeFlag k)</div><div class="ttdoc">Private constructor for reading SVFIR from file without side-effect.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00088">SVFStatements.h:88</a></div></div>
1003
1003
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
1004
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00725">SVFStatements.h:725</a></div></div>
1004
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00735">SVFStatements.h:735</a></div></div>
1005
1005
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdeci">@ Select</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00071">SVFStatements.h:71</a></div></div>
1006
1006
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt::BinaryOp</a></div><div class="ttdeci">@ BinaryOp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00073">SVFStatements.h:73</a></div></div>
1007
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00730">SVFStatements.h:730</a></div></div>
1008
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00697">SVFStatements.h:697</a></div></div>
1007
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00740">SVFStatements.h:740</a></div></div>
1008
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00707">SVFStatements.h:707</a></div></div>
1009
1009
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdeci">@ Phi</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00070">SVFStatements.h:70</a></div></div>
1010
1010
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
1011
1011
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVF::SVFStmt::Cmp</a></div><div class="ttdeci">@ Cmp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00072">SVFStatements.h:72</a></div></div>
package/SVF-doxygen/html/classSVF_1_1MutableDFPTData.html CHANGED
@@ -2138,7 +2138,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
2138
2138
  </ul>
2139
2139
  </div><!-- contents -->
2140
2140
  <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a3f234abc0def4815a03de164fa258f24"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData::PtsMapConstIter</a></div><div class="ttdeci">BaseMutPTData::PtsMapConstIter PtsMapConstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00373">MutablePointsToDS.h:373</a></div></div>
2141
- <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
2141
+ <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
2142
2142
  <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a034c1bf20ab8a73a97863073e08dcd4e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">SVF::MutableDFPTData::getDFOutPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFOutPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00450">MutablePointsToDS.h:450</a></div></div>
2143
2143
  <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_a7559810e1ad40588f5fd82123ea1f150"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150">SVF::MutableDFPTData::getDFInPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFInPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00446">MutablePointsToDS.h:446</a></div></div>
2144
2144
  <div class="ttc" id="aclassSVF_1_1MutableDFPTData_html_ae847b982baec8115ede5d7d28cd91d34"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34">SVF::MutableDFPTData::LocID</a></div><div class="ttdeci">BaseDFPTData::LocID LocID</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00371">MutablePointsToDS.h:371</a></div></div>
package/SVF-doxygen/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html CHANGED
@@ -1634,7 +1634,7 @@ points-to set" is encoded by graph which is an adjacency list ensuring that x in
1634
1634
  <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
1635
1635
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
1636
1636
  <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_1_1Clusterer_html_af3fe4b4098898ee38928c9db30ea0fe9"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9">SVF::NodeIDAllocator::Clusterer::NewBvNumWords</a></div><div class="ttdeci">static const std::string NewBvNumWords</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00136">NodeIDAllocator.h:136</a></div></div>
1637
- <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
1637
+ <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
1638
1638
  <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_1_1Clusterer_html_ad7cb36a1f0f67864fb8290e9dfd7b639"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639">SVF::NodeIDAllocator::Clusterer::NumGtIntRegions</a></div><div class="ttdeci">static const std::string NumGtIntRegions</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00139">NodeIDAllocator.h:139</a></div></div>
1639
1639
  <div class="ttc" id="aclassSVF_1_1NodeIDAllocator_1_1Clusterer_html_ac5fe44f10cdbca9754444943a0f5c3c1"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1">SVF::NodeIDAllocator::Clusterer::NumRegions</a></div><div class="ttdeci">static const std::string NumRegions</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00138">NodeIDAllocator.h:138</a></div></div>
1640
1640
  <div class="ttc" id="aclassSVF_1_1Options_html_ac17ce6d75293dcd0baf366cbeb0cb6d6"><div class="ttname"><a href="classSVF_1_1Options.html#ac17ce6d75293dcd0baf366cbeb0cb6d6">SVF::Options::ClusterMethod</a></div><div class="ttdeci">static const OptionMap&lt; enum hclust_fast_methods &gt; ClusterMethod</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00056">Options.h:56</a></div></div>
package/SVF-doxygen/html/classSVF_1_1NumericLiteral-members.html CHANGED
@@ -78,52 +78,59 @@ $(function() {
78
78
  <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(const NumericLiteral &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
79
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(const NumericLiteral &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
80
  <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a32f68f45719c8be05357d7622dd66f6b">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
81
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac2994e13c3572b114c57a9bb4f155d67">getExpr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
87
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">is_minus_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
88
  <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">is_plus_infinity</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">ite</a>(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(const NumericLiteral &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">max</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
89
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2">max</a>(std::vector&lt; NumericLiteral &gt; &amp;_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
90
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">min</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
91
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3">min</a>(std::vector&lt; NumericLiteral &gt; &amp;_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
92
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b">NumericLiteral</a>(const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">NumericLiteral</a>(const z3::expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb">NumericLiteral</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9">NumericLiteral</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6">NumericLiteral</a>(BoundedZ3Expr z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1">NumericLiteral</a>(const NumericLiteral &amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9">NumericLiteral</a>(NumericLiteral &amp;&amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
101
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">operator!</a>(const NumericLiteral &amp;lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">operator!=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
103
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">operator%</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
104
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">operator&amp;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
105
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">operator&amp;&amp;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
106
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">operator*</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
107
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">operator+</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
108
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">operator-</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
109
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">operator-</a>(const NumericLiteral &amp;lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
110
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">operator/</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
111
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">operator&lt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
112
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">operator&lt;&lt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
113
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">operator&lt;&lt;</a>(std::ostream &amp;out, const NumericLiteral &amp;expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
114
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">operator&lt;=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
115
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">operator=</a>(const NumericLiteral &amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa33eb1c41cb582eb23e2c1d6fceb598d">operator=</a>(NumericLiteral &amp;&amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">operator==</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
118
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">operator&gt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
119
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">operator&gt;=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
120
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">operator&gt;&gt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
121
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">operator^</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
122
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">operator|</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
123
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">operator||</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
124
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
125
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
126
- <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">~NumericLiteral</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
91
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a">ite</a>(const NumericLiteral &amp;cond, const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
92
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(const NumericLiteral &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">max</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
94
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#abeb6260917a412282ddd174bd835cfa2">max</a>(std::vector&lt; NumericLiteral &gt; &amp;_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97">min</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a96a8e27a0187360eadc2a6821d163ae3">min</a>(std::vector&lt; NumericLiteral &gt; &amp;_l)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">minus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">NumericLiteral</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b">NumericLiteral</a>(const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd">NumericLiteral</a>(const z3::expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ade14f3444a718ad742a84cdf18819b8e">NumericLiteral</a>(float i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad791e5e38d48edeaabefbbd020ec5dfc">NumericLiteral</a>(double i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb">NumericLiteral</a>(s32_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a851b5ce5328fd08c1e06ed5ed5883cb9">NumericLiteral</a>(s64_t i)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6">NumericLiteral</a>(BoundedZ3Expr z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
106
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1">NumericLiteral</a>(const NumericLiteral &amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
107
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9">NumericLiteral</a>(NumericLiteral &amp;&amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"></td></tr>
108
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29">operator!</a>(const NumericLiteral &amp;lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
109
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83">operator!=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
110
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39">operator%</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
111
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da">operator&amp;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
112
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67">operator&amp;&amp;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
113
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">operator*</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
114
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84">operator+</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
115
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d">operator-</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
116
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3">operator-</a>(const NumericLiteral &amp;lhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
117
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407">operator/</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
118
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d">operator&lt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
119
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d">operator&lt;&lt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
120
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792">operator&lt;&lt;</a>(std::ostream &amp;out, const NumericLiteral &amp;expr)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
121
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">operator&lt;=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
122
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a">operator=</a>(const NumericLiteral &amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa33eb1c41cb582eb23e2c1d6fceb598d">operator=</a>(NumericLiteral &amp;&amp;)=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed">operator==</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
125
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">operator&gt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
126
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">operator&gt;=</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
127
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516">operator&gt;&gt;</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
128
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">operator^</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
129
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05">operator|</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
130
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8">operator||</a>(const NumericLiteral &amp;lhs, const NumericLiteral &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
131
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">plus_infinity</a>()</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
132
+ <tr><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
133
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html#a4eb2b07a6aee71e66a16ffe690db9826">~NumericLiteral</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1NumericLiteral.html">SVF::NumericLiteral</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
127
134
  </table></div><!-- contents -->
128
135
  <!-- start footer part -->
129
136
  <hr class="footer"/><address class="footer"><small>