svf-tools 1.0.418 → 1.0.419

package/SVF-doxygen/html/html/search/all_9.js

@@ -27,7 +27,7 @@ var searchData=
   ['identifyfollowers',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
   ['idtocallsitemap',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
   ['idtocallsitemapty',['IDToCallSiteMapTy',['../classSVF_1_1SymbolTableInfo.html#a5af399ccac6ec809ade8f778379027bb',1,'SVF::SymbolTableInfo']]],
-  ['idtocondexprmap',['IDToCondExprMap',['../classSVF_1_1CondManager.html#a1f6aceb4d48a37bcb0e2f1776116b760',1,'SVF::CondManager']]],
+  ['idtocondexprmap',['IDToCondExprMap',['../classSVF_1_1Z3Manager.html#aae29d2331b696987a2ca5c349bb8315b',1,'SVF::Z3Manager::IDToCondExprMap()'],['../classSVF_1_1Z3Manager.html#a72e5e03058e98c4f511ce2bb180f89cf',1,'SVF::Z3Manager::idToCondExprMap()']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtoidmap',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
   ['idtomemmapty',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a0371b60485199175b011cf3a42b404aa',1,'SVF::SymbolTableInfo']]],
@@ -59,6 +59,8 @@ var searchData=
   ['indent',['indent',['../DCHG_8cpp.html#a6673217180d3b6fb73c7c6387777f269',1,'DCHG.cpp']]],
   ['index',['index',['../structDdNode.html#abbd39b25b9abe4b4d53cd267a4103bda',1,'DdNode::index()'],['../structMtrNode.html#ad10fa600c59f13e195d295dac071e807',1,'MtrNode::index()'],['../structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798',1,'st_generator::index()'],['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba',1,'SVF::VersionedFlowSensitive::SCC::NodeData::index()']]],
   ['indexforbit',['indexForBit',['../classSVF_1_1CoreBitVector.html#ad73fca28bd4882eaa70817023a632d35',1,'SVF::CoreBitVector']]],
+  ['indextobddcond',['IndexToBDDCond',['../classSVF_1_1BDDManager.html#a33bb37b30e4c7364d6df73d209bd81d0',1,'SVF::BDDManager']]],
+  ['indextobddcondmap',['indexToBddCondMap',['../classSVF_1_1BDDManager.html#a7b780b30a7c433dcccab1e29b85b7704',1,'SVF::BDDManager']]],
   ['indirectcalllimit',['IndirectCallLimit',['../classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8',1,'SVF::Options']]],
   ['indirectcallmap',['indirectCallMap',['../classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c',1,'SVF::PTACallGraph']]],
   ['indirectcalls',['indirectCalls',['../classSVF_1_1PTACallGraphEdge.html#a66491523e4ccfdf2ff57e10cfd6f3074',1,'SVF::PTACallGraphEdge']]],
@@ -108,7 +110,7 @@ var searchData=
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
-  ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
+  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a9ab4cd83d9ee475d3d8445cd91839726a3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],
@@ -261,7 +263,7 @@ var searchData=
   ['isdirectvfgedge',['isDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b',1,'SVF::VFGEdge']]],
   ['isedgeinrecursion',['isEdgeInRecursion',['../classSVF_1_1ContextDDA.html#a525949d1743136466d33bf4dc26ba423',1,'SVF::ContextDDA']]],
   ['iseqcmp',['isEQCmp',['../classSVF_1_1PathCondAllocator.html#af93358a02bf4ef8020091532e0c5b5af',1,'SVF::PathCondAllocator']]],
-  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240',1,'SVF::CondManager::isEquivalentBranchCond()']]],
+  ['isequivalentbranchcond',['isEquivalentBranchCond',['../classSVF_1_1PathCondAllocator.html#ad92e8909172d960de8a25f6ff0272261',1,'SVF::PathCondAllocator::isEquivalentBranchCond()'],['../classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4',1,'SVF::ProgSlice::isEquivalentBranchCond()'],['../classSVF_1_1CondManager.html#aa20839631502b975590754e146242175',1,'SVF::CondManager::isEquivalentBranchCond()'],['../classSVF_1_1Z3Manager.html#a34d8f9fc93bb82a8916ae45534ef5941',1,'SVF::Z3Manager::isEquivalentBranchCond()'],['../classSVF_1_1BDDManager.html#a4ce1ff325aab55d7bef7d28fe79f4cde',1,'SVF::BDDManager::isEquivalentBranchCond()']]],
   ['isext_5fcache',['isext_cache',['../classSVF_1_1ExtAPI.html#a329882c608e9a6b10a758bcd1ca7a0b5',1,'SVF::ExtAPI']]],
   ['isextcall',['isExtCall',['../namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400',1,'SVF::SVFUtil::isExtCall(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#aad27a96075234ad2182a84e0e9d31a45',1,'SVF::SVFUtil::isExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#af3e5fd7ffce966575ebf7c7e653b0919',1,'SVF::SVFUtil::isExtCall(const Instruction *inst)']]],
   ['isfclose',['isFClose',['../classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba',1,'SVF::SaberCheckerAPI::isFClose(const SVFFunction *fun) const'],['../classSVF_1_1SaberCheckerAPI.html#ad029e2f347ee2aeb5b0abb928a552789',1,'SVF::SaberCheckerAPI::isFClose(const Instruction *inst) const'],['../classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6',1,'SVF::SaberCheckerAPI::isFClose(const CallICFGNode *cs) const']]],
@@ -303,7 +305,7 @@ var searchData=
   ['isincurbackwardslice',['isInCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2',1,'SVF::SrcSnkDDA']]],
   ['isincurforwardslice',['isInCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94',1,'SVF::SrcSnkDDA']]],
   ['isincurrentscc',['isInCurrentSCC',['../classSVF_1_1WPASCCSolver.html#ae1ed4875e706677acf22a776f7285185',1,'SVF::WPASCCSolver']]],
-  ['isincycle',['isIncycle',['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()'],['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()']]],
+  ['isincycle',['isInCycle',['../classSVF_1_1SCCDetection.html#a5d699af73b1e7ad4e3a5f6d26b8b6d15',1,'SVF::SCCDetection::isInCycle()'],['../classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c',1,'SVF::TCTNode::isIncycle()'],['../classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428',1,'SVF::CxtThread::isIncycle()']]],
   ['isindirectcall',['isIndirectCall',['../classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518',1,'SVF::CallICFGNode']]],
   ['isindirectcalledge',['isIndirectCallEdge',['../classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7',1,'SVF::PTACallGraphEdge']]],
   ['isindirectcallsites',['isIndirectCallSites',['../classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23',1,'SVF::SVFIR']]],
@@ -359,7 +361,7 @@ var searchData=
   ['isnandouble',['IsNanDouble',['../epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37',1,'IsNanDouble(double value): epd.c'],['../epd_8c.html#a1208453615d2a105e5d8d55b2c4f3c37',1,'IsNanDouble(double value): epd.c']]],
   ['isnanorinfdouble',['IsNanOrInfDouble',['../epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c'],['../epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c']]],
   ['isnecmp',['isNECmp',['../classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71',1,'SVF::PathCondAllocator']]],
-  ['isnegcond',['isNegCond',['../classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef',1,'SVF::PathCondAllocator::isNegCond()'],['../classSVF_1_1CondManager.html#ad1de136dbd62c3b9a7447222bd0890fa',1,'SVF::CondManager::isNegCond()']]],
+  ['isnegcond',['isNegCond',['../classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef',1,'SVF::PathCondAllocator::isNegCond()'],['../classSVF_1_1CondManager.html#a1007afa25f9a95c5d12c58852ef74686',1,'SVF::CondManager::isNegCond()'],['../classSVF_1_1Z3Manager.html#a869828207971498df1fd7c9f29d3e999',1,'SVF::Z3Manager::isNegCond()'],['../classSVF_1_1BDDManager.html#a4a1c1534e9e23ea326008abf1d318369',1,'SVF::BDDManager::isNegCond()']]],
   ['isnocallerfunction',['isNoCallerFunction',['../namespaceSVF_1_1SVFUtil.html#ae7007ebc6a543dc30ef076b4aed75b1b',1,'SVF::SVFUtil']]],
   ['isnodehidden',['isNodeHidden',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6',1,'llvm::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753',1,'llvm::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f',1,'llvm::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
   ['isnoninstriccallsite',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91',1,'SVF::SVFUtil']]],
@@ -406,7 +408,7 @@ var searchData=
   ['issamescev',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#a4d073da3e5266964dad7422033013219',1,'SVF::ForkJoinAnalysis']]],
   ['issamethisptrinconstructor',['isSameThisPtrInConstructor',['../namespaceSVF_1_1cppUtil.html#a5dd3230226002e126f6b0a877f9550ce',1,'SVF::cppUtil']]],
   ['issamevar',['isSameVar',['../classSVF_1_1CondPTAImpl.html#a7a1be735c76ba4a6b235264fe8ec6c28',1,'SVF::CondPTAImpl']]],
-  ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea',1,'SVF::CondManager::isSatisfiable()']]],
+  ['issatisfiable',['isSatisfiable',['../classSVF_1_1PathCondAllocator.html#aaed1bbfcac68a5e48d2850ef395e7da7',1,'SVF::PathCondAllocator::isSatisfiable()'],['../classSVF_1_1CondManager.html#a5ef85ea09500adc006a25c1eb3426831',1,'SVF::CondManager::isSatisfiable()'],['../classSVF_1_1Z3Manager.html#a98916f1ae12b8c2bb98231b19c94d928',1,'SVF::Z3Manager::isSatisfiable()'],['../classSVF_1_1BDDManager.html#aecd072d15ee8a4a9940b31ac78c50960',1,'SVF::BDDManager::isSatisfiable()']]],
   ['issatisfiableforall',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
   ['issatisfiableforpairs',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
   ['isscalar',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],

package/SVF-doxygen/html/html/search/all_c.js

@@ -35,7 +35,7 @@ var searchData=
   ['llvmfunend',['llvmFunEnd',['../classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519',1,'SVF::SVFModule::llvmFunEnd()'],['../classSVF_1_1SVFModule.html#a7662ba877691e7e337af54835c15c3c5',1,'SVF::SVFModule::llvmFunEnd() const']]],
   ['llvmmodule_2ecpp',['LLVMModule.cpp',['../LLVMModule_8cpp.html',1,'']]],
   ['llvmmodule_2eh',['LLVMModule.h',['../LLVMModule_8h.html',1,'']]],
-  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()']]],
+  ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html',1,'SVF::LLVMModuleSet'],['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet::LLVMModuleSet()'],['../classSVF_1_1LLVMModuleSet.html#ac59b07cafcbacc950eefea4082425b63',1,'SVF::LLVMModuleSet::llvmModuleSet()']]],
   ['llvmutil_2ecpp',['LLVMUtil.cpp',['../LLVMUtil_8cpp.html',1,'']]],
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
@@ -48,13 +48,13 @@ var searchData=
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU::LoadMU()']]],
   ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
-  ['loadset',['loadset',['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()'],['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()']]],
+  ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a80356495b6c45bac59dc15fd7a99730b',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
-  ['loadstomrsmap',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
-  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
+  ['loadstomrsmap',['loadsToMRsMap',['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()']]],
+  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],

package/SVF-doxygen/html/html/search/all_d.js

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['m',['M',['../classSVF_1_1RaceResultValidator.html#abd3ad42a71357dfd1483e6e0d18d5ebd',1,'SVF::RaceResultValidator']]],
-  ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BranchCondManager.html#a0c6278a5b4419e16c8fb5d3f8f8162a2',1,'SVF::BranchCondManager']]],
+  ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BDDManager.html#aae62fd27ddc847758ea67000580efdb8',1,'SVF::BDDManager']]],
   ['m_5fcond',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
   ['m_5fid',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
   ['main',['main',['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
@@ -59,7 +59,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
+  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_e.js

@@ -4,8 +4,8 @@ var searchData=
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
   ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion']]],
   ['native_5fint_5fsize',['NATIVE_INT_SIZE',['../SVFBasicTypes_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFBasicTypes.h']]],
-  ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1BranchCondManager.html#ad7832b33b3b73fcaca5c8278ed4d3e7f',1,'SVF::BranchCondManager::NEG()'],['../classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7',1,'SVF::CondManager::NEG()']]],
-  ['negconds',['negConds',['../classSVF_1_1CondManager.html#aa5e6dbdb4c88941996f7865a2d3ca314',1,'SVF::CondManager']]],
+  ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair::neg()'],['../classSVF_1_1CondManager.html#aecb97f6eb6ba2943b2eaa7a8212a9ba6',1,'SVF::CondManager::NEG()'],['../classSVF_1_1Z3Manager.html#a5fcfc5dcdd77d9860aaaff9cd9f43c55',1,'SVF::Z3Manager::NEG()'],['../classSVF_1_1BDDManager.html#a0dbbee1845fbf6ce660caf6c30438bef',1,'SVF::BDDManager::NEG()']]],
+  ['negconds',['negConds',['../classSVF_1_1Z3Manager.html#abd4a010660942227d7db81533e80b2c3',1,'SVF::Z3Manager']]],
   ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
   ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newcond',['newCond',['../classSVF_1_1PathCondAllocator.html#a3cd08242b82129e6074b2f30a19b5c17',1,'SVF::PathCondAllocator']]],
@@ -158,7 +158,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
+  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],
@@ -196,7 +196,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()']]],
+  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

package/SVF-doxygen/html/html/search/all_f.js

@@ -62,7 +62,7 @@ var searchData=
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
   ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
-  ['or',['OR',['../classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c',1,'SVF::BranchCondManager::OR()'],['../classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704',1,'SVF::CondManager::OR()']]],
+  ['or',['OR',['../classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b',1,'SVF::CondManager::OR()'],['../classSVF_1_1Z3Manager.html#af50dd899af45580176376d2bb7cf6243',1,'SVF::Z3Manager::OR()'],['../classSVF_1_1BDDManager.html#a6c5d935cc7c9ee02a0a37f7fcce34a89',1,'SVF::BDDManager::OR()']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
   ['orderedset',['OrderedSet',['../namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7',1,'SVF']]],
@@ -70,7 +70,7 @@ var searchData=
   ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['originalsize',['originalSize',['../cuddInt_8c.html#afcdd597b50055b996a49d9e265965d01',1,'cuddInt.c']]],
   ['oscc',['OSCC',['../classSVF_1_1OfflineConsG.html#ab7ce6d127d85cedfdeb6501195b8818f',1,'SVF::OfflineConsG::OSCC()'],['../classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356',1,'SVF::AndersenHCD::OSCC()']]],
-  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()']]],
+  ['out',['out',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
   ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],

package/SVF-doxygen/html/html/search/classes_1.js

@@ -1,10 +1,10 @@
 var searchData=
 [
+  ['bddexpr',['BDDExpr',['../classSVF_1_1BDDExpr.html',1,'SVF']]],
+  ['bddmanager',['BDDManager',['../classSVF_1_1BDDManager.html',1,'SVF']]],
   ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html',1,'SVF']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html',1,'SVF']]],
   ['bitvector',['BitVector',['../classSVF_1_1BitVector.html',1,'SVF']]],
-  ['branchcondexpr',['BranchCondExpr',['../classSVF_1_1BranchCondExpr.html',1,'SVF']]],
-  ['branchcondmanager',['BranchCondManager',['../classSVF_1_1BranchCondManager.html',1,'SVF']]],
   ['branchstmt',['BranchStmt',['../classSVF_1_1BranchStmt.html',1,'SVF']]],
   ['branchvfgnode',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html',1,'SVF']]],
   ['breakconstantgeps',['BreakConstantGEPs',['../classSVF_1_1BreakConstantGEPs.html',1,'SVF']]],

package/SVF-doxygen/html/html/search/classes_14.html

@@ -0,0 +1,26 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html><head><title></title>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<link rel="stylesheet" type="text/css" href="search.css"/>
+<script type="text/javascript" src="classes_14.js"></script>
+<script type="text/javascript" src="search.js"></script>
+</head>
+<body class="SRPage">
+<div id="SRIndex">
+<div class="SRStatus" id="Loading">Loading...</div>
+<div id="SRResults"></div>
+<script type="text/javascript"><!--
+createResults();
+--></script>
+<div class="SRStatus" id="Searching">Searching...</div>
+<div class="SRStatus" id="NoMatches">No Matches</div>
+<script type="text/javascript"><!--
+document.getElementById("Loading").style.display="none";
+document.getElementById("NoMatches").style.display="none";
+var searchResults = new SearchResults("searchResults");
+searchResults.Search();
+--></script>
+</div>
+</body>
+</html>

package/SVF-doxygen/html/html/search/classes_14.js

@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['z3expr',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF']]],
+  ['z3manager',['Z3Manager',['../classSVF_1_1Z3Manager.html',1,'SVF']]]
+];

package/SVF-doxygen/html/html/search/enums_1.js

@@ -8,6 +8,7 @@ var searchData=
   ['classattr',['CLASSATTR',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4',1,'SVF::CHNode::CLASSATTR()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3',1,'SVF::DCHNode::CLASSATTR()']]],
   ['clocktype',['ClockType',['../classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf',1,'SVF::PTAStat']]],
   ['condexprkind',['CondExprKind',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6',1,'SVF::CondExpr']]],
+  ['condmgrkind',['CondMgrKind',['../classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74f',1,'SVF::CondManager']]],
   ['constraintedgek',['ConstraintEdgeK',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375',1,'SVF::ConstraintEdge']]],
   ['cudd_5faggregationtype',['Cudd_AggregationType',['../cudd_8h.html#a8b2572b778b7e8bd68afcd4aa1f0ce33',1,'cudd.h']]],
   ['cudd_5ferrortype',['Cudd_ErrorType',['../cudd_8h.html#a27114b4342bc1b987f35d751eae2444b',1,'cudd.h']]],

package/SVF-doxygen/html/html/search/enumvalues_1.js

@@ -2,11 +2,12 @@ var searchData=
 [
   ['base',['Base',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568',1,'SVF::PTData']]],
   ['baseimpl',['BaseImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da66b132e5ab8c8746eb22e58d199b4c2a',1,'SVF::PointerAnalysis']]],
+  ['bddk',['BDDK',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6a0e68dccd136b7398316e1e931bef06bb',1,'SVF::CondExpr']]],
+  ['bddmgrk',['BDDMgrK',['../classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d',1,'SVF::CondManager']]],
   ['binaryop',['BinaryOp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0e99fed4f3145668652aad5a3700e337',1,'SVF::VFGNode::BinaryOp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13',1,'SVF::SVFStmt::BinaryOp()']]],
   ['blackhole',['BlackHole',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba95734ab884566beab5cd3523c250b539',1,'SVF::SymbolTableInfo']]],
   ['blkptr',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
   ['branch',['Branch',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01',1,'SVF::VFGNode::Branch()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3',1,'SVF::SVFStmt::Branch()']]],
-  ['branchk',['BranchK',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6ab2a0481a51dd867e2d2f196556c24521',1,'SVF::CondExpr']]],
   ['bv',['BV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo']]],
   ['bvdataimpl',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]]
 ];

package/SVF-doxygen/html/html/search/enumvalues_14.html

@@ -0,0 +1,26 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html><head><title></title>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<link rel="stylesheet" type="text/css" href="search.css"/>
+<script type="text/javascript" src="enumvalues_14.js"></script>
+<script type="text/javascript" src="search.js"></script>
+</head>
+<body class="SRPage">
+<div id="SRIndex">
+<div class="SRStatus" id="Loading">Loading...</div>
+<div id="SRResults"></div>
+<script type="text/javascript"><!--
+createResults();
+--></script>
+<div class="SRStatus" id="Searching">Searching...</div>
+<div class="SRStatus" id="NoMatches">No Matches</div>
+<script type="text/javascript"><!--
+document.getElementById("Loading").style.display="none";
+document.getElementById("NoMatches").style.display="none";
+var searchResults = new SearchResults("searchResults");
+searchResults.Search();
+--></script>
+</div>
+</body>
+</html>

package/SVF-doxygen/html/html/search/enumvalues_14.js

@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['z3k',['Z3K',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6af0ee682babaa91484a4cd3315b6aba2c',1,'SVF::CondExpr']]],
+  ['z3mgrk',['Z3MgrK',['../classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa0d24aacdb91d2684f43135bd654f5780',1,'SVF::CondManager']]]
+];

package/SVF-doxygen/html/html/search/functions_0.js

@@ -289,7 +289,7 @@ var searchData=
   ['analyzeobjtype',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
   ['analyzestaticobjtype',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
   ['analyzevtables',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
-  ['and',['AND',['../classSVF_1_1BranchCondManager.html#a739f4206abf4f367dc796e9fd35d4d04',1,'SVF::BranchCondManager::AND()'],['../classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7',1,'SVF::CondManager::AND()']]],
+  ['and',['AND',['../classSVF_1_1CondManager.html#aedda2ed496d0009d92d44a82af2ce8ae',1,'SVF::CondManager::AND()'],['../classSVF_1_1Z3Manager.html#a540de948d9cc396341376e081d7e46aa',1,'SVF::Z3Manager::AND()'],['../classSVF_1_1BDDManager.html#af8a4ede3ac4b89bb0ce7767ee4505aea',1,'SVF::BDDManager::AND()']]],
   ['andersen',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
   ['andersenbase',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
   ['andersenhcd',['AndersenHCD',['../classSVF_1_1AndersenHCD.html#ac7629cede14407d42ed5b5ec7e607b0e',1,'SVF::AndersenHCD']]],

package/SVF-doxygen/html/html/search/functions_1.js

@@ -10,13 +10,15 @@ var searchData=
   ['backwardtraverse',['backwardTraverse',['../classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68',1,'SVF::CFLSolver']]],
   ['backwardvisited',['backwardVisited',['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
   ['bddcheckpositivecube',['bddCheckPositiveCube',['../cuddInt_8c.html#aa907c629e5e87f8c38a43b77ed2e482b',1,'cuddInt.c']]],
+  ['bddexpr',['BDDExpr',['../classSVF_1_1BDDExpr.html#af82f0f6bc1567f2bd3bbb65b6d6473c1',1,'SVF::BDDExpr']]],
   ['bddfixtree',['bddFixTree',['../cuddInt_8c.html#afed29bb40cfd57de1cc37c029ada1175',1,'cuddInt.c']]],
-  ['bddone',['BddOne',['../classSVF_1_1BranchCondManager.html#a581c73dc30070db0a278ffb3985519dc',1,'SVF::BranchCondManager']]],
-  ['bddsupportstep',['BddSupportStep',['../classSVF_1_1BranchCondManager.html#a94f84201f91b7175907e72af2633f6f2',1,'SVF::BranchCondManager']]],
+  ['bddmanager',['BDDManager',['../classSVF_1_1BDDManager.html#a10be33f7829cb2da0ba1c3b2ddc22261',1,'SVF::BDDManager']]],
+  ['bddone',['BddOne',['../classSVF_1_1BDDManager.html#a51e174fcf76d5adbf22717c0b95c0286',1,'SVF::BDDManager']]],
+  ['bddsupportstep',['BddSupportStep',['../classSVF_1_1BDDManager.html#a1b7908b727c638d9cfd5e7347dd6b63d',1,'SVF::BDDManager']]],
   ['bddvartocanonical',['bddVarToCanonical',['../cuddInt_8c.html#af38cc8154cce663cdd84553db032aa07',1,'cuddInt.c']]],
   ['bddvartocanonicalsimple',['bddVarToCanonicalSimple',['../cuddInt_8c.html#ac2117fc20650ba9ab8f5f856efdf2bec',1,'cuddInt.c']]],
   ['bddvartoconst',['bddVarToConst',['../cuddInt_8c.html#a7e4a04115909c79defdfc98ebfb72185',1,'cuddInt.c']]],
-  ['bddzero',['BddZero',['../classSVF_1_1BranchCondManager.html#a414483307915f9201e203eae9a07d389',1,'SVF::BranchCondManager']]],
+  ['bddzero',['BddZero',['../classSVF_1_1BDDManager.html#a22c04e2cf77af9c02755d1544b68e112',1,'SVF::BDDManager']]],
   ['begin',['begin',['../classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7',1,'SVF::GenericGraph::begin()'],['../classSVF_1_1GenericGraph.html#a3385b008ae03444404c1e392fd47f1d6',1,'SVF::GenericGraph::begin() const'],['../classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038',1,'SVF::CondStdSet::begin()'],['../classSVF_1_1CondStdSet.html#a76fb2382bf424638ed8e03cb48cdc90e',1,'SVF::CondStdSet::begin() const'],['../classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad',1,'SVF::CondPointsToSet::begin()'],['../classSVF_1_1CondPointsToSet.html#acec077e130e49ac66a5c3e464a73dec2',1,'SVF::CondPointsToSet::begin() const'],['../classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6',1,'SVF::PointsTo::begin()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, ItTy It)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4d10570a7a3b75fbec9fbc9fc7d3e619',1,'llvm::generic_bridge_gep_type_iterator::begin(Type *Ty, unsigned AddrSpace, ItTy It)'],['../classSVF_1_1CoreBitVector.html#a835bf11a1f698942db8e6bdadbbfd1f3',1,'SVF::CoreBitVector::begin()'],['../classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1',1,'SVF::ContextCond::begin()'],['../classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255',1,'SVF::SVFModule::begin()'],['../classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7',1,'SVF::SVFModule::begin() const']]],
   ['binaryopstmt',['BinaryOPStmt',['../classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a',1,'SVF::BinaryOPStmt::BinaryOPStmt()'],['../classSVF_1_1BinaryOPStmt.html#a9f5ec771bc547371ab9db18bb44a17c1',1,'SVF::BinaryOPStmt::BinaryOPStmt(const BinaryOPStmt &)'],['../classSVF_1_1BinaryOPStmt.html#a7470a2412985bbb227bb62d8a297b7f1',1,'SVF::BinaryOPStmt::BinaryOPStmt(SVFVar *s, const OPVars &opnds, u32_t oc)']]],
   ['binaryopvfgnode',['BinaryOPVFGNode',['../classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode()'],['../classSVF_1_1BinaryOPVFGNode.html#aa292ddc0ac6e43f20dcee8a9cb8f97e0',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(const BinaryOPVFGNode &)'],['../classSVF_1_1BinaryOPVFGNode.html#afa52d77205075141b59847b8400344e7',1,'SVF::BinaryOPVFGNode::BinaryOPVFGNode(NodeID id, const PAGNode *r)']]],
@@ -25,8 +27,6 @@ var searchData=
   ['blackholesymid',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
   ['blkptrsymid',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
   ['bothinteredges',['bothInterEdges',['../classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463',1,'SVF::SVFGOPT']]],
-  ['branchcondexpr',['BranchCondExpr',['../classSVF_1_1BranchCondExpr.html#a4f34f370563761f8a1b6a3c1239d6979',1,'SVF::BranchCondExpr']]],
-  ['branchcondmanager',['BranchCondManager',['../classSVF_1_1BranchCondManager.html#af1d01bd350869616c143bf586ef4097e',1,'SVF::BranchCondManager']]],
   ['branchstat',['branchStat',['../classSVF_1_1PTAStat.html#ada838d9e03f2be4fb3ceffab3983b564',1,'SVF::PTAStat']]],
   ['branchstmt',['BranchStmt',['../classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd',1,'SVF::BranchStmt::BranchStmt()'],['../classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2',1,'SVF::BranchStmt::BranchStmt(const BranchStmt &)'],['../classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2',1,'SVF::BranchStmt::BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)']]],
   ['branchvfgnode',['BranchVFGNode',['../classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494',1,'SVF::BranchVFGNode::BranchVFGNode()'],['../classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513',1,'SVF::BranchVFGNode::BranchVFGNode(const BranchVFGNode &)'],['../classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3',1,'SVF::BranchVFGNode::BranchVFGNode(NodeID id, const BranchStmt *r)']]],

package/SVF-doxygen/html/html/search/functions_10.js

@@ -65,7 +65,7 @@ var searchData=
   ['setmultiforked',['setMultiforked',['../classSVF_1_1TCTNode.html#a0fafde34cdffde6d38bb9efca9b7a9a1',1,'SVF::TCTNode']]],
   ['setmultiforkedattrs',['setMultiForkedAttrs',['../classSVF_1_1TCT.html#a11e36f9b58646dee4014e12e55c70508',1,'SVF::TCT']]],
   ['setmultiinheritance',['setMultiInheritance',['../classSVF_1_1CHNode.html#a5d751a3a0d88c0de374bfeb526051440',1,'SVF::CHNode::setMultiInheritance()'],['../classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166',1,'SVF::DCHNode::setMultiInheritance()']]],
-  ['setnegcondinst',['setNegCondInst',['../classSVF_1_1CondManager.html#a049541fec44cac3401a0dc68ff2f0ac1',1,'SVF::CondManager']]],
+  ['setnegcondinst',['setNegCondInst',['../classSVF_1_1Z3Manager.html#a7ec31e7f5d856ac7de8416573aef396f',1,'SVF::Z3Manager']]],
   ['setnodenumafterpagbuild',['setNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0',1,'SVF::IRGraph']]],
   ['setnonconcretecxt',['setNonConcreteCxt',['../classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885',1,'SVF::ContextCond']]],
   ['setnorrep',['setNorRep',['../classSVF_1_1OfflineConsG.html#a3cb6384160b50bd0a94de3fd2eb6facd',1,'SVF::OfflineConsG']]],
@@ -109,7 +109,7 @@ var searchData=
   ['sfvgoptstart',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
   ['sift_5fup',['sift_up',['../cuddInt_8c.html#a508f0e60fe27d7e75f9def6a7c41bf39',1,'cuddInt.c']]],
   ['siftbackwardprob',['siftBackwardProb',['../cuddInt_8c.html#a5d9b489d701c5a7f19ee5f135e80e7ca',1,'cuddInt.c']]],
-  ['simplify',['simplify',['../classSVF_1_1CondManager.html#aeb4f9f4968f57602d12225757073f0f8',1,'SVF::CondManager']]],
+  ['simplify',['simplify',['../classSVF_1_1Z3Manager.html#aa0fd8e460f4d89155da3487c0350f972',1,'SVF::Z3Manager']]],
   ['sinksbegin',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
   ['sinksend',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
   ['size',['size',['../classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b',1,'SVF::CondStdSet']]],

package/SVF-doxygen/html/html/search/functions_15.js

@@ -1,5 +1,7 @@
 var searchData=
 [
+  ['z3expr',['Z3Expr',['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr']]],
+  ['z3manager',['Z3Manager',['../classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac',1,'SVF::Z3Manager']]],
   ['zdd_5fgroup_5fmove',['zdd_group_move',['../cuddInt_8c.html#af0006d7d974fb2a0af438bb7d86a3845',1,'cuddInt.c']]],
   ['zdd_5fgroup_5fmove_5fbackward',['zdd_group_move_backward',['../cuddInt_8c.html#aa4ccf389dac492d015b04f412009cb92',1,'cuddInt.c']]],
   ['zdd_5fsubset0_5faux',['zdd_subset0_aux',['../cuddInt_8c.html#a112edfb1ec180b246e72258770d4b6fe',1,'cuddInt.c']]],

package/SVF-doxygen/html/html/search/functions_16.js

@@ -6,7 +6,7 @@ var searchData=
   ['_7eandersensfr',['~AndersenSFR',['../classSVF_1_1AndersenSFR.html#aabdafa8234569219fc5d96bb44ca8ef0',1,'SVF::AndersenSFR']]],
   ['_7eandersenstat',['~AndersenStat',['../classSVF_1_1AndersenStat.html#a31c59fe771f44b32a7d58145eb44a971',1,'SVF::AndersenStat']]],
   ['_7eannotator',['~Annotator',['../classSVF_1_1Annotator.html#a77ae10cccf9eeece8adf7dd00821e836',1,'SVF::Annotator']]],
-  ['_7ebranchcondmanager',['~BranchCondManager',['../classSVF_1_1BranchCondManager.html#a44bdc46bc43e657a545a5bedcfcae920',1,'SVF::BranchCondManager']]],
+  ['_7ebddmanager',['~BDDManager',['../classSVF_1_1BDDManager.html#aaede06df8ca879e9116a16ed690b2f8e',1,'SVF::BDDManager']]],
   ['_7ebvdataptaimpl',['~BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#a06f211184d3e75f0ca351a4b8092a478',1,'SVF::BVDataPTAImpl']]],
   ['_7ecallchi',['~CallCHI',['../classSVF_1_1CallCHI.html#a9ae4f818ff29ebaccc0d82a0170577b5',1,'SVF::CallCHI']]],
   ['_7ecallmu',['~CallMU',['../classSVF_1_1CallMU.html#a408184b7a6c625d67a4b660e140b10c5',1,'SVF::CallMU']]],
@@ -15,7 +15,7 @@ var searchData=
   ['_7echnode',['~CHNode',['../classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e',1,'SVF::CHNode']]],
   ['_7ecommonchgraph',['~CommonCHGraph',['../classSVF_1_1CommonCHGraph.html#aeb7e79b36c74bcded008fe227952c335',1,'SVF::CommonCHGraph']]],
   ['_7econdexpr',['~CondExpr',['../classSVF_1_1CondExpr.html#a034728ff201af843f9ae980bbb872086',1,'SVF::CondExpr']]],
-  ['_7econdmanager',['~CondManager',['../classSVF_1_1CondManager.html#a5677513376a78707de664c1cc85805aa',1,'SVF::CondManager']]],
+  ['_7econdmanager',['~CondManager',['../classSVF_1_1CondManager.html#ae17d57a0fdc02a5558120e65e11976d4',1,'SVF::CondManager']]],
   ['_7econdptaimpl',['~CondPTAImpl',['../classSVF_1_1CondPTAImpl.html#a01f64600bf6581403836019e4e5ae741',1,'SVF::CondPTAImpl']]],
   ['_7econdptssetiterator',['~CondPtsSetIterator',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a24ccc2dba1da8e241a595c84dde840ab',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
   ['_7econdstdset',['~CondStdSet',['../classSVF_1_1CondStdSet.html#abc67e77de2d1363af92c3bca2ccccbf1',1,'SVF::CondStdSet']]],
@@ -141,5 +141,7 @@ var searchData=
   ['_7ewpaminimumsolver',['~WPAMinimumSolver',['../classSVF_1_1WPAMinimumSolver.html#aabec5ac808a24b8d24aa008d8e15fc2a',1,'SVF::WPAMinimumSolver']]],
   ['_7ewpapass',['~WPAPass',['../classSVF_1_1WPAPass.html#a7ea8006b7e9237a470dfd34ad633826b',1,'SVF::WPAPass']]],
   ['_7ewpasccsolver',['~WPASCCSolver',['../classSVF_1_1WPASCCSolver.html#ab1d7c474209aab41d55fe8a3d13562a6',1,'SVF::WPASCCSolver']]],
-  ['_7ewpasolver',['~WPASolver',['../classSVF_1_1WPASolver.html#ac88ef07e88b453a1b35684b59a7dd04a',1,'SVF::WPASolver']]]
+  ['_7ewpasolver',['~WPASolver',['../classSVF_1_1WPASolver.html#ac88ef07e88b453a1b35684b59a7dd04a',1,'SVF::WPASolver']]],
+  ['_7ez3expr',['~Z3Expr',['../classSVF_1_1Z3Expr.html#a2abc206f11015c52db2eb189114b0dfc',1,'SVF::Z3Expr']]],
+  ['_7ez3manager',['~Z3Manager',['../classSVF_1_1Z3Manager.html#ad3d9d77ee64d84bb204fa66c1a51a01a',1,'SVF::Z3Manager']]]
 ];