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_1IntervalValue.html CHANGED
@@ -113,6 +113,8 @@ Public Member Functions</h2></td></tr>
113
113
  <tr class="separator:a6ec0263a3036734c28cd241007f8a490"><td class="memSeparator" colspan="2">&#160;</td></tr>
114
114
  <tr class="memitem:a50d11cbc14f717d679caafe3cf59e0c5"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a50d11cbc14f717d679caafe3cf59e0c5">IntervalValue</a> (double <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, double <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)</td></tr>
115
115
  <tr class="separator:a50d11cbc14f717d679caafe3cf59e0c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
+ <tr class="memitem:aba604a5a30a77cb199a50814cf695852"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#aba604a5a30a77cb199a50814cf695852">IntervalValue</a> (float <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, float <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)</td></tr>
117
+ <tr class="separator:aba604a5a30a77cb199a50814cf695852"><td class="memSeparator" colspan="2">&#160;</td></tr>
116
118
  <tr class="memitem:ac3736c3e3129cfdb6ee415ef64c2e75c"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#ac3736c3e3129cfdb6ee415ef64c2e75c">IntervalValue</a> (<a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="el" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)</td></tr>
117
119
  <tr class="separator:ac3736c3e3129cfdb6ee415ef64c2e75c"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
120
  <tr class="memitem:a304db5abb4cc7added56dbcbcd94d905"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a304db5abb4cc7added56dbcbcd94d905">IntervalValue</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)</td></tr>
@@ -161,9 +163,17 @@ Public Member Functions</h2></td></tr>
161
163
  <tr class="memitem:a78b5445006d765160bbcb4ae2e11bd8a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a> () const</td></tr>
162
164
  <tr class="memdesc:a78b5445006d765160bbcb4ae2e11bd8a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is infinite <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. <a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">More...</a><br /></td></tr>
163
165
  <tr class="separator:a78b5445006d765160bbcb4ae2e11bd8a"><td class="memSeparator" colspan="2">&#160;</td></tr>
166
+ <tr class="memitem:a20d391da7bcd46a14c5ec1960aee2536"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a> () const</td></tr>
167
+ <tr class="separator:a20d391da7bcd46a14c5ec1960aee2536"><td class="memSeparator" colspan="2">&#160;</td></tr>
168
+ <tr class="memitem:aef151a05c0f4a2a1aa3f9091f5258ee6"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">is_real</a> () const</td></tr>
169
+ <tr class="separator:aef151a05c0f4a2a1aa3f9091f5258ee6"><td class="memSeparator" colspan="2">&#160;</td></tr>
164
170
  <tr class="memitem:ae081b5c462f8ed5b306719822e35cea9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">getNumeral</a> () const</td></tr>
165
171
  <tr class="memdesc:ae081b5c462f8ed5b306719822e35cea9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return. <a href="classSVF_1_1IntervalValue.html#ae081b5c462f8ed5b306719822e35cea9">More...</a><br /></td></tr>
166
172
  <tr class="separator:ae081b5c462f8ed5b306719822e35cea9"><td class="memSeparator" colspan="2">&#160;</td></tr>
173
+ <tr class="memitem:a4f9d13c0f642fcad6ddb86ea79fac6e3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a4f9d13c0f642fcad6ddb86ea79fac6e3">getIntNumeral</a> () const</td></tr>
174
+ <tr class="separator:a4f9d13c0f642fcad6ddb86ea79fac6e3"><td class="memSeparator" colspan="2">&#160;</td></tr>
175
+ <tr class="memitem:aa13c0ab01450d10c9603ea46f0fe3293"><td class="memItemLeft" align="right" valign="top">double&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#aa13c0ab01450d10c9603ea46f0fe3293">getRealNumeral</a> () const</td></tr>
176
+ <tr class="separator:aa13c0ab01450d10c9603ea46f0fe3293"><td class="memSeparator" colspan="2">&#160;</td></tr>
167
177
  <tr class="memitem:a523826aede7ad22736beed0c8223b6b0"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a> () const</td></tr>
168
178
  <tr class="memdesc:a523826aede7ad22736beed0c8223b6b0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is a number [num, num]. <a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">More...</a><br /></td></tr>
169
179
  <tr class="separator:a523826aede7ad22736beed0c8223b6b0"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -263,7 +273,7 @@ Additional Inherited Members</h2></td></tr>
263
273
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00043">43</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
264
274
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
265
275
  <a id="ad51535cb50a03df7a439b4e5b5d305f0"></a>
266
- <h2 class="memtitle"><span class="permalink"><a href="#ad51535cb50a03df7a439b4e5b5d305f0">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[1/14]</span></h2>
276
+ <h2 class="memtitle"><span class="permalink"><a href="#ad51535cb50a03df7a439b4e5b5d305f0">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[1/15]</span></h2>
267
277
 
268
278
  <div class="memitem">
269
279
  <div class="memproto">
@@ -293,7 +303,7 @@ Additional Inherited Members</h2></td></tr>
293
303
  </div>
294
304
  </div>
295
305
  <a id="a22796c07a495e1af7252b3dcb60d9940"></a>
296
- <h2 class="memtitle"><span class="permalink"><a href="#a22796c07a495e1af7252b3dcb60d9940">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[2/14]</span></h2>
306
+ <h2 class="memtitle"><span class="permalink"><a href="#a22796c07a495e1af7252b3dcb60d9940">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[2/15]</span></h2>
297
307
 
298
308
  <div class="memitem">
299
309
  <div class="memproto">
@@ -324,7 +334,7 @@ Additional Inherited Members</h2></td></tr>
324
334
  </div>
325
335
  </div>
326
336
  <a id="a926ca60622fdcd225ef7d8b7fd4054b2"></a>
327
- <h2 class="memtitle"><span class="permalink"><a href="#a926ca60622fdcd225ef7d8b7fd4054b2">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[3/14]</span></h2>
337
+ <h2 class="memtitle"><span class="permalink"><a href="#a926ca60622fdcd225ef7d8b7fd4054b2">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[3/15]</span></h2>
328
338
 
329
339
  <div class="memitem">
330
340
  <div class="memproto">
@@ -353,7 +363,7 @@ Additional Inherited Members</h2></td></tr>
353
363
  </div>
354
364
  </div>
355
365
  <a id="a3ac170a902accf8d84b6b77ab88a8fd3"></a>
356
- <h2 class="memtitle"><span class="permalink"><a href="#a3ac170a902accf8d84b6b77ab88a8fd3">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[4/14]</span></h2>
366
+ <h2 class="memtitle"><span class="permalink"><a href="#a3ac170a902accf8d84b6b77ab88a8fd3">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[4/15]</span></h2>
357
367
 
358
368
  <div class="memitem">
359
369
  <div class="memproto">
@@ -382,7 +392,7 @@ Additional Inherited Members</h2></td></tr>
382
392
  </div>
383
393
  </div>
384
394
  <a id="ad1a81f516a61f54a595fa15444e2001b"></a>
385
- <h2 class="memtitle"><span class="permalink"><a href="#ad1a81f516a61f54a595fa15444e2001b">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[5/14]</span></h2>
395
+ <h2 class="memtitle"><span class="permalink"><a href="#ad1a81f516a61f54a595fa15444e2001b">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[5/15]</span></h2>
386
396
 
387
397
  <div class="memitem">
388
398
  <div class="memproto">
