svf-tools 1.0.781 → 1.0.783

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

@@ -1,42 +1,42 @@
 var searchData=
 [
-  ['datadeque_12325',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
-  ['dataiter_12326',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
-  ['datalayout_12327',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
-  ['datamap_12328',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
-  ['dataop_12329',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset_12330',['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_12331',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
-  ['dchedgesetty_12332',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
-  ['debuginfofinder_12333',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
-  ['dfinoutmap_12334',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
-  ['dfkeytoidmap_12335',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
-  ['dfptdataty_12336',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
-  ['dfptsmap_12337',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapconstiter_12338',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
-  ['dfptsmapiter_12339',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
-  ['dibasictype_12340',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
-  ['dicompositetype_12341',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
-  ['diderivedtype_12342',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
-  ['difference_5ftype_12343',['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_12344',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
-  ['dinode_12345',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
-  ['dinodearray_12346',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
-  ['distoccmap_12347',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['disubprogram_12348',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
-  ['disubrange_12349',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
-  ['disubroutinetype_12350',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
-  ['ditype_12351',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
-  ['dityperefarray_12352',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
-  ['dominancefrontier_12353',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
-  ['dominancefrontierbase_12354',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
-  ['dominatortree_12355',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
-  ['domtreenode_12356',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
-  ['dottraits_12357',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
-  ['dpim_12358',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
-  ['dpimset_12359',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
-  ['dpimtocptsetmap_12360',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
-  ['dpmtocvarmap_12361',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
-  ['dpmtodpmmap_12362',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
-  ['dptitemset_12363',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
+  ['datadeque_12231',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
+  ['dataiter_12232',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
+  ['datalayout_12233',['DataLayout',['../namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c',1,'SVF']]],
+  ['datamap_12234',['DataMap',['../classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e',1,'SVF::POCRSolver']]],
+  ['dataop_12235',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
+  ['dataset_12236',['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_12237',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
+  ['dchedgesetty_12238',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
+  ['debuginfofinder_12239',['DebugInfoFinder',['../namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321',1,'SVF']]],
+  ['dfinoutmap_12240',['DFInOutMap',['../classSVF_1_1FlowSensitive.html#af9a2bd5b490f1cc5335ce696173c78dd',1,'SVF::FlowSensitive::DFInOutMap()'],['../classSVF_1_1FlowSensitiveStat.html#a55d45e82ea3d338114e50da877bcfb75',1,'SVF::FlowSensitiveStat::DFInOutMap()']]],
+  ['dfkeytoidmap_12241',['DFKeyToIDMap',['../classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90',1,'SVF::PersistentDFPTData']]],
+  ['dfptdataty_12242',['DFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a5c2288519153467142e74c8dd4e77180',1,'SVF::BVDataPTAImpl']]],
+  ['dfptsmap_12243',['DFPtsMap',['../classSVF_1_1MutableDFPTData.html#a0c73427f957d310bc85955bec6654352',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapconstiter_12244',['DFPtsMapconstIter',['../classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad',1,'SVF::MutableDFPTData']]],
+  ['dfptsmapiter_12245',['DFPtsMapIter',['../classSVF_1_1MutableDFPTData.html#a31ad5da37a88d2b97633d590393b0e64',1,'SVF::MutableDFPTData']]],
+  ['dibasictype_12246',['DIBasicType',['../namespaceSVF.html#ada0513be7e25325325ccc9183aeca278',1,'SVF']]],
+  ['dicompositetype_12247',['DICompositeType',['../namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1',1,'SVF']]],
+  ['diderivedtype_12248',['DIDerivedType',['../namespaceSVF.html#a852e75c562139237fcc754c7461533e6',1,'SVF']]],
+  ['difference_5ftype_12249',['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_12250',['DiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3',1,'SVF::BVDataPTAImpl']]],
+  ['dinode_12251',['DINode',['../namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d',1,'SVF']]],
+  ['dinodearray_12252',['DINodeArray',['../namespaceSVF.html#a0f825e73d115173b05ca54fb8ec65003',1,'SVF']]],
+  ['distoccmap_12253',['DistOccMap',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1f74f1e72a844166f742d2d46efbbb5e',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['disubprogram_12254',['DISubprogram',['../namespaceSVF.html#a89c7208bfc0b57873dfa574f52050295',1,'SVF']]],
+  ['disubrange_12255',['DISubrange',['../namespaceSVF.html#a99bc1228f07429855c81a720be862dc6',1,'SVF']]],
+  ['disubroutinetype_12256',['DISubroutineType',['../namespaceSVF.html#a090e0791e8c200104ed3ab6bab157129',1,'SVF']]],
+  ['ditype_12257',['DIType',['../namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632',1,'SVF']]],
+  ['dityperefarray_12258',['DITypeRefArray',['../namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc',1,'SVF']]],
+  ['dominancefrontier_12259',['DominanceFrontier',['../namespaceSVF.html#ab44d20f806be99699895260b14a942d7',1,'SVF']]],
+  ['dominancefrontierbase_12260',['DominanceFrontierBase',['../namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915',1,'SVF']]],
+  ['dominatortree_12261',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
+  ['domtreenode_12262',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
+  ['dottraits_12263',['DOTTraits',['../classSVF_1_1GraphWriter.html#a245d85f8c907a409533ab151e9e3d9a2',1,'SVF::GraphWriter']]],
+  ['dpim_12264',['DPIm',['../classSVF_1_1SrcSnkDDA.html#a83d5ccf0836f8f751aff078f88328cca',1,'SVF::SrcSnkDDA']]],
+  ['dpimset_12265',['DPImSet',['../classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a',1,'SVF::SrcSnkDDA']]],
+  ['dpimtocptsetmap_12266',['DPImToCPtSetMap',['../classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019',1,'SVF::DDAVFSolver']]],
+  ['dpmtocvarmap_12267',['DPMToCVarMap',['../classSVF_1_1DDAVFSolver.html#af0538abf12c01d31a0296553e2f7c92d',1,'SVF::DDAVFSolver']]],
+  ['dpmtodpmmap_12268',['DPMToDPMMap',['../classSVF_1_1DDAVFSolver.html#a2ccbcfa949a1796094b5d9499177fc2b',1,'SVF::DDAVFSolver']]],
+  ['dptitemset_12269',['DPTItemSet',['../classSVF_1_1DDAVFSolver.html#a05d6b074b04aad7dc1f3cbe0ca587467',1,'SVF::DDAVFSolver']]]
 ];

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

@@ -1,20 +1,20 @@
 var searchData=
 [
-  ['edgeid_12364',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
-  ['edgeset_12365',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
-  ['edgetype_12366',['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_12367',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
-  ['elementlist_12368',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
-  ['elementlistconstiter_12369',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
-  ['elementlistiter_12370',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
-  ['elementset_12371',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
-  ['entrychi_12372',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
-  ['equalgedge_12373',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
-  ['equalicfgedgewrapper_12374',['equalICFGEdgeWrapper',['../classSVF_1_1ICFGEdgeWrapper.html#a1c311364f337aaeef787c2f96f1a087e',1,'SVF::ICFGEdgeWrapper']]],
-  ['equalmemregion_12375',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
-  ['equalnodebs_12376',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
-  ['equalpointsto_12377',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
-  ['eventstack_12378',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
-  ['extractelementinst_12379',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
-  ['extractvalueinst_12380',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
+  ['edgeid_12270',['EdgeID',['../namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94',1,'SVF']]],
+  ['edgeset_12271',['EdgeSet',['../namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be',1,'SVF']]],
+  ['edgetype_12272',['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_12273',['EdgeVector',['../namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e',1,'SVF']]],
+  ['elementlist_12274',['ElementList',['../classSVF_1_1SparseBitVector.html#a74ab73c1674200bb4560070c8b10346d',1,'SVF::SparseBitVector']]],
+  ['elementlistconstiter_12275',['ElementListConstIter',['../classSVF_1_1SparseBitVector.html#acdc2e97bfeeba3a91d8793992df9451f',1,'SVF::SparseBitVector']]],
+  ['elementlistiter_12276',['ElementListIter',['../classSVF_1_1SparseBitVector.html#a399721230d13a4153766e6e8ed1f9aed',1,'SVF::SparseBitVector']]],
+  ['elementset_12277',['ElementSet',['../classSVF_1_1CondStdSet.html#a3fcc7079d72b0b392731ae7bf1ef2939',1,'SVF::CondStdSet']]],
+  ['entrychi_12278',['ENTRYCHI',['../classSVF_1_1SVFG.html#a101c5a8b31baf5c5613144f6e277abe9',1,'SVF::SVFG::ENTRYCHI()'],['../classSVF_1_1MemSSA.html#a6a20da24d82ace1888be49a2ae0f6bd5',1,'SVF::MemSSA::ENTRYCHI()']]],
+  ['equalgedge_12279',['equalGEdge',['../classSVF_1_1GenericEdge.html#a5126563245987eba1bfc4e196a795270',1,'SVF::GenericEdge']]],
+  ['equalicfgedgewrapper_12280',['equalICFGEdgeWrapper',['../classSVF_1_1CFBasicBlockEdge.html#a0bb3c8008c17e12ad2e17363f9257e23',1,'SVF::CFBasicBlockEdge']]],
+  ['equalmemregion_12281',['equalMemRegion',['../classSVF_1_1MemRegion.html#a745abb2d86e659122ef7055492abc262',1,'SVF::MemRegion']]],
+  ['equalnodebs_12282',['equalNodeBS',['../namespaceSVF_1_1SVFUtil.html#acb66b86171786cc34b798f05f67f321e',1,'SVF::SVFUtil']]],
+  ['equalpointsto_12283',['equalPointsTo',['../namespaceSVF_1_1SVFUtil.html#ac047d963ed4b701c83958868ab36202f',1,'SVF::SVFUtil']]],
+  ['eventstack_12284',['EventStack',['../classSVF_1_1GenericBug.html#acc65b033bfd61257d5b6fdbf932dfafe',1,'SVF::GenericBug']]],
+  ['extractelementinst_12285',['ExtractElementInst',['../namespaceSVF.html#afb88c4d723dd7c51bdfc7ba5893cb356',1,'SVF']]],
+  ['extractvalueinst_12286',['ExtractValueInst',['../namespaceSVF.html#ace1fd4c32134018e2f6d5da193524986',1,'SVF']]]
 ];

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

@@ -1,44 +1,44 @@
 var searchData=
 [
-  ['fenceinst_12381',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
-  ['fieldreps_12382',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
-  ['forkedgeset_12383',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
-  ['formalinsvfgnodeset_12384',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
-  ['formaloutsvfgnodeset_12385',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
-  ['formalparmnodevec_12386',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
-  ['formalparmsvfgnode_12387',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
-  ['formalretsvfgnode_12388',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
-  ['freezeinst_12389',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
-  ['funcpair_12390',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
-  ['funcpairtobool_12391',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
-  ['function_12392',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
-  ['functionset_12393',['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_12394',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
-  ['functiontoformalinsmapty_12395',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
-  ['functiontoformaloutsmapty_12396',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
-  ['functiontype_12397',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
-  ['funcvector_12398',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
-  ['fundecltodefmapty_12399',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmapty_12400',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
-  ['funptrtocallsitesmap_12401',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
-  ['funset_12402',['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_12403',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_12404',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_12405',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_12406',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
-  ['funtofunentrynodemapty_12407',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
-  ['funtofunexitnodemapty_12408',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
-  ['funtoidmapty_12409',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
-  ['funtointermap_12410',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
-  ['funtomrsmap_12411',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
-  ['funtonodebsmap_12412',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
-  ['funtopagedgesetmap_12413',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
-  ['funtopointstomap_12414',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
-  ['funtopointstosmap_12415',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
-  ['funtoptsmap_12416',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtoretmap_12417',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
-  ['funtoreturnmusetmap_12418',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmapty_12419',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
-  ['funvec_12420',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
-  ['funworklist_12421',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
+  ['fenceinst_12287',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
+  ['fieldreps_12288',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
+  ['forkedgeset_12289',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
+  ['formalinsvfgnodeset_12290',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
+  ['formaloutsvfgnodeset_12291',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
+  ['formalparmnodevec_12292',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
+  ['formalparmsvfgnode_12293',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
+  ['formalretsvfgnode_12294',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
+  ['freezeinst_12295',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
+  ['funcpair_12296',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
+  ['funcpairtobool_12297',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
+  ['function_12298',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
+  ['functionset_12299',['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_12300',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
+  ['functiontoformalinsmapty_12301',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
+  ['functiontoformaloutsmapty_12302',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
+  ['functiontype_12303',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
+  ['funcvector_12304',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
+  ['fundecltodefmapty_12305',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmapty_12306',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
+  ['funptrtocallsitesmap_12307',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
+  ['funset_12308',['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_12309',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_12310',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_12311',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_12312',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
+  ['funtofunentrynodemapty_12313',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
+  ['funtofunexitnodemapty_12314',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
+  ['funtoidmapty_12315',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
+  ['funtointermap_12316',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
+  ['funtomrsmap_12317',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
+  ['funtonodebsmap_12318',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
+  ['funtopagedgesetmap_12319',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
+  ['funtopointstomap_12320',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
+  ['funtopointstosmap_12321',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
+  ['funtoptsmap_12322',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
+  ['funtoretmap_12323',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
+  ['funtoreturnmusetmap_12324',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmapty_12325',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
+  ['funvec_12326',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
+  ['funworklist_12327',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
 ];

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

@@ -1,61 +1,58 @@
 var searchData=
 [
-  ['gedge_12422',['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_12423',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
-  ['gedgekind_12424',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
-  ['gedgesetty_12425',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
-  ['genericcallgraphedgety_12426',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
-  ['genericcallgraphnodety_12427',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
-  ['genericcallgraphty_12428',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
-  ['genericcdgedgety_12429',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
-  ['genericcdgnodety_12430',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
-  ['genericcdgty_12431',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
-  ['genericcfbasicblockedgety_12432',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
-  ['genericcfbasicblockgty_12433',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
-  ['genericcfbasicblocknodety_12434',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
-  ['genericcfledgety_12435',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
-  ['genericcflgraphty_12436',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
-  ['genericcflnodety_12437',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
-  ['genericchedgety_12438',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
-  ['genericchgraphty_12439',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
-  ['genericchnodety_12440',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
-  ['genericconsedgety_12441',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
-  ['genericconsnodety_12442',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
-  ['genericgraphty_12443',['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_12444',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
-  ['genericicfgnodety_12445',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
-  ['genericicfgnodewrapperty_12446',['GenericICFGNodeWrapperTy',['../namespaceSVF.html#a23977ce486da6aa7e7b46f39bb5351ac',1,'SVF']]],
-  ['genericicfgreader_12447',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
-  ['genericicfgty_12448',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
-  ['genericicfgwrapperedgety_12449',['GenericICFGWrapperEdgeTy',['../namespaceSVF.html#ab786738aadd5034c33ae6aadc5c7373b',1,'SVF']]],
-  ['genericicfgwrapperty_12450',['GenericICFGWrapperTy',['../namespaceSVF.html#aa0fd885848cb802f540e2164b9eb3b61',1,'SVF']]],
-  ['genericicfgwriter_12451',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
-  ['genericpagedgety_12452',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
-  ['genericpagnodety_12453',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
-  ['generictctedgety_12454',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
-  ['generictctnodety_12455',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
-  ['genericthreadcreatetreety_12456',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
-  ['genericvfgedgety_12457',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
-  ['genericvfgnodety_12458',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
-  ['genericvfgty_12459',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
-  ['gep_5ftype_5fiterator_12460',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
-  ['gepsvfgnode_12461',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
-  ['gepvaluevarmap_12462',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
-  ['getelementptrinst_12463',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
-  ['global_5fiterator_12464',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
-  ['globalalias_12465',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
-  ['globaldeftorepmapty_12466',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
-  ['globalifunc_12467',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
-  ['globalobject_12468',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
-  ['globalsettype_12469',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
-  ['globalvalue_12470',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
-  ['globalvariable_12471',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
-  ['globalvfgnodeset_12472',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['gnode_12473',['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_12474',['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_12475',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
-  ['gnodestack_12476',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graphprinter_12477',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
-  ['graphtype_12478',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
-  ['gtraits_12479',['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_12328',['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_12329',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
+  ['gedgekind_12330',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
+  ['gedgesetty_12331',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
+  ['genericcallgraphedgety_12332',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
+  ['genericcallgraphnodety_12333',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
+  ['genericcallgraphty_12334',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
+  ['genericcdgedgety_12335',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
+  ['genericcdgnodety_12336',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
+  ['genericcdgty_12337',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
+  ['genericcfbasicblockedgety_12338',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
+  ['genericcfbasicblockgty_12339',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
+  ['genericcfbasicblocknodety_12340',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
+  ['genericcfledgety_12341',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
+  ['genericcflgraphty_12342',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
+  ['genericcflnodety_12343',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
+  ['genericchedgety_12344',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
+  ['genericchgraphty_12345',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
+  ['genericchnodety_12346',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
+  ['genericconsedgety_12347',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
+  ['genericconsnodety_12348',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
+  ['genericgraphty_12349',['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_12350',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
+  ['genericicfgnodety_12351',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
+  ['genericicfgreader_12352',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
+  ['genericicfgty_12353',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
+  ['genericicfgwriter_12354',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
+  ['genericpagedgety_12355',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
+  ['genericpagnodety_12356',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
+  ['generictctedgety_12357',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
+  ['generictctnodety_12358',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
+  ['genericthreadcreatetreety_12359',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
+  ['genericvfgedgety_12360',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
+  ['genericvfgnodety_12361',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
+  ['genericvfgty_12362',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
+  ['gep_5ftype_5fiterator_12363',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
+  ['gepsvfgnode_12364',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
+  ['gepvaluevarmap_12365',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
+  ['getelementptrinst_12366',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
+  ['global_5fiterator_12367',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
+  ['globalalias_12368',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
+  ['globaldeftorepmapty_12369',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
+  ['globalifunc_12370',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
+  ['globalobject_12371',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
+  ['globalsettype_12372',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
+  ['globalvalue_12373',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
+  ['globalvariable_12374',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
+  ['globalvfgnodeset_12375',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
+  ['gnode_12376',['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_12377',['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_12378',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
+  ['gnodestack_12379',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
+  ['graphprinter_12380',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
+  ['graphtype_12381',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
+  ['gtraits_12382',['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/html/search/typedefs_7.js

@@ -1,49 +1,45 @@
 var searchData=
 [
-  ['icfgedgeset_12480',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
-  ['icfgedgesetty_12481',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
-  ['icfgedgewrappersetty_12482',['ICFGEdgeWrapperSetTy',['../classSVF_1_1ICFGEdgeWrapper.html#a2bd030cf4dbeaeabcd3635ab46412eed',1,'SVF::ICFGEdgeWrapper::ICFGEdgeWrapperSetTy()'],['../classSVF_1_1ICFGNodeWrapper.html#a65f2eff24af3cc79d07b3af571045092',1,'SVF::ICFGNodeWrapper::ICFGEdgeWrapperSetTy()'],['../classSVF_1_1ICFGWrapper.html#ac8ad7d4ac97b1ad2244204a14056dad0',1,'SVF::ICFGWrapper::ICFGEdgeWrapperSetTy()']]],
-  ['icfgnode2svfstmtsmap_12483',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
-  ['icfgnodeidtonodemapty_12484',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
-  ['icfgnodepairvector_12485',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
-  ['icfgnodeset_12486',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec_12487',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
-  ['icfgnodevector_12488',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
-  ['icfgnodewrapperpairvector_12489',['ICFGNodeWrapperPairVector',['../classSVF_1_1ICFGWrapper.html#a3803dc8e1f590f1abc2ef8763eab0004',1,'SVF::ICFGWrapper']]],
-  ['icfgnodewrappervector_12490',['ICFGNodeWrapperVector',['../classSVF_1_1ICFGWrapper.html#adb175502284b568799a1d0cb2736b390',1,'SVF::ICFGWrapper']]],
-  ['icfgwrappernodeidtonodemapty_12491',['ICFGWrapperNodeIDToNodeMapTy',['../classSVF_1_1ICFGWrapper.html#aae9335337421fe0fbabd1a7b2d074f40',1,'SVF::ICFGWrapper']]],
-  ['idtocallsitemap_12492',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
-  ['idtoidmap_12493',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
-  ['idtomemmapty_12494',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
-  ['idtonodemapty_12495',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
-  ['idtopairmapty_12496',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
-  ['indextoterminstmap_12497',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
-  ['insertelementinst_12498',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
-  ['insertvalueinst_12499',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst2labelmap_12500',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
-  ['inst_5fiterator_12501',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
-  ['instruction_12502',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
-  ['instset_12503',['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_12504',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
-  ['insttocxtstmt_12505',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
-  ['insttocxtstmtset_12506',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
-  ['insttoinstsetmap_12507',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
-  ['insttoloopmap_12508',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
-  ['insttothreadstmtsetmap_12509',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
-  ['instvec_12510',['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_12511',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
-  ['integertype_12512',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
-  ['interlev_5fflag_12513',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
-  ['internal_5fhooks_12514',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
-  ['interphisvfgnode_12515',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
-  ['intraphisvfgnode_12516',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
-  ['inttoptrinst_12517',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
-  ['inv_5fchild_5fiterator_12518',['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_12519',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
-  ['invokeinst_12520',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
-  ['irbuilder_12521',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
-  ['irgraphreader_12522',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
-  ['irgraphwriter_12523',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
-  ['iterator_12524',['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_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_1ICFGEdgeWrapper.html#a9dc48d242ad9e4c265ab827922d60f6d',1,'SVF::ICFGEdgeWrapper::iterator()'],['../classSVF_1_1ICFGNodeWrapper.html#aec04926ac971feec1465d66acf3dbb06',1,'SVF::ICFGNodeWrapper::iterator()'],['../classSVF_1_1ICFGWrapper.html#a84a6f4b7f962aa950d14c5a5c0cb678f',1,'SVF::ICFGWrapper::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_12525',['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_12383',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
+  ['icfgedgesetty_12384',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
+  ['icfgnode2svfstmtsmap_12385',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
+  ['icfgnodeidtonodemapty_12386',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
+  ['icfgnodepairvector_12387',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
+  ['icfgnodeset_12388',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
+  ['icfgnodetosvfloopvec_12389',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
+  ['icfgnodevector_12390',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
+  ['idtocallsitemap_12391',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
+  ['idtoidmap_12392',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
+  ['idtomemmapty_12393',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
+  ['idtonodemapty_12394',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
+  ['idtopairmapty_12395',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
+  ['indextoterminstmap_12396',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
+  ['insertelementinst_12397',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
+  ['insertvalueinst_12398',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
+  ['inst2labelmap_12399',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
+  ['inst_5fiterator_12400',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
+  ['instruction_12401',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
+  ['instset_12402',['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_12403',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
+  ['insttocxtstmt_12404',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
+  ['insttocxtstmtset_12405',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
+  ['insttoinstsetmap_12406',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
+  ['insttoloopmap_12407',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
+  ['insttothreadstmtsetmap_12408',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
+  ['instvec_12409',['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_12410',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
+  ['integertype_12411',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
+  ['interlev_5fflag_12412',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
+  ['internal_5fhooks_12413',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
+  ['interphisvfgnode_12414',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
+  ['intraphisvfgnode_12415',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
+  ['inttoptrinst_12416',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
+  ['inv_5fchild_5fiterator_12417',['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_12418',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
+  ['invokeinst_12419',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
+  ['irbuilder_12420',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
+  ['irgraphreader_12421',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
+  ['irgraphwriter_12422',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
+  ['iterator_12423',['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_12424',['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/html/search/typedefs_8.js

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