svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/functions_c.html

@@ -492,7 +492,7 @@ $(function() {
 </li>
 <li>checkAndRemap()
 : <a class="el" href="classSVF_1_1CondStdSet.html#a347097404761b16a077eac1ae9fbfd94">SVF::CondStdSet&lt; Element &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#ac630a1bfa028240f9128e3b60d9413a4">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a731a028a2a4ed30e86992652ad71a63f">SVF::PointsTo</a>
 </li>
 <li>CHECKER_TYPE
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056">SVF::SaberCheckerAPI</a>
@@ -787,16 +787,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1FILOWorkList.html#a97265eb340b48436c39f77f4095693fb">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a4723715a8d9be3021b39082432d99375">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a446112803c54ca937f8b85e42a4a1381">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8ae9624ac7fb1502eaa43173dacbe7b7">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDiffPTData.html#a712da72277711b9aa1b33a197f6ff23f">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ab476e1b59aead37b440fd5735df3814b">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae7e3ba711b38a3fe382d690ee24d7912">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ad7785e4207e0b45aed72845af6c4916f">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ae9017daca63227066bb1be6dedef8b0f">SVF::PersistentPointsToCache&lt; Data &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#acb5af4139d42dcd19c6327520f074e91">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a492df7c388e3f616e60b63630b8c37c5">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#af27a907b6207cc1c9f3f72f15a0c7c0a">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a14ce3ef70959f10e777e1090fd697116">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a3323ba77ae690533a0edcaebe82e20f5">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a5afe3e74412a1f3f728d7e0eaae70c13">SVF::SparseBitVector&lt; ElementSize &gt;</a>
@@ -806,8 +806,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1DFPTData.html#ac20579e277a284158e2924fb5946cd86">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a43a45997f6147245fe8a552b42f3f632">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#ac9ff175dbdf75232a104e2aa34f87d43">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6af27fbe2c38c4d40d8df5aa1c765f62">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ab41bf3e2ba1700ae6116702fb5ce8efe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>clearAllDFOutVarFlag()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a9622f0b7b16694b0c74b07834f598e67">SVF::FlowSensitive</a>
@@ -832,10 +832,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a080969ab00b584d44ea9afbd2baa740a">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -846,7 +846,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a839ed248cf5ff8359217e2029f389d8a">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1DiffPTData.html#a7784c4a76aa41149975840af8b32c2a9">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a3946e3b737d95539cb57b10e53d356fc">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa00e0bfaf2d46f2aa83a37c7c9514edb">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a5ab578384889cf6e01b0e67d9b0e456e">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>clearPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4909696c946cf6aba12542ec51766b64">SVF::BVDataPTAImpl</a>
@@ -855,10 +855,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a65028f1634a18f6adbd4cfdb526d1d20">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#ab20b71c9e2f31439c95071c375bf89e0">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4a55644f32cf3ccddf85541f61bef5ff">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a522af0d1727809479b1122b075b0845e">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1014,7 +1014,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a731ece7e21bfa2b08ae16780b55f9f5f">SVF::ForkJoinAnalysis</a>
 </li>
 <li>collectSimpleTypeInfo()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a52853bd34a394882c6fd0fc73739c9f2">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#abcd6d9513511e6a306189a87fe3dfa06">SVF::LLVMModuleSet</a>
 </li>
 <li>collectSpawnees()
 : <a class="el" href="classSVF_1_1PCG.html#a8cff88e2a6cee5f655e491f9f2967460">SVF::PCG</a>
@@ -1023,7 +1023,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#aef06745128e4e99c8e3bab226a337041">SVF::PCG</a>
 </li>
 <li>collectStructInfo()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a23f4ddb31bec91fb4c8d1e50a80a39ac">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a93315673be515ce5c2fabd36fa927128">SVF::LLVMModuleSet</a>
 </li>
 <li>collectSVFTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a42c69bc9ee71cc0ff322c1701b7e07bd">SVF::SymbolTableBuilder</a>
@@ -1074,7 +1074,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a7e26ac6fb40684694f7ff2aadfde8bc7">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac97bd53101f306c46ab4349a808f67c9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0aa74ee810233d6f1da09d1e593c35d8">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>computeGepOffset()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a87b75f04942124711d5ea1366e866890">SVF::SVFIRBuilder</a>
@@ -1176,10 +1176,10 @@ $(function() {
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#aa39900e11f5689f8bd70f3ec45865225">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a624c36b40fd301d67a71952adf206e47">SVF::SVFGOPT</a>
 </li>
 <li>connectAParamAndFParam()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a5e65ac95b96fb87a11a765c51f366ec1">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a82c28afbba24b90ef0394c9dcd0aae57">SVF::SVFGOPT</a>
 , <a class="el" href="classSVF_1_1VFG.html#a2c508fbf07bad33d5b56d2acc6e012d3">SVF::VFG</a>
 </li>
 <li>connectCaller2CalleeParams()
@@ -1202,10 +1202,10 @@ $(function() {
 </li>
 <li>connectFOutAndAOut()
 : <a class="el" href="classSVF_1_1SVFG.html#a402dfe93b8692be453c4f76d048b690a">SVF::SVFG</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a79ace9bac7f2e075c27209ea56fc6032">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#ad88f85a4d5c397b3b6896608ba035bd3">SVF::SVFGOPT</a>
 </li>
 <li>connectFRetAndARet()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#aad3217fa932738ab8ba09e1e9f48ac56">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#ae5648d1248af4e4ce755ee5d32f84a06">SVF::SVFGOPT</a>
 , <a class="el" href="classSVF_1_1VFG.html#ab4e8ab307ad6beb46812a60ebd31ae3b">SVF::VFG</a>
 </li>
 <li>connectFromGlobalToProgEntry()
@@ -1427,7 +1427,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#abfed2e7daf2407e11cade625ac19a6ce">SVF::CoreBitVector</a>
 , <a class="el" href="structSVF_1_1LeadingZerosCounter.html#ad85fa905e96374d79a832a027226d8d3">SVF::LeadingZerosCounter&lt; T, SizeOfT &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a879783ba6629e500af9aa7dfcda2563d">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa0d4ee196b91fce626f3f15bcc5599e4">SVF::PointsTo</a>
 , <a class="el" href="structSVF_1_1PopulationCounter.html#aa49a07f6be7991ffe42af5445b38d59b">SVF::PopulationCounter&lt; T, SizeOfT &gt;</a>
 , <a class="el" href="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html#a6b0aabdd55f93d2b5ea8df270a14a0ec">SVF::PopulationCounter&lt; T, 8 &gt;</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector&lt; ElementSize &gt;</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -177,8 +177,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI</a>
 </li>
 <li>destroy()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#af783769050ab663ad4bb93f901f01a6d">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed">SVF::CondPTAImpl&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5fa3d986e4ef710a2148b2854167c3ed">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#a77ba38543b1ee164f1ae95589d5dbc44">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1e6ff4c2b04b07c5f71e5e7a6a0d7735">SVF::MemObj</a>
@@ -416,7 +415,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>DPItem()
-: <a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">SVF::DPItem</a>
+: <a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">SVF::DPItem</a>
 </li>
 <li>dpmToADCPtSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -509,7 +508,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2">SVF::VFG</a>
 </li>
 <li>dumpAllPts()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a7996a2c07b015e8557398ec10db1acef">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908">SVF::PointerAnalysis</a>
 </li>
 <li>dumpAllTypes()
@@ -529,7 +528,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac3e622d810ee69917b7bef08a882117c">SVF::ContextDDA</a>
 </li>
 <li>dumpCPts()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae20bbb7991f585deb2e6d0d8115b1b93">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acd9a15c398be20db43ed9fd910bd1758">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#aa260a3275fbec7061295306a58763d24">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197">SVF::PointerAnalysis</a>
 </li>
@@ -537,7 +536,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>DumpFree
@@ -569,10 +568,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#adf10cc451517f8d3ee7aec8baa61772f">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a796c1676dd5180a27dbebae5a99b57b7">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d168145358e0f69eca023dd9b4363ea">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac7caee8468f12e87a70837a8f2e9685c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#afb2dd005d3d2ad01bdad4b7a1af5477d">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a364fc243fe230342b209bb0c3a7d0966">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a38a942cb65d87883433444ef8f2b986c">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ab2ba1db7aeb6e3a508c11eb49bf31575">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>dumpPts()
@@ -605,7 +604,7 @@ $(function() {
 </li>
 <li>dumpTopLevelPtsTo()
 : <a class="el" href="classSVF_1_1Andersen.html#a43858bd242c7f2c5f33c3c0f6445376a">SVF::Andersen</a>
-, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a8d6cea841b6ded0f80ef2b5784e9b752">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad34eea2a5ec26e0b2b6a78914879f989">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a80daa422e0dacf75aceb4fe5b4687c04">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f">SVF::PointerAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_e.html

@@ -281,7 +281,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791ae16d4995f32298086fd37b4759ec069c">SVF::LockAnalysis</a>
 </li>
 <li>empty()
-: <a class="el" href="classSVF_1_1PointsTo.html#ac4688413177b49b37dbbfd3ed188d59b">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
@@ -303,7 +303,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a93cdd9890522cc9fee2451567e0b1f0d">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a3001af3746d26b7dc0a212db5e48a4bb">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1iter__range.html#a86124761467c76a7f7b0926b47d4f031">SVF::iter_range&lt; IteratorT &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a6e2ff63437d07a30cc6db35de032728a">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a1b5abe09fd0fcd337385653cb47343c1">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#ab65173c2668b80643cb96e8133e5ea0a">SVF::SVFBasicBlock</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction</a>

package/SVF-doxygen/html/html/functions_f.html

@@ -112,14 +112,14 @@ $(function() {
 <li>finalize()
 : <a class="el" href="classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67">SVF::AndersenBase</a>
-, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a638f58c3bf6efdb3787fafaa4e6f19ca">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CFLBase.html#a7ee2fdf1c0cdf019c863870dc51c0b5d">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806">SVF::CFLVF</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a">SVF::FlowDDA</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3">SVF::FlowSensitive</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a911aa7dd8d696b96a85d85af852e1e58">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6">SVF::TypeAnalysis</a>
@@ -134,7 +134,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>find_first()
-: <a class="el" href="classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#a17c66a466bbea93598bca73d82c95479">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
@@ -347,7 +347,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">SVF::MTAStat</a>
 </li>
 <li>fspta
-: <a class="el" href="classSVF_1_1FlowSensitive.html#a4ad2095dc708df07602de25e4a004776">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#a2fac4f6a9d2cc19b2d998f0197e6883b">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f">SVF::FlowSensitiveStat</a>
 </li>
 <li>FSSPARSE_WPA
@@ -591,12 +591,12 @@ $(function() {
 </li>
 <li>FWProcessCurNode()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad4e19b2510c124d458f6941e190ef7cc">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>FWProcessOutgoingEdge()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#acb99b47a514fc9d10fe1b989c7b09127">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 </ul>

package/SVF-doxygen/html/html/functions_func.html

@@ -723,10 +723,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1023,7 +1023,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLBase.html#a2aac58e19676290042874c262f1edd4d">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA</a>
-, <a class="el" href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive</a>
+, <a class="el" href="classSVF_1_1FlowSensitive.html#a7b3f1ca7f8996edc3ed80fdff536d519">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
@@ -1111,7 +1111,7 @@ $(function() {
 </li>
 <li>atEnd()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f">SVF::CoreBitVector::CoreBitVectorIterator</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a049cecdc3aa76a31eacdbe48f6a820e7">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aea5c1fe642e6cc0ac3243f8a7b3fe613">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>atKey()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa">SVF::VersionedFlowSensitive</a>

package/SVF-doxygen/html/html/functions_func_0x7e.html

@@ -86,7 +86,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Annotator.html#a77ae10cccf9eeece8adf7dd00821e836">SVF::Annotator</a>
 </li>
 <li>~BVDataPTAImpl()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a06f211184d3e75f0ca351a4b8092a478">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4a67cd071bc08d2150534e631a0a06ed">SVF::BVDataPTAImpl</a>
 </li>
 <li>~CallCHI()
 : <a class="el" href="classSVF_1_1CallCHI.html#a9ae4f818ff29ebaccc0d82a0170577b5">SVF::CallCHI&lt; Cond &gt;</a>
@@ -218,7 +218,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowDDA.html#a2f67714c2dc72384de9c80bf0848adfd">SVF::FlowDDA</a>
 </li>
 <li>~FlowSensitive()
-: <a class="el" href="classSVF_1_1FlowSensitive.html#a7bb33faaa7081ef3346de3f30ab3a8da">SVF::FlowSensitive</a>
+: <a class="el" href="classSVF_1_1FlowSensitive.html#a08395aa9627c451555361eade6b2a50b">SVF::FlowSensitive</a>
 </li>
 <li>~FlowSensitiveStat()
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a308c187020098a7f421592e8baa98967">SVF::FlowSensitiveStat</a>
@@ -245,7 +245,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1HareParForEdge.html#a6496eb7d7d33d49cc174722034451b1b">SVF::HareParForEdge</a>
 </li>
 <li>~ICFG()
-: <a class="el" href="classSVF_1_1ICFG.html#abdaf7551b7cd46bada3396c135e68584">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ae1a4cb907f4313c253576c51955f2b53">SVF::ICFG</a>
 </li>
 <li>~ICFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778">SVF::ICFGEdge</a>
@@ -338,7 +338,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a96331853265be5129964a9751f64bd8d">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~MutableDiffPTData()
-: <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8d69bae0bcbeecc98b51a23d50c064b6">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1MutableDiffPTData.html#a4393d195897b2c450f65e2cc115a4e66">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~MutableIncDFPTData()
 : <a class="el" href="classSVF_1_1MutableIncDFPTData.html#adf4e5c57d7b7ae7da37bb1a4eabfe8a6">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -362,25 +362,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a3986717a8a3e1515747c3ab2c3e93ca7">SVF::PCG</a>
 </li>
 <li>~PersistentDFPTData()
-: <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad9ccba048d0c749d1c2cafc517f78181">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6928f5062dcb84429424a26696a61523">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~PersistentDiffPTData()
-: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a311ada9c9a0376c71dae24841cc60b7a">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a1d752dc7b2967c924aece9d6a0a4636b">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~PersistentIncDFPTData()
-: <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aea074e213475c4dc632f8d21e8388868">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ada599afb703c16e16f6b1d7ab6045a50">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~PersistentPTData()
-: <a class="el" href="classSVF_1_1PersistentPTData.html#a66a9367f0b965d18be8bb1247e1c2548">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a5d8aab7bf619800ae289ef38dad23306">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>~PersistentVersionedPTData()
-: <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2252fcbc06243787b6854d826373da1d">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a70d4addaf968ab26132a84079ee6fd03">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
 <li>~PointerAnalysis()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a4aeca84393c5586eea7a480737daf17c">SVF::PointerAnalysis</a>
 </li>
 <li>~PointsTo()
-: <a class="el" href="classSVF_1_1PointsTo.html#a2a12ab349a01314b0d7b4074a0c28677">SVF::PointsTo</a>
+: <a class="el" href="classSVF_1_1PointsTo.html#a21bc5e2236fdd3cb8c185d8eb142fdac">SVF::PointsTo</a>
 </li>
 <li>~ProgSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#ad761a9848d2dab7700a7fdeb91c2454d">SVF::ProgSlice</a>
@@ -413,13 +413,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a1400bd13453c77defbd085f5bb334bca">SVF::SaberSVFGBuilder</a>
 </li>
 <li>~SrcSnkDDA()
-: <a class="el" href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">SVF::SrcSnkDDA</a>
+: <a class="el" href="classSVF_1_1SrcSnkDDA.html#a5a87fbdbf9469f3bdd4c955f31f4c4f9">SVF::SrcSnkDDA</a>
 </li>
 <li>~SrcSnkSolver()
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#a2e5019545fc7175402eb6bd6d898afa9">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>~StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a1fa88b6bfbbd648df1b15f11d61578ed">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a6bb940564ed16e07a9e8a583892aef1c">SVF::StInfo</a>
 </li>
 <li>~StmtDPItem()
 : <a class="el" href="classSVF_1_1StmtDPItem.html#a710bee7fe8262d1fe8ed9c6160562abb">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -428,7 +428,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#a95f30699dd8622ff60d4aba7e51d0ecf">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>~SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a3563eb676adc76ba19b7c8c58c851d7c">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#abd5adb119af2024fe4702ba25394d5ac">SVF::SVFBasicBlock</a>
 </li>
 <li>~SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a5f6f7bf27f373b16b9c51de310b40686">SVF::SVFFunction</a>
@@ -437,13 +437,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a710a36fc3f4ad15010c4469abcd032e5">SVF::SVFG</a>
 </li>
 <li>~SVFGBuilder()
-: <a class="el" href="classSVF_1_1SVFGBuilder.html#af45232cbcffcaa4c7e05dab96553068f">SVF::SVFGBuilder</a>
+: <a class="el" href="classSVF_1_1SVFGBuilder.html#a96107015ec8541d0181463575a26a4a8">SVF::SVFGBuilder</a>
 </li>
 <li>~SVFGNodeLockSpan()
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#ae91a897133c8d79cbc2d6a656ff92676">SVF::SVFGNodeLockSpan</a>
 </li>
 <li>~SVFGOPT()
-: <a class="el" href="classSVF_1_1SVFGOPT.html#af45feec9a906f9df86e244bb62f603b8">SVF::SVFGOPT</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#ac9c5f279353ceea5a93dbdf002e3be0c">SVF::SVFGOPT</a>
 </li>
 <li>~SVFGStat()
 : <a class="el" href="classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e">SVF::SVFGStat</a>
@@ -524,7 +524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPASCCSolver.html#ab1d7c474209aab41d55fe8a3d13562a6">SVF::WPASCCSolver&lt; GraphType &gt;</a>
 </li>
 <li>~WPASolver()
-: <a class="el" href="classSVF_1_1WPASolver.html#ac88ef07e88b453a1b35684b59a7dd04a">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1WPASolver.html#a99571af72e62bcf535a05095835bddfb">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>~Wto()
 : <a class="el" href="classSVF_1_1Wto.html#a061f421f885f12e4080479401a440839">SVF::Wto</a>

package/SVF-doxygen/html/html/functions_func_b.html

@@ -109,7 +109,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1iter__range.html#a35c298cfeda798cbf4f65150796f8489">SVF::iter_range&lt; IteratorT &gt;</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#ad5b582d2672617806c61e6170d0b5a7e">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">SVF::SVFBasicBlock</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">SVF::SVFFunction</a>
@@ -238,7 +238,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8da4b9bd9d0c640a6857b4dc4991817c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>buildLLVMLoops()
-: <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a19d31a930b040d2b74dc39e51c768fba">SVF::LLVMLoopAnalysis</a>
+: <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a630e7efc4f2b04a6b814bb1730a5747e">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildMemModel()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#aef0bb1e88d0b69313c673318f7b7cb5f">SVF::SymbolTableBuilder</a>
@@ -247,7 +247,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a4f3c4374ba4b06a819721a8e05efe221">SVF::MemSSA</a>
 </li>
 <li>buildMSSA()
-: <a class="el" href="classSVF_1_1SVFGBuilder.html#a49cee21be46d6a3f65eec638714038ed">SVF::SVFGBuilder</a>
+: <a class="el" href="classSVF_1_1SVFGBuilder.html#a057d1d631326e844ce3287eb17b98c1a">SVF::SVFGBuilder</a>
 </li>
 <li>buildPTROnlySVFG()
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#ab7353191edd06568e2598177d253c1d9">SVF::SVFGBuilder</a>
@@ -261,7 +261,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">SVF::SVFG</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#ae2d84f7527de200a2f269dc1c056a305">SVF::SVFGBuilder</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#af4d2c6d2e3b316b256f860801fe3b178">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a788fded648d6d037dc7be4b7796a3e7a">SVF::SVFGOPT</a>
 </li>
 <li>buildSVFLoops()
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a82b29fc1e138e082d7da6e016a5b7eb8">SVF::LLVMLoopAnalysis</a>
@@ -283,12 +283,12 @@ $(function() {
 </li>
 <li>BWProcessCurNode()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad9eb5a4e0b3783c300c36b66f053e302">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>BWProcessIncomingEdge()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3a097517e85b9ea4c92d5e213b04e1f0">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>bypassMSSAPHINode()