npm - svf-tools - Versions diffs - 1.0.304 → 1.0.308 - Mend

svf-tools 1.0.304 → 1.0.308

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (449) hide show

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

@@ -623,7 +623,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">SVF::ConstraintGraph</a>
 </li>
 <li>getConsume()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad8a7b01257f4b425007f3e0054dc6ae9">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af93e65faae99459621ae45cf9d36005d">SVF::VersionedFlowSensitive</a>
 </li>
 <li>getContext()
 : <a class="el" href="classSVF_1_1CondExpr.html#a069c3ac3e7f87250a11f590d23c3a864">SVF::CondExpr</a>
@@ -1919,7 +1919,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#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1943,6 +1943,9 @@ $(function() {
 <li>getRegionSize()
 : <a class="el" href="classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9">SVF::MemRegion</a>
 </li>
+<li>getReliantVersions()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31">SVF::VersionedFlowSensitive</a>
+</li>
 <li>getRep()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">SVF::ConstraintGraph</a>
 </li>
@@ -1973,7 +1976,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1998,7 +2001,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">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>
@@ -2074,6 +2077,9 @@ $(function() {
 <li>getStmt()
 : <a class="el" href="classSVF_1_1CxtStmt.html#a5e8c4b10eb5c3240d2e21a020ed834a6">SVF::CxtStmt</a>
 </li>
+<li>getStmtReliance()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3489def8e16e4d7c83d2c909d3287fc0">SVF::VersionedFlowSensitive</a>
+</li>
 <li>getStmtVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">SVF::VFG</a>
 </li>
@@ -2163,7 +2169,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
@@ -2250,7 +2256,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">SVF::TypeSystem</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="classSVF_1_1SymbolTableInfo.html#af4239ff717303dee25f1f4ba60070f9e">SVF::SymbolTableInfo</a>
+: <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada63ac47515daa4402914083058baec8">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeSystem()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
@@ -2323,7 +2329,7 @@ $(function() {
 </li>
 <li>getVersion()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561">SVF::DummyVersionPropSVFGNode</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068">SVF::VersionedFlowSensitive</a>
 </li>
 <li>getVersionedKeyRevPts()
 : <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
@@ -2386,13 +2392,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a1a75ca91148992166d42d245d6c51988">SVF::DCHNode</a>
 </li>
 <li>getYield()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>global_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2">SVF::SVFModule</a>

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

@@ -219,6 +219,7 @@ $(function() {
 : <a class="el" href="structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda">DdNode</a>
 , <a class="el" href="structMtrNode.html#ad10fa600c59f13e195d295dac071e807">MtrNode</a>
 , <a class="el" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">st_generator</a>
+, <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
 <li>indexForBit()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35">SVF::CoreBitVector</a>
@@ -390,12 +391,12 @@ $(function() {
 <li>inst2LabelMap
 : <a class="el" href="classSVF_1_1PAGEdge.html#a5c7605aa20425ef49294e6f153842a56">SVF::PAGEdge</a>
 </li>
-<li>inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
-</li>
 <li>Inst2PAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7">SVF::PAG</a>
 </li>
+<li>inst2PAGEdgesMap
+: <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
+</li>
 <li>inst2PTAPAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6">SVF::PAG</a>
 </li>
@@ -581,12 +582,6 @@ $(function() {
 <li>inv_child_iterator
 : <a class="el" href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
-<li>invalidateConsumeCache()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ab89fb73e63f7766cbaf7735921b0cf4b">SVF::VersionedFlowSensitive</a>
-</li>
-<li>invalidateYieldCache()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a13f00fd438df4feed73f43d6a0d55e0d">SVF::VersionedFlowSensitive</a>
-</li>
 <li>invalidVersion
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112">SVF::VersionedFlowSensitive</a>
 </li>
@@ -803,7 +798,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5">SVF::ExtAPI</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -828,7 +823,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a7531d638b4f8aca4f0a3af82391001d9">SVF::PCG</a>
 </li>
 <li>isFOpen()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ad7308258d0186a99325adf030c1138a6">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa5c29ac668359942a9bc31cacd0cd9c4">SVF::ThreadCallGraph</a>
@@ -867,7 +862,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -994,6 +989,12 @@ $(function() {
 <li>isJoinSiteInRecursion()
 : <a class="el" href="classSVF_1_1TCT.html#a4ff016e5933a4d094989c600ad25dd99">SVF::TCT</a>
 </li>
+<li>isLoad()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a984a4f929a18f97bfefac0102088a7fd">SVF::VersionedFlowSensitive</a>
+</li>
+<li>isLoadMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isLocalCVarInRecursion()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -1010,13 +1011,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a549a95aa04233c98732777ea210d8525">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#abe9fee725114243e16db4c2fd1abf3fa">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1206,6 +1207,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#abd776509d1ae281a246acfb168efe2ea">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3594dc1c1943dbac0ab72f2ff163c523">SVF::ObjTypeInfo</a>
 </li>
+<li>isStore()
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aac920c9a5f13dd147e3c130425e005eb">SVF::VersionedFlowSensitive</a>
+</li>
+<li>isStoreMap
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88">SVF::VersionedFlowSensitive</a>
+</li>
 <li>isStrongUpdate()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a94bcddbc7b9ccecb3fbb693b13372785">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowSensitive.html#a42a7e39e0e15576742f8ba7c32579ea2">SVF::FlowSensitive</a>
@@ -1222,14 +1229,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a9db4df7968ec179e5012794c58fdee70">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a0ff50b4312b9aa2c7ebd00e9a40a2668">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
@@ -1243,11 +1250,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>

package/SVF-doxygen/html/html/functions_l.html CHANGED Viewed

@@ -61,9 +61,6 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 <h3><a id="index_l"></a>- l -</h3><ul>
-<li>l
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#abbc4b4beea4318f9ccb81dbdeed239b7">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>LargestRegion
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -139,7 +136,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6">SVF::MemSSA</a>
 </li>
 <li>LoadCGEdge()
-: <a class="el" href="classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2">SVF::LoadCGEdge</a>
+: <a class="el" href="classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7">SVF::LoadCGEdge</a>
 </li>
 <li>LoadCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">SVF::ConstraintGraph</a>
@@ -212,7 +209,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">SVF::LocationSet</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -274,9 +271,6 @@ $(function() {
 <li>LockValid
 : <a class="el" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">SVF::Options</a>
 </li>
-<li>LocMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a31f2c86285f3366d0fc06590eb2a24bd">SVF::VersionedFlowSensitive</a>
-</li>
 <li>LocMemModel
 : <a class="el" href="classSVF_1_1Options.html#a8c7ece61e55940be1a0d310bd2cf77f8">SVF::Options</a>
 </li>
@@ -297,7 +291,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>LocVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a0ea2cc21f9de287746ca2216b08e22b4">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296">SVF::VersionedFlowSensitive</a>
 </li>
 <li>lookupComplements
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -322,6 +316,9 @@ $(function() {
 <li>low
 : <a class="el" href="structMtrNode.html#a589c940a5262c8da11bf843a369bb2db">MtrNode</a>
 </li>
+<li>lowlink
+: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2">SVF::VersionedFlowSensitive::SCC::NodeData</a>
+</li>
 <li>ls
 : <a class="el" href="classSVF_1_1GepObjPN.html#ab7a3961b0a3f6a8cc89c3cd81168180b">SVF::GepObjPN</a>
 , <a class="el" href="classSVF_1_1GepValPN.html#afb8bad0c8d61cd59410d99a405dfa9e8">SVF::GepValPN</a>

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

@@ -109,9 +109,6 @@ $(function() {
 <li>map
 : <a class="el" href="structDdManager.html#a70b750bb9e3abb295a48cbcb68cef543">DdManager</a>
 </li>
-<li>mapMeldVersions()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8e836aaeab108002205d2a7631e8559f">SVF::VersionedFlowSensitive</a>
-</li>
 <li>MappingPtr
 : <a class="el" href="classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7">SVF::PointsTo</a>
 </li>
@@ -295,26 +292,14 @@ $(function() {
 <li>meld()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4">SVF::VersionedFlowSensitive</a>
 </li>
-<li>meldConsume
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a0f3bc278aa733bd637c9905530ff2e6c">SVF::VersionedFlowSensitive</a>
-</li>
 <li>meldLabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a">SVF::VersionedFlowSensitive</a>
 </li>
 <li>meldLabelingTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d">SVF::VersionedFlowSensitive</a>
 </li>
-<li>meldMappingTime
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a8871031546861343c05346ae1a4550cd">SVF::VersionedFlowSensitive</a>
-</li>
 <li>MeldVersion
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ac09fe1e8199f9ac3adb6c489ab608fd8">SVF::VersionedFlowSensitive</a>
-</li>
-<li>meldVersions
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a32b9ff0e47ef632626f1b647c38c26f9">SVF::VersionedFlowSensitive</a>
-</li>
-<li>meldYield
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afb0396e095bd461f146b4c5ce957b89e">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18">SVF::VersionedFlowSensitive</a>
 </li>
 <li>mem
 : <a class="el" href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN</a>

package/SVF-doxygen/html/html/functions_n.html CHANGED Viewed

@@ -86,9 +86,6 @@ $(function() {
 <li>newExpand
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">SVF::ConstraintNode</a>
 </li>
-<li>newMeldVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a24746dcada35f10cb387c94860930e84">SVF::VersionedFlowSensitive</a>
-</li>
 <li>newPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -149,6 +146,9 @@ $(function() {
 <li>NodeAllocStrat
 : <a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options</a>
 </li>
+<li>NodeData
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c">SVF::VersionedFlowSensitive::SCC</a>
+</li>
 <li>NodeID
 : <a class="el" href="classSVF_1_1SCCDetection.html#a4f954a92b432b96f63454b7db46b60e2">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>

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

@@ -91,9 +91,6 @@ $(function() {
 <li>objToGeps
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#aa9977ed15f500848b23d4df7a44cd204">SVF::TypeBasedHeapCloning</a>
 </li>
-<li>ObjToMeldVersionMap
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6e36886fac2c276047def0a5acb85c0e">SVF::VersionedFlowSensitive</a>
-</li>
 <li>objToNSRevPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -104,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0">SVF::VersionedFlowSensitive</a>
 </li>
 <li>ObjTypeInfo()
-: <a class="el" href="classSVF_1_1ObjTypeInfo.html#afa03172e8fe0af6b523e866d54235f3a">SVF::ObjTypeInfo</a>
+: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a1a182e6a8710242f94729412d4683f8d">SVF::ObjTypeInfo</a>
 </li>
 <li>oCG
 : <a class="el" href="classSVF_1_1AndersenHCD.html#af5fe01816e65ece685a3c3537ebd0137">SVF::AndersenHCD</a>
@@ -125,6 +122,9 @@ $(function() {
 <li>one
 : <a class="el" href="structDdManager.html#a239bd99ee654742adc79b8299c2bc92e">DdManager</a>
 </li>
+<li>onStack
+: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
+</li>
 <li>onTheFlyCallGraphSolve()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296">SVF::BVDataPTAImpl</a>
 </li>
@@ -177,6 +177,7 @@ $(function() {
 : <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0">std::hash&lt; const SVF::ContextCond &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash&lt; std::vector&lt; T &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a>
@@ -196,6 +197,7 @@ $(function() {
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a>
 , <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a>
 , <a class="el" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash&lt; T &gt;</a>
+, <a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411">SVF::Hash&lt; CoreBitVector &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e">SVF::Hash&lt; NodePair &gt;</a>
 , <a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b">SVF::MemRegion::equalMemRegion</a>
@@ -300,8 +302,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NormalGepPE.html#ac05756f70d2211c72b7216c1d09ca9bf">SVF::NormalGepPE</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">SVF::PathStmtDPItem&lt; LocCond &gt;</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.html#ab06c71c3d1ab7ef2a67fc00b42f4be72">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca">SVF::PTASCEV</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -405,31 +407,33 @@ $(function() {
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
-: <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>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </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>
-, <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_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_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+: <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>
 </li>
+<li>OPVers
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</a>
@@ -451,7 +455,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5">SVF::FlowSensitiveStat</a>
 </li>
 <li>OutEdgeBegin()
-: <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_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -499,9 +503,6 @@ $(function() {
 <li>Overlap
 : <a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">SVF::LocationSet</a>
 </li>
-<li>ovm
-: <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html#a6cda550f5fe99fe2407ac9bf73d59319">SVF::VersionedFlowSensitive::VersionCache</a>
-</li>
 <li>owned_modules
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2">SVF::LLVMModuleSet</a>
 </li>

package/SVF-doxygen/html/html/functions_p.html CHANGED Viewed

@@ -422,12 +422,12 @@ $(function() {
 <li>PHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
-<li>phiNodeMap
-: <a class="el" href="classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0">SVF::PAG</a>
-</li>
 <li>PHINodeMap
 : <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
 </li>
+<li>phiNodeMap
+: <a class="el" href="classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0">SVF::PAG</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>
@@ -517,12 +517,24 @@ $(function() {
 <li>PredictPtOcc
 : <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
 </li>
+<li>preemptiveComplements
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveIntersections
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
+<li>preemptiveUnions
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+</li>
 <li>preGCHook
 : <a class="el" href="structDdManager.html#a6e7664b46763e45c7388778e6e786a0e">DdManager</a>
 </li>
 <li>prelabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda">SVF::VersionedFlowSensitive</a>
 </li>
+<li>prelabeledObjects
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e">SVF::VersionedFlowSensitive</a>
+</li>
 <li>prelabelingTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996">SVF::VersionedFlowSensitive</a>
 </li>
@@ -879,12 +891,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>PTAImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
-</li>
 <li>ptaImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
 </li>
+<li>PTAImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -903,24 +915,22 @@ $(function() {
 <li>PTAStat()
 : <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
 </li>
-<li>PTATY
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
-</li>
 <li>ptaTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
 </li>
+<li>PTATY
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
+</li>
 <li>PTAType()
 : <a class="el" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">SVF::PTAType</a>
 </li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
-<li>PTAVector
-: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
-</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -976,12 +986,12 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>ptrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<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#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -1058,7 +1068,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
+, <a class="el" href="classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e">SVF::TCT</a>
 </li>
 <li>pushIntoWorklist()
 : <a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>