svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/functions_func_s.html

@@ -82,7 +82,7 @@ $(function() {
 <li>SCCDetect()
 : <a class="el" href="classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593">SVF::AndersenSCD</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12">SVF::FlowSensitive</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a3fcdbd3e6718cd5b3a339d34198dd0e6">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708">SVF::WPAFSSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
@@ -395,7 +395,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">SVF::GrammarBase</a>
 </li>
 <li>setReachableBBs()
-: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#afc83955233ed9c77ad6a8b36e4a6b168">SVF::SVFLoopAndDomInfo</a>
+: <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#acc409e328f641a2c9512beeb727f58c7">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>setReachGlobal()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">SVF::ProgSlice</a>
@@ -545,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector.html#a9cb4261779da0cbeb8d09b8fbd5cf557">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorElement()
-: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a4ec765790960025d3468866c326ab87b">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
+: <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a8097db31608c859c3cf8053e303821d3">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>SparseBitVectorIterator()
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5fe4841ca223f13c2aeec4c6e69a7b43">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
@@ -702,7 +702,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunctionType.html#af4bacdbcf4867575f6f27fc26aa66bbe">SVF::SVFFunctionType</a>
 </li>
 <li>SVFG()
-: <a class="el" href="classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a07d48490eda50ee6d31f295150409cf3">SVF::SVFG</a>
 </li>
 <li>SVFGBuilder()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVF::SVFGBuilder</a>
@@ -714,7 +714,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
 </li>
 <li>SVFGOPT()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a64c300c8a9f8cc2ac13eef65c1108d01">SVF::SVFGOPT</a>
 </li>
 <li>SVFGSCCDetection()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -774,7 +774,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -137,7 +137,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e">SVF::Z3Expr</a>
 </li>
 <li>toNodeBS()
-: <a class="el" href="classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#ad1d19d52800341484a136c6d5e0112ea">SVF::PointsTo</a>
 </li>
 <li>top()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a3139363dbe4bf20bb23e922f80d9e9c0">SVF::IntervalExeState</a>

package/SVF-doxygen/html/html/functions_func_u.html

@@ -75,7 +75,7 @@ $(function() {
 </li>
 <li>unionDDAPts()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1FlowDDA.html#a3d08dfe5a1571f5d631afcd304905a05">SVF::FlowDDA</a>
+, <a class="el" href="classSVF_1_1FlowDDA.html#aced776b355c545a3a4a6974be3623590">SVF::FlowDDA</a>
 </li>
 <li>unionPts()
 : <a class="el" href="classSVF_1_1Andersen.html#ab7dadfd4d810be4863f03ed996b3b3c4">SVF::Andersen</a>
@@ -85,11 +85,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a1596ef828786325ca06a3f5bada31757">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ae79628fc101567ba84215b624dd00c01">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9cc43f58ea3be1b7fbc7df7cfe965c3c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe1f57d265c0910ec26567ce850b8421">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#a61524c5a3521939b1546c78c68730c20">SVF::Steensgaard</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -119,22 +119,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a23fca889a29399a91dfc916f5fab46ee">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad68b23ed56b2c18bf75c23a658523404">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a2259da9defa195350b3f70cd16c3f2ec">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateAllDFInFromOut()
 : <a class="el" href="classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a7c7eff549ea0d153e7a72ed5bf79c30e">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a2dd9dad547c389d5cd488b165dd145eb">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a218ebd39a42b5de8910b98bef9d04f7d">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateAllDFOutFromIn()
 : <a class="el" href="classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a51365299a34e3386798e78a076d6e1f5">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a3f397aaf4f3d6d04ec005c2577652e04">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a59e2297b72cc30553db5e45da70f46">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateAncestorThreads()
 : <a class="el" href="classSVF_1_1MHP.html#ae9423c868ba4d26337428b96db9fc77b">SVF::MHP</a>
@@ -143,8 +143,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a0ce585790bba942291bb7c7ffcaa3914">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa8fdf0f82d3d94af34d5bc1386ed21f9">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateCachedPointsTo()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -155,7 +155,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573">SVF::AndersenSCD</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf">SVF::FlowSensitive</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#aad0bf334d3c749240ca27b4bcfd6eeab">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767">SVF::SVFIRBuilder</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb">SVF::ThreadCallGraph</a>
@@ -174,22 +174,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateDFInFromOut()
 : <a class="el" href="classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateDFOutFromIn()
 : <a class="el" href="classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab3c517be91b4711ace581df075d4647a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#aa326ac77577a8a4a0ce3e29cc03a3989">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateInFromIn()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a88120b9cec26620d4982798ea530353a">SVF::FlowSensitive</a>
@@ -215,7 +215,7 @@ $(function() {
 <li>updatePropaPtsMap()
 : <a class="el" href="classSVF_1_1DiffPTData.html#a0f422f826bb378ebb34199f0378e351d">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a2feb36e64e27e6f0bcc0e108da433278">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#adb2c450f2c93fbf630d91b8c2697fa06">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>updateSiblingThreads()
 : <a class="el" href="classSVF_1_1MHP.html#a23ab5a03b7c00ba0ebac65568a83a5cc">SVF::MHP</a>
@@ -224,8 +224,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a21b29c2d3e429017d910025e4ec73fc6">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a7778be60515fa3ff247b6d2cec138cfc">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_g.html

@@ -258,11 +258,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#abc8fbd41eddccddbbdc3316a3fd03276">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a00d3ec19f1b669edee5af7757e03a0ef">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#acfc73119798cb830a49f85ffab2654af">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getAllValidPtrs()
@@ -707,10 +707,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f">SVF::SVFIRBuilder</a>
 </li>
 <li>getCurrentBestNodeMapping()
-: <a class="el" href="classSVF_1_1PointsTo.html#a6c1885ddfcc72604463f7c4ea94d2f74">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#ae349a9ce6a8739925baffd83d1878b0e">SVF::PointsTo</a>
 </li>
 <li>getCurrentBestReverseNodeMapping()
-: <a class="el" href="classSVF_1_1PointsTo.html#a40759008e0cf6f790d48727f7b0ca38b">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#a19b84abf5e9c85e82ae18b77083467e9">SVF::PointsTo</a>
 </li>
 <li>getCurrentValue()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a95fd13343636bcbc18db1ef8d630c52e">SVF::SVFIRBuilder</a>
@@ -796,7 +796,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a9379acbe349ee652416765b335dfdeab">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a26ca6565c4766e3d6ea6bf435ae910a3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getDFInputMap()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a9717517387c14c2e64c7ae3c3149bb57">SVF::FlowSensitive</a>
@@ -818,7 +818,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a808dc8a242f168174339d7ca3196bb58">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#aea89a705aed7e02ddbf73f861506536e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getDFOutputMap()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a661c4c1d5902c924060cc81219591d6f">SVF::FlowSensitive</a>
@@ -837,7 +837,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a106691684d8e7a69157d423393d83d66">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1DiffPTData.html#a7c4159d873a836b6f6d9b2d2c044921d">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a76ae2ef87bc32c2f6466e7bc2dfad726">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a34819020692e33777fec59082269e8b4">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getDirAndIndJoinedTid()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a34ec31a6859cd94b525bfa26e549d8c1">SVF::ForkJoinAnalysis</a>
@@ -1759,7 +1759,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getNodeMapping()
-: <a class="el" href="classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#a5fd783872908d85e9192f4348ac0b493">SVF::PointsTo</a>
 </li>
 <li>getNodeNumAfterPAGBuild()
 : <a class="el" href="classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257">SVF::IRGraph</a>
@@ -2092,7 +2092,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">SVF::SVFIR</a>
 </li>
 <li>getPtCache()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#afaeae813ff38e010bbe8fe61befb345c">SVF::BVDataPTAImpl</a>
 </li>
 <li>getPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81">SVF::BVDataPTAImpl</a>
@@ -2111,16 +2111,16 @@ $(function() {
 </li>
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
-, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2133,7 +2133,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawProductions()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase</a>
@@ -2227,17 +2227,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>getRevPts()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a7c34a171565b7eb45a54b6a8336a321d">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a4faa0f91fa8acbd8c818f3abf5db8b5f">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
@@ -2374,7 +2374,7 @@ $(function() {
 </li>
 <li>getStringArg()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a1b1b841451fe51cb58417e864a28cbfc">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2657,7 +2657,7 @@ $(function() {
 </li>
 <li>getVersionedKeyRevPts()
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#acabb81409a3767f31227f46e106cb2d0">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
 <li>getVersionedPTDataTy()
@@ -2732,7 +2732,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
@@ -2767,9 +2767,6 @@ $(function() {
 <li>GlobalSetType
 : <a class="el" href="classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f">SVF::SVFModule</a>
 </li>
-<li>globalSvfg
-: <a class="el" href="classSVF_1_1SVFGBuilder.html#a31b754a303116f33d679dfcd886c4bed">SVF::SVFGBuilder</a>
-</li>
 <li>globalVFGNodes
 : <a class="el" href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">SVF::VFG</a>
 </li>

package/SVF-doxygen/html/html/functions_h.html

@@ -273,12 +273,12 @@ $(function() {
 <li>hasDFInSet()
 : <a class="el" href="classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>hasDFOutSet()
 : <a class="el" href="classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>hasDRCheckFlag()
 : <a class="el" href="classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711">SVF::Annotator</a>
@@ -329,7 +329,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#afe275b31ea93a3ecea4e19660ceef0ae">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9">SVF::Z3Expr</a>
 </li>

package/SVF-doxygen/html/html/functions_i.html

@@ -186,7 +186,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697">SVF::SymbolTableInfo</a>
 </li>
 <li>idToPts
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>idToTermInstMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881">SVF::SaberCondAllocator</a>
@@ -357,7 +357,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3">SVF::CFLVF</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1">SVF::FlowDDA</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7">SVF::FlowSensitive</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38">SVF::FSMPTA</a>
 , <a class="el" href="classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04">SVF::MTAAnnotator</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis</a>
@@ -1165,7 +1165,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1502,7 +1502,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5">SVF::ObjTypeInfo</a>
 </li>
 <li>isVirtualCall()
-: <a class="el" href="classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169">SVF::CallSite</a>
+: <a class="el" href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite</a>
 </li>
 <li>isVirtualMemAddress()
 : <a class="el" href="classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8">SVF::AddressValue</a>
@@ -1534,13 +1534,13 @@ $(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#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <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>
 </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>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_m.html

@@ -431,7 +431,7 @@ $(function() {
 </li>
 <li>mssa
 : <a class="el" href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">SVF::MemSSAStat</a>
-, <a class="el" href="classSVF_1_1SVFG.html#a6f07410ee34e4bf1079e3b5902c81d28">SVF::SVFG</a>
+, <a class="el" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">SVF::SVFG</a>
 </li>
 <li>MSSACHI()
 : <a class="el" href="classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815">SVF::MSSACHI&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_o.html

@@ -251,7 +251,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf">SVF::NumericLiteral</a>
 , <a class="el" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
 , <a class="el" href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a0fc3ebfd1990d09cc1b7c26bd94fb57a">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e">SVF::Z3Expr</a>
 </li>
@@ -267,7 +267,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac426e75680a2dce9c9185e83af749d51">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>operator+=()
@@ -396,12 +396,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e">SVF::SparseBitVector&lt; ElementSize &gt;</a>
-, <a class="el" href="classSVF_1_1StInfo.html#a99cc762e18baa226ee3e8f928ee048aa">SVF::StInfo</a>
+, <a class="el" href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0">SVF::StoreCGEdge</a>
 , <a class="el" href="classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef">SVF::StoreStmt</a>
@@ -555,40 +555,40 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
-</li>
 <li>opVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</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_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</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_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
+<li>opVers
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
+</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>