svf-tools 1.0.352 → 1.0.356

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 (188) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +7 -7
  3. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
  5. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +8 -8
  9. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  11. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +12 -12
  13. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +28 -29
  14. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +26 -26
  15. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +10 -9
  17. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/IRGraph_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +19 -8
  20. package/SVF-doxygen/html/html/LocationSet_8h_source.html +6 -6
  21. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +5 -5
  22. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +3 -3
  24. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +14 -14
  25. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +5 -5
  26. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -21
  27. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +17 -17
  28. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +7 -8
  29. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +8 -8
  30. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -5
  31. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +25 -24
  32. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +20 -19
  33. package/SVF-doxygen/html/html/SVFIR_8h_source.html +15 -14
  34. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +89 -85
  35. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +4 -4
  36. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +22 -22
  40. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  41. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +51 -50
  42. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +67 -62
  43. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  44. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  45. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  46. package/SVF-doxygen/html/html/VFGNode_8h_source.html +9 -8
  47. package/SVF-doxygen/html/html/VFG_8cpp_source.html +14 -14
  48. package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
  49. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  50. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
  51. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +1 -1
  52. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -6
  53. package/SVF-doxygen/html/html/WPAPass_8h_source.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  55. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +5 -5
  56. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +15 -15
  57. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt-members.html +26 -24
  58. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +140 -86
  59. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +8 -8
  61. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +15 -15
  62. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +16 -16
  63. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +7 -7
  64. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +5 -5
  65. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +1 -1
  69. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -4
  70. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +76 -78
  71. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  72. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +12 -12
  73. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  74. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
  75. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +68 -67
  76. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +38 -7
  77. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +3 -1
  78. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  79. package/SVF-doxygen/html/html/classSVF_1_1LocationSet-members.html +22 -21
  80. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +86 -32
  81. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +6 -6
  82. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder-members.html +2 -4
  83. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +10 -14
  84. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +87 -87
  85. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +25 -25
  86. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +98 -98
  87. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  88. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +3 -3
  89. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +14 -14
  90. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +15 -15
  91. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +43 -48
  92. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +15 -15
  93. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder-members.html +2 -4
  94. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +32 -78
  95. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
  96. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +30 -30
  97. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +1 -1
  98. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +79 -73
  99. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +2 -4
  100. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +8 -12
  101. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +4 -4
  102. package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +13 -6
  103. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +263 -37
  104. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +24 -24
  105. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +65 -64
  106. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +90 -63
  107. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +9 -9
  108. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +9 -9
  109. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  110. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  111. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
  112. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +20 -20
  113. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +16 -16
  114. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
  115. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  116. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +13 -14
  117. package/SVF-doxygen/html/html/functions_a.html +13 -12
  118. package/SVF-doxygen/html/html/functions_b.html +5 -11
  119. package/SVF-doxygen/html/html/functions_f.html +20 -15
  120. package/SVF-doxygen/html/html/functions_func.html +14 -13
  121. package/SVF-doxygen/html/html/functions_func_b.html +0 -6
  122. package/SVF-doxygen/html/html/functions_func_g.html +28 -15
  123. package/SVF-doxygen/html/html/functions_func_o.html +2 -1
  124. package/SVF-doxygen/html/html/functions_func_s.html +4 -4
  125. package/SVF-doxygen/html/html/functions_g.html +26 -13
  126. package/SVF-doxygen/html/html/functions_l.html +8 -8
  127. package/SVF-doxygen/html/html/functions_o.html +12 -13
  128. package/SVF-doxygen/html/html/functions_p.html +16 -16
  129. package/SVF-doxygen/html/html/functions_r.html +1 -1
  130. package/SVF-doxygen/html/html/functions_s.html +18 -12
  131. package/SVF-doxygen/html/html/functions_t.html +3 -1
  132. package/SVF-doxygen/html/html/functions_type_s.html +3 -0
  133. package/SVF-doxygen/html/html/functions_v.html +6 -6
  134. package/SVF-doxygen/html/html/functions_vars_f.html +3 -0
  135. package/SVF-doxygen/html/html/functions_vars_s.html +4 -1
  136. package/SVF-doxygen/html/html/functions_w.html +9 -5
  137. package/SVF-doxygen/html/html/search/all_1.js +3 -3
  138. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  139. package/SVF-doxygen/html/html/search/all_12.js +1 -1
  140. package/SVF-doxygen/html/html/search/all_13.js +12 -10
  141. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  142. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  143. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  144. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  145. package/SVF-doxygen/html/html/search/all_2.js +1 -3
  146. package/SVF-doxygen/html/html/search/all_6.js +1 -0
  147. package/SVF-doxygen/html/html/search/all_7.js +6 -2
  148. package/SVF-doxygen/html/html/search/all_c.js +4 -4
  149. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  150. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  151. package/SVF-doxygen/html/html/search/functions_0.js +3 -3
  152. package/SVF-doxygen/html/html/search/functions_1.js +1 -3
  153. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  154. package/SVF-doxygen/html/html/search/functions_6.js +6 -2
  155. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  156. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  157. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -0
  158. package/SVF-doxygen/html/html/search/variables_13.js +2 -1
  159. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  160. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  161. package/SVF-doxygen/html/html/search/variables_6.js +1 -0
  162. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  163. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +16 -16
  164. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  165. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html +3 -3
  166. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  167. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  168. package/include/DDA/DDAVFSolver.h +1 -1
  169. package/include/Graphs/VFGNode.h +1 -1
  170. package/include/MSSA/SVFGBuilder.h +0 -2
  171. package/include/MemoryModel/LocationSet.h +4 -0
  172. package/include/MemoryModel/SVFIR.h +1 -1
  173. package/include/MemoryModel/SVFStatements.h +25 -5
  174. package/include/MemoryModel/SymbolTableInfo.h +27 -6
  175. package/include/SVF-FE/SVFIRBuilder.h +1 -1
  176. package/lib/Graphs/ICFG.cpp +4 -0
  177. package/lib/MSSA/SVFGBuilder.cpp +4 -11
  178. package/lib/MemoryModel/LocationSet.cpp +69 -7
  179. package/lib/MemoryModel/PointerAnalysis.cpp +0 -6
  180. package/lib/MemoryModel/SVFIR.cpp +1 -1
  181. package/lib/MemoryModel/SymbolTableInfo.cpp +23 -16
  182. package/lib/SABER/SrcSnkDDA.cpp +2 -2
  183. package/lib/SVF-FE/SVFIRBuilder.cpp +9 -4
  184. package/lib/Util/Options.cpp +1 -1
  185. package/lib/WPA/FlowSensitive.cpp +3 -5
  186. package/lib/WPA/WPAPass.cpp +1 -9
  187. package/package.json +1 -1
  188. package/tools/Example/svf-ex.cpp +1 -1