@@ -406,12 +416,12 @@ Additional Inherited Members</h2></td></tr>
406
416
  </div><div class="memdoc">
407
417
 
408
418
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00104">104</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
409
- <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
419
+ <div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160;: <a class="code" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">AbstractValue</a>(<a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>), <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) {}</div>
410
420
  </div><!-- fragment -->
411
421
  </div>
412
422
  </div>
413
423
  <a id="aa339a88f42bea8c1adfe0db8ba3a5d2a"></a>
414
- <h2 class="memtitle"><span class="permalink"><a href="#aa339a88f42bea8c1adfe0db8ba3a5d2a">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[6/14]</span></h2>
424
+ <h2 class="memtitle"><span class="permalink"><a href="#aa339a88f42bea8c1adfe0db8ba3a5d2a">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[6/15]</span></h2>
415
425
 
416
426
  <div class="memitem">
417
427
  <div class="memproto">
@@ -440,7 +450,7 @@ Additional Inherited Members</h2></td></tr>
440
450
  </div>
441
451
  </div>
442
452
  <a id="a73aee65aae0f2ef368d159d29e1d5a30"></a>
443
- <h2 class="memtitle"><span class="permalink"><a href="#a73aee65aae0f2ef368d159d29e1d5a30">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[7/14]</span></h2>
453
+ <h2 class="memtitle"><span class="permalink"><a href="#a73aee65aae0f2ef368d159d29e1d5a30">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[7/15]</span></h2>
444
454
 
445
455
  <div class="memitem">
446
456
  <div class="memproto">
@@ -482,7 +492,7 @@ Additional Inherited Members</h2></td></tr>
482
492
  </div>
483
493
  </div>
484
494
  <a id="a6ec0263a3036734c28cd241007f8a490"></a>
485
- <h2 class="memtitle"><span class="permalink"><a href="#a6ec0263a3036734c28cd241007f8a490">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[8/14]</span></h2>
495
+ <h2 class="memtitle"><span class="permalink"><a href="#a6ec0263a3036734c28cd241007f8a490">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[8/15]</span></h2>
486
496
 
487
497
  <div class="memitem">
488
498
  <div class="memproto">
@@ -521,7 +531,7 @@ Additional Inherited Members</h2></td></tr>
521
531
  </div>
522
532
  </div>
523
533
  <a id="a50d11cbc14f717d679caafe3cf59e0c5"></a>
524
- <h2 class="memtitle"><span class="permalink"><a href="#a50d11cbc14f717d679caafe3cf59e0c5">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[9/14]</span></h2>
534
+ <h2 class="memtitle"><span class="permalink"><a href="#a50d11cbc14f717d679caafe3cf59e0c5">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[9/15]</span></h2>
525
535
 
526
536
  <div class="memitem">
527
537
  <div class="memproto">
@@ -555,12 +565,51 @@ Additional Inherited Members</h2></td></tr>
555
565
  </div><div class="memdoc">
556
566
 
557
567
  <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00114">114</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
558
- <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
568
+ <div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
569
+ </div><!-- fragment -->
570
+ </div>
571
+ </div>
572
+ <a id="aba604a5a30a77cb199a50814cf695852"></a>
573
+ <h2 class="memtitle"><span class="permalink"><a href="#aba604a5a30a77cb199a50814cf695852">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[10/15]</span></h2>
574
+
575
+ <div class="memitem">
576
+ <div class="memproto">
577
+ <table class="mlabels">
578
+ <tr>
579
+ <td class="mlabels-left">
580
+ <table class="memname">
581
+ <tr>
582
+ <td class="memname">SVF::IntervalValue::IntervalValue </td>
583
+ <td>(</td>
584
+ <td class="paramtype">float&#160;</td>
585
+ <td class="paramname"><em>lb</em>, </td>
586
+ </tr>
587
+ <tr>
588
+ <td class="paramkey"></td>
589
+ <td></td>
590
+ <td class="paramtype">float&#160;</td>
591
+ <td class="paramname"><em>ub</em>&#160;</td>
592
+ </tr>
593
+ <tr>
594
+ <td></td>
595
+ <td>)</td>
596
+ <td></td><td></td>
597
+ </tr>
598
+ </table>
599
+ </td>
600
+ <td class="mlabels-right">
601
+ <span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span> </td>
602
+ </tr>
603
+ </table>
604
+ </div><div class="memdoc">
605
+
606
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00116">116</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
607
+ <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>), NumericLiteral(<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>)) {}</div>
559
608
  </div><!-- fragment -->
560
609
  </div>
561
610
  </div>
562
611
  <a id="ac3736c3e3129cfdb6ee415ef64c2e75c"></a>
563
- <h2 class="memtitle"><span class="permalink"><a href="#ac3736c3e3129cfdb6ee415ef64c2e75c">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[10/14]</span></h2>
612
+ <h2 class="memtitle"><span class="permalink"><a href="#ac3736c3e3129cfdb6ee415ef64c2e75c">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[11/15]</span></h2>
564
613
 
565
614
  <div class="memitem">
566
615
  <div class="memproto">
@@ -593,13 +642,13 @@ Additional Inherited Members</h2></td></tr>
593
642
  </table>
594
643
  </div><div class="memdoc">
595
644
 
596
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00116">116</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
645
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00118">118</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
646
+ <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
598
647
  </div><!-- fragment -->
599
648
  </div>
600
649
  </div>
601
650
  <a id="a304db5abb4cc7added56dbcbcd94d905"></a>
602
- <h2 class="memtitle"><span class="permalink"><a href="#a304db5abb4cc7added56dbcbcd94d905">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[11/14]</span></h2>
651
+ <h2 class="memtitle"><span class="permalink"><a href="#a304db5abb4cc7added56dbcbcd94d905">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[12/15]</span></h2>
603
652
 
604
653
  <div class="memitem">
605
654
  <div class="memproto">
@@ -632,13 +681,13 @@ Additional Inherited Members</h2></td></tr>
632
681
  </table>
633
682
  </div><div class="memdoc">
634
683
 
635
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00118">118</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
636
- <div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
684
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00120">120</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
685
+ <div class="fragment"><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
637
686
  </div><!-- fragment -->
638
687
  </div>
639
688
  </div>
640
689
  <a id="a35e3062c24a13ac4ed50729339408f65"></a>
641
- <h2 class="memtitle"><span class="permalink"><a href="#a35e3062c24a13ac4ed50729339408f65">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[12/14]</span></h2>
690
+ <h2 class="memtitle"><span class="permalink"><a href="#a35e3062c24a13ac4ed50729339408f65">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[13/15]</span></h2>
642
691
 
643
692
  <div class="memitem">
644
693
  <div class="memproto">
@@ -671,13 +720,13 @@ Additional Inherited Members</h2></td></tr>
671
720
  </table>
672
721
  </div><div class="memdoc">
673
722
 
