svf-tools 1.0.438 → 1.0.441

package/SVF-doxygen/html/html/functions_b.html

@@ -93,7 +93,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c">SVF::ProgSlice</a>
 </li>
 <li>backwardTraverse()
-: <a class="el" href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>backwardVisited
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -197,39 +197,23 @@ $(function() {
 <li>BBWorkList
 : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
 </li>
-<li>bddCond
-: <a class="el" href="classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731">SVF::BDDExpr</a>
+<li>BDDExpr
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea">SVF::BDDExprManager</a>
 </li>
-<li>BDDCond
-: <a class="el" href="classSVF_1_1BDDExpr.html#a8b8ff2750644582e55ff8a5d39826f9f">SVF::BDDExpr</a>
-, <a class="el" href="classSVF_1_1BDDManager.html#a7a1692324d6b152588ef4d52013f8d00">SVF::BDDManager</a>
+<li>BDDExprManager()
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a632e4559983a49e1d05bb51e46aeba78">SVF::BDDExprManager</a>
 </li>
-<li>BDDExpr()
-: <a class="el" href="classSVF_1_1BDDExpr.html#af82f0f6bc1567f2bd3bbb65b6d6473c1">SVF::BDDExpr</a>
-</li>
-<li>BDDK
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6a0e68dccd136b7398316e1e931bef06bb">SVF::CondExpr</a>
-</li>
-<li>BDDManager()
-: <a class="el" href="classSVF_1_1BDDManager.html#a10be33f7829cb2da0ba1c3b2ddc22261">SVF::BDDManager</a>
-</li>
-<li>BDDMgrK
-: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d">SVF::CondManager</a>
+<li>bddExprMgr
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f">SVF::BDDExprManager</a>
 </li>
 <li>BddOne()
-: <a class="el" href="classSVF_1_1BDDManager.html#a51e174fcf76d5adbf22717c0b95c0286">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ad3a15ad0aaa40945fd4be7564c5bed64">SVF::BDDExprManager</a>
 </li>
 <li>BddSupportStep()
-: <a class="el" href="classSVF_1_1BDDManager.html#a1b7908b727c638d9cfd5e7347dd6b63d">SVF::BDDManager</a>
-</li>
-<li>BDDToBDDCondExpr
-: <a class="el" href="classSVF_1_1BDDManager.html#a54716dd8be2691e3e0dbffc14461c1e8">SVF::BDDManager</a>
-</li>
-<li>bddToBddCondExprMap
-: <a class="el" href="classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#adc2d7b6e5336173550f29f7c5bd2ce0e">SVF::BDDExprManager</a>
 </li>
 <li>BddZero()
-: <a class="el" href="classSVF_1_1BDDManager.html#a22c04e2cf77af9c02755d1544b68e112">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#af256907dc3ce3ae8cbf4ab75fa1f309f">SVF::BDDExprManager</a>
 </li>
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
@@ -252,7 +236,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt</a>
 </li>
 <li>BinaryOPVFGNode()
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0">SVF::BinaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362">SVF::BinaryOPVFGNode</a>
 </li>
 <li>bindVar
 : <a class="el" href="structDdSubtable.html#a54a4f8f090e30084c77362e5de3ee591">DdSubtable</a>
@@ -305,7 +289,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564">SVF::PTAStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -423,11 +407,14 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f">SVF::DCHGraph</a>
 </li>
+<li>bv
+: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
+</li>
 <li>BV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
 </li>
-<li>bv
-: <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
+<li>bv2int
+: <a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">SVF::Z3Expr</a>
 </li>
 <li>BVDataImpl
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8">SVF::PointerAnalysis</a>
@@ -439,12 +426,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>BWProcessCurNode()
-: <a class="el" href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">SVF::CFLSolver&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#adc2ac209e2d5e561bcb594db4c77051b">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_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">SVF::CFLSolver&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#a1ea0d4c4e53ff6986dd50d624ba2bff5">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>bypassMSSAPHINode()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16">SVF::SVFGOPT</a>

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

@@ -429,9 +429,6 @@ $(function() {
 <li>cfInfoBuilder
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a4949fb25fe4cd461de8aec90756b1fea">SVF::PathCondAllocator</a>
 </li>
-<li>CFLSolver()
-: <a class="el" href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-</li>
 <li>CFWorkList
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5">SVF::ProgSlice</a>
@@ -509,8 +506,8 @@ $(function() {
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#af7353e7790e6d4828d76fc16bea16212">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>child_iterator
-: <a class="el" href="classSVF_1_1CFLSolver.html#adf0b96a758a29d5c3c46fcc48081b62c">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39">SVF::WPASCCSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12">SVF::WPASolver&lt; GraphType &gt;</a>
@@ -598,7 +595,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
 , <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
-, <a class="el" href="classSVF_1_1BDDExpr.html#a1ae5bb0cf2be182eaf38e1f2001f27e7">SVF::BDDExpr</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
@@ -637,10 +633,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ac29004272d47ad58ea1e05fbfc1ac639">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#af91ecca224b99cd6dd3b9b17ad0d8e6f">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#af90572e9ac08cb2fffc9c63d51d5a129">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a3f0f02c9fb1ab2406ed970f0e0e7942e">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a5225463cf5c8601d919ab810bc3276ef">SVF::FunEntryICFGNode</a>
 , <a class="el" href="classSVF_1_1FunExitICFGNode.html#ab81f7f50638b8ce85f83ca3b7b566213">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1GepCGEdge.html#af9fbe33becd8f832267ab7ea6e0437b6">SVF::GepCGEdge</a>
-, <a class="el" href="classSVF_1_1GepObjVar.html#ac3583a2d4d4ceaf820d23b43a893ac92">SVF::GepObjVar</a>
+, <a class="el" href="classSVF_1_1GepObjVar.html#ab3129ad98687e6352675d84373d96ffe">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#a441cd8487b320ceff9d62884b4f28176">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#a28e42f01110a2d0a5f1f90bca14c5035">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241">SVF::GepVFGNode</a>
@@ -703,16 +699,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a4ba42f59f0a6a7ea5b059f6e8df64d89">SVF::ThreadCallGraph</a>
 , <a class="el" href="classSVF_1_1ThreadForkEdge.html#a4d2c3601a3fd530d178ec00ee3e1bc5d">SVF::ThreadForkEdge</a>
 , <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0fb671c87fecd2fd9c2dab4187a47d37">SVF::ThreadJoinEdge</a>
-, <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a4f7b0802389ce183635d5be2a40128bc">SVF::ThreadMHPIndSVFGEdge</a>
+, <a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html#a564a1648b45d3563d69401a7f8e31906">SVF::ThreadMHPIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#a62f4d86457baa516e0fc5db0721dab5f">SVF::TypeAnalysis</a>
 , <a class="el" href="classSVF_1_1UnaryOPStmt.html#abb10688145fa76629916ec3df61b6c95">SVF::UnaryOPStmt</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a01a9b0fd0189462e37ff51e232a5cda8">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1Z3Expr.html#a85fabec3de5b24f46fb8dd9e0e0eb0ca">SVF::Z3Expr</a>
 </li>
 <li>cleanConsCG()
 : <a class="el" href="classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e">SVF::AndersenBase</a>
@@ -798,7 +793,7 @@ $(function() {
 , <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_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">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>
@@ -1075,49 +1070,27 @@ $(function() {
 <li>condAnd()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ab0e41d1eacfc6ee2cf42a9ce69cdcb61">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a37d2e74fd977ebf9bfbe881bbe1c4a95">SVF::ProgSlice</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">SVF::VFPathCond</a>
 </li>
 <li>condensedIndex()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac8c209af1d177cbc8fbbfe4526fe8ce2">SVF::NodeIDAllocator::Clusterer</a>
 </li>
-<li>CondExpr()
-: <a class="el" href="classSVF_1_1CondExpr.html#aedb9a777dcea1cebf0266d11599cd14f">SVF::CondExpr</a>
-</li>
-<li>condExprK
-: <a class="el" href="classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1">SVF::CondExpr</a>
-</li>
-<li>CondExprKind
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6">SVF::CondExpr</a>
-</li>
 <li>CondImpl
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da88380bb05f60a1349e192364ba6c5292">SVF::PointerAnalysis</a>
 </li>
 <li>Condition
 : <a class="el" href="classSVF_1_1MemRegion.html#a7ed54700c976f9738012bc051b7f41f5">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1MemSSA.html#ac0c8f70b6283e26e70dafe02fcb5180a">SVF::MemSSA</a>
-, <a class="el" href="classSVF_1_1PathCondAllocator.html#aade2bc55c3882a6cacc3c4a891a1c4a3">SVF::PathCondAllocator</a>
+, <a class="el" href="classSVF_1_1PathCondAllocator.html#a923cc78e9f6779a0e6172b98e8f44925">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa">SVF::ProgSlice</a>
 </li>
 <li>condition
 : <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
-<li>ConditionType
-: <a class="el" href="classSVF_1_1Options.html#a87567aa3e6423fc96e0dfbaff00ed565">SVF::Options</a>
-</li>
 <li>conditionVar
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge</a>
 </li>
-<li>CondManager
-: <a class="el" href="classSVF_1_1BDDManager.html#a243595beea0081ef5ff38dec8c150651">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a692a05088457ba5e4e1b7873c8da411d">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a243595beea0081ef5ff38dec8c150651">SVF::Z3Manager</a>
-</li>
 <li>condMgr
-: <a class="el" href="classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd">SVF::PathCondAllocator</a>
-</li>
-<li>CondMgrKind
-: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74f">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1PathCondAllocator.html#a3f331564529091540cf587e575b0bc3a">SVF::PathCondAllocator</a>
 </li>
 <li>condNeg()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac1ed60a8f59a55811c97c83def3bb739">SVF::PathCondAllocator</a>
@@ -1126,7 +1099,6 @@ $(function() {
 <li>condOr()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#ac57638eaa2f656b8a7a5e3484c8e1265">SVF::ProgSlice</a>
-, <a class="el" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">SVF::VFPathCond</a>
 </li>
 <li>CondPointsToSet()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1153,10 +1125,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>condToInstMap
-: <a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0">SVF::BDDExprManager</a>
 </li>
 <li>CondToTermInstMap
-: <a class="el" href="classSVF_1_1CondManager.html#a01565ecb4f167283396be0e446b9df0a">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a818712f314ec1f1378134d7222c006d0">SVF::BDDExprManager</a>
 </li>
 <li>CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
@@ -1357,7 +1329,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#a0e950b306ec8d45e38f0320c63681ecd">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1372,13 +1344,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count
 : <a class="el" href="structDdHashItem.html#aa5bce9f94fb976df2a1768f0f0c7d50c">DdHashItem</a>
@@ -1413,10 +1385,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1452,7 +1424,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a6ddf057415f641bd8ad15bded1415776">SVF::SymbolTableInfo</a>
 </li>
 <li>createCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a82748f6ae3ea640de7b0755a6eab96d1">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a1c8d1eba6a33b2c2f9925cbdffe1e64a">SVF::BDDExprManager</a>
 </li>
 <li>createConstantObj()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab5c9d593aa68c7150cd382db230eec3e">SVF::SymbolTableInfo</a>
@@ -1467,9 +1439,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8e40c578ccdd3a108a10a191a309bd18">SVF::SymbolTableInfo</a>
 </li>
 <li>createFreshBranchCond()
-: <a class="el" href="classSVF_1_1BDDManager.html#a5311c7dcff82a09077e640e20d9e68e9">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#abd330e858463fed92fb3df6e8529f790">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a4ba99458553cfd7b586f0730b62e5b82">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a7275a1d4da75370cf5f5f8499fcafa2b">SVF::BDDExprManager</a>
 </li>
 <li>createFSMPTA()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a8a2d1c846f8b6aead8d9426e1effa426">SVF::FSMPTA</a>
@@ -1609,6 +1579,7 @@ $(function() {
 </li>
 <li>ctx
 : <a class="el" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a7dce19d65c7a0b50d21127a07aa51bf8">SVF::Z3Expr</a>
 </li>
 <li>CtxSet
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc">SVF::ThreadCallGraph</a>
@@ -1656,7 +1627,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">SVF::CxtThread</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#ac5968fcdba98bd405509b8abd1997cbc">SVF::Z3Manager</a>
 </li>
 <li>Cxt_DDA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a0ab6564c48897595c9d23382a026e0a8">SVF::PointerAnalysis</a>
@@ -1668,7 +1638,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a1c2b14fd60bd4902bfc520c9ba08c6e8">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1688,12 +1658,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>cxtLockset
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
 </li>
+<li>cxtLockset
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1703,14 +1673,14 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>cxtLocktoSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
+<li>cxtLocktoSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxts
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad06a92bf8bc556de742e0ffdf79ffafe">SVF::LLVMModuleSet</a>
@@ -1719,10 +1689,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1732,12 +1702,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
 </li>
@@ -1774,7 +1744,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

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

@@ -131,7 +131,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7ee96b513074c283d23434590ce15e7d">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>ddClearFlag()
-: <a class="el" href="classSVF_1_1BDDManager.html#a9aaa963fedb93d98f62f64bed1fd173f">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a78e653083609764e10774a73fbcce2d1">SVF::BDDExprManager</a>
 </li>
 <li>dead
 : <a class="el" href="structDdManager.html#a170c1cfcbbd9b83bb479fc85c177c52e">DdManager</a>
@@ -468,7 +468,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2">SVF::VFGNode</a>
 </li>
 <li>dump()
-: <a class="el" href="classSVF_1_1BDDManager.html#a933749fc805c4147722bb847f3e427b8">SVF::BDDManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41">SVF::CallCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph</a>
@@ -494,7 +494,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75">SVF::MTA</a>
 , <a class="el" href="classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c">SVF::OfflineConsG</a>
-, <a class="el" href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0">SVF::RetMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7">SVF::StmtDPItem&lt; LocCond &gt;</a>
@@ -594,11 +593,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a1a7b51e7d959795c00383721b013834d">SVF::TypeBasedHeapCloning</a>
 </li>
 <li>dumpStr()
-: <a class="el" href="classSVF_1_1BDDManager.html#add075de17c153605c2d5eb7b5d87dbfb">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a19c63783d5d20f363be3641941263a78">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#aa42ab1c5e6b2774be528bb33f0ca3c7b">SVF::BDDExprManager</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abcd2c01ec21e30caa91dba06386912cb">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#a163ced4f232f18a0d2c0066fc72745e1">SVF::Z3Manager</a>
 </li>
 <li>DumpSUPts
 : <a class="el" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">SVF::Options</a>

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

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">DdChildren</a>
 </li>
 <li>e
-: <a class="el" href="classSVF_1_1Z3Expr.html#a12503523dc2ddbc8cd8ef658de6e3cb0">SVF::Z3Expr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041">SVF::Z3Expr</a>
 </li>
 <li>ecUnion()
 : <a class="el" href="classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8">SVF::Steensgaard</a>
@@ -104,12 +104,6 @@ $(function() {
 <li>edgeNum
 : <a class="el" href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
-<li>edges
-: <a class="el" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">SVF::VFPathCond</a>
-</li>
-<li>EdgeSet
-: <a class="el" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">SVF::VFPathCond</a>
-</li>
 <li>EdgeType
 : <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a57c4c711251842dd9d969428ba5966f2">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
@@ -310,6 +304,9 @@ $(function() {
 <li>epsilon
 : <a class="el" href="structDdManager.html#ad495ea9a4104c2be5b4ca850a1da8c28">DdManager</a>
 </li>
+<li>eq
+: <a class="el" href="classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402">SVF::Z3Expr</a>
+</li>
 <li>equalGEdge
 : <a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
@@ -319,6 +316,9 @@ $(function() {
 <li>equivalentObject
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a2d451d89f99a4bff828b682723df477f">SVF::VersionedFlowSensitive</a>
 </li>
+<li>eqVarToValMap()
+: <a class="el" href="classSVF_1_1ExeState.html#a8447b7c20dd6bb724270026f55cbdece">SVF::ExeState</a>
+</li>
 <li>err
 : <a class="el" href="structDdManager.html#a6b0364070de52e689fe3485a86bb2825">DdManager</a>
 </li>
@@ -355,6 +355,9 @@ $(function() {
 <li>executedByTheSameThread()
 : <a class="el" href="classSVF_1_1MHP.html#aab80f1bc5c359a7d3b03f249bafa1d40">SVF::MHP</a>
 </li>
+<li>ExeState()
+: <a class="el" href="classSVF_1_1ExeState.html#a83ce58a2551d511448d0224a96ca1bd7">SVF::ExeState</a>
+</li>
 <li>exit
 : <a class="el" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE</a>
 </li>
@@ -368,12 +371,12 @@ $(function() {
 , <a class="el" href="structIeeeDoubleStruct.html#ae7281389e351ea2e0e577144746d76e2">IeeeDoubleStruct</a>
 , <a class="el" href="structIeeeNanStruct.html#aeb28a08581e489042de6f647eb431e5a">IeeeNanStruct</a>
 </li>
-<li>ExtAPI()
-: <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
-</li>
 <li>extAPI
 : <a class="el" href="classSVF_1_1ExtAPI.html#abe666dfdd9b3dea5ea89a5ed9ca4c618">SVF::ExtAPI</a>
 </li>
+<li>ExtAPI()
+: <a class="el" href="classSVF_1_1ExtAPI.html#af1c46b41e0088411a186228f760a99f3">SVF::ExtAPI</a>
+</li>
 <li>extendBackward()
 : <a class="el" href="classSVF_1_1CoreBitVector.html#ab6d789e3c68390a9026fd4f8c4cf344a">SVF::CoreBitVector</a>
 </li>
@@ -393,9 +396,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExtAPI.html#aaf94c82d98f8ed1514ee49c9881a4094">SVF::ExtAPI</a>
 </li>
 <li>extractSubConds()
-: <a class="el" href="classSVF_1_1BDDManager.html#a3fa608e37862e2702096c65fdb27c8c8">SVF::BDDManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a66ed79e36f8c09ee3ae58fb9b4a6f3e3">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1Z3Manager.html#aa6a78fc2f0a3ed9957230703fb8d730d">SVF::Z3Manager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a5bbd80a97aa794da9568716e456cf40c">SVF::BDDExprManager</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_enum.html

@@ -91,12 +91,6 @@ $(function() {
 <li>ClockType
 : <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf">SVF::PTAStat</a>
 </li>
-<li>CondExprKind
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6">SVF::CondExpr</a>
-</li>
-<li>CondMgrKind
-: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74f">SVF::CondManager</a>
-</li>
 <li>ConstraintEdgeK
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">SVF::ConstraintEdge</a>
 </li>

package/SVF-doxygen/html/html/functions_eval_b.html

@@ -67,12 +67,6 @@ $(function() {
 <li>BaseImpl
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a">SVF::PointerAnalysis</a>
 </li>
-<li>BDDK
-: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6a0e68dccd136b7398316e1e931bef06bb">SVF::CondExpr</a>
-</li>
-<li>BDDMgrK
-: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d">SVF::CondManager</a>
-</li>
 <li>BinaryOp
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337">SVF::VFGNode</a>

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

@@ -66,7 +66,7 @@ $(function() {
 , <a class="el" href="structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7">DdHook</a>
 </li>
 <li>falseCond
-: <a class="el" href="classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269">SVF::BDDExprManager</a>
 </li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>
@@ -284,7 +284,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b">SVF::ProgSlice</a>
 </li>
 <li>forwardTraverse()
-: <a class="el" href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>forwardVisited()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae">SVF::SrcSnkDDA</a>
@@ -558,12 +558,12 @@ $(function() {
 <li>funToPDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
-<li>funToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
-</li>
 <li>FunToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
 </li>
+<li>funToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
@@ -601,12 +601,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a19fea9790fffea9861c0dc7817b60a3e">SVF::PCG</a>
 </li>
 <li>FWProcessCurNode()
-: <a class="el" href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">SVF::CFLSolver&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#abf20d02932b7ca983b9bd790812b1f40">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_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">SVF::CFLSolver&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#ad2203ca5bd08c6fbebd31a8a010edebb">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->