svf-tools 1.0.890 → 1.0.892

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

@@ -1,66 +1,66 @@
 var searchData=
 [
-  ['s32_5ft_13073',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
-  ['s64_5ft_13074',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
-  ['scalarevolution_13075',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
-  ['scalarevolutionwrapperpass_13076',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc_13077',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
-  ['scev_13078',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
-  ['scevaddrecexpr_13079',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
-  ['scevconstant_13080',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
-  ['selectinst_13081',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
-  ['set_13082',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
-  ['sfrtrait_13083',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
-  ['shufflevectorinst_13084',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
-  ['simpletype_13085',['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#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
-  ['singlecondvar_13086',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
-  ['size_5ftype_13087',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
-  ['smdiagnostic_13088',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
-  ['stack_13089',['Stack',['../classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019',1,'SVF::WTO']]],
-  ['stmtsvfgnode_13090',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
-  ['storechi_13091',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
-  ['storeinst_13092',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
-  ['storeset_13093',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
-  ['storestomrsmap_13094',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
-  ['storestopointstomap_13095',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
-  ['storesvfgnode_13096',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
-  ['storetochisetmap_13097',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
-  ['storetopmsetmap_13098',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
-  ['structlayout_13099',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
-  ['structtype_13100',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
-  ['succ_5fconst_5fiterator_13101',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
-  ['succandcondpairvec_13102',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
-  ['succbbandcondvalpair_13103',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
-  ['succbbandcondvalpairvec_13104',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
-  ['super_13105',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['svfgedge_13106',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
-  ['svfgedgek_13107',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
-  ['svfgedgeset_13108',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
-  ['svfgedgesetty_13109',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
-  ['svfgnode_13110',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
-  ['svfgnodebs_13111',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
-  ['svfgnodeidset_13112',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
-  ['svfgnodeidtonodemapty_13113',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
-  ['svfgnodeset_13114',['SVFGNodeSet',['../classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841',1,'SVF::CFLSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
-  ['svfgnodesetiter_13115',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap_13116',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
-  ['svfgnodetocsidmap_13117',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
-  ['svfgnodetodpitemsmap_13118',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodetoslicemap_13119',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
-  ['svfgnodetosvfgnodesetmap_13120',['SVFGNodeToSVFGNodeSetMap',['../classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335',1,'SVF::ProgSlice::SVFGNodeToSVFGNodeSetMap()'],['../classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab',1,'SVF::SaberCondAllocator::SVFGNodeToSVFGNodeSetMap()']]],
-  ['svfgnodevec_13121',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
-  ['svfgscc_13122',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
-  ['svfloopvec_13123',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
-  ['svfstmtlist_13124',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
-  ['svfstmtset_13125',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
-  ['svfstmtsetty_13126',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
-  ['svftypelocsetspair_13127',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
-  ['svftypeset_13128',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
-  ['svfvalue2llvmvaluemap_13129',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
-  ['svfvarlist_13130',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
-  ['switchinst_13131',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
-  ['symbol_13132',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
-  ['symbolmap_13133',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
-  ['symbolset_13134',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
-  ['symid_13135',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
+  ['s32_5ft_13075',['s32_t',['../namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e',1,'SVF']]],
+  ['s64_5ft_13076',['s64_t',['../namespaceSVF.html#ad781b0b14e89773e774072b280658ef3',1,'SVF']]],
+  ['scalarevolution_13077',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
+  ['scalarevolutionwrapperpass_13078',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
+  ['scc_13079',['SCC',['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scev_13080',['SCEV',['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF']]],
+  ['scevaddrecexpr_13081',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
+  ['scevconstant_13082',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
+  ['selectinst_13083',['SelectInst',['../namespaceSVF.html#ab7fac9d4a4839be445c89777e21bc307',1,'SVF']]],
+  ['set_13084',['Set',['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF']]],
+  ['sfrtrait_13085',['SFRTrait',['../classSVF_1_1AndersenSFR.html#a2d41b49a1474c030ef2324c14467af30',1,'SVF::AndersenSFR']]],
+  ['shufflevectorinst_13086',['ShuffleVectorInst',['../namespaceSVF.html#a64e69f438b8c302c4cae27735319fa49',1,'SVF']]],
+  ['simpletype_13087',['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#a8de25e1bb07ca0f995e5760065259531',1,'SVF::SVFUtil::simplify_type< const From >::SimpleType()']]],
+  ['singlecondvar_13088',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
+  ['size_5ftype_13089',['size_type',['../structSVF_1_1SparseBitVectorElement.html#ad9e38352db094adcdfb2964f325d9e53',1,'SVF::SparseBitVectorElement']]],
+  ['smdiagnostic_13090',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
+  ['stack_13091',['Stack',['../classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019',1,'SVF::WTO']]],
+  ['stmtsvfgnode_13092',['StmtSVFGNode',['../namespaceSVF.html#a26bd4f89dc154b9c6d34b6a517777934',1,'SVF']]],
+  ['storechi_13093',['STORECHI',['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['storeinst_13094',['StoreInst',['../namespaceSVF.html#ab696aab940eb187dc81217efe8649af5',1,'SVF']]],
+  ['storeset_13095',['StoreSet',['../classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e',1,'SVF::MTA']]],
+  ['storestomrsmap_13096',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator']]],
+  ['storestopointstomap_13097',['StoresToPointsToMap',['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator']]],
+  ['storesvfgnode_13098',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
+  ['storetochisetmap_13099',['StoreToChiSetMap',['../classSVF_1_1MemSSA.html#acfee1bb5534026ce991a1ab5e796c6b9',1,'SVF::MemSSA']]],
+  ['storetopmsetmap_13100',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
+  ['structlayout_13101',['StructLayout',['../namespaceSVF.html#a52c8654c221bb53a59f70ea3cb1e5c45',1,'SVF']]],
+  ['structtype_13102',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
+  ['succ_5fconst_5fiterator_13103',['succ_const_iterator',['../namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5',1,'SVF']]],
+  ['succandcondpairvec_13104',['SuccAndCondPairVec',['../classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666',1,'SVF::BranchStmt']]],
+  ['succbbandcondvalpair_13105',['SuccBBAndCondValPair',['../namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400',1,'SVF']]],
+  ['succbbandcondvalpairvec_13106',['SuccBBAndCondValPairVec',['../namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d',1,'SVF']]],
+  ['super_13107',['super',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aae0af8f079614e0a971c7db4b9de18fa',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['svfgedge_13108',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
+  ['svfgedgek_13109',['SVFGEdgeK',['../classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b',1,'SVF::ICFGEdge::SVFGEdgeK()'],['../classSVF_1_1VFGEdge.html#ae77e57aa36ed43fe83efa4c90a84688f',1,'SVF::VFGEdge::SVFGEdgeK()']]],
+  ['svfgedgeset_13110',['SVFGEdgeSet',['../classSVF_1_1DDAPass.html#acc81a1f7ad572fa27648999334479f56',1,'SVF::DDAPass::SVFGEdgeSet()'],['../classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b',1,'SVF::DDAVFSolver::SVFGEdgeSet()'],['../classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838',1,'SVF::SVFGStat::SVFGEdgeSet()'],['../classSVF_1_1SVFGBuilder.html#a640158fff237cb5afabdf1c5946550e0',1,'SVF::SVFGBuilder::SVFGEdgeSet()']]],
+  ['svfgedgesetty_13111',['SVFGEdgeSetTy',['../classSVF_1_1CDGEdge.html#aa75059c2515efdbf735598db42767cd6',1,'SVF::CDGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56',1,'SVF::ICFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694',1,'SVF::VFG::SVFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a557334ef75bb5479b045f68c27b38701',1,'SVF::VFGEdge::SVFGEdgeSetTy()'],['../classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5',1,'SVF::FlowSensitive::SVFGEdgeSetTy()']]],
+  ['svfgnode_13112',['SVFGNode',['../namespaceSVF.html#a5dfa3fa5129bacdc0be0c051ccf386df',1,'SVF']]],
+  ['svfgnodebs_13113',['SVFGNodeBS',['../classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367',1,'SVF::LeakChecker::SVFGNodeBS()'],['../classSVF_1_1SrcSnkDDA.html#a70cff8ea7c033c01400935c9e446f2c6',1,'SVF::SrcSnkDDA::SVFGNodeBS()']]],
+  ['svfgnodeidset_13114',['SVFGNodeIDSet',['../classSVF_1_1MTASVFGBuilder.html#a17da7e5da237c23873e17250d9746939',1,'SVF::MTASVFGBuilder']]],
+  ['svfgnodeidtonodemapty_13115',['SVFGNodeIDToNodeMapTy',['../classSVF_1_1SVFG.html#a3d04ce1429b1edf90c9c0833e3b5a4a9',1,'SVF::SVFG']]],
+  ['svfgnodeset_13116',['SVFGNodeSet',['../classSVF_1_1CFLSVFGBuilder.html#a0f20a668d844f54f1af93f2baae58841',1,'SVF::CFLSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
+  ['svfgnodesetiter_13117',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
+  ['svfgnodetocondmap_13118',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice']]],
+  ['svfgnodetocsidmap_13119',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
+  ['svfgnodetodpitemsmap_13120',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodetoslicemap_13121',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
+  ['svfgnodetosvfgnodesetmap_13122',['SVFGNodeToSVFGNodeSetMap',['../classSVF_1_1ProgSlice.html#a256122a6455854a99131b807f7eb8335',1,'SVF::ProgSlice::SVFGNodeToSVFGNodeSetMap()'],['../classSVF_1_1SaberCondAllocator.html#a1e5ab069ebb4d17f04788a37fa616cab',1,'SVF::SaberCondAllocator::SVFGNodeToSVFGNodeSetMap()']]],
+  ['svfgnodevec_13123',['SVFGNodeVec',['../classSVF_1_1MTASVFGBuilder.html#a2d0e5077ce9ae6148845db607f086312',1,'SVF::MTASVFGBuilder']]],
+  ['svfgscc_13124',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
+  ['svfloopvec_13125',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
+  ['svfstmtlist_13126',['SVFStmtList',['../classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072',1,'SVF::ICFGNode::SVFStmtList()'],['../classSVF_1_1MRGenerator.html#a8717adf4520e0702274c5f013776be52',1,'SVF::MRGenerator::SVFStmtList()'],['../classSVF_1_1MemSSA.html#a445d282890dbd2fb51e903255af1cc3e',1,'SVF::MemSSA::SVFStmtList()'],['../classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9',1,'SVF::SVFIR::SVFStmtList()']]],
+  ['svfstmtset_13127',['SVFStmtSet',['../classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416',1,'SVF::IRGraph::SVFStmtSet()'],['../classSVF_1_1VFG.html#a8e3633597a4dca714df20e0720b31f1e',1,'SVF::VFG::SVFStmtSet()']]],
+  ['svfstmtsetty_13128',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
+  ['svftypelocsetspair_13129',['SVFTypeLocSetsPair',['../classSVF_1_1SVFIR.html#a9062fc3ed889f8971fb2ea49b8de3674',1,'SVF::SVFIR']]],
+  ['svftypeset_13130',['SVFTypeSet',['../classSVF_1_1SymbolTableInfo.html#a87d443030a8a86e13be5a3a964bc7fa4',1,'SVF::SymbolTableInfo']]],
+  ['svfvalue2llvmvaluemap_13131',['SVFValue2LLVMValueMap',['../classSVF_1_1LLVMModuleSet.html#aa872d7a6b6bf3ec944bd9077de51b259',1,'SVF::LLVMModuleSet']]],
+  ['svfvarlist_13132',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
+  ['switchinst_13133',['SwitchInst',['../namespaceSVF.html#a412280b134578905248ce0122c5db7c9',1,'SVF']]],
+  ['symbol_13134',['Symbol',['../classSVF_1_1GrammarBase.html#a760208fb9737e766deb79d593ab86a3c',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a2ab271d42ab82aea2adf8b0e641aa39c',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96',1,'SVF::CFLGraph::Symbol()']]],
+  ['symbolmap_13135',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
+  ['symbolset_13136',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
+  ['symid_13137',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
 ];

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

@@ -1,16 +1,16 @@
 var searchData=
 [
-  ['tctnodeiter_13136',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
-  ['tdapimap_13137',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
-  ['threadcallgraphscc_13138',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
-  ['threadcreateedgeset_13139',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
-  ['threadid_13140',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
-  ['threadpairset_13141',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
-  ['threadstmttothreadinterleav_13142',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
-  ['timestatmap_13143',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat']]],
-  ['type_13144',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
-  ['type2typeinfomap_13145',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
-  ['typelocsetsmap_13146',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
-  ['typemap_13147',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
-  ['typestate_13148',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
+  ['tctnodeiter_13138',['TCTNodeIter',['../classSVF_1_1TCT.html#a6f4ab4fb901620c733d90b380c9db670',1,'SVF::TCT']]],
+  ['tdapimap_13139',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
+  ['threadcallgraphscc_13140',['ThreadCallGraphSCC',['../classSVF_1_1TCT.html#a71942c7386d094426ae86633a9b1f755',1,'SVF::TCT']]],
+  ['threadcreateedgeset_13141',['ThreadCreateEdgeSet',['../classSVF_1_1TCTEdge.html#aecd13905b54ae91d938b610be828deb5',1,'SVF::TCTEdge::ThreadCreateEdgeSet()'],['../classSVF_1_1TCT.html#a7c53c7ff773a253976374392d4930d6e',1,'SVF::TCT::ThreadCreateEdgeSet()']]],
+  ['threadid_13142',['ThreadID',['../namespaceSVF.html#a10cddb090690c82a2aab31a480253d35',1,'SVF']]],
+  ['threadpairset_13143',['ThreadPairSet',['../classSVF_1_1ForkJoinAnalysis.html#a7fb8df483e619337e77088e8543a9846',1,'SVF::ForkJoinAnalysis']]],
+  ['threadstmttothreadinterleav_13144',['ThreadStmtToThreadInterleav',['../classSVF_1_1MHP.html#ac30f283cb2ad020a054ee6525ca94025',1,'SVF::MHP']]],
+  ['timestatmap_13145',['TIMEStatMap',['../classSVF_1_1SVFStat.html#a8bb01becef1eb8d6113d946d29d904bd',1,'SVF::SVFStat']]],
+  ['type_13146',['type',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35',1,'SVF::SVFUtil::add_const_past_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179',1,'SVF::SVFUtil::add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type()'],['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce',1,'SVF::SVFUtil::add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >::type()'],['../structSVF_1_1SVFUtil_1_1make__void.html#ac2eb79d0fe9a0f94eb1992600ba91e36',1,'SVF::SVFUtil::make_void::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type2typeinfomap_13147',['Type2TypeInfoMap',['../classSVF_1_1LLVMModuleSet.html#a3c2eb10a20604bf794d2d10f2cffb116',1,'SVF::LLVMModuleSet']]],
+  ['typelocsetsmap_13148',['TypeLocSetsMap',['../classSVF_1_1SVFIR.html#ad74ca54e6d62d4410038ef900ea8f150',1,'SVF::SVFIR']]],
+  ['typemap_13149',['TypeMap',['../classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f',1,'SVF::POCRSolver']]],
+  ['typestate_13150',['TypeState',['../classSVF_1_1SymState.html#af41520fdb48700f86231047d1db5d482',1,'SVF::SymState']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['u32_5ft_13149',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
-  ['u64_5ft_13150',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
-  ['unaryoperator_13151',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
-  ['undefvalue_13152',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
-  ['unifyfunctionexitnodes_13153',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
-  ['unreachableinst_13154',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
-  ['updatedvarconstiter_13155',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
-  ['updatedvarmap_13156',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
-  ['updatedvarmapiter_13157',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
-  ['use_13158',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
-  ['user_13159',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
+  ['u32_5ft_13151',['u32_t',['../CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da',1,'u32_t(): CommandLine.h'],['../namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af',1,'SVF::u32_t()']]],
+  ['u64_5ft_13152',['u64_t',['../namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14',1,'SVF']]],
+  ['unaryoperator_13153',['UnaryOperator',['../namespaceSVF.html#a292a6e8c5b4f2023b5575879c57eca62',1,'SVF']]],
+  ['undefvalue_13154',['UndefValue',['../namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec',1,'SVF']]],
+  ['unifyfunctionexitnodes_13155',['UnifyFunctionExitNodes',['../namespaceSVF.html#ae5853f7df76735b195ff93949ca4256b',1,'SVF']]],
+  ['unreachableinst_13156',['UnreachableInst',['../namespaceSVF.html#a8ac6a8ff90f47a93166fbdf15be2d721',1,'SVF']]],
+  ['updatedvarconstiter_13157',['UpdatedVarconstIter',['../classSVF_1_1MutableIncDFPTData.html#af815dd2108c16e1dfddbcd5bdbcceeb6',1,'SVF::MutableIncDFPTData']]],
+  ['updatedvarmap_13158',['UpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#a67c24cebffdcea9c8059f6769c7f9798',1,'SVF::MutableIncDFPTData::UpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#abad78c2ef84371b693dca206ebbb63ab',1,'SVF::PersistentIncDFPTData::UpdatedVarMap()']]],
+  ['updatedvarmapiter_13159',['UpdatedVarMapIter',['../classSVF_1_1MutableIncDFPTData.html#a8b30326d3fa3f4054e67268f512aec9e',1,'SVF::MutableIncDFPTData']]],
+  ['use_13160',['Use',['../namespaceSVF.html#a334998718813a19a7697daf4ba282faf',1,'SVF']]],
+  ['user_13161',['User',['../namespaceSVF.html#afc1b50355821e7299df03b026e36f1df',1,'SVF']]]
 ];

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

@@ -1,43 +1,43 @@
 var searchData=
 [
-  ['vaarginst_13160',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
-  ['vacopyinst_13161',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
-  ['vaendinst_13162',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
-  ['value_13163',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
-  ['value_5ftype_13164',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
-  ['valueboolpair_13165',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
-  ['valueset_13166',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
-  ['valuetoclassnames_13167',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
-  ['valuetoedgemap_13168',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
-  ['valuetoidmapty_13169',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
-  ['valuetoinfersites_13170',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
-  ['valuetosources_13171',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
-  ['valuetotype_13172',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
-  ['valuetovalueset_13173',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
-  ['var2labelmap_13174',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
-  ['variableattribute_13175',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
-  ['vartoaddrs_13176',['VarToAddrs',['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState']]],
-  ['vartopropnodemap_13177',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
-  ['vartovalmap_13178',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
-  ['vastartinst_13179',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
-  ['vectortype_13180',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
-  ['version_13181',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
-  ['versionedkeytoidmap_13182',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
-  ['versionedptdataty_13183',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
-  ['versionedvar_13184',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
-  ['versionedvarset_13185',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
-  ['versionreliancemap_13186',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
-  ['versionset_13187',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
-  ['vfgedgesetty_13188',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
-  ['vfgnodeidtonodemapty_13189',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
-  ['vfgnodeiter_13190',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
-  ['vfgnodelist_13191',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
-  ['vfgnodeset_13192',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
-  ['vfunset_13193',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
-  ['vfworklist_13194',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
-  ['void_5ft_13195',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
-  ['vtableptrtocallsitemap_13196',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
-  ['vtableset_13197',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
-  ['vthdtocxtmap_13198',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
-  ['vthdtorthdmap_13199',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
+  ['vaarginst_13162',['VAArgInst',['../namespaceSVF.html#abcafc32093ff5ee038b5fcf6e4076ed4',1,'SVF']]],
+  ['vacopyinst_13163',['VACopyInst',['../namespaceSVF.html#a0f3339f5241441c7e6023df9e0cfa295',1,'SVF']]],
+  ['vaendinst_13164',['VAEndInst',['../namespaceSVF.html#adb305e32f35af19b870b07711ba5b913',1,'SVF']]],
+  ['value_13165',['Value',['../namespaceSVF.html#a90b263fd2f541eca78135078114cabda',1,'SVF']]],
+  ['value_5ftype_13166',['value_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751',1,'SVF::PointsTo::PointsToIterator::value_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1',1,'SVF::CoreBitVector::CoreBitVectorIterator::value_type()'],['../classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c',1,'SVF::iter_facade_base::value_type()']]],
+  ['valueboolpair_13167',['ValueBoolPair',['../classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6',1,'SVF::ObjTypeInference']]],
+  ['valueset_13168',['ValueSet',['../classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25',1,'SVF::ObjTypeInference']]],
+  ['valuetoclassnames_13169',['ValueToClassNames',['../classSVF_1_1ObjTypeInference.html#ae23313c88149711f2ce74a2c6d3e9da8',1,'SVF::ObjTypeInference']]],
+  ['valuetoedgemap_13170',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc',1,'SVF::IRGraph']]],
+  ['valuetoidmapty_13171',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af',1,'SVF::SymbolTableInfo']]],
+  ['valuetoinfersites_13172',['ValueToInferSites',['../classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2',1,'SVF::ObjTypeInference']]],
+  ['valuetosources_13173',['ValueToSources',['../classSVF_1_1ObjTypeInference.html#a3ef6cdbd56a4d169a2d2cab0b2f6515b',1,'SVF::ObjTypeInference']]],
+  ['valuetotype_13174',['ValueToType',['../classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9',1,'SVF::ObjTypeInference']]],
+  ['valuetovalueset_13175',['ValueToValueSet',['../classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934',1,'SVF::ObjTypeInference']]],
+  ['var2labelmap_13176',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
+  ['variableattribute_13177',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
+  ['vartoaddrs_13178',['VarToAddrs',['../classSVF_1_1ExeState.html#a09f34aca79479221305769cae307feef',1,'SVF::ExeState']]],
+  ['vartopropnodemap_13179',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
+  ['vartovalmap_13180',['VarToValMap',['../classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc',1,'SVF::ConsExeState::VarToValMap()'],['../classSVF_1_1IntervalESBase.html#a02e3d5f7074c4f77338edc9a7add95d8',1,'SVF::IntervalESBase::VarToValMap()'],['../classSVF_1_1RelExeState.html#afcdf0c842f48a35cf19b2f7887174e98',1,'SVF::RelExeState::VarToValMap()']]],
+  ['vastartinst_13181',['VAStartInst',['../namespaceSVF.html#ad92e392a50e7c6c1f635fe2dcebd1adc',1,'SVF']]],
+  ['vectortype_13182',['VectorType',['../namespaceSVF.html#a1eaed46fa67cf1a51e438c5f8f523418',1,'SVF']]],
+  ['version_13183',['Version',['../namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c',1,'SVF']]],
+  ['versionedkeytoidmap_13184',['VersionedKeyToIDMap',['../classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248',1,'SVF::PersistentVersionedPTData']]],
+  ['versionedptdataty_13185',['VersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94',1,'SVF::BVDataPTAImpl']]],
+  ['versionedvar_13186',['VersionedVar',['../namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf',1,'SVF']]],
+  ['versionedvarset_13187',['VersionedVarSet',['../namespaceSVF.html#a544021f3075a89ff634b215a0efe3385',1,'SVF']]],
+  ['versionreliancemap_13188',['VersionRelianceMap',['../classSVF_1_1VersionedFlowSensitive.html#ad8108ee0b034877dea5e927d29ca0534',1,'SVF::VersionedFlowSensitive']]],
+  ['versionset_13189',['VersionSet',['../namespaceSVF.html#a046466b2ed3618072fee227b569da6eb',1,'SVF']]],
+  ['vfgedgesetty_13190',['VFGEdgeSetTy',['../classSVF_1_1VFG.html#a0bdac7337a393ad2e21a33ec1978ca3f',1,'SVF::VFG::VFGEdgeSetTy()'],['../classSVF_1_1VFGEdge.html#a54e8b1d339da481222292e3b62d1e765',1,'SVF::VFGEdge::VFGEdgeSetTy()']]],
+  ['vfgnodeidtonodemapty_13191',['VFGNodeIDToNodeMapTy',['../classSVF_1_1VFG.html#aca5b658b87728ac8bd7e562d51e771f8',1,'SVF::VFG']]],
+  ['vfgnodeiter_13192',['VFGNodeIter',['../classSVF_1_1VFG.html#a3037ca34a555ebdb4fbf0e86291dc4ea',1,'SVF::VFG']]],
+  ['vfgnodelist_13193',['VFGNodeList',['../classSVF_1_1ICFGNode.html#a53a4a33b8ea241f46b37111905a48169',1,'SVF::ICFGNode']]],
+  ['vfgnodeset_13194',['VFGNodeSet',['../classSVF_1_1VFG.html#a03d388eec513f713f5e0d06f920168db',1,'SVF::VFG']]],
+  ['vfunset_13195',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
+  ['vfworklist_13196',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
+  ['void_5ft_13197',['void_t',['../namespaceSVF_1_1SVFUtil.html#ad37880353cffc950d5b9417bc41c0b06',1,'SVF::SVFUtil']]],
+  ['vtableptrtocallsitemap_13198',['VTablePtrToCallSiteMap',['../classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671',1,'SVF::FunptrDDAClient::VTablePtrToCallSiteMap()'],['../classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2',1,'SVF::AliasDDAClient::VTablePtrToCallSiteMap()']]],
+  ['vtableset_13199',['VTableSet',['../classSVF_1_1PointerAnalysis.html#a57fabf1408ada10028282deef0b23ec6',1,'SVF::PointerAnalysis::VTableSet()'],['../namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234',1,'SVF::VTableSet()']]],
+  ['vthdtocxtmap_13200',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()'],['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator::vthdToCxtMap()']]],
+  ['vthdtorthdmap_13201',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()'],['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator::vthdTorthdMap()']]]
 ];

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

@@ -1,14 +1,14 @@
 var searchData=
 [
-  ['word_13200',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
-  ['worklist_13201',['WorkList',['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d',1,'SVF::CFLSVFGBuilder::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_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
-  ['workstack_13202',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
-  ['wpaconstraintsolver_13203',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
-  ['wpasvfgfssolver_13204',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
-  ['wtocomponentreflist_13205',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
-  ['wtocomponentrefset_13206',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
-  ['wtocomponentt_13207',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
-  ['wtocycledepthptr_13208',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
-  ['wtocyclet_13209',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
-  ['wtonodet_13210',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
+  ['word_13202',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector']]],
+  ['worklist_13203',['WorkList',['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CFLSVFGBuilder.html#a287f937ab8cc7f493c942eb1bcdacd6d',1,'SVF::CFLSVFGBuilder::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_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
+  ['workstack_13204',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
+  ['wpaconstraintsolver_13205',['WPAConstraintSolver',['../namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4',1,'SVF']]],
+  ['wpasvfgfssolver_13206',['WPASVFGFSSolver',['../namespaceSVF.html#a221270d70aa99a37738c0f919519a73d',1,'SVF']]],
+  ['wtocomponentreflist_13207',['WTOComponentRefList',['../classSVF_1_1WTOCycle.html#a04d7ad708faad0b6cb360e6010c21600',1,'SVF::WTOCycle::WTOComponentRefList()'],['../classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9',1,'SVF::WTO::WTOComponentRefList()']]],
+  ['wtocomponentrefset_13208',['WTOComponentRefSet',['../classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9',1,'SVF::WTO']]],
+  ['wtocomponentt_13209',['WTOComponentT',['../classSVF_1_1WTOCycle.html#adaa4b0f063eaf6f1bd02da38fd3b29de',1,'SVF::WTOCycle::WTOComponentT()'],['../classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c',1,'SVF::WTO::WTOComponentT()']]],
+  ['wtocycledepthptr_13210',['WTOCycleDepthPtr',['../classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe',1,'SVF::WTO']]],
+  ['wtocyclet_13211',['WTOCycleT',['../classSVF_1_1WTOComponentVisitor.html#a978324f9b276a9d086b9e7a12feac997',1,'SVF::WTOComponentVisitor::WTOCycleT()'],['../classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429',1,'SVF::WTO::WTOCycleT()']]],
+  ['wtonodet_13212',['WTONodeT',['../classSVF_1_1WTOComponentVisitor.html#a873b7e2a4166cb6a5b48a63dbafa295d',1,'SVF::WTOComponentVisitor::WTONodeT()'],['../classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d',1,'SVF::WTO::WTONodeT()']]]
 ];