674
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00120">120</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
675
- <div class="fragment"><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
723
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00122">122</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
724
+ <div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160;: <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>((<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>, (<a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>) <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>) {}</div>
676
725
  </div><!-- fragment -->
677
726
  </div>
678
727
  </div>
679
728
  <a id="af93275fa839a1cfabe32f8b1ece77dff"></a>
680
- <h2 class="memtitle"><span class="permalink"><a href="#af93275fa839a1cfabe32f8b1ece77dff">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[13/14]</span></h2>
729
+ <h2 class="memtitle"><span class="permalink"><a href="#af93275fa839a1cfabe32f8b1ece77dff">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[14/15]</span></h2>
681
730
 
682
731
  <div class="memitem">
683
732
  <div class="memproto">
@@ -705,7 +754,7 @@ Additional Inherited Members</h2></td></tr>
705
754
  </div>
706
755
  </div>
707
756
  <a id="ae3deef6cb5bbac64c02cc51872b489ff"></a>
708
- <h2 class="memtitle"><span class="permalink"><a href="#ae3deef6cb5bbac64c02cc51872b489ff">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[14/14]</span></h2>
757
+ <h2 class="memtitle"><span class="permalink"><a href="#ae3deef6cb5bbac64c02cc51872b489ff">&#9670;&nbsp;</a></span>IntervalValue() <span class="overload">[15/15]</span></h2>
709
758
 
710
759
  <div class="memitem">
711
760
  <div class="memproto">
@@ -816,10 +865,10 @@ Additional Inherited Members</h2></td></tr>
816
865
  </table>
817
866
  </div><div class="memdoc">
818
867
 
819
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00211">211</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
820
- <div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; {</div>
821
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">return</span> v-&gt;getAbstractValueKind() == <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>;</div>
822
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; }</div>
868
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00213">213</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
869
+ <div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
870
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">return</span> v-&gt;getAbstractValueKind() == <a class="code" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">AbstractValue::IntervalK</a>;</div>
871
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; }</div>
823
872
  </div><!-- fragment -->
824
873
  </div>
825
874
  </div>
@@ -849,10 +898,10 @@ Additional Inherited Members</h2></td></tr>
849
898
 
850
899
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
851
900
 
852
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00206">206</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
853
- <div class="fragment"><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; {</div>
854
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
855
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; }</div>
901
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00208">208</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
902
+ <div class="fragment"><div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; {</div>
903
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
904
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
856
905
  </div><!-- fragment -->
857
906
  </div>
858
907
  </div>
@@ -882,10 +931,10 @@ Additional Inherited Members</h2></td></tr>
882
931
 
883
932
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> contains n. </p>
884
933
 
885
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00424">424</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
886
- <div class="fragment"><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; {</div>
887
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
888
- <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</div>
934
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00476">476</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
935
+ <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div>
936
+ <div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
937
+ <div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; }</div>
889
938
  </div><!-- fragment -->
890
939
  </div>
891
940
  </div>
@@ -913,17 +962,17 @@ Additional Inherited Members</h2></td></tr>
913
962
  </table>
914
963
  </div><div class="memdoc">
915
964
 
916
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00429">429</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
917
- <div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; {</div>
918
- <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
919
- <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; {</div>
920
- <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
921
- <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; }</div>
922
- <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; <span class="keywordflow">else</span></div>
923
- <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; {</div>
924
- <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
925
- <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; }</div>
926
- <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
965
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00481">481</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
966
+ <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div>
967
+ <div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
968
+ <div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; {</div>
969
+ <div class="line"><a name="l00485"></a><span class="lineno"> 485</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
970
+ <div class="line"><a name="l00486"></a><span class="lineno"> 486</span>&#160; }</div>
971
+ <div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; <span class="keywordflow">else</span></div>
972
+ <div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; {</div>
973
+ <div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; o &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
974
+ <div class="line"><a name="l00490"></a><span class="lineno"> 490</span>&#160; }</div>
975
+ <div class="line"><a name="l00491"></a><span class="lineno"> 491</span>&#160; }</div>
927
976
  </div><!-- fragment -->
928
977
  </div>
929
978
  </div>
@@ -953,23 +1002,45 @@ Additional Inherited Members</h2></td></tr>
953
1002
 
954
1003
  <p>Equality comparison. </p>
955
1004
 
956
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00326">326</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
957
- <div class="fragment"><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
958
- <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
959
- <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; {</div>
960
- <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">return</span> other.isBottom();</div>
961
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; }</div>
962
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
963
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; {</div>
964
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
965
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
966
- <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">else</span></div>
967
- <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; {</div>
968
- <div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
969
- <div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <span class="comment">// TODO: IntervalValueZ3Expr equals</span></div>
970
- <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="comment">// TODO: shall we consider expr and solve.</span></div>
971
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; }</div>
972
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div>
1005
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00356">356</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1006
+ <div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; {</div>
1007
+ <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1008
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div>
1009
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> other.isBottom();</div>
1010
+ <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div>
1011
+ <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1012
+ <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
1013
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1014
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
1015
+ <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">else</span></div>
1016
+ <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; {</div>
1017
+ <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">is_real</a>() &amp;&amp; other.is_real())</div>
1018
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; {</div>
1019
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
1020
+ <div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; }</div>
1021
+ <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>() &amp;&amp; other.is_int())</div>
1022
+ <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
1023
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._lb) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">equal</a>(other._ub);</div>
1024
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
1025
+ <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">is_int</a>())</div>
1026
+ <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
1027
+ <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1028
+ <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1029
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getRealNumeral();</div>
1030
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getRealNumeral();</div>
1031
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
1032
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; }</div>
1033
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">else</span></div>
1034
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div>
1035
+ <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <span class="keywordtype">double</span> thislb = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1036
+ <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <span class="keywordtype">double</span> thisub = this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1037
+ <div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <span class="keywordtype">double</span> otherlb = other._lb.getIntNumeral();</div>
1038
+ <div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <span class="keywordtype">double</span> otherub = other._ub.getIntNumeral();</div>
1039
+ <div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; <span class="keywordflow">return</span> thislb == otherlb &amp;&amp; thisub == otherub;</div>
1040
+ <div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; }</div>
1041
+ <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;not implemented&quot;</span>);</div>
1042
+ <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; }</div>
1043
+ <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; }</div>
973
1044
  </div><!-- fragment -->
974
1045
  </div>
975
1046
  </div>
@@ -999,21 +1070,52 @@ Additional Inherited Members</h2></td></tr>
999
1070
 
1000
1071
  <p>Check current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is greater than or equal to the other. </p>
1001
1072
 
1002
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00308">308</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1003
- <div class="fragment"><div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; {</div>
1004
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1005
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div>
1006
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1007
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
1008
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1009
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; {</div>
1010
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1011
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
1012
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <span class="keywordflow">else</span></div>
1013
- <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; {</div>
1014
- <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; <span class="keywordflow">return</span> other._lb.geq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other._ub);</div>
1015
- <div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; }</div>
1016
- <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; }</div>
1073
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00338">338</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1074
+ <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; {</div>
1075
+ <div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1076
+ <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; {</div>
1077
+ <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1078
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; }</div>
1079
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1080
+ <div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
1081
+ <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1082
+ <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
1083
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">else</span></div>
1084
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div>
1085
+ <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> other._lb.geq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other._ub);</div>
1086
+ <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div>
1087
+ <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
1088
+ </div><!-- fragment -->
1089
+ </div>
1090
+ </div>
1091
+ <a id="a4f9d13c0f642fcad6ddb86ea79fac6e3"></a>
1092
+ <h2 class="memtitle"><span class="permalink"><a href="#a4f9d13c0f642fcad6ddb86ea79fac6e3">&#9670;&nbsp;</a></span>getIntNumeral()</h2>
1093
+
1094
+ <div class="memitem">
1095
+ <div class="memproto">
1096
+ <table class="mlabels">
1097
+ <tr>
1098
+ <td class="mlabels-left">
1099
+ <table class="memname">
1100
+ <tr>
1101
+ <td class="memname"><a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> SVF::IntervalValue::getIntNumeral </td>
1102
+ <td>(</td>
1103
+ <td class="paramname"></td><td>)</td>
1104
+ <td> const</td>
1105
+ </tr>
1106
+ </table>
1107
+ </td>
1108
+ <td class="mlabels-right">
1109
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1110
+ </tr>
1111
+ </table>
1112
+ </div><div class="memdoc">
1113
+
1114
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00287">287</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1115
+ <div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div>
1116
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1117
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">getIntNumeral</a>();</div>
1118
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; }</div>
1017
1119
  </div><!-- fragment -->
