svf-tools 1.0.828 → 1.0.830

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

@@ -1,42 +1,42 @@
 var searchData=
 [
-  ['datadeque_12307',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
-  ['dataiter_12308',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
-  ['datalayout_12309',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
-  ['datamap_12310',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
-  ['dataop_12311',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset_12312',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
-  ['datavector_12313',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
-  ['dchedgesetty_12314',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
-  ['debuginfofinder_12315',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
-  ['dfinoutmap_12316',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
-  ['dfkeytoidmap_12317',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
-  ['dfptdataty_12318',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
-  ['dfptsmap_12319',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapconstiter_12320',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapiter_12321',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
-  ['dibasictype_12322',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
-  ['dicompositetype_12323',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
-  ['diderivedtype_12324',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
-  ['difference_5ftype_12325',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
-  ['diffptdataty_12326',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
-  ['dinode_12327',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
-  ['dinodearray_12328',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
-  ['distoccmap_12329',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['disubprogram_12330',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
-  ['disubrange_12331',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
-  ['disubroutinetype_12332',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
-  ['ditype_12333',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
-  ['dityperefarray_12334',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
-  ['dominancefrontier_12335',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
-  ['dominancefrontierbase_12336',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
-  ['dominatortree_12337',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
-  ['domtreenode_12338',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
-  ['dottraits_12339',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
-  ['dpim_12340',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
-  ['dpimset_12341',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
-  ['dpimtocptsetmap_12342',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
-  ['dpmtocvarmap_12343',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
-  ['dpmtodpmmap_12344',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
-  ['dptitemset_12345',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
+  ['datadeque_12312',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
+  ['dataiter_12313',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
+  ['datalayout_12314',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
+  ['datamap_12315',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
+  ['dataop_12316',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
+  ['dataset_12317',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
+  ['datavector_12318',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dchedgesetty_12319',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
+  ['debuginfofinder_12320',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
+  ['dfinoutmap_12321',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
+  ['dfkeytoidmap_12322',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
+  ['dfptdataty_12323',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
+  ['dfptsmap_12324',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapconstiter_12325',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapiter_12326',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
+  ['dibasictype_12327',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
+  ['dicompositetype_12328',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
+  ['diderivedtype_12329',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
+  ['difference_5ftype_12330',['difference_type',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a79da80a016d68d70b63bcaa884cf53cb',1,'SVF::PointsTo::PointsToIterator::difference_type()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aeabc3acd9ce15b8beff0db8a49d8781f',1,'SVF::CoreBitVector::CoreBitVectorIterator::difference_type()'],['../classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3',1,'SVF::iter_facade_base::difference_type()'],['../classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a',1,'SVF::iter_adaptor_base::difference_type()']]],
+  ['diffptdataty_12331',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
+  ['dinode_12332',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
+  ['dinodearray_12333',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
+  ['distoccmap_12334',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['disubprogram_12335',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
+  ['disubrange_12336',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
+  ['disubroutinetype_12337',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
+  ['ditype_12338',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
+  ['dityperefarray_12339',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
+  ['dominancefrontier_12340',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
+  ['dominancefrontierbase_12341',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
+  ['dominatortree_12342',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
+  ['domtreenode_12343',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
+  ['dottraits_12344',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
+  ['dpim_12345',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
+  ['dpimset_12346',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
+  ['dpimtocptsetmap_12347',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
+  ['dpmtocvarmap_12348',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
+  ['dpmtodpmmap_12349',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
+  ['dptitemset_12350',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
 ];

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

@@ -1,20 +1,20 @@
 var searchData=
 [
-  ['edgeid_12346',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
-  ['edgeset_12347',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
-  ['edgetype_12348',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
-  ['edgevector_12349',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
-  ['elementlist_12350',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
-  ['elementlistconstiter_12351',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
-  ['elementlistiter_12352',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
-  ['elementset_12353',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
-  ['entrychi_12354',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
-  ['equalgedge_12355',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
-  ['equalicfgedgewrapper_12356',['equalICFGEdgeWrapper',['../classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23',1,'SVF::CFBasicBlockEdge']]],
-  ['equalmemregion_12357',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
-  ['equalnodebs_12358',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
-  ['equalpointsto_12359',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
-  ['eventstack_12360',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
-  ['extractelementinst_12361',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
-  ['extractvalueinst_12362',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
+  ['edgeid_12351',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
+  ['edgeset_12352',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
+  ['edgetype_12353',['EdgeType',['../classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de',1,'SVF::GenericNode::EdgeType()'],['../classSVF_1_1GenericGraph.html#a12d493d6ad2b6c89f240c9ccfa3bdf30',1,'SVF::GenericGraph::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aeba2a9cf0cf40f5fdfe5c1d73cec675d',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >::EdgeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#acd54dc50af26d77b9a43f0da4e9584fb',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >::EdgeType()'],['../classSVF_1_1GenericGraphWriter.html#a52ba63585fdac0f8cd45c2cdd67c6853',1,'SVF::GenericGraphWriter::EdgeType()']]],
+  ['edgevector_12354',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
+  ['elementlist_12355',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
+  ['elementlistconstiter_12356',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
+  ['elementlistiter_12357',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
+  ['elementset_12358',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
+  ['entrychi_12359',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
+  ['equalgedge_12360',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
+  ['equalicfgedgewrapper_12361',['equalICFGEdgeWrapper',['../classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23',1,'SVF::CFBasicBlockEdge']]],
+  ['equalmemregion_12362',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
+  ['equalnodebs_12363',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
+  ['equalpointsto_12364',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
+  ['eventstack_12365',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
+  ['extractelementinst_12366',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
+  ['extractvalueinst_12367',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
 ];

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

@@ -1,44 +1,44 @@
 var searchData=
 [
-  ['fenceinst_12363',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
-  ['fieldreps_12364',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
-  ['forkedgeset_12365',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
-  ['formalinsvfgnodeset_12366',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
-  ['formaloutsvfgnodeset_12367',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
-  ['formalparmnodevec_12368',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
-  ['formalparmsvfgnode_12369',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
-  ['formalretsvfgnode_12370',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
-  ['freezeinst_12371',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
-  ['funcpair_12372',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
-  ['funcpairtobool_12373',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
-  ['function_12374',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
-  ['functionset_12375',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()']]],
-  ['functionsettype_12376',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
-  ['functiontoformalinsmapty_12377',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
-  ['functiontoformaloutsmapty_12378',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
-  ['functiontype_12379',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
-  ['funcvector_12380',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
-  ['fundecltodefmapty_12381',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmapty_12382',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
-  ['funptrtocallsitesmap_12383',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
-  ['funset_12384',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
-  ['funtoargslistmap_12385',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_12386',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_12387',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_12388',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
-  ['funtofunentrynodemapty_12389',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
-  ['funtofunexitnodemapty_12390',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
-  ['funtoidmapty_12391',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
-  ['funtointermap_12392',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
-  ['funtomrsmap_12393',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
-  ['funtonodebsmap_12394',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
-  ['funtopagedgesetmap_12395',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
-  ['funtopointstomap_12396',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
-  ['funtopointstosmap_12397',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
-  ['funtoptsmap_12398',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtoretmap_12399',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
-  ['funtoreturnmusetmap_12400',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmapty_12401',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
-  ['funvec_12402',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
-  ['funworklist_12403',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
+  ['fenceinst_12368',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
+  ['fieldreps_12369',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
+  ['forkedgeset_12370',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
+  ['formalinsvfgnodeset_12371',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
+  ['formaloutsvfgnodeset_12372',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
+  ['formalparmnodevec_12373',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
+  ['formalparmsvfgnode_12374',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
+  ['formalretsvfgnode_12375',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
+  ['freezeinst_12376',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
+  ['funcpair_12377',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
+  ['funcpairtobool_12378',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
+  ['function_12379',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
+  ['functionset_12380',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()']]],
+  ['functionsettype_12381',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
+  ['functiontoformalinsmapty_12382',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
+  ['functiontoformaloutsmapty_12383',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
+  ['functiontype_12384',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
+  ['funcvector_12385',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
+  ['fundecltodefmapty_12386',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmapty_12387',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
+  ['funptrtocallsitesmap_12388',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
+  ['funset_12389',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
+  ['funtoargslistmap_12390',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_12391',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_12392',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_12393',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
+  ['funtofunentrynodemapty_12394',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
+  ['funtofunexitnodemapty_12395',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
+  ['funtoidmapty_12396',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
+  ['funtointermap_12397',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
+  ['funtomrsmap_12398',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
+  ['funtonodebsmap_12399',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
+  ['funtopagedgesetmap_12400',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
+  ['funtopointstomap_12401',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
+  ['funtopointstosmap_12402',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
+  ['funtoptsmap_12403',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
+  ['funtoretmap_12404',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
+  ['funtoreturnmusetmap_12405',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmapty_12406',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
+  ['funvec_12407',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
+  ['funworklist_12408',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
 ];

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

@@ -1,58 +1,59 @@
 var searchData=
 [
-  ['gedge_12404',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
-  ['gedgeflag_12405',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
-  ['gedgekind_12406',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
-  ['gedgesetty_12407',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
-  ['genericcallgraphedgety_12408',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
-  ['genericcallgraphnodety_12409',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
-  ['genericcallgraphty_12410',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
-  ['genericcdgedgety_12411',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
-  ['genericcdgnodety_12412',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
-  ['genericcdgty_12413',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
-  ['genericcfbasicblockedgety_12414',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
-  ['genericcfbasicblockgty_12415',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
-  ['genericcfbasicblocknodety_12416',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
-  ['genericcfledgety_12417',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
-  ['genericcflgraphty_12418',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
-  ['genericcflnodety_12419',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
-  ['genericchedgety_12420',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
-  ['genericchgraphty_12421',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
-  ['genericchnodety_12422',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
-  ['genericconsedgety_12423',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
-  ['genericconsnodety_12424',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
-  ['genericgraphty_12425',['GenericGraphTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad6b730cda5ec993c3d7fbb3fedeeefe5',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['genericicfgedgety_12426',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
-  ['genericicfgnodety_12427',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
-  ['genericicfgreader_12428',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
-  ['genericicfgty_12429',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
-  ['genericicfgwriter_12430',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
-  ['genericpagedgety_12431',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
-  ['genericpagnodety_12432',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
-  ['generictctedgety_12433',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
-  ['generictctnodety_12434',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
-  ['genericthreadcreatetreety_12435',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
-  ['genericvfgedgety_12436',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
-  ['genericvfgnodety_12437',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
-  ['genericvfgty_12438',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
-  ['gep_5ftype_5fiterator_12439',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
-  ['gepsvfgnode_12440',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
-  ['gepvaluevarmap_12441',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
-  ['getelementptrinst_12442',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
-  ['global_5fiterator_12443',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
-  ['globalalias_12444',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
-  ['globaldeftorepmapty_12445',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
-  ['globalifunc_12446',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
-  ['globalobject_12447',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
-  ['globalsettype_12448',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
-  ['globalvalue_12449',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
-  ['globalvariable_12450',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
-  ['globalvfgnodeset_12451',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['gnode_12452',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
-  ['gnodek_12453',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
-  ['gnodesccinfomap_12454',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
-  ['gnodestack_12455',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graphprinter_12456',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
-  ['graphtype_12457',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
-  ['gtraits_12458',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
+  ['gedge_12409',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
+  ['gedgeflag_12410',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
+  ['gedgekind_12411',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
+  ['gedgesetty_12412',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
+  ['genericcallgraphedgety_12413',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
+  ['genericcallgraphnodety_12414',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
+  ['genericcallgraphty_12415',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
+  ['genericcdgedgety_12416',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
+  ['genericcdgnodety_12417',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
+  ['genericcdgty_12418',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
+  ['genericcfbasicblockedgety_12419',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
+  ['genericcfbasicblockgty_12420',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
+  ['genericcfbasicblocknodety_12421',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
+  ['genericcfledgety_12422',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
+  ['genericcflgraphty_12423',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
+  ['genericcflnodety_12424',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
+  ['genericchedgety_12425',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
+  ['genericchgraphty_12426',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
+  ['genericchnodety_12427',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
+  ['genericconsedgety_12428',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
+  ['genericconsnodety_12429',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
+  ['genericgraphty_12430',['GenericGraphTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad6b730cda5ec993c3d7fbb3fedeeefe5',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['genericicfgedgety_12431',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
+  ['genericicfgnodety_12432',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
+  ['genericicfgreader_12433',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
+  ['genericicfgty_12434',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
+  ['genericicfgwriter_12435',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
+  ['genericpagedgety_12436',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
+  ['genericpagnodety_12437',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
+  ['generictctedgety_12438',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
+  ['generictctnodety_12439',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
+  ['genericthreadcreatetreety_12440',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
+  ['genericvfgedgety_12441',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
+  ['genericvfgnodety_12442',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
+  ['genericvfgty_12443',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
+  ['gep_5ftype_5fiterator_12444',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
+  ['gepoperator_12445',['GEPOperator',['../namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5',1,'SVF']]],
+  ['gepsvfgnode_12446',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
+  ['gepvaluevarmap_12447',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
+  ['getelementptrinst_12448',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
+  ['global_5fiterator_12449',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
+  ['globalalias_12450',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
+  ['globaldeftorepmapty_12451',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
+  ['globalifunc_12452',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
+  ['globalobject_12453',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
+  ['globalsettype_12454',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
+  ['globalvalue_12455',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
+  ['globalvariable_12456',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
+  ['globalvfgnodeset_12457',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
+  ['gnode_12458',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
+  ['gnodek_12459',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
+  ['gnodesccinfomap_12460',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
+  ['gnodestack_12461',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
+  ['graphprinter_12462',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
+  ['graphtype_12463',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
+  ['gtraits_12464',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
 ];

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

@@ -1,47 +1,47 @@
 var searchData=
 [
-  ['icfgedgeset_12459',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
-  ['icfgedgesetty_12460',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
-  ['icfgnode2svfstmtsmap_12461',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
-  ['icfgnodeidtonodemapty_12462',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
-  ['icfgnodepairvector_12463',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
-  ['icfgnodeset_12464',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec_12465',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
-  ['icfgnodevector_12466',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
-  ['idtocallsitemap_12467',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
-  ['idtoidmap_12468',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
-  ['idtomemmapty_12469',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
-  ['idtonodemapty_12470',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
-  ['idtopairmapty_12471',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
-  ['idxoperandpair_12472',['IdxOperandPair',['../classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae',1,'SVF::AccessPath']]],
-  ['idxoperandpairs_12473',['IdxOperandPairs',['../classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d',1,'SVF::AccessPath']]],
-  ['indextoterminstmap_12474',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
-  ['insertelementinst_12475',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
-  ['insertvalueinst_12476',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst2labelmap_12477',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
-  ['inst_5fiterator_12478',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
-  ['instruction_12479',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
-  ['instset_12480',['InstSet',['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#aae87004825b3f30356ca49b8a1dab7f3',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#a55fa17be80457f7bf8a251b494d77d13',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#a3e67209ca8f9372d1846e0ce71bbd47a',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a264fbfd3e5a69815e81ad01fc211f979',1,'SVF::TCT::InstSet()']]],
-  ['insttoblocknodemapty_12481',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
-  ['insttocxtstmt_12482',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
-  ['insttocxtstmtset_12483',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
-  ['insttoinstsetmap_12484',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
-  ['insttoloopmap_12485',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
-  ['insttothreadstmtsetmap_12486',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
-  ['instvec_12487',['InstVec',['../classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e',1,'SVF::ICFGBuilder::InstVec()'],['../classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb',1,'SVF::LockAnalysis::InstVec()'],['../classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8',1,'SVF::MHP::InstVec()'],['../classSVF_1_1ForkJoinAnalysis.html#a613d763731058899e6819acdb2d7315f',1,'SVF::ForkJoinAnalysis::InstVec()'],['../classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac',1,'SVF::TCT::InstVec()'],['../classSVF_1_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b',1,'SVF::SVFInstruction::InstVec()']]],
-  ['instvector_12488',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
-  ['integertype_12489',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
-  ['interlev_5fflag_12490',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
-  ['internal_5fhooks_12491',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
-  ['interphisvfgnode_12492',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
-  ['intraphisvfgnode_12493',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
-  ['inttoptrinst_12494',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
-  ['inv_5fchild_5fiterator_12495',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
-  ['invgtraits_12496',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
-  ['invokeinst_12497',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
-  ['irbuilder_12498',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
-  ['irgraphreader_12499',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
-  ['irgraphwriter_12500',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
-  ['iterator_12501',['Iterator',['../classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b',1,'SVF::CFBasicBlockGWTOCycle::Iterator()'],['../classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745',1,'SVF::CFBasicBlockGWTO::Iterator()'],['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::iterator()'],['../classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0',1,'SVF::CDGNode::iterator()'],['../classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8',1,'SVF::CDG::iterator()'],['../classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4',1,'SVF::CFBasicBlockEdge::iterator()'],['../classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31',1,'SVF::CFBasicBlockNode::iterator()'],['../classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f',1,'SVF::ConstraintNode::iterator()'],['../classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153',1,'SVF::GenericNode::iterator()'],['../classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc',1,'SVF::GenericGraph::iterator()'],['../classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31',1,'SVF::ICFG::iterator()'],['../classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff',1,'SVF::ICFGNode::iterator()'],['../classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff',1,'SVF::PTACallGraphNode::iterator()'],['../classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c',1,'SVF::VFG::iterator()'],['../classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124',1,'SVF::VFGNode::iterator()'],['../classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce',1,'SVF::CondStdSet::iterator()'],['../classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83',1,'SVF::CondPointsToSet::iterator()'],['../classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9',1,'SVF::MutablePTData::iterator()'],['../classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f',1,'SVF::PointsTo::iterator()'],['../classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7',1,'SVF::SVFModule::iterator()'],['../classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6',1,'SVF::CoreBitVector::iterator()'],['../classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c',1,'SVF::SparseBitVector::iterator()'],['../classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2',1,'SVF::CSC::iterator()']]],
-  ['iterator_5fcategory_12502',['iterator_category',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac99c635e1057f19a495808be84221385',1,'SVF::PointsTo::PointsToIterator::iterator_category()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef',1,'SVF::CoreBitVector::CoreBitVectorIterator::iterator_category()'],['../classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6',1,'SVF::iter_facade_base::iterator_category()']]]
+  ['icfgedgeset_12465',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
+  ['icfgedgesetty_12466',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
+  ['icfgnode2svfstmtsmap_12467',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
+  ['icfgnodeidtonodemapty_12468',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
+  ['icfgnodepairvector_12469',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
+  ['icfgnodeset_12470',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
+  ['icfgnodetosvfloopvec_12471',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
+  ['icfgnodevector_12472',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
+  ['idtocallsitemap_12473',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
+  ['idtoidmap_12474',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
+  ['idtomemmapty_12475',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
+  ['idtonodemapty_12476',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
+  ['idtopairmapty_12477',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
+  ['idxoperandpair_12478',['IdxOperandPair',['../classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae',1,'SVF::AccessPath']]],
+  ['idxoperandpairs_12479',['IdxOperandPairs',['../classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d',1,'SVF::AccessPath']]],
+  ['indextoterminstmap_12480',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
+  ['insertelementinst_12481',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
+  ['insertvalueinst_12482',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
+  ['inst2labelmap_12483',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
+  ['inst_5fiterator_12484',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
+  ['instruction_12485',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
+  ['instset_12486',['InstSet',['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#aae87004825b3f30356ca49b8a1dab7f3',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#a55fa17be80457f7bf8a251b494d77d13',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#a3e67209ca8f9372d1846e0ce71bbd47a',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a264fbfd3e5a69815e81ad01fc211f979',1,'SVF::TCT::InstSet()']]],
+  ['insttoblocknodemapty_12487',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
+  ['insttocxtstmt_12488',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
+  ['insttocxtstmtset_12489',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
+  ['insttoinstsetmap_12490',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
+  ['insttoloopmap_12491',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
+  ['insttothreadstmtsetmap_12492',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
+  ['instvec_12493',['InstVec',['../classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e',1,'SVF::ICFGBuilder::InstVec()'],['../classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb',1,'SVF::LockAnalysis::InstVec()'],['../classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8',1,'SVF::MHP::InstVec()'],['../classSVF_1_1ForkJoinAnalysis.html#a613d763731058899e6819acdb2d7315f',1,'SVF::ForkJoinAnalysis::InstVec()'],['../classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac',1,'SVF::TCT::InstVec()'],['../classSVF_1_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b',1,'SVF::SVFInstruction::InstVec()']]],
+  ['instvector_12494',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
+  ['integertype_12495',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
+  ['interlev_5fflag_12496',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
+  ['internal_5fhooks_12497',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
+  ['interphisvfgnode_12498',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
+  ['intraphisvfgnode_12499',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
+  ['inttoptrinst_12500',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
+  ['inv_5fchild_5fiterator_12501',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
+  ['invgtraits_12502',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
+  ['invokeinst_12503',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
+  ['irbuilder_12504',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
+  ['irgraphreader_12505',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
+  ['irgraphwriter_12506',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
+  ['iterator_12507',['Iterator',['../classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b',1,'SVF::CFBasicBlockGWTOCycle::Iterator()'],['../classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745',1,'SVF::CFBasicBlockGWTO::Iterator()'],['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::iterator()'],['../classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0',1,'SVF::CDGNode::iterator()'],['../classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8',1,'SVF::CDG::iterator()'],['../classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4',1,'SVF::CFBasicBlockEdge::iterator()'],['../classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31',1,'SVF::CFBasicBlockNode::iterator()'],['../classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f',1,'SVF::ConstraintNode::iterator()'],['../classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153',1,'SVF::GenericNode::iterator()'],['../classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc',1,'SVF::GenericGraph::iterator()'],['../classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31',1,'SVF::ICFG::iterator()'],['../classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff',1,'SVF::ICFGNode::iterator()'],['../classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff',1,'SVF::PTACallGraphNode::iterator()'],['../classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c',1,'SVF::VFG::iterator()'],['../classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124',1,'SVF::VFGNode::iterator()'],['../classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce',1,'SVF::CondStdSet::iterator()'],['../classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83',1,'SVF::CondPointsToSet::iterator()'],['../classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9',1,'SVF::MutablePTData::iterator()'],['../classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f',1,'SVF::PointsTo::iterator()'],['../classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7',1,'SVF::SVFModule::iterator()'],['../classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6',1,'SVF::CoreBitVector::iterator()'],['../classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c',1,'SVF::SparseBitVector::iterator()'],['../classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2',1,'SVF::CSC::iterator()']]],
+  ['iterator_5fcategory_12508',['iterator_category',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac99c635e1057f19a495808be84221385',1,'SVF::PointsTo::PointsToIterator::iterator_category()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef',1,'SVF::CoreBitVector::CoreBitVectorIterator::iterator_category()'],['../classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6',1,'SVF::iter_facade_base::iterator_category()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['joinedgeset_12503',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]]
+  ['joinedgeset_12509',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['keynodes_12504',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_12505',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_12506',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
-  ['kind_12507',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
-  ['kindbaset_12508',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtosvfstmtmapty_12509',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
+  ['keynodes_12510',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_12511',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_12512',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
+  ['kind_12513',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
+  ['kindbaset_12514',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtosvfstmtmapty_12515',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
 ];