svf-tools 1.0.418 → 1.0.419

package/SVF-doxygen/html/html/functions_func_g.html

@@ -240,6 +240,9 @@ $(function() {
 <li>getBBToPhiSetMap()
 : <a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">SVF::MemSSA</a>
 </li>
+<li>getBDDCond()
+: <a class="el" href="classSVF_1_1BDDExpr.html#a7bad973d49d3fb4eb3b21475d5d015bf">SVF::BDDExpr</a>
+</li>
 <li>getBinaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a27bd4d5ba75d65056d77882869b0c64d">SVF::VFG</a>
 </li>
@@ -257,8 +260,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198">SVF::IRGraph</a>
 </li>
 <li>getBranchCond()
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c">SVF::BranchCondExpr</a>
-, <a class="el" href="classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74">SVF::PathCondAllocator</a>
+: <a class="el" href="classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74">SVF::PathCondAllocator</a>
 </li>
 <li>getBranchInst()
 : <a class="el" href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">SVF::BranchStmt</a>
@@ -475,13 +477,15 @@ $(function() {
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getCond()
-: <a class="el" href="classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a6b32e78874429c587de4f0f50dad95ee">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#ad0273f830c9a6791aea55bfbdebf1138">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad1fdfabb37f6bb5da6724b95404739e2">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">SVF::PathStmtDPItem&lt; LocCond &gt;</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#aa8ecb34cf54a5defb48747b1278b4764">SVF::Z3Manager</a>
 </li>
 <li>getCondInst()
 : <a class="el" href="classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428">SVF::CondManager</a>
@@ -496,14 +500,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondExpr.html#a2ae78bbef9ad2f3c61aafa23111a50ef">SVF::CondExpr</a>
 </li>
 <li>getCondMgr()
-: <a class="el" href="classSVF_1_1CondManager.html#a0128830b629c00d91dc78d348300e7c6">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#a08cad78a4ebb31f32b72d5ff9793b83e">SVF::CondManager</a>
 </li>
 <li>getCondNum()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ae8f2447d33e2c638c1375f97ff3c3b40">SVF::PathCondAllocator</a>
 </li>
 <li>getCondNumber()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a07dc09be78c287ac24adb20c54147a46">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#af167e75fab5f61b18bff296075c107d1">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a11e62b98370ace84a5370a9ab00a1717">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a03d9a0d209505631f6d9e500d9c6bde3">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a5143c47868ea644735f34ca95400ee42">SVF::Z3Manager</a>
 </li>
 <li>getCondPointsTo()
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a454a998ef5a866f2a6f270e3283c6ebd">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -541,11 +546,11 @@ $(function() {
 : <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>
-, <a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a99b0f68b4cbd733f91eea33aa3e64eb7">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a3ce19b8f2de2e199ed4165dbe9d21f28">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">SVF::CxtThread</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac1a9d20d62066ec4e181fad223669e32">SVF::LLVMModuleSet</a>
+, <a class="el" href="classSVF_1_1Z3Expr.html#a8a2406393ca74c99c8cd24a9fc233e81">SVF::Z3Expr</a>
 </li>
 <li>getContexts()
 : <a class="el" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">SVF::ContextCond</a>
@@ -838,7 +843,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c">SVF::ForkJoinAnalysis</a>
 </li>
 <li>getExpr()
-: <a class="el" href="classSVF_1_1CondExpr.html#ac83903c62554c6f91812d79d23ec4e23">SVF::CondExpr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#a167a586980be31f4f54884e88f972a04">SVF::Z3Expr</a>
 </li>
 <li>getExtAPI()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a86508e03ca1c2e37fc9414cb2335c3ec">SVF::ExtAPI</a>
@@ -847,8 +852,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointsTo.html#a80a3caf74c138b3833c79622fef7b626">SVF::PointsTo</a>
 </li>
 <li>getFalseCond()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a013eb66493beb2b1d004605c68894a95">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a0d059c9adce2c998ddf2489376beb8e2">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">SVF::ProgSlice</a>
 </li>
@@ -1094,13 +1098,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">SVF::VFGNode</a>
 </li>
 <li>getId()
-: <a class="el" href="classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438">SVF::CondExpr</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1">SVF::MemObj</a>
 </li>
 <li>getID()
 : <a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer</a>
 </li>
+<li>getId()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a368c3b55b3ac7b71f810d0419e3c6c52">SVF::Z3Expr</a>
+</li>
 <li>getIDFSet()
 : <a class="el" href="classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22">SVF::IteratedDominanceFrontier</a>
 </li>
@@ -1305,7 +1311,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ad849ae4509e88832f784c748468ab959">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>getLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#add9104a3d7a821e9c2f266ae1810d2e3">SVF::TCT</a>
 </li>
 <li>getLoopInfo()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a10ddc3b02b2baad2edd72fe429113b0f">SVF::PathCondAllocator</a>
@@ -1347,9 +1353,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a6f46446d667258b32ddc1ccab48f651c">SVF::SVFIR</a>
 </li>
 <li>getMemUsage()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#ab728e3f0906854e94776ff0e6297c181">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#adf0847a4af7703a0139c5db326a7988f">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a9d1f2e6ef92ee120c7f26d98b1389b04">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad6d58127299d87ae3c231065bb411557">SVF::PathCondAllocator</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#aca945ffd7a479fcf4de413a1ddcbf15a">SVF::Z3Manager</a>
 </li>
 <li>getMHP()
 : <a class="el" href="classSVF_1_1FSMPTA.html#a2d0cfa271848bc9a20fda25f12b2a4f2">SVF::FSMPTA</a>
@@ -1638,7 +1645,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe">SVF::ICFGBuilder</a>
 </li>
 <li>getOrAddBranchCond()
-: <a class="el" href="classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a913b8c19f239a162dbfa9527c846c3f6">SVF::BDDManager</a>
 </li>
 <li>getOrAddInterBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac">SVF::ICFGBuilder</a>
@@ -1646,6 +1653,9 @@ $(function() {
 <li>getOrAddIntraBlockICFGNode()
 : <a class="el" href="classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da">SVF::ICFGBuilder</a>
 </li>
+<li>getOrAddZ3Cond()
+: <a class="el" href="classSVF_1_1Z3Manager.html#a747edc9290575156f1edd50be043617d">SVF::Z3Manager</a>
+</li>
 <li>getOrCreateNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538">SVF::DCHGraph</a>
 </li>
@@ -1848,7 +1858,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1936,7 +1946,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#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2139,10 +2149,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2195,8 +2205,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a26eb45eab3da4695a6e5bad51b01ddc5">SVF::SymbolTableInfo</a>
 </li>
 <li>getTrueCond()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#ac6fb7493ceb44406a4bd6a62a60a6363">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a1a6bde0db54c91fba7e6bac0acff664a">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">SVF::ProgSlice</a>
 </li>
@@ -2351,7 +2360,7 @@ $(function() {
 : <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>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_func_i.html

@@ -482,9 +482,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af">SVF::PathCondAllocator</a>
 </li>
 <li>isEquivalentBranchCond()
-: <a class="el" href="classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a4ce1ff325aab55d7bef7d28fe79f4cde">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#aa20839631502b975590754e146242175">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261">SVF::PathCondAllocator</a>
 , <a class="el" href="classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4">SVF::ProgSlice</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a34d8f9fc93bb82a8916ae45534ef5941">SVF::Z3Manager</a>
 </li>
 <li>isFClose()
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
@@ -554,14 +556,14 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -697,7 +699,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a549a95aa04233c98732777ea210d8525">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a8a96f6ee7bd9be1abfa89b05d773539f">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -731,8 +733,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71">SVF::PathCondAllocator</a>
 </li>
 <li>isNegCond()
-: <a class="el" href="classSVF_1_1CondManager.html#ad1de136dbd62c3b9a7447222bd0890fa">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a4a1c1534e9e23ea326008abf1d318369">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a1007afa25f9a95c5d12c58852ef74686">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef">SVF::PathCondAllocator</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a869828207971498df1fd7c9f29d3e999">SVF::Z3Manager</a>
 </li>
 <li>isNodeHidden()
 : <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
@@ -838,8 +842,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>isSatisfiable()
-: <a class="el" href="classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#aecd072d15ee8a4a9940b31ac78c50960">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#a5ef85ea09500adc006a25c1eb3426831">SVF::CondManager</a>
 , <a class="el" href="classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7">SVF::PathCondAllocator</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a98916f1ae12b8c2bb98231b19c94d928">SVF::Z3Manager</a>
 </li>
 <li>isSatisfiableForAll()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">SVF::ProgSlice</a>
@@ -913,11 +919,11 @@ $(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#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">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>
@@ -929,16 +935,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aff32f240a03421937c2fc606359dca9b">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6e34f3138e8ee558bb00d9d808afba16">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#aeabf2e9ec8b1ec874503c83cc65e1205">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a9da276dca5092d18f4f22d32e5ab6cdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <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#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">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_func_n.html

@@ -62,8 +62,9 @@ $(function() {
 
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>NEG()
-: <a class="el" href="classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#a0dbbee1845fbf6ce660caf6c30438bef">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#aecb97f6eb6ba2943b2eaa7a8212a9ba6">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#a5fcfc5dcdd77d9860aaaff9cd9f43c55">SVF::Z3Manager</a>
 </li>
 <li>newCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17">SVF::PathCondAllocator</a>
@@ -101,7 +102,7 @@ $(function() {
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>NormalGepCGEdge()
-: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
+: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257">SVF::NormalGepCGEdge</a>
 </li>
 <li>normalizePointsTo()
 : <a class="el" href="classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39">SVF::AndersenBase</a>

package/SVF-doxygen/html/html/functions_func_o.html

@@ -321,14 +321,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">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>
+: <a class="el" href="classSVF_1_1BDDManager.html#a6c5d935cc7c9ee02a0a37f7fcce34a89">SVF::BDDManager</a>
+, <a class="el" href="classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b">SVF::CondManager</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#af50dd899af45580176376d2bb7cf6243">SVF::Z3Manager</a>
 </li>
 <li>OutEdgeBegin()
 : <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -89,7 +89,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9">SVF::MRGenerator</a>
 </li>
 <li>PathCondAllocator()
-: <a class="el" href="classSVF_1_1PathCondAllocator.html#ad7ff43210c36654ae775e0542be79da1">SVF::PathCondAllocator</a>
+: <a class="el" href="classSVF_1_1PathCondAllocator.html#a805120d975a4e0981b7045b719fe9de3">SVF::PathCondAllocator</a>
 </li>
 <li>pathLen()
 : <a class="el" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">SVF::VFPathCond</a>
@@ -240,7 +240,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a023d0b492deaba40c593332cf1b2e3f6">SVF::FlowSensitive</a>
 </li>
 <li>printDbg()
-: <a class="el" href="classSVF_1_1CondManager.html#a385339096b4322654b5b2c7a37e852fe">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#a667818d7f30d6d6763e5a6a83aeb242a">SVF::Z3Manager</a>
 </li>
 <li>printFlattenFields()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aa40ff2fcaba3d4297d63269b74738737">SVF::SymbolTableInfo</a>
@@ -261,7 +261,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a">SVF::LockAnalysis</a>
 </li>
 <li>printModel()
-: <a class="el" href="classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#af9655650f2ddfba9418fc1762794a730">SVF::Z3Manager</a>
 </li>
 <li>printPathCond()
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111">SVF::PathCondAllocator</a>

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

@@ -276,7 +276,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166">SVF::DCHNode</a>
 </li>
 <li>setNegCondInst()
-: <a class="el" href="classSVF_1_1CondManager.html#a049541fec44cac3401a0dc68ff2f0ac1">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#a7ec31e7f5d856ac7de8416573aef396f">SVF::Z3Manager</a>
 </li>
 <li>setNodeNumAfterPAGBuild()
 : <a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">SVF::IRGraph</a>
@@ -417,7 +417,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79">SVF::SVFGStat</a>
 </li>
 <li>simplify()
-: <a class="el" href="classSVF_1_1CondManager.html#aeb4f9f4968f57602d12225757073f0f8">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#aa0fd8e460f4d89155da3487c0350f972">SVF::Z3Manager</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_func_z.html

@@ -0,0 +1,79 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Class Members - Functions</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+</div><!-- top -->
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div class="contents">
+&#160;
+
+<h3><a id="index_z"></a>- z -</h3><ul>
+<li>Z3Expr()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">SVF::Z3Expr</a>
+</li>
+<li>Z3Manager()
+: <a class="el" href="classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac">SVF::Z3Manager</a>
+</li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>