1018
1120
  </div>
1019
1121
  </div>
@@ -1042,11 +1144,42 @@ Additional Inherited Members</h2></td></tr>
1042
1144
 
1043
1145
  <p>Return. </p>
1044
1146
 
1045
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00263">263</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1046
- <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
1047
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1048
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
1049
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
1147
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00281">281</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1148
+ <div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; {</div>
1149
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1150
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">getNumeral</a>();</div>
1151
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; }</div>
1152
+ </div><!-- fragment -->
1153
+ </div>
1154
+ </div>
1155
+ <a id="aa13c0ab01450d10c9603ea46f0fe3293"></a>
1156
+ <h2 class="memtitle"><span class="permalink"><a href="#aa13c0ab01450d10c9603ea46f0fe3293">&#9670;&nbsp;</a></span>getRealNumeral()</h2>
1157
+
1158
+ <div class="memitem">
1159
+ <div class="memproto">
1160
+ <table class="mlabels">
1161
+ <tr>
1162
+ <td class="mlabels-left">
1163
+ <table class="memname">
1164
+ <tr>
1165
+ <td class="memname">double SVF::IntervalValue::getRealNumeral </td>
1166
+ <td>(</td>
1167
+ <td class="paramname"></td><td>)</td>
1168
+ <td> const</td>
1169
+ </tr>
1170
+ </table>
1171
+ </td>
1172
+ <td class="mlabels-right">
1173
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1174
+ </tr>
1175
+ </table>
1176
+ </div><div class="memdoc">
1177
+
1178
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00293">293</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1179
+ <div class="fragment"><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; {</div>
1180
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert(<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; <span class="stringliteral">&quot;this IntervalValue is not numeral&quot;</span>);</div>
1181
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">getRealNumeral</a>();</div>
1182
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
1050
1183
  </div><!-- fragment -->
1051
1184
  </div>
1052
1185
  </div>
@@ -1075,10 +1208,10 @@ Additional Inherited Members</h2></td></tr>
1075
1208
 
1076
1209
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is infinite <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1077
1210
 
1078
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00257">257</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1079
- <div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; {</div>
1080
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() || <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>();</div>
1081
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
1211
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00259">259</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1212
+ <div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; {</div>
1213
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>() || <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">is_infinity</a>();</div>
1214
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; }</div>
1082
1215
  </div><!-- fragment -->
1083
1216
  </div>
1084
1217
  </div>
@@ -1113,6 +1246,39 @@ Additional Inherited Members</h2></td></tr>
1113
1246
  </div><!-- fragment -->
1114
1247
  </div>
1115
1248
  </div>
1249
+ <a id="a20d391da7bcd46a14c5ec1960aee2536"></a>
1250
+ <h2 class="memtitle"><span class="permalink"><a href="#a20d391da7bcd46a14c5ec1960aee2536">&#9670;&nbsp;</a></span>is_int()</h2>
1251
+
1252
+ <div class="memitem">
1253
+ <div class="memproto">
1254
+ <table class="mlabels">
1255
+ <tr>
1256
+ <td class="mlabels-left">
1257
+ <table class="memname">
1258
+ <tr>
1259
+ <td class="memname">bool SVF::IntervalValue::is_int </td>
1260
+ <td>(</td>
1261
+ <td class="paramname"></td><td>)</td>
1262
+ <td> const</td>
1263
+ </tr>
1264
+ </table>
1265
+ </td>
1266
+ <td class="mlabels-right">
1267
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1268
+ </tr>
1269
+ </table>
1270
+ </div><div class="memdoc">
1271
+
1272
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00264">264</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1273
+ <div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; {</div>
1274
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; <span class="keywordtype">bool</span> lb_int = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1275
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keywordtype">bool</span> ub_int = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1276
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; assert (lb_int == ub_int &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both int or both float&quot;</span>);</div>
1277
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">is_int</a>();</div>
1278
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; }</div>
1279
+ </div><!-- fragment -->
1280
+ </div>
1281
+ </div>
1116
1282
  <a id="a523826aede7ad22736beed0c8223b6b0"></a>
1117
1283
  <h2 class="memtitle"><span class="permalink"><a href="#a523826aede7ad22736beed0c8223b6b0">&#9670;&nbsp;</a></span>is_numeral()</h2>
1118
1284
 
@@ -1138,10 +1304,43 @@ Additional Inherited Members</h2></td></tr>
1138
1304
 
1139
1305
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is a number [num, num]. </p>
1140
1306
 
1141
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00270">270</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1142
- <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; {</div>
1143
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> eq(<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>);</div>
1144
- <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; }</div>
1307
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00300">300</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1308
+ <div class="fragment"><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div>
1309
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">return</span> eq(<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>);</div>
1310
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div>
1311
+ </div><!-- fragment -->
1312
+ </div>
1313
+ </div>
1314
+ <a id="aef151a05c0f4a2a1aa3f9091f5258ee6"></a>
1315
+ <h2 class="memtitle"><span class="permalink"><a href="#aef151a05c0f4a2a1aa3f9091f5258ee6">&#9670;&nbsp;</a></span>is_real()</h2>
1316
+
1317
+ <div class="memitem">
1318
+ <div class="memproto">
1319
+ <table class="mlabels">
1320
+ <tr>
1321
+ <td class="mlabels-left">
1322
+ <table class="memname">
1323
+ <tr>
1324
+ <td class="memname">bool SVF::IntervalValue::is_real </td>
1325
+ <td>(</td>
1326
+ <td class="paramname"></td><td>)</td>
1327
+ <td> const</td>
1328
+ </tr>
1329
+ </table>
1330
+ </td>
1331
+ <td class="mlabels-right">
1332
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1333
+ </tr>
1334
+ </table>
1335
+ </div><div class="memdoc">
1336
+
1337
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00272">272</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1338
+ <div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; {</div>
1339
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordtype">bool</span> lb_real = <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1340
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; <span class="keywordtype">bool</span> ub_real = <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1341
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; assert (lb_real == ub_real &amp;&amp; <span class="stringliteral">&quot;lb and ub should be both real or both int&quot;</span>);</div>
1342
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">is_real</a>();</div>
1343
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; }</div>
1145
1344
  </div><!-- fragment -->
1146
1345
  </div>
1147
1346
  </div>
@@ -1170,10 +1369,10 @@ Additional Inherited Members</h2></td></tr>
1170
1369
 
1171
1370
  <p>Return true if the <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is [0, 0]. </p>
1172
1371
 
1173
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00251">251</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1174
- <div class="fragment"><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; {</div>
1175
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() &amp;&amp; <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>();</div>
1176
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
1372
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00253">253</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1373
+ <div class="fragment"><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
1374
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>() &amp;&amp; <a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">is_zero</a>();</div>
1375
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; }</div>
1177
1376
  </div><!-- fragment -->
1178
1377
  </div>
1179
1378
  </div>
@@ -1267,30 +1466,30 @@ Additional Inherited Members</h2></td></tr>
1267
1466
 
1268
1467
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> joins with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1269
1468
 
1270
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00345">345</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1271
- <div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; {</div>
1272
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1273
- <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; {</div>
1274
- <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <span class="keywordflow">if</span> (other.isBottom())</div>
1275
- <div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; {</div>
1276
- <div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <span class="keywordflow">return</span>;</div>
1277
- <div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; }</div>
1278
- <div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordflow">else</span></div>
1279
- <div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; {</div>
1280
- <div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other.lb();</div>
1281
- <div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other.ub();</div>
1282
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div>
1283
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div>
1284
- <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1285
- <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; {</div>
1286
- <div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keywordflow">return</span>;</div>
1287
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; }</div>
1288
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <span class="keywordflow">else</span></div>
1289
- <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; {</div>
1290
- <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>(), other.lb());</div>
1291
- <div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>(), other.ub());</div>
1292
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; }</div>
1293
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
1469
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00397">397</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1470
+ <div class="fragment"><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; {</div>
1471
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1472
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div>
1473
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">if</span> (other.isBottom())</div>
1474
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; {</div>
1475
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; <span class="keywordflow">return</span>;</div>
1476
+ <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div>
1477
+ <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; <span class="keywordflow">else</span></div>
1478
+ <div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; {</div>
1479
+ <div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other.lb();</div>
1480
+ <div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other.ub();</div>
1481
+ <div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; }</div>
1482
+ <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; }</div>
1483
+ <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1484
+ <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; {</div>
1485
+ <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; <span class="keywordflow">return</span>;</div>
1486
+ <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; }</div>
1487
+ <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">else</span></div>
1488
+ <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; {</div>
1489
+ <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>(), other.lb());</div>
1490
+ <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>(), other.ub());</div>
1491
+ <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; }</div>
1492
+ <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div>
1294
1493
  </div><!-- fragment -->
1295
1494
  </div>
1296
1495
  </div>
@@ -1319,11 +1518,11 @@ Additional Inherited Members</h2></td></tr>
1319
1518
 
1320
1519
  <p>Return the lower bound. </p>
1321
1520
 
1322
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00218">218</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1323
- <div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; {</div>
1324
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
1325
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1326
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div>
1521
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00220">220</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1522
+ <div class="fragment"><div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; {</div>
1523
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
1524
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1525
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
1327
1526
  </div><!-- fragment -->
1328
1527
  </div>
1329
1528
  </div>
@@ -1353,22 +1552,22 @@ Additional Inherited Members</h2></td></tr>
1353
1552
 
1354
1553
  <p>Check current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> is smaller than or equal to the other. </p>
1355
1554
 
1356
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00290">290</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1357
- <div class="fragment"><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
1358
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1359
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
1360
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1361
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; }</div>
1362
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1363
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; {</div>
1364
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1365
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div>
1366
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">else</span></div>
1367
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div>
1368
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">return</span> other._lb.leq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other._ub);</div>
1369
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; }</div>
1370
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; </div>
1371
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
1555
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00320">320</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1556
+ <div class="fragment"><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>&#160; {</div>
1557
+ <div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1558
+ <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; {</div>
1559
+ <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
1560
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; }</div>
1561
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1562
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; {</div>
1563
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
1564
+ <div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160; }</div>
1565
+ <div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordflow">else</span></div>
1566
+ <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; {</div>
1567
+ <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordflow">return</span> other._lb.leq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>) &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>.<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other._ub);</div>
1568
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; }</div>
1569
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; </div>
1570
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
1372
1571
  </div><!-- fragment -->
1373
1572
  </div>
1374
1573
  </div>
@@ -1398,20 +1597,20 @@ Additional Inherited Members</h2></td></tr>
1398
1597
 
1399
1598
  <p>Return a intersected <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1400
1599
 
1401
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00408">408</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1402
- <div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; {</div>
1403
- <div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1404
- <div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; {</div>
1405
- <div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1406
- <div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; }</div>
1407
- <div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; <span class="keywordflow">else</span></div>
1408
- <div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div>
1409
- <div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other.lb());</div>
1410
- <div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>, other.ub());</div>
1411
- <div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1412
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1413
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div>
1414
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; }</div>
1600
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00460">460</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1601
+ <div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div>
1602
+ <div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1603
+ <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; {</div>
1604
+ <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1605
+ <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div>
1606
+ <div class="line"><a name="l00466"></a><span class="lineno"> 466</span>&#160; <span class="keywordflow">else</span></div>
1607
+ <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1608
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = max(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other.lb());</div>
1609
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = min(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>, other.ub());</div>
1610
+ <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1611
+ <div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1612
+ <div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; }</div>
1613
+ <div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; }</div>
1415
1614
  </div><!-- fragment -->
