svf-tools 1.0.849 → 1.0.850

package/SVF-doxygen/html/functions_i.html

@@ -501,13 +501,15 @@ $(function() {
 <li>inLocToAddrsTable()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a1effca0f87f2180e160600ee5528b12f">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a6c517028bddfa9f4617950a02f347ce8">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#af61110c081ca71f9348e8dfff5aa76e4">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a2b04cb226b28d577fa860a4cbf11b5c3">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>inLocToValTable()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a4481c80fcf9c64f23e8a216dfc01869a">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#af278d2193ba8931cce4cf5398cc33b02">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a8926e8fe328e3a3596fee42e06130da7">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a50aee49f7f34e05f7e2cb28ae55099f8">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a73a8f1354e22d41078abe3466b202df2">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a808fdc8ff7637d1c9515e71815548983">SVF::SVFIR2ItvExeState</a>
 </li>
@@ -728,7 +730,10 @@ $(function() {
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ac721b283253b7bd96fedd5f12c079699">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>Interval2NumValue()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a12fe65f05dfe7a01e771e0b9990faba8">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a2ff42e1ba569614cc86f8a3af65b7c41">SVF::IntervalESBase</a>
+</li>
+<li>IntervalESBase()
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a2da3f0da084f66f5b82c86e6650fd903">SVF::IntervalESBase</a>
 </li>
 <li>IntervalExeState()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#adce87f96e58b25bd6ff046e6608f4d2c">SVF::IntervalExeState</a>
@@ -802,13 +807,15 @@ $(function() {
 <li>inVarToAddrsTable()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a551d07983a89971d4e2422e6be850d4f">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ad485a35730353c0e945bc84a034d9e45">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a849978e7839b365fd2cf335e5840031a">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>inVarToValTable()
 : <a class="el" href="classSVF_1_1ConsExeState.html#ad42a15421be927dbb4eb7efb10548850">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#aba57b0f3c813c47c1b69915f145efbd6">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#aa240089b9af05b9a0406451b94ed41e0">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#aab316a63c25483eefc38bed0a86a0e7e">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a734006d65a35034fa2d32282c7dce47f">SVF::SVFIR2ConsExeState</a>
 , <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a8380eb5e2424c8c7bd290962f04a17ba">SVF::SVFIR2ItvExeState</a>
 </li>
@@ -1081,7 +1088,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1215,7 +1222,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -1480,12 +1487,12 @@ $(function() {
 <li>isSigned()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">SVF::SVFIntegerType</a>
 </li>
-<li>IsSimple
-: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
-</li>
 <li>isSimple()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>IsSimple
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
 </li>
@@ -1571,28 +1578,28 @@ $(function() {
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1701,7 +1708,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_facade_base
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>

package/SVF-doxygen/html/functions_j.html

@@ -88,6 +88,7 @@ $(function() {
 <li>joinWith()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a8f2668196be5ecbc061d5b43caa43cae">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#adc0db607e4c0f117760535df67b91fbd">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a46ef74cd1412790b088f1d7320f57a9f">SVF::IntervalExeState</a>
 </li>
 <li>json

package/SVF-doxygen/html/functions_l.html

@@ -100,7 +100,7 @@ $(function() {
 </li>
 <li>lessThanVarToValMap()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a7129d3e1901c527f7c4876cb1c54a890">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#af1837e907961eb3594b817b62b9ea9a3">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a1bc5dc440ad614fd7b4804bfa88c37c0">SVF::RelExeState</a>
 </li>
 <li>List()
@@ -175,7 +175,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">SVF::ConstraintEdge</a>
 </li>
 <li>load()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a93c2088eacb3859d5e54899d3fa6b45f">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a960ec3359dfcb5e89fb66120c868ac5e">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5">SVF::RelExeState</a>
 </li>
 <li>Load
@@ -188,6 +189,7 @@ $(function() {
 <li>loadAddrs()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a865998aed7e292ebd15532506eadea55">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a9e0fd700bea1ac741d96b4f52fd4756f">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a1a012a83e3c2808e24ba8d5da4fbd85b">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ad17ceaf8058043151ae0f23b3415458a">SVF::IntervalExeState</a>
 </li>
 <li>LoadCGEdge()
@@ -230,18 +232,18 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>loadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
-</li>
 <li>LoadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+<li>loadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>
@@ -338,7 +340,7 @@ $(function() {
 </li>
 <li>LocToValMap
 : <a class="el" href="classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8">SVF::RelExeState</a>
 </li>
 <li>LocVersionMap

package/SVF-doxygen/html/functions_m.html

@@ -226,6 +226,7 @@ $(function() {
 </li>
 <li>meetWith()
 : <a class="el" href="classSVF_1_1ExeState.html#a80bcce9b4303d651b27332c2fc0d3bdc">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a92a8531c7f12cc6f9117596aa5e534b6">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">SVF::IntervalExeState</a>
 </li>
 <li>meld()

package/SVF-doxygen/html/functions_n.html

@@ -80,10 +80,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a103b55536f1cec38edb2f169d3f94675">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>narrowing()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a3f8da19a79bfdc37c38e659a94371aba">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc">SVF::IntervalExeState</a>
 </li>
 <li>narrowWith()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a52b590dc437bc01ce116255e699c3c55">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9">SVF::IntervalExeState</a>
 </li>
 <li>NEG()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356">SVF::Z3Expr</a>
@@ -389,7 +391,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>NumericLiteral()
-: <a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b">SVF::NumericLiteral</a>
 </li>
 <li>NumGtIntRegions
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/functions_o.html

@@ -169,6 +169,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c">SVF::ExeState</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -335,6 +336,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">SVF::DPItem</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f">SVF::MSSADEF</a>
@@ -422,6 +424,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a926025a01239d163e59582824ceb0580">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3e10b7d6fd99151cc73b2d942ae75190">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
@@ -479,7 +482,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -510,6 +514,7 @@ $(function() {
 </li>
 <li>operator&gt;=
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366">SVF::BoundedZ3Expr</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral</a>
@@ -523,8 +528,9 @@ $(function() {
 <li>operator[]()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86">SVF::RelExeState</a>
 </li>
 <li>operator^
@@ -575,7 +581,7 @@ $(function() {
 : <a class="el" href="classOption.html#a62e78ab5e41cc3ba467c07c014f410e5">Option&lt; T &gt;</a>
 </li>
 <li>OptionBase()
-: <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
+: <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
 </li>
 <li>OptionMap()
 : <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
@@ -602,12 +608,12 @@ $(function() {
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>opVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
-</li>
 <li>OPVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
 </li>
+<li>opVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -643,19 +649,19 @@ $(function() {
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
-, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
@@ -686,11 +692,11 @@ $(function() {
 </li>
 <li>OutEdgeBegin()
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>

package/SVF-doxygen/html/functions_p.html

@@ -397,12 +397,12 @@ $(function() {
 <li>Phi
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9">SVF::SVFIR</a>
 </li>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b">SVF::SVFIR</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -528,12 +528,12 @@ $(function() {
 <li>predBBs
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock</a>
 </li>
-<li>predicate
-: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
-</li>
 <li>Predicate
 : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac">SVF::CmpStmt</a>
 </li>
+<li>predicate
+: <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
+</li>
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
 </li>
@@ -630,7 +630,7 @@ $(function() {
 <li>printExprValues()
 : <a class="el" href="classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d">SVF::IntervalExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#a4c0ede557a333bfea3f5d4a9a4dc8a9e">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b">SVF::RelExeState</a>
 </li>
 <li>PrintFieldWithBasePrefix
@@ -690,7 +690,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a14e210bd24b2104afb36ad50a0899c09">SVF::IntervalESBase</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
@@ -988,12 +988,12 @@ $(function() {
 <li>ptrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>PtrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>ptrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>PtrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>ptrToId
 : <a class="el" href="classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe">SVF::WriterPtrPool&lt; T &gt;</a>
 </li>
@@ -1008,11 +1008,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/functions_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
@@ -204,7 +204,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a7d34542f34a8e8008119c3d61943daa2">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>RelationSolver
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelationSolver.html#aaee624b8260da9ba0de027d80b01d984">SVF::RelationSolver</a>
 </li>
 <li>RELATIONTYPE
@@ -550,7 +551,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191">SVF::VFGEdge</a>
 </li>
 <li>RetICFGNode()
-: <a class="el" href="classSVF_1_1RetICFGNode.html#ab11a6192d63f568f03d5cbb0f5e36360">SVF::RetICFGNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#a509a968955a30eac9e3a33ee92fb40ca">SVF::RetICFGNode</a>
 </li>
 <li>RetIndSVFGEdge()
 : <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4">SVF::RetIndSVFGEdge</a>
@@ -594,7 +595,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">SVF::VFGNode</a>
 </li>
 <li>RetPN()
-: <a class="el" href="classSVF_1_1RetPN.html#abeb65c2fe30da157e63dc43f628bab23">SVF::RetPN</a>
+: <a class="el" href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN</a>
 </li>
 <li>RetSymbol
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba8ac9528bf8b81f7942c1cdc0bf63ec35">SVF::SymbolTableInfo</a>
@@ -626,13 +627,11 @@ $(function() {
 <li>RevPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>
@@ -653,7 +652,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">SVF::ProgSlice</a>
 </li>
 <li>RSY()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a7b9a9e303fe74041fc77bea22e494658">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a657af041f883e7b1a3f9892453a2c4cf">SVF::RelationSolver</a>
 </li>
 <li>rthdToChildren
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555">SVF::MTAResultValidator</a>

package/SVF-doxygen/html/functions_rela_r.html

@@ -68,7 +68,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a67654d252e9e93b74e35ba247048b41a">SVF::SVFG</a>
 </li>
 <li>RelationSolver
-: <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalESBase</a>
+, <a class="el" href="classSVF_1_1IntervalExeState.html#a44841fb4ad23542383ea77bf1ffda65f">SVF::IntervalExeState</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/functions_rela_s.html

@@ -86,6 +86,7 @@ $(function() {
 </li>
 <li>SVFIR2ItvExeState
 : <a class="el" href="classSVF_1_1ExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::ExeState</a>
+, <a class="el" href="classSVF_1_1IntervalESBase.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#af1ac478aba3f3858d5f6f4b15a9f73a6">SVF::RelExeState</a>
 </li>