svf-tools 1.0.803 → 1.0.804

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 (16) hide show
  1. package/SVF-doxygen/html/IntervalValue_8h.html +0 -4
  2. package/SVF-doxygen/html/IntervalValue_8h_source.html +354 -302
  3. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +1 -1
  5. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/PointsTo_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/PointsTo_8h_source.html +2 -2
  8. package/SVF-doxygen/html/SVFType_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/SVFType_8h_source.html +1 -1
  10. package/SVF-doxygen/html/SVFValue_8h_source.html +1 -1
  11. package/SVF-doxygen/html/SparseBitVector_8h_source.html +2 -2
  12. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1 -1
  13. package/SVF-doxygen/html/fastcluster__dm_8cpp_8inc_source.html +1 -1
  14. package/SVF-doxygen/html/namespaceSVF.html +330 -294
  15. package/package.json +1 -1
  16. package/svf/include/AbstractExecution/IntervalValue.h +74 -26
package/SVF-doxygen/html/IntervalValue_8h.html CHANGED
@@ -107,16 +107,12 @@ Functions</h2></td></tr>
107
107
  <tr class="memdesc:a2f3ddba25bc972f70300128369e4cd1d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Divide IntervalValues. <a href="namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d">More...</a><br /></td></tr>
108
108
  <tr class="separator:a2f3ddba25bc972f70300128369e4cd1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
109
109
  <tr class="memitem:aedd9d023a68dddd66314be63bb8e48d2"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
110
- <tr class="memdesc:aedd9d023a68dddd66314be63bb8e48d2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than IntervalValues. <a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">More...</a><br /></td></tr>
111
110
  <tr class="separator:aedd9d023a68dddd66314be63bb8e48d2"><td class="memSeparator" colspan="2">&#160;</td></tr>
112
111
  <tr class="memitem:adeb418bb692b6b0c3498a24927e1068b"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
113
- <tr class="memdesc:adeb418bb692b6b0c3498a24927e1068b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than IntervalValues. <a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">More...</a><br /></td></tr>
114
112
  <tr class="separator:adeb418bb692b6b0c3498a24927e1068b"><td class="memSeparator" colspan="2">&#160;</td></tr>
115
113
  <tr class="memitem:a08938c05911dac4ebd102adfafd14d24"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24">SVF::operator&gt;=</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
116
- <tr class="memdesc:a08938c05911dac4ebd102adfafd14d24"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than IntervalValues. <a href="namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24">More...</a><br /></td></tr>
117
114
  <tr class="separator:a08938c05911dac4ebd102adfafd14d24"><td class="memSeparator" colspan="2">&#160;</td></tr>
118
115
  <tr class="memitem:a1dab362b7d3da3375b60c94e78275293"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293">SVF::operator&lt;=</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
119
- <tr class="memdesc:a1dab362b7d3da3375b60c94e78275293"><td class="mdescLeft">&#160;</td><td class="mdescRight">Greater than IntervalValues. <a href="namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293">More...</a><br /></td></tr>
120
116
  <tr class="separator:a1dab362b7d3da3375b60c94e78275293"><td class="memSeparator" colspan="2">&#160;</td></tr>
121
117
  <tr class="memitem:af95793adab8fb9aa19e19027e73372a6"><td class="memItemLeft" align="right" valign="top">IntervalValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a> (const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</td></tr>
122
118
  <tr class="memdesc:af95793adab8fb9aa19e19027e73372a6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Left binary shift of IntervalValues. <a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">More...</a><br /></td></tr>