1416
1615
  </div>
1417
1616
  </div>
@@ -1473,22 +1672,22 @@ Additional Inherited Members</h2></td></tr>
1473
1672
 
1474
1673
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> narrow with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
1475
1674
 
1476
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00390">390</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1477
- <div class="fragment"><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; {</div>
1478
- <div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1479
- <div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; {</div>
1480
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1481
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; }</div>
1482
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1483
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; {</div>
1484
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">return</span>;</div>
1485
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; }</div>
1486
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">else</span></div>
1487
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; {</div>
1488
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>()) ? other._lb : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1489
- <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()) ? other._ub : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
1490
- <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div>
1491
- <div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; }</div>
1675
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00442">442</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1676
+ <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div>
1677
+ <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1678
+ <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; {</div>
1679
+ <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">set_to_bottom</a>();</div>
1680
+ <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; }</div>
1681
+ <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
1682
+ <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; {</div>
1683
+ <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; <span class="keywordflow">return</span>;</div>
1684
+ <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; }</div>
1685
+ <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; <span class="keywordflow">else</span></div>
1686
+ <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div>
1687
+ <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>()) ? other._lb : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>;</div>
1688
+ <div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">is_infinite</a>(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>()) ? other._ub : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
1689
+ <div class="line"><a name="l00456"></a><span class="lineno"> 456</span>&#160; }</div>
1690
+ <div class="line"><a name="l00457"></a><span class="lineno"> 457</span>&#160; }</div>
1492
1691
  </div><!-- fragment -->
1493
1692
  </div>
1494
1693
  </div>
@@ -1518,37 +1717,37 @@ Additional Inherited Members</h2></td></tr>
1518
1717
 
1519
1718
  <p>Equality comparison. </p>
1520
1719
 
