svf-tools 1.0.438 → 1.0.441

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['edgeid',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
-  ['edgeset',['EdgeSet',['../classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57',1,'SVF::VFPathCond::EdgeSet()'],['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF::EdgeSet()']]],
+  ['edgeset',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
   ['edgetype',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#afc3616d9a36f7b26473f9211484e3e6c',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a279f6f463a31f98fe8e1d5f4c78f9e6d',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::EdgeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a57c4c711251842dd9d969428ba5966f2',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::EdgeType()']]],
   ['edgevector',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
   ['elementset',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['gedge',['GEDGE',['../classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36',1,'SVF::CFLSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
+  ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],
   ['gedgesetty',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
@@ -36,10 +36,10 @@ var searchData=
   ['globalvalue',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
   ['globalvariable',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
   ['globalvfgnodeset',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['gnode',['GNODE',['../classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127',1,'SVF::CFLSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
+  ['gnode',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
   ['gnodek',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
   ['gnodesccinfomap',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
   ['gnodestack',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
   ['graphprinter',['GraphPrinter',['../namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637',1,'SVF']]],
-  ['gtraits',['GTraits',['../classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c',1,'SVF::CFLSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
+  ['gtraits',['GTraits',['../classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
 ];

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

@@ -6,13 +6,12 @@ var searchData=
   ['icfgnodeset',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat']]],
   ['idtocallsitemap',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
   ['idtocallsitemapty',['IDToCallSiteMapTy',['../classSVF_1_1SymbolTableInfo.html#a5af399ccac6ec809ade8f778379027bb',1,'SVF::SymbolTableInfo']]],
-  ['idtocondexprmap',['IDToCondExprMap',['../classSVF_1_1Z3Manager.html#aae29d2331b696987a2ca5c349bb8315b',1,'SVF::Z3Manager']]],
   ['idtoidmap',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
   ['idtomemmapty',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a0371b60485199175b011cf3a42b404aa',1,'SVF::SymbolTableInfo']]],
   ['idtonodemapty',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269',1,'SVF::GenericGraph']]],
   ['ieeedouble',['IeeeDouble',['../epd_8h.html#a393f1276121f029397eef86ec7d4fac5',1,'epd.h']]],
   ['ieeenan',['IeeeNan',['../epd_8h.html#a6bcc381f10c8368cabcd2bb6ccde5985',1,'epd.h']]],
-  ['indextobddcond',['IndexToBDDCond',['../classSVF_1_1BDDManager.html#a33bb37b30e4c7364d6df73d209bd81d0',1,'SVF::BDDManager']]],
+  ['indextobddexpr',['IndexToBDDExpr',['../classSVF_1_1BDDExprManager.html#a0e0c83c5affc6a4ec67001e33913b035',1,'SVF::BDDExprManager']]],
   ['insertelementinst',['InsertElementInst',['../SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec',1,'BasicTypes.h']]],
   ['insertvalueinst',['InsertValueInst',['../SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5',1,'BasicTypes.h']]],
   ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
@@ -32,8 +31,8 @@ var searchData=
   ['interphisvfgnode',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
   ['intraphisvfgnode',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
   ['inttoptrinst',['IntToPtrInst',['../SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906',1,'BasicTypes.h']]],
-  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e',1,'SVF::CFLSolver']]],
-  ['invgtraits',['InvGTraits',['../classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573',1,'SVF::CFLSolver']]],
+  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver']]],
+  ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver']]],
   ['invokeinst',['InvokeInst',['../SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75',1,'BasicTypes.h']]],
   ['irbuilder',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
   ['iterator',['iterator',['../classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f',1,'SVF::ConstraintNode::iterator()'],['../classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153',1,'SVF::GenericNode::iterator()'],['../classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc',1,'SVF::GenericGraph::iterator()'],['../classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31',1,'SVF::ICFG::iterator()'],['../classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff',1,'SVF::ICFGNode::iterator()'],['../classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff',1,'SVF::PTACallGraphNode::iterator()'],['../classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c',1,'SVF::VFG::iterator()'],['../classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124',1,'SVF::VFGNode::iterator()'],['../classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce',1,'SVF::CondStdSet::iterator()'],['../classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83',1,'SVF::CondPointsToSet::iterator()'],['../classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9',1,'SVF::MutablePTData::iterator()'],['../classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f',1,'SVF::PointsTo::iterator()'],['../classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6',1,'SVF::CoreBitVector::iterator()'],['../classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7',1,'SVF::SVFModule::iterator()'],['../classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2',1,'SVF::CSC::iterator()']]],

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

@@ -21,6 +21,7 @@ var searchData=
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#a1f9ae41c4ed7450d0d8b29cd20a6ef25',1,'SVF::LockAnalysis']]],
   ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
   ['loctodpmvecmap',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctovalmap',['LocToValMap',['../classSVF_1_1ExeState.html#a887d6f9108cbbe7dca68dea67f70c392',1,'SVF::ExeState']]],
   ['locversionmap',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
   ['loop',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
   ['loopinfo',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]],

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

@@ -3,7 +3,7 @@ var searchData=
   ['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
   ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
   ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List']]],
-  ['node_5fiterator',['node_iterator',['../classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624',1,'SVF::CFLSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
+  ['node_5fiterator',['node_iterator',['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodebs',['NodeBS',['../namespaceSVF.html#a740396763e377643790c8b803ab3e4ea',1,'SVF']]],
   ['nodedata',['NodeData',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c',1,'SVF::VersionedFlowSensitive::SCC']]],
   ['nodedeque',['NodeDeque',['../namespaceSVF.html#a35068c3650567d5051416db4aeb48e74',1,'SVF']]],

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

@@ -21,7 +21,6 @@ var searchData=
   ['pairtoboolmap',['PairToBoolMap',['../classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99',1,'SVF::MTASVFGBuilder']]],
   ['pairty',['PairTy',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a78c236c76b7b3cb37ce941bbc82eda7a',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['parforedgeset',['ParForEdgeSet',['../classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2',1,'SVF::HareParForEdge::ParForEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#abc4cdc5b401932bf410d26ab4d58ca33',1,'SVF::ThreadCallGraph::ParForEdgeSet()']]],
-  ['pathcond',['PathCond',['../classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258',1,'SVF::VFPathCond::PathCond()'],['../classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86',1,'SVF::PathStmtDPItem::PathCond()']]],
   ['persdfptdataty',['PersDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163',1,'SVF::BVDataPTAImpl']]],
   ['persdiffptdataty',['PersDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e',1,'SVF::BVDataPTAImpl']]],
   ['persincdfptdataty',['PersIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a29172b3e8b3891a5d946a493cfcde2e7',1,'SVF::BVDataPTAImpl']]],

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

@@ -19,7 +19,7 @@ var searchData=
   ['_5fcursvfgnode',['_curSVFGNode',['../classSVF_1_1ProgSlice.html#af3095788fc3d7798abfae10e3216968b',1,'SVF::ProgSlice']]],
   ['_5fd',['_D',['../classSVF_1_1SCCDetection.html#a58b7ae8ed203311628dc5a84e1e79a5e',1,'SVF::SCCDetection::_D()'],['../classSVF_1_1CSC.html#a0eaf3a742fb8003b031528ee7c1c4799',1,'SVF::CSC::_D()']]],
   ['_5fenditer',['_endIter',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a9ffed93e0d4ae4b1431689b7fa5d6082',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
-  ['_5fgraph',['_graph',['../classSVF_1_1CFLSolver.html#a26e81753961ccb80b08d5c3ef7c4a141',1,'SVF::CFLSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
+  ['_5fgraph',['_graph',['../classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09',1,'SVF::SrcSnkSolver::_graph()'],['../classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8',1,'SVF::SCCDetection::_graph()'],['../classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0',1,'SVF::WPASolver::_graph()']]],
   ['_5fi',['_I',['../classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008',1,'SVF::SCCDetection::_I()'],['../classSVF_1_1CSC.html#af58e474ee7605663fd04fce58dc029d1',1,'SVF::CSC::_I()']]],
   ['_5finscc',['_inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af3290b2321a70b3acd00927afe87911d',1,'SVF::SCCDetection::GNodeSCCInfo']]],
   ['_5fispwcnode',['_isPWCNode',['../classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275',1,'SVF::ConstraintNode']]],

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

@@ -27,9 +27,9 @@ var searchData=
   ['partialjoin',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
   ['partialreachable',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
   ['paselected',['PASelected',['../classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038',1,'SVF::Options']]],
-  ['path',['path',['../classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8',1,'SVF::VFPathCond']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
   ['pathcondallocator',['pathCondAllocator',['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA']]],
+  ['pathconstraint',['pathConstraint',['../classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1',1,'SVF::ExeState']]],
   ['peaklivenodes',['peakLiveNodes',['../structDdManager.html#a56b99ad9c23fcdc06fae90079b9690ce',1,'DdManager']]],
   ['perm',['perm',['../structDdManager.html#a299d281a98c60aeec0e8edf6671a0f51',1,'DdManager']]],
   ['permz',['permZ',['../structDdManager.html#aa87aa500f809bac20002480f2cc7c2d8',1,'DdManager']]],

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

@@ -35,7 +35,6 @@ var searchData=
   ['size',['size',['../structDdGen.html#ab7fad933b3d07b8d355dfb2c9663451f',1,'DdGen::size()'],['../structDdHashTable.html#afc17f434d1edc18767e6da7a53d64f2e',1,'DdHashTable::size()'],['../structDdManager.html#a5fc169bc41431f1a0645f64c753457e3',1,'DdManager::size()'],['../structMove.html#a4841f4b30702d4d64d4bf1abc85a47b5',1,'Move::size()'],['../structDdLevelQueue.html#aa5d7bfda570a662d1fa39fbabb2c4e81',1,'DdLevelQueue::size()'],['../structMtrNode.html#ad1d0b76802143ff49d63c0a61b26dc62',1,'MtrNode::size()']]],
   ['sizez',['sizeZ',['../structDdManager.html#a97821fdc39438a00a9b26f2205b0b2f5',1,'DdManager']]],
   ['slots',['slots',['../structDdLocalCache.html#a81d92a3508761cdf2f169e421ca7b7ab',1,'DdLocalCache::slots()'],['../structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856',1,'DdSubtable::slots()'],['../structDdManager.html#a8a0404c6d3d8c1e49ed84e4467c3387c',1,'DdManager::slots()']]],
-  ['sol',['sol',['../classSVF_1_1Z3Manager.html#ac6fe9310046274759c45c1435fcc85c6',1,'SVF::Z3Manager']]],
   ['solveall',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
   ['solvetime',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
   ['sources',['sources',['../classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91',1,'SVF::SVFGStat::sources()'],['../classSVF_1_1SrcSnkDDA.html#a96c41d03d2615f952b58dca327a2866c',1,'SVF::SrcSnkDDA::sources()']]],

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

@@ -27,7 +27,7 @@ var searchData=
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
@@ -39,7 +39,7 @@ var searchData=
   ['totalanalysistime',['TotalAnalysisTime',['../classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910',1,'SVF::PTAStat']]],
   ['totalcallsitenum',['totalCallSiteNum',['../classSVF_1_1PTACallGraph.html#a276338e88cc286f6a1808b1fcdf74d9a',1,'SVF::PTACallGraph']]],
   ['totalcomplements',['totalComplements',['../classSVF_1_1PersistentPointsToCache.html#a6d52fb93d22b2ce3e4e4acbdd82b88b0',1,'SVF::PersistentPointsToCache']]],
-  ['totalcondnum',['totalCondNum',['../classSVF_1_1CondManager.html#a7efaeff7229fcfdc6c05d53ee3e1d916',1,'SVF::CondManager']]],
+  ['totalcondnum',['totalCondNum',['../classSVF_1_1BDDExprManager.html#a8d034c572bed854582c391674a5b4f18',1,'SVF::BDDExprManager']]],
   ['totaldircalledge',['totalDirCallEdge',['../classSVF_1_1SVFGStat.html#a1e93c866f3d780cb1cfdaf1dd143ea24',1,'SVF::SVFGStat']]],
   ['totaldirretedge',['totalDirRetEdge',['../classSVF_1_1SVFGStat.html#a63bd38fa93d665037932bcda3cc342c6',1,'SVF::SVFGStat']]],
   ['totaledgenum',['totalEdgeNum',['../classSVF_1_1SVFStmt.html#af1a9c2a18805560e46425bd98a35dea9',1,'SVF::SVFStmt']]],
@@ -69,7 +69,7 @@ var searchData=
   ['tree',['tree',['../structDdManager.html#a805f4afec8a9e4c4461dfc28307ee1ee',1,'DdManager']]],
   ['treez',['treeZ',['../structDdManager.html#a748a046ca1743d33b4cfaea560cc4d48',1,'DdManager']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
-  ['truecond',['trueCond',['../classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4',1,'SVF::CondManager']]],
+  ['truecond',['trueCond',['../classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053',1,'SVF::BDDExprManager']]],
   ['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()']]],
   ['typedefs',['typedefs',['../classSVF_1_1DCHNode.html#abafa483be12690549fbcccaf4c3fa511',1,'SVF::DCHNode']]],
   ['typeinfo',['typeInfo',['../classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf',1,'SVF::MemObj']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
+  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -11,6 +11,7 @@ var searchData=
   ['varkills',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
   ['vars',['vars',['../structDdManager.html#a70f75f877a9e8f1b7a1c219cd4675ce1',1,'DdManager']]],
   ['vartobegrouped',['varToBeGrouped',['../structDdSubtable.html#a37f3694913396b88f33b3f0537e84076',1,'DdSubtable']]],
+  ['vartoval',['varToVal',['../classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f',1,'SVF::ExeState']]],
   ['vartype',['varType',['../structDdSubtable.html#a876b1c5511462d8ceefa4acca28559a1',1,'DdSubtable']]],
   ['ver',['ver',['../classSVF_1_1FormalINSVFGNode.html#a0601031e01d4e7e4f086d5a4cc7b1321',1,'SVF::FormalINSVFGNode::ver()'],['../classSVF_1_1FormalOUTSVFGNode.html#af4686f5e09cdd342a1ced3a898cb47c4',1,'SVF::FormalOUTSVFGNode::ver()'],['../classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7',1,'SVF::ActualINSVFGNode::ver()'],['../classSVF_1_1ActualOUTSVFGNode.html#a9b0ad566d3fab6336d84ba07f541370f',1,'SVF::ActualOUTSVFGNode::ver()'],['../classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80',1,'SVF::MSSAPHISVFGNode::ver()'],['../classSVF_1_1MSSAMU.html#a9c84b55a34025c6742f5a02c07cd4a36',1,'SVF::MSSAMU::ver()']]],
   ['version',['version',['../classSVF_1_1DummyVersionPropSVFGNode.html#a6c092656833dd1eae08eac458689e37d',1,'SVF::DummyVersionPropSVFGNode::version()'],['../classSVF_1_1MRVer.html#afc08020e6d2f1721d1d1363ed3fef151',1,'SVF::MRVer::version()']]],
@@ -22,7 +23,6 @@ var searchData=
   ['vfgnodes',['VFGNodes',['../classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3',1,'SVF::ICFGNode']]],
   ['vfid',['vfID',['../classSVF_1_1CHGraph.html#ab2d60bc836482fb98142da6151a91270',1,'SVF::CHGraph']]],
   ['vfnvectors',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
-  ['vfpath',['vfpath',['../classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4',1,'SVF::PathStmtDPItem']]],
   ['vfspta',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
   ['vfunprelabel',['vfunPreLabel',['../CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b',1,'CPPUtil.cpp']]],
   ['vid',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],

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

@@ -3,7 +3,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['worklist',['worklist',['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
   ['wpanum',['WPANum',['../classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a',1,'SVF::Options']]],
   ['writeander',['WriteAnder',['../classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a',1,'SVF::Options']]]
 ];

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

@@ -10,8 +10,7 @@ var searchData=
   ['bb2phisetmap',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
   ['bbconds',['bbConds',['../classSVF_1_1PathCondAllocator.html#aff611b2797d61155c8c2f9d8ac4030bc',1,'SVF::PathCondAllocator']]],
   ['bbtocondmap',['bbToCondMap',['../classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24',1,'SVF::PathCondAllocator']]],
-  ['bddcond',['bddCond',['../classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731',1,'SVF::BDDExpr']]],
-  ['bddtobddcondexprmap',['bddToBddCondExprMap',['../classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3',1,'SVF::BDDManager']]],
+  ['bddexprmgr',['bddExprMgr',['../classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f',1,'SVF::BDDExprManager']]],
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['bindvar',['bindVar',['../structDdSubtable.html#a54a4f8f090e30084c77362e5de3ee591',1,'DdSubtable']]],
   ['bins',['bins',['../structst__table.html#a8924d9633a796c5e6c03925c5344c1ad',1,'st_table']]],

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

@@ -75,12 +75,10 @@ var searchData=
   ['computed',['computed',['../cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a',1,'cuddInt.c']]],
   ['concretecxt',['concreteCxt',['../classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb',1,'SVF::ContextCond']]],
   ['cond',['cond',['../classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f',1,'SVF::BranchStmt::cond()'],['../classSVF_1_1MSSAMU.html#a8e828af79da08528166b1f53165bc5b2',1,'SVF::MSSAMU::cond()'],['../classSVF_1_1MSSACHI.html#addeee3fb0c5e6b1c68c30da111c26759',1,'SVF::MSSACHI::cond()'],['../classSVF_1_1MSSAPHI.html#a348e69bf48ee7a959cd0bb117ba1dc9f',1,'SVF::MSSAPHI::cond()']]],
-  ['condexprk',['condExprK',['../classSVF_1_1CondExpr.html#aa7cbd249e276b768b22677f5efd83dd1',1,'SVF::CondExpr']]],
   ['condition',['condition',['../classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2',1,'SVF::SelectStmt']]],
-  ['conditiontype',['ConditionType',['../classSVF_1_1Options.html#a87567aa3e6423fc96e0dfbaff00ed565',1,'SVF::Options']]],
   ['conditionvar',['conditionVar',['../classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5',1,'SVF::IntraCFGEdge']]],
-  ['condmgr',['condMgr',['../classSVF_1_1PathCondAllocator.html#aacf96d4b7154f6c2dc12ab9e19702fcd',1,'SVF::PathCondAllocator::condMgr()'],['../classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f',1,'SVF::CondManager::condMgr()']]],
-  ['condtoinstmap',['condToInstMap',['../classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329',1,'SVF::CondManager']]],
+  ['condmgr',['condMgr',['../classSVF_1_1PathCondAllocator.html#a3f331564529091540cf587e575b0bc3a',1,'SVF::PathCondAllocator']]],
+  ['condtoinstmap',['condToInstMap',['../classSVF_1_1BDDExprManager.html#a752dd196d3bd1d782e1290630c4daff0',1,'SVF::BDDExprManager']]],
   ['connectdirsvfgedgetimeend',['connectDirSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21',1,'SVF::SVFGStat']]],
   ['connectdirsvfgedgetimestart',['connectDirSVFGEdgeTimeStart',['../classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3',1,'SVF::SVFGStat']]],
   ['connectindsvfgedgetimeend',['connectIndSVFGEdgeTimeEnd',['../classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654',1,'SVF::SVFGStat']]],
@@ -124,7 +122,7 @@ var searchData=
   ['ctptonodemap',['ctpToNodeMap',['../classSVF_1_1TCT.html#a0ccb6e9ffff0f22a0a054a92222893d5',1,'SVF::TCT']]],
   ['cttoforkcxtmap',['ctToForkCxtMap',['../classSVF_1_1TCT.html#aea88fdb40c28724546f5903d3a73999a',1,'SVF::TCT']]],
   ['cttoroutinefunmap',['ctToRoutineFunMap',['../classSVF_1_1TCT.html#a36c7884869d923c1a9363962c9e013bd',1,'SVF::TCT']]],
-  ['ctx',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode']]],
+  ['ctx',['ctx',['../classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6',1,'SVF::TCTNode::ctx()'],['../classSVF_1_1Z3Expr.html#a7dce19d65c7a0b50d21127a07aa51bf8',1,'SVF::Z3Expr::ctx()']]],
   ['cube',['cube',['../structDdGen.html#a08e91eb3192955502ec878d31d4849f7',1,'DdGen']]],
   ['cubes',['cubes',['../structDdGen.html#a9e623e8b9843e7455c4ae4225f97be84',1,'DdGen']]],
   ['cuddrand',['cuddRand',['../cuddInt_8c.html#a5401614286ba6923de016a43abc37617',1,'cuddInt.c']]],
@@ -139,7 +137,7 @@ var searchData=
   ['cursccid',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],
   ['curty',['CurTy',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa602c207fe08960b24fc496ca1d34509',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['curval',['curVal',['../classSVF_1_1SVFIRBuilder.html#a5afb07f2cf8d76f8db334250e0c96cc0',1,'SVF::SVFIRBuilder']]],
-  ['cxt',['cxt',['../classSVF_1_1Z3Manager.html#ac5968fcdba98bd405509b8abd1997cbc',1,'SVF::Z3Manager::cxt()'],['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
+  ['cxt',['cxt',['../classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1',1,'SVF::CxtStmt::cxt()'],['../classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5',1,'SVF::CxtThread::cxt()'],['../classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59',1,'SVF::CxtProc::cxt()']]],
   ['cxt_5fthread',['CXT_THREAD',['../classSVF_1_1MTAResultValidator.html#a251e16fc1fb663c238122dd6d2ba02e1',1,'SVF::MTAResultValidator']]],
   ['cxtbudget',['CxtBudget',['../classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874',1,'SVF::Options']]],
   ['cxtjoininloop',['cxtJoinInLoop',['../classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707',1,'SVF::ForkJoinAnalysis']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['e',['e',['../classSVF_1_1Z3Expr.html#a12503523dc2ddbc8cd8ef658de6e3cb0',1,'SVF::Z3Expr::e()'],['../structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5',1,'DdChildren::E()']]],
+  ['e',['E',['../structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5',1,'DdChildren::E()'],['../classSVF_1_1Z3Expr.html#ae14d9fa0613b196420b90d20cc8df041',1,'SVF::Z3Expr::e()']]],
   ['edge2pts',['edge2pts',['../classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38',1,'SVF::MTASVFGBuilder']]],
   ['edgeflag',['edgeFlag',['../classSVF_1_1GenericEdge.html#aa1f446e93750580dce04a127231dd1a3',1,'SVF::GenericEdge']]],
   ['edgeid',['edgeId',['../classSVF_1_1ConstraintEdge.html#af51f8e9b3c1dd68855581d0d1739ba29',1,'SVF::ConstraintEdge::edgeId()'],['../classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060',1,'SVF::SVFStmt::edgeId()']]],
@@ -8,7 +8,6 @@ var searchData=
   ['edgekindmask',['EdgeKindMask',['../classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9',1,'SVF::GenericEdge']]],
   ['edgekindmaskbits',['EdgeKindMaskBits',['../classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298',1,'SVF::GenericEdge']]],
   ['edgenum',['edgeNum',['../classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c',1,'SVF::GenericGraph']]],
-  ['edges',['edges',['../classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0',1,'SVF::VFPathCond']]],
   ['edgetype',['edgeType',['../classSVF_1_1CHEdge.html#a58ac14decda4041e773d723475f5c1c8',1,'SVF::CHEdge']]],
   ['ei_5fpairs',['ei_pairs',['../SaberCheckerAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): SaberCheckerAPI.cpp'],['../ExtAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ExtAPI.cpp'],['../ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1',1,'ei_pairs(): ThreadAPI.cpp']]],
   ['elder',['elder',['../structMtrNode.html#a7c8ed9787ec60487fad7b2fede53df98',1,'MtrNode']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['f',['f',['../structDdHook.html#a5b1bfe85ce0ac180fc160eb8c30094d7',1,'DdHook::f()'],['../structDdCache.html#a74c07792181f1d898f9fb4524c8942ad',1,'DdCache::f()']]],
-  ['falsecond',['falseCond',['../classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90',1,'SVF::CondManager']]],
+  ['falsecond',['falseCond',['../classSVF_1_1BDDExprManager.html#a7c9d970f02b142a5ca05f8d67e974269',1,'SVF::BDDExprManager']]],
   ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['fieldreps',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],
   ['fieldtypes',['fieldTypes',['../classSVF_1_1DCHGraph.html#a574ec14099f1112b394b00a79f3fdf1a',1,'SVF::DCHGraph']]],

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

@@ -8,7 +8,6 @@ var searchData=
   ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
   ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b',1,'SVF::MTA::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1IteratedDominanceFrontier.html#aaae6f876063759941ac236f17a80cea2',1,'SVF::IteratedDominanceFrontier::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
-  ['idtocondexprmap',['idToCondExprMap',['../classSVF_1_1Z3Manager.html#a72e5e03058e98c4f511ce2bb180f89cf',1,'SVF::Z3Manager']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
   ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25',1,'SVF::PersistentPointsToCache']]],
@@ -17,7 +16,7 @@ var searchData=
   ['incycle',['incycle',['../classSVF_1_1CxtThread.html#a97d876697e682b23211a8f930fed7f32',1,'SVF::CxtThread']]],
   ['indcallsitetofunptrmap',['indCallSiteToFunPtrMap',['../classSVF_1_1SVFIR.html#a0a5f88766b7e11f1ea35befcbcea62dc',1,'SVF::SVFIR']]],
   ['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()']]],
-  ['indextobddcondmap',['indexToBddCondMap',['../classSVF_1_1BDDManager.html#a7b780b30a7c433dcccab1e29b85b7704',1,'SVF::BDDManager']]],
+  ['indextobddcondmap',['indexToBddCondMap',['../classSVF_1_1BDDExprManager.html#a252928e3ee1032a9e9e5aa276836b460',1,'SVF::BDDExprManager']]],
   ['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']]],

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

@@ -39,6 +39,7 @@ var searchData=
   ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],
   ['loctodpmsetmap',['locToDpmSetMap',['../classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7',1,'SVF::DDAVFSolver']]],
   ['loctofilterset',['locToFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#a848e59ab22069367a97009f1fdebc4d9',1,'SVF::TypeBasedHeapCloning']]],
+  ['loctoval',['locToVal',['../classSVF_1_1ExeState.html#a55464ae666ae16656ad8903894ec14da',1,'SVF::ExeState']]],
   ['lookupcomplements',['lookupComplements',['../classSVF_1_1PersistentPointsToCache.html#a47f4e8ef1461396afb2e1c3cbe055e95',1,'SVF::PersistentPointsToCache']]],
   ['lookupintersections',['lookupIntersections',['../classSVF_1_1PersistentPointsToCache.html#a15d3235017b35f4a5c668d0b6626faff',1,'SVF::PersistentPointsToCache']]],
   ['lookups',['lookUps',['../structDdLocalCache.html#a8ead01c431438c3c6efd103adaeba0b8',1,'DdLocalCache']]],

package/SVF-doxygen/html/html/search/variables_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_1BDDManager.html#aae62fd27ddc847758ea67000580efdb8',1,'SVF::BDDManager']]],
+  ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50',1,'SVF::BDDExprManager']]],
   ['m_5fcond',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
   ['m_5fid',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
   ['mainmodule',['mainModule',['../classSVF_1_1IRAnnotator.html#a01462e9ee84f490514598c68e8c9557b',1,'SVF::IRAnnotator']]],

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

@@ -2,7 +2,6 @@ var searchData=
 [
   ['nan',['nan',['../unionEpTypeUnion.html#a110c7a597a2ccf931b674e2338c64885',1,'EpTypeUnion']]],
   ['neg',['neg',['../structcuddPathPair.html#a968dc3d34b592da2876517a687873281',1,'cuddPathPair']]],
-  ['negconds',['negConds',['../classSVF_1_1Z3Manager.html#abd4a010660942227d7db81533e80b2c3',1,'SVF::Z3Manager']]],
   ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newexpand',['newExpand',['../classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8',1,'SVF::ConstraintNode']]],
   ['newsbvnumwords',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
@@ -104,7 +103,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']]],

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4-members.html

@@ -0,0 +1,81 @@
+<!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: Member List</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>
+<!-- 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 id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><b>std</b></li><li class="navelem"><a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html">hash&lt; SVF::ExeState &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">std::hash&lt; SVF::ExeState &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html">std::hash&lt; SVF::ExeState &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10">operator()</a>(const SVF::ExeState &amp;exeState) const</td><td class="entry"><a class="el" href="structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html">std::hash&lt; SVF::ExeState &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+</table></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>