svf-tools 1.0.438 → 1.0.441

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

@@ -23,18 +23,18 @@ var searchData=
   ['sb_5finfesible',['SB_INFESIBLE',['../classSVF_1_1Annotator.html#a556138c152d52921d6f0a709a826a93a',1,'SVF::Annotator']]],
   ['sb_5fslicesink',['SB_SLICESINK',['../classSVF_1_1Annotator.html#a3edacb8703c74abf42c4a29761a3437f',1,'SVF::Annotator']]],
   ['sb_5fslicesource',['SB_SLICESOURCE',['../classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744',1,'SVF::Annotator']]],
-  ['sbv',['sbv',['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()']]],
+  ['sbv',['SBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a',1,'SVF::PointsTo::SBV()'],['../classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084',1,'SVF::PointsTo::sbv()']]],
   ['sbvit',['sbvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4',1,'SVF::PointsTo::PointsToIterator']]],
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
   ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()']]],
   ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
   ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
   ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection< GraphType >'],['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection::SCCDetection()']]],
   ['sccdetectiontime',['SCCDetectionTime',['../classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa',1,'SVF::PTAStat']]],
-  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()']]],
+  ['sccedgeflag',['sccEdgeFlag',['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
   ['sccmergetime',['SCCMergeTime',['../classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287',1,'SVF::PTAStat']]],
   ['sccrepnode',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
@@ -62,7 +62,7 @@ var searchData=
   ['setcallgraph',['setCallGraph',['../classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38',1,'SVF::DDAVFSolver']]],
   ['setcallgraphscc',['setCallGraphSCC',['../classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975',1,'SVF::DDAVFSolver']]],
   ['setcfcond',['setCFCond',['../classSVF_1_1PathCondAllocator.html#a4cb61914dff693e284091e97ab8c8878',1,'SVF::PathCondAllocator']]],
-  ['setcondinst',['setCondInst',['../classSVF_1_1PathCondAllocator.html#ab85a1ab3580958361ea5ec29efc75874',1,'SVF::PathCondAllocator::setCondInst()'],['../classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf',1,'SVF::CondManager::setCondInst()']]],
+  ['setcondinst',['setCondInst',['../classSVF_1_1PathCondAllocator.html#a51feefd408094a69f0fbe97cba181bf9',1,'SVF::PathCondAllocator::setCondInst()'],['../classSVF_1_1BDDExprManager.html#afc1d4301a3453c920f9b92ac53101bfe',1,'SVF::BDDExprManager::setCondInst()']]],
   ['setconsume',['setConsume',['../classSVF_1_1VersionedFlowSensitive.html#aabc0a5a7a31b8d880e019773ba960741',1,'SVF::VersionedFlowSensitive']]],
   ['setcurevalsvfgnode',['setCurEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a68f93a9271efcbb4728066a8d5639628',1,'SVF::PathCondAllocator']]],
   ['setcurnodeid',['setCurNodeID',['../classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90',1,'SVF::DPItem']]],
@@ -85,7 +85,7 @@ var searchData=
   ['setflag',['setFlag',['../classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f',1,'SVF::CHNode::setFlag()'],['../classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49',1,'SVF::ObjTypeInfo::setFlag()'],['../classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4',1,'SVF::DCHNode::setFlag()']]],
   ['setfldidx',['setFldIdx',['../classSVF_1_1LocationSet.html#abe990543374ebd8c1b3ee0d37c83eb8f',1,'SVF::LocationSet']]],
   ['setformaloutdef',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
-  ['setgraph',['setGraph',['../classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c',1,'SVF::CFLSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
+  ['setgraph',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
   ['seticfgnode',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
   ['setincycle',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
   ['setinloop',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
@@ -104,7 +104,6 @@ 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_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']]],
@@ -118,7 +117,7 @@ var searchData=
   ['setpag',['setPAG',['../classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c',1,'SVF::DDAClient::setPAG()'],['../classSVF_1_1TypeBasedHeapCloning.html#a0890235fa3725c23435ea3245c52c038',1,'SVF::TypeBasedHeapCloning::setPAG()']]],
   ['setpagfromtxt',['setPagFromTXT',['../classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5',1,'SVF::SVFModule']]],
   ['setpartialreachable',['setPartialReachable',['../classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d',1,'SVF::ProgSlice']]],
-  ['setpaths',['setPaths',['../classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b',1,'SVF::VFPathCond']]],
+  ['setpathconstraint',['setPathConstraint',['../classSVF_1_1ExeState.html#abb73aa9e213818e89e1fb8abdd7a3309',1,'SVF::ExeState']]],
   ['setpureabstract',['setPureAbstract',['../classSVF_1_1CHNode.html#abac89987927dadd53dd646eae540a024',1,'SVF::CHNode::setPureAbstract()'],['../classSVF_1_1DCHNode.html#afa271fdb9c1aa3589f41655813a2de8e',1,'SVF::DCHNode::setPureAbstract()']]],
   ['setpwcnode',['setPWCNode',['../classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724',1,'SVF::ConstraintGraph::setPWCNode()'],['../classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3',1,'SVF::ConstraintNode::setPWCNode()']]],
   ['setpwcopt',['setPWCOpt',['../classSVF_1_1Andersen.html#a2b13f14db90ad59a61dff097bcdf8fb7',1,'SVF::Andersen']]],
@@ -150,6 +149,7 @@ var searchData=
   ['sfvgoptend',['sfvgOptEnd',['../classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff',1,'SVF::SVFGStat']]],
   ['sfvgoptstart',['sfvgOptStart',['../classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79',1,'SVF::SVFGStat']]],
   ['shift',['shift',['../structDdLocalCache.html#a20e93a93f7aa732e4a5a83c54284c921',1,'DdLocalCache::shift()'],['../structDdHashTable.html#a01e29792ea99268274deff4fc7ab6a6a',1,'DdHashTable::shift()'],['../structDdSubtable.html#ae89bb40a595ce1eda70d63fd78b23865',1,'DdSubtable::shift()'],['../structDdLevelQueue.html#af39270cc5ce8832e2c6667a0b174803a',1,'DdLevelQueue::shift()']]],
+  ['shl',['shl',['../classSVF_1_1Z3Expr.html#a7b6e7cd3b0b8681a4f4885e658632dce',1,'SVF::Z3Expr']]],
   ['showhiddennode',['ShowHiddenNode',['../classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b',1,'SVF::Options']]],
   ['showsvfirvalue',['ShowSVFIRValue',['../classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558',1,'SVF::Options']]],
   ['shuffleselect',['shuffleSelect',['../cuddInt_8c.html#aa2d42b930312818f9e36eafdd428b8a2',1,'cuddInt.c']]],
@@ -161,7 +161,7 @@ var searchData=
   ['siftmaxvar',['siftMaxVar',['../structDdManager.html#a751612508e0ff55d364279b55872c40d',1,'DdManager']]],
   ['sign',['sign',['../structIeeeDoubleStruct.html#a11e3a3008ed4171e295436d1415705d2',1,'IeeeDoubleStruct::sign()'],['../structIeeeNanStruct.html#abc5b8eb6f2d25bb3d865b18189769150',1,'IeeeNanStruct::sign()']]],
   ['simpletype',['SimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4',1,'SVF::SVFUtil::simplify_type::SimpleType()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#afdc334dc0c584651f9ab538e38cf3aff',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
-  ['simplify',['simplify',['../classSVF_1_1Z3Manager.html#aa0fd8e460f4d89155da3487c0350f972',1,'SVF::Z3Manager']]],
+  ['simplify',['simplify',['../classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981',1,'SVF::Z3Expr']]],
   ['simplify_5ftype',['simplify_type',['../structSVF_1_1SVFUtil_1_1simplify__type.html',1,'SVF::SVFUtil']]],
   ['simplify_5ftype_3c_20const_20from_20_3e',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
   ['singlecondvar',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
@@ -179,7 +179,6 @@ var searchData=
   ['slots',['slots',['../structDdLocalCache.html#a81d92a3508761cdf2f169e421ca7b7ab',1,'DdLocalCache::slots()'],['../structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856',1,'DdSubtable::slots()'],['../structDdManager.html#a8a0404c6d3d8c1e49ed84e4467c3387c',1,'DdManager::slots()']]],
   ['smallbbvector',['SmallBBVector',['../namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3',1,'SVF']]],
   ['smdiagnostic',['SMDiagnostic',['../SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0',1,'BasicTypes.h']]],
-  ['sol',['sol',['../classSVF_1_1Z3Manager.html#ac6fe9310046274759c45c1435fcc85c6',1,'SVF::Z3Manager']]],
   ['solve',['solve',['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
   ['solveall',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
   ['solveofflinescc',['solveOfflineSCC',['../classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181',1,'SVF::OfflineConsG']]],
@@ -206,6 +205,8 @@ var searchData=
   ['srcsnkdda',['SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html',1,'SVF::SrcSnkDDA'],['../classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd',1,'SVF::SrcSnkDDA::SrcSnkDDA()']]],
   ['srcsnkdda_2ecpp',['SrcSnkDDA.cpp',['../SrcSnkDDA_8cpp.html',1,'']]],
   ['srcsnkdda_2eh',['SrcSnkDDA.h',['../SrcSnkDDA_8h.html',1,'']]],
+  ['srcsnksolver',['SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html',1,'SVF::SrcSnkSolver< GraphType, DPIm >'],['../classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d',1,'SVF::SrcSnkSolver::SrcSnkSolver()']]],
+  ['srcsnksolver_2eh',['SrcSnkSolver.h',['../SrcSnkSolver_8h.html',1,'']]],
   ['srctocsidmap',['srcToCSIDMap',['../classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852',1,'SVF::LeakChecker']]],
   ['ssachi',['SSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18aeebaf47309ac06cd04ae69979f4c2580',1,'SVF::MSSADEF']]],
   ['ssaphi',['SSAPHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ae2cdc3b8aae7005f6d7495d2f200a736',1,'SVF::MSSADEF']]],
@@ -220,7 +221,7 @@ var searchData=
   ['st_5fdefault_5finit_5ftable_5fsize',['ST_DEFAULT_INIT_TABLE_SIZE',['../st_8h.html#a311df13f4d458054df7d87ca22782ab2',1,'st.h']]],
   ['st_5fdefault_5fmax_5fdensity',['ST_DEFAULT_MAX_DENSITY',['../st_8h.html#a4f884be75490db2c92e409a0209fdbcb',1,'st.h']]],
   ['st_5fdefault_5freorder_5fflag',['ST_DEFAULT_REORDER_FLAG',['../st_8h.html#a933aaa48b6a156a000befde073a24e4c',1,'st.h']]],
-  ['st_5fdelete',['st_delete',['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c'],['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h']]],
+  ['st_5fdelete',['ST_DELETE',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h'],['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c']]],
   ['st_5fforeach',['st_foreach',['../st_8h.html#a5341675ff925b7a670ab4705735ceb38',1,'st_foreach(st_table *, ST_PFSR, char *): st.c'],['../st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57',1,'st_foreach(st_table *table, ST_PFSR func, char *arg): st.c']]],
   ['st_5fforeach_5fitem',['st_foreach_item',['../st_8h.html#aea51027ca2b7197709990fb086e12c2c',1,'st.h']]],
   ['st_5fforeach_5fitem_5fint',['st_foreach_item_int',['../st_8h.html#a437227772bc9c4c0ec636f5723654a4c',1,'st.h']]],
@@ -237,7 +238,7 @@ var searchData=
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
   ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
-  ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c'],['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c']]],
+  ['st_5fnumhash',['st_numhash',['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c'],['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
   ['st_5fpficpi',['ST_PFICPI',['../st_8h.html#a4689d232930698db6d2432922e094539',1,'st.h']]],
@@ -289,7 +290,7 @@ var searchData=
   ['stop_5ftemp',['STOP_TEMP',['../cuddInt_8c.html#a325542c76e61adb1cebccf04f755bf52',1,'cuddInt.c']]],
   ['stopanalysislimittimer',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
   ['stopping_5fcriterion',['stopping_criterion',['../cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03',1,'cuddInt.c']]],
-  ['store',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()']]],
+  ['store',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()'],['../classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a',1,'SVF::ExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879',1,'SVF::ExeState::store(u32_t objId, const Z3Expr &z3Expr)']]],
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
@@ -303,17 +304,17 @@ var searchData=
   ['storemssachi',['StoreMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43',1,'SVF::MSSADEF']]],
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
-  ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
+  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()']]],
   ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
   ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()']]],
-  ['storestopointstomap',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()']]],
+  ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
   ['storetochisetmap',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
   ['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
-  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
+  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -412,7 +413,7 @@ var searchData=
   ['svfirbuilder_2eh',['SVFIRBuilder.h',['../SVFIRBuilder_8h.html',1,'']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
-  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()']]],
+  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
   ['svfmodule_2ecpp',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
   ['svfmodule_2eh',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
   ['svfstatements_2ecpp',['SVFStatements.cpp',['../SVFStatements_8cpp.html',1,'']]],

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

@@ -43,7 +43,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
@@ -90,28 +90,29 @@ 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']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
   ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
-  ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()'],['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()']]],
+  ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
   ['tlvfnodeend',['TLVFNodeEnd',['../classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7',1,'SVF::SVFGStat']]],
   ['tlvfnodestart',['TLVFNodeStart',['../classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9',1,'SVF::SVFGStat']]],
   ['tmpfile',['tmpfile',['../util_8h.html#aea1f76217ad348e25dc0ee4d078554c5',1,'util.h']]],
+  ['to_5fstring',['to_string',['../classSVF_1_1Z3Expr.html#a1da8e647e12c0e105271eadbd72f437e',1,'SVF::Z3Expr']]],
   ['tonodebs',['toNodeBS',['../classSVF_1_1PointsTo.html#ae4749cf6dc43645e2479cefbcc246637',1,'SVF::PointsTo']]],
   ['tooloutputfile',['ToolOutputFile',['../namespaceSVF.html#acde6a1d496f1b655088ccbe023820277',1,'SVF']]],
   ['toponodestack',['topoNodeStack',['../classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93',1,'SVF::SCCDetection']]],
-  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()'],['../classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c',1,'SVF::VFPathCond::toString()']]],
+  ['tostring',['toString',['../classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8',1,'SVF::ICFGEdge::toString()'],['../classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de',1,'SVF::IntraCFGEdge::toString()'],['../classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a',1,'SVF::CallCFGEdge::toString()'],['../classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa',1,'SVF::RetCFGEdge::toString()'],['../classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a',1,'SVF::ICFGNode::toString()'],['../classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47',1,'SVF::GlobalICFGNode::toString()'],['../classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5',1,'SVF::IntraICFGNode::toString()'],['../classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882',1,'SVF::FunEntryICFGNode::toString()'],['../classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9',1,'SVF::FunExitICFGNode::toString()'],['../classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c',1,'SVF::CallICFGNode::toString()'],['../classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1',1,'SVF::RetICFGNode::toString()'],['../classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02',1,'SVF::PTACallGraphEdge::toString()'],['../classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973',1,'SVF::PTACallGraphNode::toString()'],['../classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8',1,'SVF::IndirectSVFGEdge::toString()'],['../classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291',1,'SVF::IntraIndSVFGEdge::toString()'],['../classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e',1,'SVF::CallIndSVFGEdge::toString()'],['../classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5',1,'SVF::RetIndSVFGEdge::toString()'],['../classSVF_1_1ThreadMHPIndSVFGEdge.html#a09b7fef74030eecc6fa7b83a15c12521',1,'SVF::ThreadMHPIndSVFGEdge::toString()'],['../classSVF_1_1MRSVFGNode.html#a232213efbfa9e21b7410de6b4040c475',1,'SVF::MRSVFGNode::toString()'],['../classSVF_1_1FormalINSVFGNode.html#a4022ecd01a88758b5fa7d22856c89745',1,'SVF::FormalINSVFGNode::toString()'],['../classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a',1,'SVF::FormalOUTSVFGNode::toString()'],['../classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5',1,'SVF::ActualINSVFGNode::toString()'],['../classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c',1,'SVF::ActualOUTSVFGNode::toString()'],['../classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd',1,'SVF::MSSAPHISVFGNode::toString()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47',1,'SVF::IntraMSSAPHISVFGNode::toString()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688',1,'SVF::InterMSSAPHISVFGNode::toString()'],['../classSVF_1_1ThreadForkEdge.html#acdc2ff9ad9800847b581e9d27efd3843',1,'SVF::ThreadForkEdge::toString()'],['../classSVF_1_1ThreadJoinEdge.html#a67b68672ef76e0a4f326f7dbbd77bbf7',1,'SVF::ThreadJoinEdge::toString()'],['../classSVF_1_1VFGEdge.html#a8f4bec008af7cd1a89870715eaa91a7b',1,'SVF::VFGEdge::toString()'],['../classSVF_1_1DirectSVFGEdge.html#aa8d70214eb0242c3f2baaa506c12852c',1,'SVF::DirectSVFGEdge::toString()'],['../classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa',1,'SVF::IntraDirSVFGEdge::toString()'],['../classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1',1,'SVF::CallDirSVFGEdge::toString()'],['../classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf',1,'SVF::RetDirSVFGEdge::toString()'],['../classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5',1,'SVF::VFGNode::toString()'],['../classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8',1,'SVF::StmtVFGNode::toString()'],['../classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04',1,'SVF::LoadVFGNode::toString()'],['../classSVF_1_1StoreVFGNode.html#aba7e8b8329caf412a55f5880f68414fe',1,'SVF::StoreVFGNode::toString()'],['../classSVF_1_1CopyVFGNode.html#ad86bbc5ec4a9ea226364a84e04724b37',1,'SVF::CopyVFGNode::toString()'],['../classSVF_1_1CmpVFGNode.html#aa08c4475c47beb0d026acab859d68117',1,'SVF::CmpVFGNode::toString()'],['../classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4',1,'SVF::BinaryOPVFGNode::toString()'],['../classSVF_1_1UnaryOPVFGNode.html#ad0b45546c62bdef367149b58f530f89d',1,'SVF::UnaryOPVFGNode::toString()'],['../classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13',1,'SVF::BranchVFGNode::toString()'],['../classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638',1,'SVF::GepVFGNode::toString()'],['../classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea',1,'SVF::PHIVFGNode::toString()'],['../classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e',1,'SVF::IntraPHIVFGNode::toString()'],['../classSVF_1_1AddrVFGNode.html#ac26fbce400355f43fdc22ad88a8d9067',1,'SVF::AddrVFGNode::toString()'],['../classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5',1,'SVF::ArgumentVFGNode::toString()'],['../classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6',1,'SVF::ActualParmVFGNode::toString()'],['../classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc',1,'SVF::FormalParmVFGNode::toString()'],['../classSVF_1_1ActualRetVFGNode.html#a4d1e7df32604becd2e2b60fe2e5cfbfa',1,'SVF::ActualRetVFGNode::toString()'],['../classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66',1,'SVF::FormalRetVFGNode::toString()'],['../classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e',1,'SVF::InterPHIVFGNode::toString()'],['../classSVF_1_1NullPtrVFGNode.html#a75c8b89a34bfd89a4af2c699cdb626b9',1,'SVF::NullPtrVFGNode::toString()'],['../classSVF_1_1CondVar.html#a4baf5fb20288491c96827177f9965cc4',1,'SVF::CondVar::toString()'],['../classSVF_1_1CondStdSet.html#a07267b0a4f7cfeaa6d1f7d722932c4d5',1,'SVF::CondStdSet::toString()'],['../classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22',1,'SVF::SVFStmt::toString()'],['../classSVF_1_1AssignStmt.html#abbe582a24bf4b42284f78eab5b18a90a',1,'SVF::AssignStmt::toString()'],['../classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8',1,'SVF::AddrStmt::toString()'],['../classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a',1,'SVF::CopyStmt::toString()'],['../classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac',1,'SVF::StoreStmt::toString()'],['../classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a',1,'SVF::LoadStmt::toString()'],['../classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d',1,'SVF::GepStmt::toString()'],['../classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab',1,'SVF::CallPE::toString()'],['../classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef',1,'SVF::RetPE::toString()'],['../classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a',1,'SVF::PhiStmt::toString()'],['../classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39',1,'SVF::SelectStmt::toString()'],['../classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439',1,'SVF::CmpStmt::toString()'],['../classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa',1,'SVF::BinaryOPStmt::toString()'],['../classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65',1,'SVF::UnaryOPStmt::toString()'],['../classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f',1,'SVF::BranchStmt::toString()'],['../classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe',1,'SVF::TDForkPE::toString()'],['../classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d',1,'SVF::TDJoinPE::toString()'],['../classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd',1,'SVF::SVFVar::toString()'],['../classSVF_1_1ValVar.html#a4591213dd266efd380fd916fee73c1fd',1,'SVF::ValVar::toString()'],['../classSVF_1_1ObjVar.html#a14da09447f9f0495a42a61bdd92688a3',1,'SVF::ObjVar::toString()'],['../classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de',1,'SVF::GepValVar::toString()'],['../classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218',1,'SVF::GepObjVar::toString()'],['../classSVF_1_1FIObjVar.html#ad383a7468348cf040e9dcd8515848595',1,'SVF::FIObjVar::toString()'],['../classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2',1,'SVF::RetPN::toString()'],['../classSVF_1_1VarArgPN.html#a617077176f0ea586a0cf9a4a1034e99d',1,'SVF::VarArgPN::toString()'],['../classSVF_1_1DummyValVar.html#a4da61151fed6a64cc361d69276d00b84',1,'SVF::DummyValVar::toString()'],['../classSVF_1_1DummyObjVar.html#a0888335fe157af01e647b79043c7ae40',1,'SVF::DummyObjVar::toString()'],['../classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b',1,'SVF::CloneDummyObjVar::toString()'],['../classSVF_1_1CloneGepObjVar.html#a74e6fea7dc651c57de3e06ff356522a5',1,'SVF::CloneGepObjVar::toString()'],['../classSVF_1_1CloneFIObjVar.html#a336acd6fdf3e6be5ea44435a1576c9fc',1,'SVF::CloneFIObjVar::toString()'],['../classSVF_1_1SymbolTableInfo.html#a7d3001549966444622d5918e5811e89e',1,'SVF::SymbolTableInfo::toString()'],['../classSVF_1_1MemObj.html#a614b26f4a3db926055a576b13842c1d7',1,'SVF::MemObj::toString()'],['../classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee',1,'SVF::ContextCond::toString()']]],
   ['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']]],
@@ -146,8 +147,8 @@ 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']]],
-  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::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()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['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()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
   ['type2string',['type2String',['../namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518',1,'SVF::SVFUtil']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
   ['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],

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

@@ -34,7 +34,7 @@ var searchData=
   ['updatecachedpointsto',['updateCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56',1,'SVF::DDAVFSolver']]],
   ['updatecallgraph',['updateCallGraph',['../classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824',1,'SVF::ICFG::updateCallGraph()'],['../classSVF_1_1ThreadCallGraph.html#ae25bca6e64ceedc56f1e2f1ae30f89eb',1,'SVF::ThreadCallGraph::updateCallGraph()'],['../classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b',1,'SVF::VFG::updateCallGraph()'],['../classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70',1,'SVF::BVDataPTAImpl::updateCallGraph()'],['../classSVF_1_1SVFIRBuilder.html#a22bd51c6fe770d179867342164ec2767',1,'SVF::SVFIRBuilder::updateCallGraph()'],['../classSVF_1_1AndersenBase.html#ac05796a5672ddb5bd0e08924d79da065',1,'SVF::AndersenBase::updateCallGraph()'],['../classSVF_1_1Andersen.html#a6c60b761ddf3d6bf08c8a9c3f6fd9f0b',1,'SVF::Andersen::updateCallGraph()'],['../classSVF_1_1AndersenSCD.html#a512c636bdaafe6a3ac8f0cc29392c573',1,'SVF::AndersenSCD::updateCallGraph()'],['../classSVF_1_1FlowSensitive.html#a9d81537ec20196315a9a2541477ec5bf',1,'SVF::FlowSensitive::updateCallGraph()']]],
   ['updatecallgraphandsvfg',['updateCallGraphAndSVFG',['../classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061',1,'SVF::ContextDDA::updateCallGraphAndSVFG()'],['../classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169',1,'SVF::DDAVFSolver::updateCallGraphAndSVFG()'],['../classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0',1,'SVF::FlowDDA::updateCallGraphAndSVFG()']]],
-  ['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()']]],
   ['updateconnectednodes',['updateConnectedNodes',['../classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8',1,'SVF::FlowSensitive::updateConnectedNodes()'],['../classSVF_1_1VersionedFlowSensitive.html#a18f24fe34af677e2a8c78ee89b89be1c',1,'SVF::VersionedFlowSensitive::updateConnectedNodes()']]],
   ['updatedfinfromin',['updateDFInFromIn',['../classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b',1,'SVF::DFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableDFPTData.html#ac3ebc5afa531118b2b4446d23e3b8c7a',1,'SVF::MutableDFPTData::updateDFInFromIn()'],['../classSVF_1_1MutableIncDFPTData.html#a775ef6458314a1febef3f7372f6a2bbc',1,'SVF::MutableIncDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e',1,'SVF::PersistentDFPTData::updateDFInFromIn()'],['../classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42',1,'SVF::PersistentIncDFPTData::updateDFInFromIn()']]],
   ['updatedfinfromout',['updateDFInFromOut',['../classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3',1,'SVF::DFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableDFPTData.html#a85c0d93ee01d2c93c255e5a369248d1b',1,'SVF::MutableDFPTData::updateDFInFromOut()'],['../classSVF_1_1MutableIncDFPTData.html#ad199b4b84f7aab48ff1510b118e2982f',1,'SVF::MutableIncDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b',1,'SVF::PersistentDFPTData::updateDFInFromOut()'],['../classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6',1,'SVF::PersistentIncDFPTData::updateDFInFromOut()']]],

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

@@ -24,7 +24,7 @@ var searchData=
   ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb',1,'SVF::ValVar::ValVar()']]],
-  ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()'],['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()']]],
+  ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
   ['var_5farray_5fobj',['VAR_ARRAY_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c',1,'SVF::ObjTypeInfo']]],
   ['var_5fstruct_5fobj',['VAR_STRUCT_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aaf98981bd15b41f543fd99d0c6222f08',1,'SVF::ObjTypeInfo']]],
   ['varargnode',['VarargNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5a13a457f037424f61e74165a9cdcebf',1,'SVF::SVFVar']]],
@@ -42,6 +42,8 @@ var searchData=
   ['vars',['vars',['../structDdManager.html#a70f75f877a9e8f1b7a1c219cd4675ce1',1,'DdManager']]],
   ['vartobegrouped',['varToBeGrouped',['../structDdSubtable.html#a37f3694913396b88f33b3f0537e84076',1,'DdSubtable']]],
   ['vartopropnodemap',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartoval',['varToVal',['../classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f',1,'SVF::ExeState']]],
+  ['vartovalmap',['VarToValMap',['../classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f',1,'SVF::ExeState']]],
   ['vartype',['varType',['../structDdSubtable.html#a876b1c5511462d8ceefa4acca28559a1',1,'DdSubtable']]],
   ['vastartinst',['VAStartInst',['../SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac',1,'BasicTypes.h']]],
   ['vcallinctorordtor',['VCallInCtorOrDtor',['../namespaceSVF_1_1cppUtil.html#abcba23ffa41fe5b456289e528d1b4c4e',1,'SVF::cppUtil']]],
@@ -69,7 +71,6 @@ var searchData=
   ['versionstat',['versionStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#ad7fe08f5d684e3411f8f28ec346bd814',1,'SVF::VersionedFlowSensitiveStat']]],
   ['veto',['Veto',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394dabb45a604558e2ebff460adb77b4a5d7c',1,'SVF::WPAPass']]],
   ['vfedgesatindcallsite',['vfEdgesAtIndCallSite',['../classSVF_1_1SVFGBuilder.html#aa9b432dd72f1a39be142c4e2c2d51247',1,'SVF::SVFGBuilder']]],
-  ['vfedgestrace',['vfEdgesTrace',['../classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06',1,'SVF::VFPathCond']]],
   ['vfg',['VFG',['../classSVF_1_1VFG.html',1,'SVF::VFG'],['../classSVF_1_1SVFVar.html#a1499a631a2a15408ea35a09fccc0f0ad',1,'SVF::SVFVar::VFG()'],['../classSVF_1_1VFG.html#a8ba98bb3d888ec5ff40f511da14b37bc',1,'SVF::VFG::VFG()']]],
   ['vfg_2ecpp',['VFG.cpp',['../VFG_8cpp.html',1,'']]],
   ['vfg_2eh',['VFG.h',['../VFG_8h.html',1,'']]],
@@ -88,10 +89,6 @@ var searchData=
   ['vfgnodeset',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
   ['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']]],
-  ['vfpathcond',['VFPathCond',['../classSVF_1_1VFPathCond.html',1,'SVF::VFPathCond'],['../classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c',1,'SVF::VFPathCond::VFPathCond(PathCond *p=CondManager::getTrueCond())'],['../classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c',1,'SVF::VFPathCond::VFPathCond(const VFPathCond &cond)']]],
-  ['vfpathptset',['VFPathPtSet',['../namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1',1,'SVF']]],
-  ['vfpathvar',['VFPathVar',['../namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd',1,'SVF']]],
   ['vfs_5fwpa',['VFS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9',1,'SVF::PointerAnalysis']]],
   ['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']]],

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

@@ -7,7 +7,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()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['worklist',['WorkList',['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::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()']]],
   ['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],

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

@@ -1,10 +1,8 @@
 var searchData=
 [
-  ['z3cond',['Z3Cond',['../classSVF_1_1Z3Expr.html#a4c5d8b4850d005c46dc52b4a448a1235',1,'SVF::Z3Expr::Z3Cond()'],['../classSVF_1_1Z3Manager.html#aae5b5661f0a34771753648072d6ea20a',1,'SVF::Z3Manager::Z3Cond()']]],
-  ['z3expr',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr()']]],
-  ['z3k',['Z3K',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6af0ee682babaa91484a4cd3315b6aba2c',1,'SVF::CondExpr']]],
-  ['z3manager',['Z3Manager',['../classSVF_1_1Z3Manager.html',1,'SVF::Z3Manager'],['../classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac',1,'SVF::Z3Manager::Z3Manager()']]],
-  ['z3mgrk',['Z3MgrK',['../classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa0d24aacdb91d2684f43135bd654f5780',1,'SVF::CondManager']]],
+  ['z3expr',['Z3Expr',['../classSVF_1_1Z3Expr.html',1,'SVF::Z3Expr'],['../classSVF_1_1Z3Expr.html#a7a952918c0f3105d31da2ee00af4cffb',1,'SVF::Z3Expr::Z3Expr(float f)'],['../classSVF_1_1Z3Expr.html#a540f1dc9615fd9765cff52a2a17adadc',1,'SVF::Z3Expr::Z3Expr(double f)'],['../classSVF_1_1Z3Expr.html#abda8e52003e163cda25d75a4cb520290',1,'SVF::Z3Expr::Z3Expr()'],['../classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8',1,'SVF::Z3Expr::Z3Expr(const z3::expr &_e)'],['../classSVF_1_1Z3Expr.html#a8a6922b80af6a71d3b94fdd7c31e130b',1,'SVF::Z3Expr::Z3Expr(int i)'],['../classSVF_1_1Z3Expr.html#a004ca551a4c40e295bcab56374a45947',1,'SVF::Z3Expr::Z3Expr(const Z3Expr &z3Expr)']]],
+  ['z3expr_2eh',['Z3Expr.h',['../Z3Expr_8h.html',1,'']]],
+  ['z3expr2numvalue',['z3Expr2NumValue',['../classSVF_1_1ExeState.html#ab931a1b6a85d3db047bc50741a22c8a6',1,'SVF::ExeState']]],
   ['zdd_5fentry',['zdd_entry',['../cuddInt_8c.html#a0383f539c9cc3b5550058de401a7bf00',1,'cuddInt.c']]],
   ['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']]],

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

@@ -6,16 +6,13 @@ 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']]],
-  ['_7ebddmanager',['~BDDManager',['../classSVF_1_1BDDManager.html#aaede06df8ca879e9116a16ed690b2f8e',1,'SVF::BDDManager']]],
+  ['_7ebddexprmanager',['~BDDExprManager',['../classSVF_1_1BDDExprManager.html#aecc9ec67017d4f5309cba7be6e83deea',1,'SVF::BDDExprManager']]],
   ['_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']]],
-  ['_7ecflsolver',['~CFLSolver',['../classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b',1,'SVF::CFLSolver']]],
   ['_7echgraph',['~CHGraph',['../classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00',1,'SVF::CHGraph']]],
   ['_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#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']]],
@@ -42,6 +39,7 @@ var searchData=
   ['_7edoublefreechecker',['~DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#a2eddb7691ad68af168fcae3dacd79824',1,'SVF::DoubleFreeChecker']]],
   ['_7edpitem',['~DPItem',['../classSVF_1_1DPItem.html#a1df86140eee6015369836d20d509f14d',1,'SVF::DPItem']]],
   ['_7eentrychi',['~EntryCHI',['../classSVF_1_1EntryCHI.html#ac198f01dd7ebac778367b63081ae487b',1,'SVF::EntryCHI']]],
+  ['_7eexestate',['~ExeState',['../classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167',1,'SVF::ExeState']]],
   ['_7efifoworklist',['~FIFOWorkList',['../classSVF_1_1FIFOWorkList.html#a1471fb927833748ab34fe0ef3cf0eada',1,'SVF::FIFOWorkList']]],
   ['_7efilechecker',['~FileChecker',['../classSVF_1_1FileChecker.html#aaf316bcb90a37d577631598f738945da',1,'SVF::FileChecker']]],
   ['_7efiloworklist',['~FILOWorkList',['../classSVF_1_1FILOWorkList.html#a5fb3e9576859201a7ace30d39f450fa0',1,'SVF::FILOWorkList']]],
@@ -90,7 +88,6 @@ var searchData=
   ['_7eobjtypeinfo',['~ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#ace5fdb3701cb93df0f02aedc94e7e975',1,'SVF::ObjTypeInfo']]],
   ['_7epagbuilderfromfile',['~PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html#af7da977f61e577c97cdd663c971af5b7',1,'SVF::PAGBuilderFromFile']]],
   ['_7epathcondallocator',['~PathCondAllocator',['../classSVF_1_1PathCondAllocator.html#ab9215223c463ef43f18f5151d6cd0fe3',1,'SVF::PathCondAllocator']]],
-  ['_7epathstmtdpitem',['~PathStmtDPItem',['../classSVF_1_1PathStmtDPItem.html#adbe4b6f0f18f74661be01a17892aa839',1,'SVF::PathStmtDPItem']]],
   ['_7epcg',['~PCG',['../classSVF_1_1PCG.html#a3986717a8a3e1515747c3ab2c3e93ca7',1,'SVF::PCG']]],
   ['_7epersistentdfptdata',['~PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html#ad9ccba048d0c749d1c2cafc517f78181',1,'SVF::PersistentDFPTData']]],
   ['_7epersistentdiffptdata',['~PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html#a311ada9c9a0376c71dae24841cc60b7a',1,'SVF::PersistentDiffPTData']]],
@@ -111,6 +108,7 @@ var searchData=
   ['_7esaberannotator',['~SaberAnnotator',['../classSVF_1_1SaberAnnotator.html#a6a42eb94fe1604eba729c9f7b449b93c',1,'SVF::SaberAnnotator']]],
   ['_7esabersvfgbuilder',['~SaberSVFGBuilder',['../classSVF_1_1SaberSVFGBuilder.html#a1400bd13453c77defbd085f5bb334bca',1,'SVF::SaberSVFGBuilder']]],
   ['_7esrcsnkdda',['~SrcSnkDDA',['../classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df',1,'SVF::SrcSnkDDA']]],
+  ['_7esrcsnksolver',['~SrcSnkSolver',['../classSVF_1_1SrcSnkSolver.html#a2e5019545fc7175402eb6bd6d898afa9',1,'SVF::SrcSnkSolver']]],
   ['_7estinfo',['~StInfo',['../classSVF_1_1StInfo.html#a1fa88b6bfbbd648df1b15f11d61578ed',1,'SVF::StInfo']]],
   ['_7estmtdpitem',['~StmtDPItem',['../classSVF_1_1StmtDPItem.html#a710bee7fe8262d1fe8ed9c6160562abb',1,'SVF::StmtDPItem']]],
   ['_7estorechi',['~StoreCHI',['../classSVF_1_1StoreCHI.html#a95f30699dd8622ff60d4aba7e51d0ecf',1,'SVF::StoreCHI']]],
@@ -136,12 +134,10 @@ var searchData=
   ['_7eversionedptdata',['~VersionedPTData',['../classSVF_1_1VersionedPTData.html#af97621df8039a6453597d03b7641ec81',1,'SVF::VersionedPTData']]],
   ['_7evfg',['~VFG',['../classSVF_1_1VFG.html#a66f439ffebda7a81925514b77199154b',1,'SVF::VFG']]],
   ['_7evfgedge',['~VFGEdge',['../classSVF_1_1VFGEdge.html#a35e826ecdbdc55cb72aaec6c91419b0d',1,'SVF::VFGEdge']]],
-  ['_7evfpathcond',['~VFPathCond',['../classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06',1,'SVF::VFPathCond']]],
   ['_7ewpafssolver',['~WPAFSSolver',['../classSVF_1_1WPAFSSolver.html#ab3c7f670b0f0e055d5398e69b61194f8',1,'SVF::WPAFSSolver']]],
   ['_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']]],
-  ['_7ez3expr',['~Z3Expr',['../classSVF_1_1Z3Expr.html#a2abc206f11015c52db2eb189114b0dfc',1,'SVF::Z3Expr']]],
-  ['_7ez3manager',['~Z3Manager',['../classSVF_1_1Z3Manager.html#ad3d9d77ee64d84bb204fa66c1a51a01a',1,'SVF::Z3Manager']]]
+  ['_7ez3expr',['~Z3Expr',['../classSVF_1_1Z3Expr.html#ab7310d0e1e92a0150fde7c7aae961f9d',1,'SVF::Z3Expr']]]
 ];

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

@@ -3,7 +3,7 @@ var searchData=
   ['bac',['BAC',['../cuddInt_8c.html#a31c96ef8dde939ca7e2e3e08cedcabc4',1,'cuddInt.c']]],
   ['bacd',['BACD',['../cuddInt_8c.html#a28d189a1b369b46600c83ab6f47b1515',1,'cuddInt.c']]],
   ['background',['background',['../structDdManager.html#af901aff58575a7fea75f7de35b4684b6',1,'DdManager::background()'],['../cuddInt_8c.html#aaf93dea94cfd93476e9c11d890891aff',1,'background(): cuddInt.c']]],
-  ['backpropagate',['backPropagate',['../classSVF_1_1TypeBasedHeapCloning.html#a1d48cd7ccbcd9bdf1470a5d9aca3298d',1,'SVF::TypeBasedHeapCloning::backPropagate()'],['../classSVF_1_1FlowSensitiveTBHC.html#a81ce8b1e98db245d3f4ccf189ca11e47',1,'SVF::FlowSensitiveTBHC::backPropagate()']]],
+  ['backpropagate',['backPropagate',['../classSVF_1_1FlowSensitiveTBHC.html#a81ce8b1e98db245d3f4ccf189ca11e47',1,'SVF::FlowSensitiveTBHC::backPropagate()'],['../classSVF_1_1TypeBasedHeapCloning.html#a1d48cd7ccbcd9bdf1470a5d9aca3298d',1,'SVF::TypeBasedHeapCloning::backPropagate()']]],
   ['backtracealongdirectvf',['backtraceAlongDirectVF',['../classSVF_1_1DDAVFSolver.html#a7a6af30f30f32d55fc910f2ae4909791',1,'SVF::DDAVFSolver']]],
   ['backtracealongindirectvf',['backtraceAlongIndirectVF',['../classSVF_1_1DDAVFSolver.html#a040bc02742836b0a6d46ce3c3e89fa46',1,'SVF::DDAVFSolver']]],
   ['backtracetostoresrc',['backtraceToStoreSrc',['../classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7',1,'SVF::DDAVFSolver']]],
@@ -11,7 +11,7 @@ var searchData=
   ['backwardslice',['backwardslice',['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()'],['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()']]],
   ['backwardslicebegin',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
   ['backwardsliceend',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse',['backwardTraverse',['../classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68',1,'SVF::CFLSolver']]],
+  ['backwardtraverse',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver']]],
   ['backwardvisited',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
   ['badc',['BADC',['../cuddInt_8c.html#af443a49990c3ce480d6d41cb65630c1f',1,'cuddInt.c']]],
   ['bang',['bang',['../cuddInt_8c.html#a6c2c4a63badba1daf2d17524b546d120',1,'cuddInt.c']]],
@@ -45,20 +45,18 @@ var searchData=
   ['bdac',['BDAC',['../cuddInt_8c.html#a69f0b7297d052b1adc888ee7ee4c7424',1,'cuddInt.c']]],
   ['bdca',['BDCA',['../cuddInt_8c.html#aac659dd8666fb65150f374777cab856c',1,'cuddInt.c']]],
   ['bddcheckpositivecube',['bddCheckPositiveCube',['../cuddInt_8c.html#aa907c629e5e87f8c38a43b77ed2e482b',1,'cuddInt.c']]],
-  ['bddcond',['BDDCond',['../classSVF_1_1BDDExpr.html#a8b8ff2750644582e55ff8a5d39826f9f',1,'SVF::BDDExpr::BDDCond()'],['../classSVF_1_1BDDManager.html#a7a1692324d6b152588ef4d52013f8d00',1,'SVF::BDDManager::BDDCond()'],['../classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731',1,'SVF::BDDExpr::bddCond()']]],
-  ['bddexpr',['BDDExpr',['../classSVF_1_1BDDExpr.html',1,'SVF::BDDExpr'],['../classSVF_1_1BDDExpr.html#af82f0f6bc1567f2bd3bbb65b6d6473c1',1,'SVF::BDDExpr::BDDExpr()']]],
+  ['bddexpr',['BDDExpr',['../classSVF_1_1BDDExprManager.html#a90e685c420e4ac20104498883dbed9ea',1,'SVF::BDDExprManager']]],
+  ['bddexpr_2ecpp',['BDDExpr.cpp',['../BDDExpr_8cpp.html',1,'']]],
+  ['bddexpr_2eh',['BDDExpr.h',['../BDDExpr_8h.html',1,'']]],
+  ['bddexprmanager',['BDDExprManager',['../classSVF_1_1BDDExprManager.html',1,'SVF::BDDExprManager'],['../classSVF_1_1BDDExprManager.html#a632e4559983a49e1d05bb51e46aeba78',1,'SVF::BDDExprManager::BDDExprManager()']]],
+  ['bddexprmgr',['bddExprMgr',['../classSVF_1_1BDDExprManager.html#a77a80afdf1cece7159d295f7ba11ae8f',1,'SVF::BDDExprManager']]],
   ['bddfixtree',['bddFixTree',['../cuddInt_8c.html#afed29bb40cfd57de1cc37c029ada1175',1,'cuddInt.c']]],
-  ['bddk',['BDDK',['../classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6a0e68dccd136b7398316e1e931bef06bb',1,'SVF::CondExpr']]],
-  ['bddmanager',['BDDManager',['../classSVF_1_1BDDManager.html',1,'SVF::BDDManager'],['../classSVF_1_1BDDManager.html#a10be33f7829cb2da0ba1c3b2ddc22261',1,'SVF::BDDManager::BDDManager()']]],
-  ['bddmgrk',['BDDMgrK',['../classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d',1,'SVF::CondManager']]],
-  ['bddone',['BddOne',['../classSVF_1_1BDDManager.html#a51e174fcf76d5adbf22717c0b95c0286',1,'SVF::BDDManager']]],
-  ['bddsupportstep',['BddSupportStep',['../classSVF_1_1BDDManager.html#a1b7908b727c638d9cfd5e7347dd6b63d',1,'SVF::BDDManager']]],
-  ['bddtobddcondexpr',['BDDToBDDCondExpr',['../classSVF_1_1BDDManager.html#a54716dd8be2691e3e0dbffc14461c1e8',1,'SVF::BDDManager']]],
-  ['bddtobddcondexprmap',['bddToBddCondExprMap',['../classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3',1,'SVF::BDDManager']]],
+  ['bddone',['BddOne',['../classSVF_1_1BDDExprManager.html#ad3a15ad0aaa40945fd4be7564c5bed64',1,'SVF::BDDExprManager']]],
+  ['bddsupportstep',['BddSupportStep',['../classSVF_1_1BDDExprManager.html#adc2d7b6e5336173550f29f7c5bd2ce0e',1,'SVF::BDDExprManager']]],
   ['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_1BDDManager.html#a22c04e2cf77af9c02755d1544b68e112',1,'SVF::BDDManager']]],
+  ['bddzero',['BddZero',['../classSVF_1_1BDDExprManager.html#af256907dc3ce3ae8cbf4ab75fa1f309f',1,'SVF::BDDExprManager']]],
   ['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']]],
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['beta',['BETA',['../cuddInt_8c.html#a1b996515309fc3c03449912bb33046e3',1,'cuddInt.c']]],
@@ -134,10 +132,11 @@ var searchData=
   ['buildvirtualfunctiontoidmap',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
   ['buildvtables',['buildVTables',['../classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f',1,'SVF::DCHGraph']]],
   ['bv',['bv',['../classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587',1,'SVF::PointsTo::bv()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892',1,'SVF::PointsTo::BV()']]],
+  ['bv2int',['bv2int',['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr']]],
   ['bvdataimpl',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
   ['bvdataptaimpl',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
   ['bvit',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bwprocesscurnode',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8',1,'SVF::CFLSolver::BWProcessCurNode()']]],
-  ['bwprocessincomingedge',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3',1,'SVF::CFLSolver::BWProcessIncomingEdge()']]],
+  ['bwprocesscurnode',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()']]],
+  ['bwprocessincomingedge',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()']]],
   ['bypassmssaphinode',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
 ];