1521
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00169">169</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1522
- <div class="fragment"><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; {</div>
1523
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1524
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
1525
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1526
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; }</div>
1527
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1528
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
1529
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1530
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; }</div>
1531
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">else</span></div>
1532
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; {</div>
1533
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1534
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div>
1535
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1536
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div>
1537
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">else</span></div>
1538
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; {</div>
1539
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1540
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; value.meet_with(other);</div>
1541
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">if</span> (!value.isBottom())</div>
1542
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
1543
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1544
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; }</div>
1545
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">else</span></div>
1546
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
1547
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1548
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
1549
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; }</div>
1550
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
1551
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
1720
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00171">171</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1721
+ <div class="fragment"><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; {</div>
1722
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1723
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
1724
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1725
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; }</div>
1726
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1727
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; {</div>
1728
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1729
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; }</div>
1730
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keywordflow">else</span></div>
1731
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; {</div>
1732
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1733
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; {</div>
1734
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1735
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
1736
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">else</span></div>
1737
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; {</div>
1738
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1739
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; value.meet_with(other);</div>
1740
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span> (!value.isBottom())</div>
1741
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; {</div>
1742
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1743
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
1744
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">else</span></div>
1745
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; {</div>
1746
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1);</div>
1747
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; }</div>
1748
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; }</div>
1749
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; }</div>
1750
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div>
1552
1751
  </div><!-- fragment -->
1553
1752
  </div>
1554
1753
  </div>
@@ -1634,38 +1833,38 @@ Additional Inherited Members</h2></td></tr>
1634
1833
 
1635
1834
  <p>Equality comparison. </p>
1636
1835
 
1637
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00135">135</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1638
- <div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; {</div>
1639
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1640
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div>
1641
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1642
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; }</div>
1643
- <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1644
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; {</div>
1645
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1646
- <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; }</div>
1647
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">else</span></div>
1648
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; {</div>
1649
- <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1650
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
1651
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1652
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; }</div>
1653
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">else</span></div>
1654
- <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; {</div>
1655
- <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1656
- <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; value.meet_with(other);</div>
1657
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <span class="keywordflow">if</span> (value.isBottom())</div>
1658
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div>
1659
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1660
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; }</div>
1661
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">else</span></div>
1662
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; {</div>
1663
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="comment">// return top();</span></div>
1664
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1665
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
1666
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; }</div>
1667
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
1668
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1836
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00137">137</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1837
+ <div class="fragment"><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; {</div>
1838
+ <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>() || other.isBottom())</div>
1839
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; {</div>
1840
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">bottom</a>();</div>
1841
+ <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160; }</div>
1842
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">isTop</a>() || other.isTop())</div>
1843
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; {</div>
1844
+ <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">top</a>();</div>
1845
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; }</div>
1846
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; <span class="keywordflow">else</span></div>
1847
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
1848
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">is_numeral</a>() &amp;&amp; other.is_numeral())</div>
1849
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; {</div>
1850
+ <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keywordflow">return</span> eq(this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a>, other._lb) ? <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(1, 1) : <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1851
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; }</div>
1852
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; <span class="keywordflow">else</span></div>
1853
+ <div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div>
1854
+ <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a> value = *<span class="keyword">this</span>;</div>
1855
+ <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; value.meet_with(other);</div>
1856
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">if</span> (value.isBottom())</div>
1857
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
1858
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 0);</div>
1859
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; }</div>
1860
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">else</span></div>
1861
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; {</div>
1862
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="comment">// return top();</span></div>
1863
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">IntervalValue</a>(0, 1);</div>
1864
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; }</div>
1865
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1866
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; }</div>
1867
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
1669
1868
  </div><!-- fragment -->
1670
1869
  </div>
1671
1870
  </div>
@@ -1726,11 +1925,11 @@ Additional Inherited Members</h2></td></tr>
1726
1925
 
1727
1926
  <p>Set current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> as bottom. </p>
1728
1927
 
1729
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00276">276</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1730
- <div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
1731
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = 1;</div>
1732
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = 0;</div>
1733
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; }</div>
1928
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00306">306</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1929
+ <div class="fragment"><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
1930
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = 1;</div>
1931
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = 0;</div>
1932
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; }</div>
1734
1933
  </div><!-- fragment -->
1735
1934
  </div>
1736
1935
  </div>
@@ -1759,11 +1958,11 @@ Additional Inherited Members</h2></td></tr>
1759
1958
 
1760
1959
  <p>Set current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> as top. </p>
1761
1960
 
1762
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00283">283</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1763
- <div class="fragment"><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
1764
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>();</div>
1765
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>();</div>
1766
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div>
1961
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00313">313</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1962
+ <div class="fragment"><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; {</div>
1963
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>();</div>
1964
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>();</div>
1965
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
1767
1966
  </div><!-- fragment -->
1768
1967
  </div>
1769
1968
  </div>
@@ -1793,10 +1992,10 @@ Additional Inherited Members</h2></td></tr>
1793
1992
 
1794
1993
  <p>Set the lower bound. </p>
1795
1994
 
1796
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00232">232</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1797
- <div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div>
1798
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1799
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; }</div>
1995
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00234">234</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1996
+ <div class="fragment"><div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; {</div>
1997
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1998
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div>
1800
1999
  </div><!-- fragment -->
1801
2000
  </div>
1802
2001
  </div>
@@ -1826,10 +2025,10 @@ Additional Inherited Members</h2></td></tr>
1826
2025
 
1827
2026
  <p>Set the upper bound. </p>
1828
2027
 
1829
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00238">238</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1830
- <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
1831
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
1832
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; }</div>
2028
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00240">240</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2029
+ <div class="fragment"><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
2030
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
2031
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
1833
2032
  </div><!-- fragment -->
1834
2033
  </div>
1835
2034
  </div>
@@ -1869,11 +2068,11 @@ Additional Inherited Members</h2></td></tr>
1869
2068
 
1870
2069
  <p>Set the lower bound. </p>
1871
2070
 
1872
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00244">244</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1873
- <div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div>
1874
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
1875
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
1876
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; }</div>
2071
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00246">246</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2072
+ <div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; {</div>
2073
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>;</div>
2074
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>;</div>
2075
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
1877
2076
  </div><!-- fragment -->
1878
2077
  </div>
1879
2078
  </div>
@@ -1932,20 +2131,20 @@ Additional Inherited Members</h2></td></tr>
1932
2131
  </table>
1933
2132
  </div><div class="memdoc">
1934
2133
 
1935
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00441">441</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1936
- <div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>&#160; {</div>
1937
- <div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
1938
- <div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; std::stringstream rawStr(str);</div>
1939
- <div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
1940
- <div class="line"><a name="l00446"></a><span class="lineno"> 446</span>&#160; {</div>
1941
- <div class="line"><a name="l00447"></a><span class="lineno"> 447</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
1942
- <div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; }</div>
1943
- <div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">else</span></div>
1944
- <div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; {</div>
1945
- <div class="line"><a name="l00451"></a><span class="lineno"> 451</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
1946
- <div class="line"><a name="l00452"></a><span class="lineno"> 452</span>&#160; }</div>
1947
- <div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; <span class="keywordflow">return</span> rawStr.str();</div>
1948
- <div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; }</div>
2134
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00493">493</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2135
+ <div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; {</div>
2136
+ <div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
2137
+ <div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; std::stringstream rawStr(str);</div>
2138
+ <div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
2139
+ <div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; {</div>
2140
+ <div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;⊥&quot;</span>;</div>
2141
+ <div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div>
2142
+ <div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160; <span class="keywordflow">else</span></div>
2143
+ <div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div>
2144
+ <div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; rawStr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">to_string</a>() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
2145
+ <div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; }</div>
2146
+ <div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; <span class="keywordflow">return</span> rawStr.str();</div>
2147
+ <div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; }</div>
1949
2148
  </div><!-- fragment -->