@@ -76,27 +76,28 @@ $(function() {
76
76
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c">dump</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a></td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
79
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a0e1cddc4228e310c95f68c661c7b94c8">intersects</a>(const LocationSet &amp;RHS) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">isConstantOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47">LocationSet</a>(s64_t o=0)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
83
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">LocationSet</a>(const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91">LocationSet</a>(const FlattenedFieldInfo &amp;fi)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">LSRelation</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
86
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
87
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a></td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
88
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
89
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">operator+</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
90
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">operator&lt;</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
91
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">operator=</a>(const LocationSet &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
92
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">operator==</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
94
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
95
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a15f6175372a785205c5f959b370c83b5">setFldIdx</a>(s64_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
97
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a32ddec529ccbf4ea6336e5fd765164d8">SymbolTableInfo</a> class</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a00ae12aee8018f1eb88f011e52762be9">~LocationSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#ac66b56e1fa180be9b09d7bfe653ff311">getElementNum</a>(const Type *type) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
80
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
81
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a0e1cddc4228e310c95f68c661c7b94c8">intersects</a>(const LocationSet &amp;RHS) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">isConstantOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47">LocationSet</a>(s64_t o=0)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
84
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">LocationSet</a>(const LocationSet &amp;ls)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91">LocationSet</a>(const FlattenedFieldInfo &amp;fi)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
86
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">LSRelation</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
87
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
88
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a></td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
89
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
90
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">operator+</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
91
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">operator&lt;</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
92
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">operator=</a>(const LocationSet &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
93
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">operator==</a>(const LocationSet &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
96
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a15f6175372a785205c5f959b370c83b5">setFldIdx</a>(s64_t idx)</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a32ddec529ccbf4ea6336e5fd765164d8">SymbolTableInfo</a> class</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html#a00ae12aee8018f1eb88f011e52762be9">~LocationSet</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
100
101
  </table></div><!-- contents -->
101
102
  <!-- start footer part -->
102
103
  <hr class="footer"/><address class="footer"><small>