svf-tools 1.0.855 → 1.0.857

package/SVF-doxygen/html/functions_o.html

@@ -122,18 +122,18 @@ $(function() {
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
-<li>opcode
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
-</li>
 <li>OpCode
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
 </li>
 <li>opcode
-: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
 </li>
 <li>OpCode
 : <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
 </li>
+<li>opcode
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
+</li>
 <li>operator ReferenceT()
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
@@ -348,14 +348,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f">SVF::SymState</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ab1c9fade2bcd6db9211ddee376b4f04c">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a44cce3ef52a02cfe8d650e9ce079c210">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;&lt;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">SVF::CFBasicBlockEdge</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18">SVF::CFBasicBlockGWTOComp</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb">SVF::ICFGEdge</a>
@@ -369,7 +367,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe">SVF::SVFVar</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612">SVF::VFGNode</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a9342328c10f51f56290b61e06851f30d">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#aa14277ce617c9a01800db64cc62ef2f3">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a6053b66d1350ef6ea9a0c8095869f606">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;=
@@ -377,7 +377,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5">SVF::SingleAbsValue</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a2e3c5007c3348083b51b0a4fa3e843b9">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f">SVF::Z3Expr</a>
 </li>
 <li>operator=()
@@ -396,8 +396,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277">SVF::BranchVFGNode</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207">SVF::CallPE</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4041183a3671e35c6b0723e76a34a4f3">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#af46e865e21030fff9b23cfc9e0398a32">SVF::CFBasicBlockGWTOComp</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2">SVF::CmpVFGNode</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -453,8 +451,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
-, <a class="el" href="classSVF_1_1WTOVisitor.html#aabdd2c91e25335bee3b45ead13e95189">SVF::WTOVisitor</a>
+, <a class="el" href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#acc32a8927ef0213dbd383f3da3f0fe29">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a2f5ba04581b5771dd083aa799329e43b">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#aeca7ef6c7cca3533d72fc8d6a5d9337c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
 </li>
 <li>operator==()
@@ -482,7 +482,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">SVF::GrammarBase::Symbol</a>
 , <a class="el" href="classSVF_1_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d">SVF::IntervalESBase</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
@@ -501,7 +501,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d">SVF::SVFGNodeLockSpan</a>
 , <a class="el" href="classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6">SVF::SymState</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ae9765d0ba0c8b8ec83d9482fea016713">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a4779ba4cfc8a0ae23d27ef9d2f3987d0">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;
@@ -509,7 +509,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4">SVF::SingleAbsValue</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8ca19a3f2f7e79c20c4a4f98897470c7">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;=
@@ -519,7 +519,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a">SVF::SingleAbsValue</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a0aa519ff93cdab15f9324c6b05df8e47">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;&gt;
@@ -537,7 +537,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958">SVF::SingleAbsValue</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ad4171d23b56c5402687bac3febb4b233">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12">SVF::Z3Expr</a>
 </li>
 <li>operator|
@@ -550,7 +550,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>operator||
@@ -565,12 +565,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423">SVF::PhiStmt</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -581,7 +581,7 @@ $(function() {
 : <a class="el" href="classOption.html#a62e78ab5e41cc3ba467c07c014f410e5">Option&lt; T &gt;</a>
 </li>
 <li>OptionBase()
-: <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
+: <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
 </li>
 <li>OptionMap()
 : <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
@@ -645,11 +645,15 @@ $(function() {
 </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>
 </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_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+</li>
+<li>opVers
+: <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>
@@ -659,13 +663,11 @@ $(function() {
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+, <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>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
-</li>
 <li>Or
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>
 </li>
@@ -695,7 +697,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9">SVF::CFBasicBlockNode</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap

package/SVF-doxygen/html/functions_p.html

@@ -474,11 +474,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
 <li>pop()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab">SVF::List&lt; Data &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>popFromCTPWorkList()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58">SVF::LockAnalysis</a>
@@ -639,6 +639,9 @@ $(function() {
 <li>printFlattenFields()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9">SVF::SymbolTableInfo</a>
 </li>
+<li>printGeneralStats
+: <a class="el" href="classSVF_1_1SVFStat.html#a218fc579a41983cad3f17f90e656ee72">SVF::SVFStat</a>
+</li>
 <li>PrintGraph()
 : <a class="el" href="classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da">SVF::GraphPrinter</a>
 </li>
@@ -690,7 +693,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a14e210bd24b2104afb36ad50a0899c09">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1IntervalESBase.html#a2b5821a3dd16e98687768b51cf05b789">SVF::IntervalESBase</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
@@ -795,7 +798,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
 </li>
 <li>propagateVersion()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
 </li>
 <li>propagateViaObj()
 : <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
@@ -884,12 +887,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#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</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>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>
@@ -909,11 +912,13 @@ $(function() {
 </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>
@@ -1008,11 +1013,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -1047,14 +1056,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73">SVF::DCHNode</a>
 </li>
 <li>push()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1">SVF::FILOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1List.html#ae6357e876e0a1fa2f925cc63dacc529c">SVF::List&lt; Data &gt;</a>
-</li>
-<li>push_back()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>pushContext()
 : <a class="el" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">SVF::ContextCond</a>

package/SVF-doxygen/html/functions_r.html

@@ -122,7 +122,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8">SVF::Options</a>
 </li>
 <li>readJson()
-: <a class="el" href="classSVF_1_1SVFIRReader.html#abdb701b360803217f31baa66ca42d147">SVF::SVFIRReader</a>
+: <a class="el" href="classSVF_1_1SVFIRReader.html#af379c833b8e0c16ed7b41a76bb8e51d6">SVF::SVFIRReader</a>
 </li>
 <li>readPrecision()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>

package/SVF-doxygen/html/functions_rela_o.html

@@ -129,8 +129,6 @@ $(function() {
 <li>operator&lt;&lt;
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488">SVF::CFBasicBlockEdge</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18">SVF::CFBasicBlockGWTOComp</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d">SVF::CondVar&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb">SVF::ICFGEdge</a>
@@ -144,7 +142,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe">SVF::SVFVar</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612">SVF::VFGNode</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a9342328c10f51f56290b61e06851f30d">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#aa14277ce617c9a01800db64cc62ef2f3">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a6053b66d1350ef6ea9a0c8095869f606">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;=

package/SVF-doxygen/html/functions_s.html

@@ -117,12 +117,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>sbv
-: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
-</li>
 <li>SBV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
 </li>
+<li>sbv
+: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -131,11 +131,13 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>SCC
+: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -251,7 +253,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>setCDN()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>setCFCond()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a9c1660f4a9ecc161c0fb97c735a690b9">SVF::SaberCondAllocator</a>
@@ -832,6 +834,9 @@ $(function() {
 <li>SSARenameBB()
 : <a class="el" href="classSVF_1_1MemSSA.html#aeb7fc6c7880db45f6d0a90912ac5b5f7">SVF::MemSSA</a>
 </li>
+<li>Stack
+: <a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">SVF::WTO&lt; GraphT &gt;</a>
+</li>
 <li>STACK_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aad918042d1f04a5e3960817d55ccb5d5">SVF::ObjTypeInfo</a>
 </li>
@@ -981,12 +986,12 @@ $(function() {
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
-<li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
-</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -1002,12 +1007,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
-</li>
 <li>Strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
 </li>
+<li>strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1042,7 +1047,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>Subset
@@ -1118,7 +1123,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
-: <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
+: <a class="el" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
@@ -1143,7 +1148,7 @@ $(function() {
 </li>
 <li>SVFFunction
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#afcfae770b6ed1235cc1aa6c123b3a048">SVF::SVFBasicBlock</a>
-, <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
+, <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType</a>
@@ -1194,7 +1199,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVF::SVFValue</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#a18dc40d9d9007c928a5b9d92c269cd87">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNode
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7">SVF::SVFGNodeLockSpan</a>
@@ -1513,7 +1518,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1524,13 +1529,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a8bfa675eed3c60a21134faa8e0b9e6b9">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6ca1b9d5bb267806f8aaae5a94ed36cc">SVF::SVFIRBuilder</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
 </li>
 <li>SVFModule()
 : <a class="el" href="classSVF_1_1SVFModule.html#a0438953758cecab4ebe1b48895639eb8">SVF::SVFModule</a>
 </li>
-<li>svfModule
-: <a class="el" href="classSVF_1_1SVFModule.html#ad81c63b60d030828262ea375917cc189">SVF::SVFModule</a>
-</li>
 <li>svfModuleFieldJson
 : <a class="el" href="classSVF_1_1SVFModuleReader.html#a5258ef11a30116a8c7cdd366faa6568c">SVF::SVFModuleReader</a>
 </li>
@@ -1596,7 +1599,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#a3afd7c9a47ab7cd96d9bfc5fc8c473a4">SVF::SVFType</a>
 </li>
 <li>SVFTypeLocSetsPair
 : <a class="el" href="classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674">SVF::SVFIR</a>
@@ -1631,7 +1634,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
 </li>
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>
@@ -1650,7 +1653,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver</a>
 , <a class="el" href="classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c">SVF::GrammarBase</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
@@ -1680,7 +1683,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085">SVF::SymState</a>
 </li>
 <li>symTabFieldJson
 : <a class="el" href="classSVF_1_1SymbolTableInfoReader.html#a4ebfcabecee32b0a226c2c57f6411a3c">SVF::SymbolTableInfoReader</a>

package/SVF-doxygen/html/functions_t.html

@@ -67,9 +67,6 @@ $(function() {
 <li>tail
 : <a class="el" href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">SVF::List&lt; Data &gt;</a>
 </li>
-<li>TailBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aa7084b799641d5413dd7d8c76cc2bd9e">SVF::CFBasicBlockGWTO::TailBuilder</a>
-</li>
 <li>tailmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599">SVF::MTASVFGBuilder</a>
 </li>
@@ -184,18 +181,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -488,10 +485,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CDGEdge.html#a1beaf9451e4e535841384cebd26b26c8">SVF::CDGEdge</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#aab6b96ba8af1b8d1ae653fd73e4b86a3">SVF::CDGNode</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#abb9b3f9a5464f40e6d4d0cd2def08906">SVF::CFBasicBlockEdge</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2b918d80839deaf3e1b1fa9fe984dbec">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a2d4103fde1e02e8ba88c375d33a1dbad">SVF::CFBasicBlockGWTOComp</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#a0406854fb89bcb7cabe2a83344b8f1f3">SVF::CFBasicBlockGWTOCycle</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a5b614494716dd565c0af2b7e8110f8d0">SVF::CFBasicBlockGWTONode</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a727f0ef59605adf99af4babee90eb8a8">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">SVF::CmpStmt</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117">SVF::CmpVFGNode</a>
@@ -567,7 +560,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b">SVF::VFGEdge</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>
-, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a94c9c81ebe4df428c163f999284b6d98">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+, <a class="el" href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#a149bad69eb00f216887a42ae0fb518fc">SVF::WTOComponent&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycle.html#a5ecefd827cf83b86839fb3ac300f86b7">SVF::WTOCycle&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a275559cdb0fea5d06b1516c4c49da0ae">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTONode.html#a9afd271657066e8f3e3ed79397780e91">SVF::WTONode&lt; GraphT &gt;</a>
 </li>
 <li>totalCallSiteNum
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a">SVF::PTACallGraph</a>
@@ -733,13 +730,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a3620a491a32ff0af93f0d92f55911498">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
 <li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-, <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
+: <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, Enable &gt;</a>
 , <a class="el" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;</a>
@@ -773,12 +770,12 @@ $(function() {
 <li>typeinfo
 : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
 </li>
-<li>typeLocSetsMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
-</li>
 <li>TypeLocSetsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150">SVF::SVFIR</a>
 </li>
+<li>typeLocSetsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a63ede1d8d381b91f81b93965dcffa288">SVF::SVFIR</a>
+</li>
 <li>TypeMap
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver</a>
 </li>
@@ -794,9 +791,6 @@ $(function() {
 <li>TypeState
 : <a class="el" href="classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482">SVF::SymState</a>
 </li>
-<li>typeSystem
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed">SVF::PointerAnalysis</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->