1950
2149
  </div>
1951
2150
  </div>
@@ -1974,11 +2173,11 @@ Additional Inherited Members</h2></td></tr>
1974
2173
 
1975
2174
  <p>Return the upper bound. </p>
1976
2175
 
1977
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00225">225</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
1978
- <div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; {</div>
1979
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
1980
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
1981
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; }</div>
2176
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00227">227</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2177
+ <div class="fragment"><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
2178
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; assert(!this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>());</div>
2179
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a>;</div>
2180
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; }</div>
1982
2181
  </div><!-- fragment -->
1983
2182
  </div>
1984
2183
  </div>
@@ -2008,23 +2207,23 @@ Additional Inherited Members</h2></td></tr>
2008
2207
 
2009
2208
  <p>Current <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a> widen with another <a class="el" href="classSVF_1_1IntervalValue.html">IntervalValue</a>. </p>
2010
2209
 
2011
- <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00371">371</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2012
- <div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; {</div>
2013
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
2014
- <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; {</div>
2015
- <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other._lb;</div>
2016
- <div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other._ub;</div>
2017
- <div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; }</div>
2018
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
2019
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; {</div>
2020
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">return</span>;</div>
2021
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; }</div>
2022
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">else</span></div>
2023
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; {</div>
2024
- <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other.lb()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>();</div>
2025
- <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other.ub()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>();</div>
2026
- <div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; }</div>
2027
- <div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div>
2210
+ <p class="definition">Definition at line <a class="el" href="IntervalValue_8h_source.html#l00423">423</a> of file <a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a>.</p>
2211
+ <div class="fragment"><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; {</div>
2212
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">isBottom</a>())</div>
2213
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; {</div>
2214
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = other._lb;</div>
2215
+ <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = other._ub;</div>
2216
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div>
2217
+ <div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (other.isBottom())</div>
2218
+ <div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; {</div>
2219
+ <div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; <span class="keywordflow">return</span>;</div>
2220
+ <div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; }</div>
2221
+ <div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <span class="keywordflow">else</span></div>
2222
+ <div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; {</div>
2223
+ <div class="line"><a name="l00436"></a><span class="lineno"> 436</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">_lb</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">leq</a>(other.lb()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">minus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">lb</a>();</div>
2224
+ <div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">_ub</a> = !<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>().<a class="code" href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">geq</a>(other.ub()) ? <a class="code" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">plus_infinity</a>() : this-&gt;<a class="code" href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">ub</a>();</div>
2225
+ <div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; }</div>
2226
+ <div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; }</div>
2028
2227
  </div><!-- fragment -->
2029
2228
  </div>
2030
2229
  </div>
@@ -2081,37 +2280,43 @@ Additional Inherited Members</h2></td></tr>
2081
2280
  <li>/home/runner/work/SVF/SVF/svf/include/AE/Core/<a class="el" href="IntervalValue_8h_source.html">IntervalValue.h</a></li>
2082
2281
  </ul>
2083
2282
  </div><!-- contents -->
2084
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac154ddeb6516e240e091f4867c4c3593"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">SVF::NumericLiteral::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00088">NumericLiteral.h:88</a></div></div>
2283
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac154ddeb6516e240e091f4867c4c3593"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac154ddeb6516e240e091f4867c4c3593">SVF::NumericLiteral::to_string</a></div><div class="ttdeci">const std::string to_string() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00092">NumericLiteral.h:92</a></div></div>
2085
2284
  <div class="ttc" id="aclassSVF_1_1AbstractValue_html_a56c3cfc51a812f4a9b3171371d3efa60"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue::AbstractValue</a></div><div class="ttdeci">AbstractValue(AbstractValueK kind)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00056">AbstractValue.h:56</a></div></div>
2086
2285
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ad51535cb50a03df7a439b4e5b5d305f0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue::IntervalValue</a></div><div class="ttdeci">IntervalValue()</div><div class="ttdoc">Create default IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00095">IntervalValue.h:95</a></div></div>
2087
2286
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a739ab04e16ec1156be71b29d49998a4f"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">SVF::IntervalValue::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdoc">Get plus infinity +oo.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00072">IntervalValue.h:72</a></div></div>
2088
2287
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3c00a3b16192645f667a88bf636f01ff"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3c00a3b16192645f667a88bf636f01ff">SVF::IntervalValue::_ub</a></div><div class="ttdeci">NumericLiteral _ub</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00050">IntervalValue.h:50</a></div></div>
2089
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00218">IntervalValue.h:218</a></div></div>
2090
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8d874a7b6396e8af210c4a36d3234d71"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">SVF::NumericLiteral::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdoc">Check if this is zero.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00112">NumericLiteral.h:112</a></div></div>
2288
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a20d391da7bcd46a14c5ec1960aee2536"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a20d391da7bcd46a14c5ec1960aee2536">SVF::IntervalValue::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00264">IntervalValue.h:264</a></div></div>
2289
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0df07a2659cbf3a918de5b0d7c407264"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0df07a2659cbf3a918de5b0d7c407264">SVF::IntervalValue::lb</a></div><div class="ttdeci">const NumericLiteral &amp; lb() const</div><div class="ttdoc">Return the lower bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00220">IntervalValue.h:220</a></div></div>
2290
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8d874a7b6396e8af210c4a36d3234d71"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8d874a7b6396e8af210c4a36d3234d71">SVF::NumericLiteral::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdoc">Check if this is zero.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00116">NumericLiteral.h:116</a></div></div>
2091
2291
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a43f48c744f7bda0dc689b8f186449371"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a43f48c744f7bda0dc689b8f186449371">SVF::IntervalValue::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdoc">Get minus infinity -oo.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00066">IntervalValue.h:66</a></div></div>
2092
2292
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_af8be90fc1b61103187908dce4ba68001"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">SVF::IntervalValue::isBottom</a></div><div class="ttdeci">bool isBottom() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00060">IntervalValue.h:60</a></div></div>
2093
2293
  <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
2094
2294
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a0827c976d921894e89ca4ac88ecf3f95"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a0827c976d921894e89ca4ac88ecf3f95">SVF::IntervalValue::_lb</a></div><div class="ttdeci">NumericLiteral _lb</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00047">IntervalValue.h:47</a></div></div>
2095
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00270">IntervalValue.h:270</a></div></div>
2295
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a523826aede7ad22736beed0c8223b6b0"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a523826aede7ad22736beed0c8223b6b0">SVF::IntervalValue::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdoc">Return true if the IntervalValue is a number [num, num].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00300">IntervalValue.h:300</a></div></div>
2096
2296
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_add3acad151d5af6c9a5f692f7a01e65b"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#add3acad151d5af6c9a5f692f7a01e65b">SVF::IntervalValue::top</a></div><div class="ttdeci">static IntervalValue top()</div><div class="ttdoc">Create the IntervalValue [-oo, +oo].</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00083">IntervalValue.h:83</a></div></div>
2097
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac4acd8ca01d2aa1715c18beb46b0ae1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral::is_infinity</a></div><div class="ttdeci">bool is_infinity() const</div><div class="ttdoc">Check if this is infinity (either of plus/minus)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00106">NumericLiteral.h:106</a></div></div>
2098
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a78b5445006d765160bbcb4ae2e11bd8a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdoc">Return true if the IntervalValue is infinite IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00257">IntervalValue.h:257</a></div></div>
2099
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00118">NumericLiteral.h:118</a></div></div>
2297
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac4acd8ca01d2aa1715c18beb46b0ae1d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac4acd8ca01d2aa1715c18beb46b0ae1d">SVF::NumericLiteral::is_infinity</a></div><div class="ttdeci">bool is_infinity() const</div><div class="ttdoc">Check if this is infinity (either of plus/minus)</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00110">NumericLiteral.h:110</a></div></div>
2298
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a78b5445006d765160bbcb4ae2e11bd8a"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a78b5445006d765160bbcb4ae2e11bd8a">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">bool is_infinite() const</div><div class="ttdoc">Return true if the IntervalValue is infinite IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00259">IntervalValue.h:259</a></div></div>
2299
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a4181e5e15e10304ea524e5f8b2a3f576"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a4181e5e15e10304ea524e5f8b2a3f576">SVF::NumericLiteral::getNumeral</a></div><div class="ttdeci">s64_t getNumeral() const</div><div class="ttdoc">Return Numeral, default type is double in case to support both int and float.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00132">NumericLiteral.h:132</a></div></div>
2100
2300
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
2101
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00153">NumericLiteral.h:153</a></div></div>
2102
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
2103
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00073">NumericLiteral.h:73</a></div></div>
2104
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00094">NumericLiteral.h:94</a></div></div>
2301
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a75fc2abc930b9405130106a51c29f314"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a75fc2abc930b9405130106a51c29f314">SVF::NumericLiteral::is_int</a></div><div class="ttdeci">bool is_int() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00121">NumericLiteral.h:121</a></div></div>
2302
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ab8ea498ca849eb969e721772d432b29d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ab8ea498ca849eb969e721772d432b29d">SVF::NumericLiteral::geq</a></div><div class="ttdeci">bool geq(const NumericLiteral &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00183">NumericLiteral.h:183</a></div></div>
2303
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00227">IntervalValue.h:227</a></div></div>
2304
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa69f9536301d6529eb1d0caaec2fcc63"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa69f9536301d6529eb1d0caaec2fcc63">SVF::NumericLiteral::getRealNumeral</a></div><div class="ttdeci">double getRealNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00143">NumericLiteral.h:143</a></div></div>
2305
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a42f5bdc956614b4c431f7045f744ac7d"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d">SVF::NumericLiteral::plus_infinity</a></div><div class="ttdeci">static NumericLiteral plus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00077">NumericLiteral.h:77</a></div></div>
2306
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a1e693e837e8d67ce76a03ec243c94f15"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a1e693e837e8d67ce76a03ec243c94f15">SVF::NumericLiteral::is_minus_infinity</a></div><div class="ttdeci">bool is_minus_infinity() const</div><div class="ttdoc">Check if this is minus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00098">NumericLiteral.h:98</a></div></div>
2105
2307
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
2106
2308
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aa027be2f9243ce4cae799b265b019443"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue::bottom</a></div><div class="ttdeci">static IntervalValue bottom()</div><div class="ttdoc">Create the bottom IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00089">IntervalValue.h:89</a></div></div>
2107
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00078">NumericLiteral.h:78</a></div></div>
2309
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_ac0872619aefd1f680d08d3ec4360537c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#ac0872619aefd1f680d08d3ec4360537c">SVF::NumericLiteral::minus_infinity</a></div><div class="ttdeci">static NumericLiteral minus_infinity()</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00082">NumericLiteral.h:82</a></div></div>
2108
2310
  <div class="ttc" id="aclassSVF_1_1AbstractValue_html_afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a"><div class="ttname"><a href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16ae3efe972f0ed2983803d380f57e2546a">SVF::AbstractValue::IntervalK</a></div><div class="ttdeci">@ IntervalK</div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00050">AbstractValue.h:50</a></div></div>
2109
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00124">NumericLiteral.h:124</a></div></div>
2110
- <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac763bab0b6fedbe5ec5b345c7b260e30"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue::set_to_bottom</a></div><div class="ttdeci">void set_to_bottom()</div><div class="ttdoc">Set current IntervalValue as bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00276">IntervalValue.h:276</a></div></div>
2311
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a325e99ded5a026ecdae64004b9392f4a"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a325e99ded5a026ecdae64004b9392f4a">SVF::NumericLiteral::equal</a></div><div class="ttdeci">bool equal(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Check two object is equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00154">NumericLiteral.h:154</a></div></div>
2312
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a8e19113913c2aa236ab35d3bdd49541c"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a8e19113913c2aa236ab35d3bdd49541c">SVF::NumericLiteral::getIntNumeral</a></div><div class="ttdeci">s64_t getIntNumeral() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00148">NumericLiteral.h:148</a></div></div>
2313
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_ac763bab0b6fedbe5ec5b345c7b260e30"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#ac763bab0b6fedbe5ec5b345c7b260e30">SVF::IntervalValue::set_to_bottom</a></div><div class="ttdeci">void set_to_bottom()</div><div class="ttdoc">Set current IntervalValue as bottom.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00306">IntervalValue.h:306</a></div></div>
2111
2314
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a977128211266b93e58e298a7ac29a059"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a977128211266b93e58e298a7ac29a059">SVF::IntervalValue::isTop</a></div><div class="ttdeci">bool isTop() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00055">IntervalValue.h:55</a></div></div>
2112
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00130">NumericLiteral.h:130</a></div></div>
2113
- <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a538deb0b9e88fd99b9768f5775e58ca7"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral::is_plus_infinity</a></div><div class="ttdeci">bool is_plus_infinity() const</div><div class="ttdoc">Check if this is plus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00100">NumericLiteral.h:100</a></div></div>
2315
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_aa01880cdfc3b9504bef63a3bf315c54b"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#aa01880cdfc3b9504bef63a3bf315c54b">SVF::NumericLiteral::leq</a></div><div class="ttdeci">bool leq(const NumericLiteral &amp;rhs) const</div><div class="ttdoc">Less then or equal.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00160">NumericLiteral.h:160</a></div></div>
2316
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a538deb0b9e88fd99b9768f5775e58ca7"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a538deb0b9e88fd99b9768f5775e58ca7">SVF::NumericLiteral::is_plus_infinity</a></div><div class="ttdeci">bool is_plus_infinity() const</div><div class="ttdoc">Check if this is plus infinity.</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00104">NumericLiteral.h:104</a></div></div>
2317
+ <div class="ttc" id="aclassSVF_1_1NumericLiteral_html_a2fe2eb429c125e33014bab7e21c77b9e"><div class="ttname"><a href="classSVF_1_1NumericLiteral.html#a2fe2eb429c125e33014bab7e21c77b9e">SVF::NumericLiteral::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="NumericLiteral_8h_source.html#l00126">NumericLiteral.h:126</a></div></div>
2114
2318
  <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
2319
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_aef151a05c0f4a2a1aa3f9091f5258ee6"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#aef151a05c0f4a2a1aa3f9091f5258ee6">SVF::IntervalValue::is_real</a></div><div class="ttdeci">bool is_real() const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00272">IntervalValue.h:272</a></div></div>
2115
2320
  <!-- start footer part -->
2116
2321
  <hr class="footer"/><address class="footer"><small>
2117
2322
  Generated by &#160;<a href="http://www.doxygen.org/index.html">