svf-tools 1.0.613 → 1.0.615

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

@@ -165,7 +165,7 @@ var searchData=
   ['getallcallsitesinvokingcallee',['getAllCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a80070e2f50ed1036d334250841215ca8',1,'SVF::PTACallGraph']]],
   ['getallfieldsobjvars',['getAllFieldsObjVars',['../classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a',1,'SVF::ConstraintGraph::getAllFieldsObjVars()'],['../classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde',1,'SVF::PointerAnalysis::getAllFieldsObjVars()'],['../classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089',1,'SVF::SVFIR::getAllFieldsObjVars(const MemObj *obj)'],['../classSVF_1_1SVFIR.html#a942072d153928e478c76e4b7f1fafa29',1,'SVF::SVFIR::getAllFieldsObjVars(NodeID id)']]],
   ['getalloperations',['getAllOperations',['../classSVF_1_1ExtAPI.html#a9b15082f3c118da731705bba3924507d',1,'SVF::ExtAPI']]],
-  ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
+  ['getallpts',['getAllPts',['../classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4',1,'SVF::PTData::getAllPts()'],['../classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458',1,'SVF::MutablePTData::getAllPts()'],['../classSVF_1_1MutableDiffPTData.html#adb89579b46a478f6d0e30e790838dca9',1,'SVF::MutableDiffPTData::getAllPts()'],['../classSVF_1_1MutableDFPTData.html#ac9120fbb056e23cdf84646a37d809a8d',1,'SVF::MutableDFPTData::getAllPts()'],['../classSVF_1_1MutableVersionedPTData.html#a6cac338e74f869d0e708c7e2b356b5d7',1,'SVF::MutableVersionedPTData::getAllPts()'],['../classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3',1,'SVF::PersistentPointsToCache::getAllPts()'],['../classSVF_1_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577',1,'SVF::PersistentPTData::getAllPts()'],['../classSVF_1_1PersistentDiffPTData.html#a00d3ec19f1b669edee5af7757e03a0ef',1,'SVF::PersistentDiffPTData::getAllPts()'],['../classSVF_1_1PersistentDFPTData.html#abc8fbd41eddccddbbdc3316a3fd03276',1,'SVF::PersistentDFPTData::getAllPts()'],['../classSVF_1_1PersistentVersionedPTData.html#acfc73119798cb830a49f85ffab2654af',1,'SVF::PersistentVersionedPTData::getAllPts()']]],
   ['getallvalidptrs',['getAllValidPtrs',['../classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc',1,'SVF::PointerAnalysis::getAllValidPtrs()'],['../classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484',1,'SVF::SVFIR::getAllValidPtrs()']]],
   ['getanalysisty',['getAnalysisTy',['../classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3',1,'SVF::PointerAnalysis']]],
   ['getancestorthread',['getAncestorThread',['../classSVF_1_1TCT.html#aeb7dff0c02a90cb338c8d054d2b78984',1,'SVF::TCT']]],
@@ -293,8 +293,8 @@ var searchData=
   ['getcurnodeid',['getCurNodeID',['../classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2',1,'SVF::DPItem']]],
   ['getcurrent',['getCurrent',['../classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc',1,'SVF::mapped_iter']]],
   ['getcurrentbb',['getCurrentBB',['../classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f',1,'SVF::SVFIRBuilder']]],
-  ['getcurrentbestnodemapping',['getCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a6c1885ddfcc72604463f7c4ea94d2f74',1,'SVF::PointsTo']]],
-  ['getcurrentbestreversenodemapping',['getCurrentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a40759008e0cf6f790d48727f7b0ca38b',1,'SVF::PointsTo']]],
+  ['getcurrentbestnodemapping',['getCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#ae349a9ce6a8739925baffd83d1878b0e',1,'SVF::PointsTo']]],
+  ['getcurrentbestreversenodemapping',['getCurrentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a19b84abf5e9c85e82ae18b77083467e9',1,'SVF::PointsTo']]],
   ['getcurrentvalue',['getCurrentValue',['../classSVF_1_1SVFIRBuilder.html#a95fd13343636bcbc18db1ef8d630c52e',1,'SVF::SVFIRBuilder']]],
   ['getcurslice',['getCurSlice',['../classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653',1,'SVF::SrcSnkDDA']]],
   ['getcursvfgnode',['getCurSVFGNode',['../classSVF_1_1ProgSlice.html#afad8cd2f720bf01eedd825c3c418abc0',1,'SVF::ProgSlice']]],
@@ -316,18 +316,18 @@ var searchData=
   ['getdfin',['getDFIn',['../classSVF_1_1MutableDFPTData.html#ae999df6f94a097f1fcb36979327790de',1,'SVF::MutableDFPTData']]],
   ['getdfinptidref',['getDFInPtIdRef',['../classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b',1,'SVF::PersistentDFPTData']]],
   ['getdfinptsmap',['getDFInPtsMap',['../classSVF_1_1MutableDFPTData.html#a7559810e1ad40588f5fd82123ea1f150',1,'SVF::MutableDFPTData']]],
-  ['getdfinptsset',['getDFInPtsSet',['../classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2',1,'SVF::DFPTData::getDFInPtsSet()'],['../classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53',1,'SVF::MutableDFPTData::getDFInPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#a26ca6565c4766e3d6ea6bf435ae910a3',1,'SVF::PersistentDFPTData::getDFInPtsSet()'],['../classSVF_1_1FlowSensitive.html#a9379acbe349ee652416765b335dfdeab',1,'SVF::FlowSensitive::getDFInPtsSet()']]],
+  ['getdfinptsset',['getDFInPtsSet',['../classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2',1,'SVF::DFPTData::getDFInPtsSet()'],['../classSVF_1_1MutableDFPTData.html#a44aad57ac0de594e404a6c4ceff0bd53',1,'SVF::MutableDFPTData::getDFInPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85',1,'SVF::PersistentDFPTData::getDFInPtsSet()'],['../classSVF_1_1FlowSensitive.html#a9379acbe349ee652416765b335dfdeab',1,'SVF::FlowSensitive::getDFInPtsSet()']]],
   ['getdfinputmap',['getDFInputMap',['../classSVF_1_1FlowSensitive.html#a9717517387c14c2e64c7ae3c3149bb57',1,'SVF::FlowSensitive']]],
   ['getdfinupdatedvar',['getDFInUpdatedVar',['../classSVF_1_1MutableIncDFPTData.html#ae4d0989cb98814f943bd4dfd09a37017',1,'SVF::MutableIncDFPTData::getDFInUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e',1,'SVF::PersistentIncDFPTData::getDFInUpdatedVar()']]],
   ['getdfout',['getDFOut',['../classSVF_1_1MutableDFPTData.html#a6d02392602cf7956ff41e345518d683c',1,'SVF::MutableDFPTData']]],
   ['getdfoutptidref',['getDFOutPtIdRef',['../classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1',1,'SVF::PersistentDFPTData']]],
   ['getdfoutptsmap',['getDFOutPtsMap',['../classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e',1,'SVF::MutableDFPTData']]],
-  ['getdfoutptsset',['getDFOutPtsSet',['../classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec',1,'SVF::DFPTData::getDFOutPtsSet()'],['../classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2',1,'SVF::MutableDFPTData::getDFOutPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#aea89a705aed7e02ddbf73f861506536e',1,'SVF::PersistentDFPTData::getDFOutPtsSet()'],['../classSVF_1_1FlowSensitive.html#a808dc8a242f168174339d7ca3196bb58',1,'SVF::FlowSensitive::getDFOutPtsSet()']]],
+  ['getdfoutptsset',['getDFOutPtsSet',['../classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec',1,'SVF::DFPTData::getDFOutPtsSet()'],['../classSVF_1_1MutableDFPTData.html#ab6b0496d0c34642ddd2707142334f4a2',1,'SVF::MutableDFPTData::getDFOutPtsSet()'],['../classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0',1,'SVF::PersistentDFPTData::getDFOutPtsSet()'],['../classSVF_1_1FlowSensitive.html#a808dc8a242f168174339d7ca3196bb58',1,'SVF::FlowSensitive::getDFOutPtsSet()']]],
   ['getdfoutputmap',['getDFOutputMap',['../classSVF_1_1FlowSensitive.html#a661c4c1d5902c924060cc81219591d6f',1,'SVF::FlowSensitive']]],
   ['getdfoutupdatedvar',['getDFOutUpdatedVar',['../classSVF_1_1MutableIncDFPTData.html#ad1ae7faf04ba10ac4ac6a6f1cc498547',1,'SVF::MutableIncDFPTData::getDFOutUpdatedVar()'],['../classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e',1,'SVF::PersistentIncDFPTData::getDFOutUpdatedVar()']]],
   ['getdfptdataty',['getDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a642613e98982259183d3f34a97f05502',1,'SVF::BVDataPTAImpl']]],
   ['getdiffptdataty',['getDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ab9c0bb439f98ae11dd178148109697ab',1,'SVF::BVDataPTAImpl']]],
-  ['getdiffpts',['getDiffPts',['../classSVF_1_1DiffPTData.html#a7c4159d873a836b6f6d9b2d2c044921d',1,'SVF::DiffPTData::getDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4',1,'SVF::MutableDiffPTData::getDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#a76ae2ef87bc32c2f6466e7bc2dfad726',1,'SVF::PersistentDiffPTData::getDiffPts()'],['../classSVF_1_1Andersen.html#a106691684d8e7a69157d423393d83d66',1,'SVF::Andersen::getDiffPts()']]],
+  ['getdiffpts',['getDiffPts',['../classSVF_1_1DiffPTData.html#a7c4159d873a836b6f6d9b2d2c044921d',1,'SVF::DiffPTData::getDiffPts()'],['../classSVF_1_1MutableDiffPTData.html#a83dd3047c72cd1cd6ceb044cd1a924e4',1,'SVF::MutableDiffPTData::getDiffPts()'],['../classSVF_1_1PersistentDiffPTData.html#a34819020692e33777fec59082269e8b4',1,'SVF::PersistentDiffPTData::getDiffPts()'],['../classSVF_1_1Andersen.html#a106691684d8e7a69157d423393d83d66',1,'SVF::Andersen::getDiffPts()']]],
   ['getdirandindjoinedtid',['getDirAndIndJoinedTid',['../classSVF_1_1MHP.html#aed0633101a35b43a1769261db14fb1a1',1,'SVF::MHP::getDirAndIndJoinedTid()'],['../classSVF_1_1ForkJoinAnalysis.html#a34ec31a6859cd94b525bfa26e549d8c1',1,'SVF::ForkJoinAnalysis::getDirAndIndJoinedTid()']]],
   ['getdircallsitesinvokingcallee',['getDirCallSitesInvokingCallee',['../classSVF_1_1PTACallGraph.html#a0d2544130cc2cdc3ac418c975c278eb2',1,'SVF::PTACallGraph']]],
   ['getdirectcalls',['getDirectCalls',['../classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9',1,'SVF::PTACallGraphEdge::getDirectCalls()'],['../classSVF_1_1PTACallGraphEdge.html#a6310e7684d6b6ecd345f557eda899160',1,'SVF::PTACallGraphEdge::getDirectCalls() const']]],
@@ -593,7 +593,7 @@ var searchData=
   ['getnodeidtype',['getNodeIDType',['../classSVF_1_1ExtAPI.html#a6fdedabaf1adb051a562a261b86c9cf6',1,'SVF::ExtAPI']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
   ['getnodelabel',['getNodeLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba',1,'SVF::DefaultDOTGraphTraits::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed',1,'SVF::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff',1,'SVF::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205',1,'SVF::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756',1,'SVF::DOTGraphTraits< TCT * >::getNodeLabel()']]],
-  ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
+  ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a5fd783872908d85e9192f4348ac0b493',1,'SVF::PointsTo']]],
   ['getnodenumafterpagbuild',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
   ['getnonterminals',['getNonterminals',['../classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e',1,'SVF::GrammarBase']]],
   ['getnullptr',['getNullPtr',['../classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5',1,'SVF::IRGraph']]],
@@ -690,12 +690,12 @@ var searchData=
   ['getptapagedgenum',['getPTAPAGEdgeNum',['../classSVF_1_1IRGraph.html#a51485004eb28aab6620801205d13ef1b',1,'SVF::IRGraph']]],
   ['getptasvfstmtlist',['getPTASVFStmtList',['../classSVF_1_1SVFIR.html#abb91ed47d5c13d0ad7eec35164e37988',1,'SVF::SVFIR']]],
   ['getptasvfstmtset',['getPTASVFStmtSet',['../classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576',1,'SVF::SVFIR']]],
-  ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792',1,'SVF::BVDataPTAImpl']]],
+  ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#afaeae813ff38e010bbe8fe61befb345c',1,'SVF::BVDataPTAImpl']]],
   ['getptdataty',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
   ['getptdty',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
   ['getptrelementtype',['getPtrElementType',['../classSVF_1_1SVFPointerType.html#a067e8f095942e095aa1721dee3a241ea',1,'SVF::SVFPointerType::getPtrElementType()'],['../namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870',1,'SVF::LLVMUtil::getPtrElementType()']]],
   ['getptrnodeid',['getPtrNodeID',['../classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397',1,'SVF::ContextDDA::getPtrNodeID()'],['../classSVF_1_1DDAVFSolver.html#a3fa002d4ba4194ffde62ecbdd361a24d',1,'SVF::DDAVFSolver::getPtrNodeID()'],['../classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a',1,'SVF::FlowDDA::getPtrNodeID()']]],
-  ['getpts',['getPts',['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
+  ['getpts',['getPts',['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
   ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae',1,'SVF::GrammarBase']]],
@@ -725,7 +725,7 @@ var searchData=
   ['getreturntype',['getReturnType',['../classSVF_1_1SVFFunctionType.html#a74ce115a0fa958f259469b521468a2b3',1,'SVF::SVFFunctionType::getReturnType()'],['../classSVF_1_1SVFFunction.html#af264312f0020bde9151697bccfde3263',1,'SVF::SVFFunction::getReturnType()']]],
   ['getrev',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
   ['getreversenodemapping',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['getrevpts',['getRevPts',['../classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d',1,'SVF::CFLAlias::getRevPts()'],['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
+  ['getrevpts',['getRevPts',['../classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d',1,'SVF::CFLAlias::getRevPts()'],['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7c34a171565b7eb45a54b6a8336a321d',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a4faa0f91fa8acbd8c818f3abf5db8b5f',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#aa30608bc36dcfde45c896d4a15a08ca1',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
   ['getrhsvar',['getRHSVar',['../classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28',1,'SVF::AssignStmt']]],
   ['getrhsvarid',['getRHSVarID',['../classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d',1,'SVF::AssignStmt']]],
   ['getsabercondallocator',['getSaberCondAllocator',['../classSVF_1_1SrcSnkDDA.html#af4f725606567ce8cc66b805df87a7afb',1,'SVF::SrcSnkDDA']]],
@@ -849,7 +849,7 @@ var searchData=
   ['getvcallthisptr',['getVCallThisPtr',['../namespaceSVF_1_1cppUtil.html#a643736d0d9aae502784f736f492201b4',1,'SVF::cppUtil']]],
   ['getvcallvtblptr',['getVCallVtblPtr',['../namespaceSVF_1_1cppUtil.html#a374e7c0b161a77f4d693e13b99ed6283',1,'SVF::cppUtil']]],
   ['getversion',['getVersion',['../classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561',1,'SVF::DummyVersionPropSVFGNode::getVersion()'],['../classSVF_1_1VersionedFlowSensitive.html#a6b398d59fc276980dd2d6d48a8675068',1,'SVF::VersionedFlowSensitive::getVersion()']]],
-  ['getversionedkeyrevpts',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
+  ['getversionedkeyrevpts',['getVersionedKeyRevPts',['../classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6',1,'SVF::VersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#afaef5c61bee74cbd649c787cfdef2a03',1,'SVF::MutableVersionedPTData::getVersionedKeyRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#acabb81409a3767f31227f46e106cb2d0',1,'SVF::PersistentVersionedPTData::getVersionedKeyRevPts()']]],
   ['getversionedptdataty',['getVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee',1,'SVF::BVDataPTAImpl']]],
   ['getvfcond',['getVFCond',['../classSVF_1_1ProgSlice.html#aeb1924daad67a0b7ed9e5b4974755261',1,'SVF::ProgSlice']]],
   ['getvfgnode',['getVFGNode',['../classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc',1,'SVF::VFG']]],
@@ -887,7 +887,6 @@ var searchData=
   ['globalobject',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
   ['globalset',['GlobalSet',['../classSVF_1_1SVFModule.html#a4ff4bbd1771615757fc6575282046e30',1,'SVF::SVFModule']]],
   ['globalsettype',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
-  ['globalsvfg',['globalSvfg',['../classSVF_1_1SVFGBuilder.html#a31b754a303116f33d679dfcd886c4bed',1,'SVF::SVFGBuilder']]],
   ['globalvalue',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
   ['globalvariable',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
   ['globalvfgnodes',['globalVFGNodes',['../classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3',1,'SVF::VFG']]],

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

@@ -67,8 +67,8 @@ var searchData=
   ['hasdeclaration',['hasDeclaration',['../classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620',1,'SVF::LLVMModuleSet']]],
   ['hasdef',['hasDef',['../classSVF_1_1SVFG.html#a926c79813d5cfbd16201832024b95190',1,'SVF::SVFG::hasDef()'],['../classSVF_1_1VFG.html#ab5b63b4f6317bfb5875f2b977bcf26a4',1,'SVF::VFG::hasDef()']]],
   ['hasdefinition',['hasDefinition',['../classSVF_1_1LLVMModuleSet.html#a32558da64f03452c502ec57d1e106427',1,'SVF::LLVMModuleSet']]],
-  ['hasdfinset',['hasDFInSet',['../classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c',1,'SVF::DFPTData::hasDFInSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab',1,'SVF::DFPTData::hasDFInSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ab490fd81739f2bd6dddabd5ce5beac3b',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc, const Key &var) const override']]],
-  ['hasdfoutset',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ace47d00f778bc4a714fc4f9d0cbd063c',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
+  ['hasdfinset',['hasDFInSet',['../classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c',1,'SVF::DFPTData::hasDFInSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab',1,'SVF::DFPTData::hasDFInSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de',1,'SVF::MutableDFPTData::hasDFInSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae',1,'SVF::PersistentDFPTData::hasDFInSet(LocID loc, const Key &var) const override']]],
+  ['hasdfoutset',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
   ['hasedge',['hasEdge',['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
@@ -82,7 +82,7 @@ var searchData=
   ['hasglobalrep',['hasGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a0e5ab0def54815f67ed7495d028dab1b',1,'SVF::LLVMModuleSet']]],
   ['hasgnode',['hasGNode',['../classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5',1,'SVF::GenericGraph']]],
   ['hasgraphedge',['hasGraphEdge',['../classSVF_1_1PTACallGraph.html#a6d29a39440d8f6290e2e8b7322b965fb',1,'SVF::PTACallGraph::hasGraphEdge()'],['../classSVF_1_1TCT.html#adb2025048dc69f0689f526c58df29802',1,'SVF::TCT::hasGraphEdge()']]],
-  ['hash',['Hash',['../structSVF_1_1Hash.html',1,'SVF::Hash< T >'],['../classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986',1,'SVF::ExeState::hash()'],['../classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce',1,'SVF::IntervalExeState::hash()'],['../classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73',1,'SVF::RelExeState::hash()'],['../classSVF_1_1PointsTo.html#afe275b31ea93a3ecea4e19660ceef0ae',1,'SVF::PointsTo::hash()'],['../classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359',1,'SVF::CoreBitVector::hash()'],['../classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9',1,'SVF::Z3Expr::hash()']]],
+  ['hash',['Hash',['../structSVF_1_1Hash.html',1,'SVF::Hash< T >'],['../classSVF_1_1ExeState.html#a2e63af0f29d04484c09cca217b799986',1,'SVF::ExeState::hash()'],['../classSVF_1_1IntervalExeState.html#a85b0e711160d67ea84f426025b980dce',1,'SVF::IntervalExeState::hash()'],['../classSVF_1_1RelExeState.html#a021da964784427cfb9f4353e2678ce73',1,'SVF::RelExeState::hash()'],['../classSVF_1_1PointsTo.html#a32b52339998976ec5bdd9f2cc7ed9e3f',1,'SVF::PointsTo::hash()'],['../classSVF_1_1CoreBitVector.html#af979ecb48d3d5296bce5bd0b4676e359',1,'SVF::CoreBitVector::hash()'],['../classSVF_1_1Z3Expr.html#a631cb7cee0e1f9b7204b9293f4e516a9',1,'SVF::Z3Expr::hash()']]],
   ['hash_3c_20const_20svf_3a_3acondvar_3c_20cond_20_3e_20_3e',['hash< const SVF::CondVar< Cond > >',['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html',1,'std']]],
   ['hash_3c_20const_20svf_3a_3acontextcond_20_3e',['hash< const SVF::ContextCond >',['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html',1,'std']]],
   ['hash_3c_20corebitvector_20_3e',['Hash< CoreBitVector >',['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html',1,'SVF']]],

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

@@ -37,7 +37,7 @@ var searchData=
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
   ['idtonodemapty',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269',1,'SVF::GenericGraph']]],
   ['idtoobjmap',['idToObjMap',['../classSVF_1_1SymbolTableInfo.html#a929a20dc8f2eb4d82e93938b8339d697',1,'SVF::SymbolTableInfo']]],
-  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25',1,'SVF::PersistentPointsToCache']]],
+  ['idtopts',['idToPts',['../classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998',1,'SVF::PersistentPointsToCache']]],
   ['idtoterminstmap',['idToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881',1,'SVF::SaberCondAllocator']]],
   ['if',['if',['../cJSON_8cpp.html#a90e6101bee79e6d18c535254695e91e3',1,'if(!(object->type &cJSON_String)||(object->type &cJSON_IsReference)): cJSON.cpp'],['../cJSON_8cpp.html#af00faa2be0e3b87cd54f46adf0f5b799',1,'if(strlen(valuestring)<=strlen(object->valuestring)): cJSON.cpp'],['../cJSON_8cpp.html#ae47a6320597174c09b4b032c600b3f16',1,'if(copy==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a69f85127495f4f14fe9d9d3ed1153c0f',1,'if(object->valuestring !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#abfe73b8e0114278ce0cc7c20a6bacdb9',1,'if(NULL==value): cJSON.cpp'],['../cJSON_8cpp.html#a4453a436aec0254e89bad92c056c196c',1,'if(value==NULL||0==buffer_length): cJSON.cpp'],['../cJSON_8cpp.html#a9a60d8945eee5e6258fce5439e056c55',1,'if(item==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a28f4a33af8f7fcee96d1559e403ff29b',1,'if(!parse_value(item, buffer_skip_whitespace(skip_utf8_bom(&buffer)))): cJSON.cpp'],['../cJSON_8cpp.html#a4593ce107753e9b7b31ddac97a959994',1,'if(require_null_terminated): cJSON.cpp'],['../cJSON_8cpp.html#ad322e1e2bce42db81bab5176fa296c29',1,'if(return_parse_end): cJSON.cpp'],['../cJSON_8cpp.html#a843cfcfecd006b5d1bd0cf91dc070e89',1,'if(value !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0aaaa25cc9cc181d709602c445fd2d1c',1,'if(prebuffer< 0): cJSON.cpp'],['../cJSON_8cpp.html#a6f520bf3d4e33963411d1c292d704503',1,'if(!p.buffer): cJSON.cpp'],['../cJSON_8cpp.html#a5dbd74dff02e6d96a1f0a2a631936589',1,'if(!print_value(item, &p)): cJSON.cpp'],['../cJSON_8cpp.html#a71352311b7972f5e6eb5ff3c71e9252f',1,'if((length< 0)||(buffer==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#a190550315572ee2a1b6bbd2d181cca57',1,'if(add_item_to_object(object, name, null, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a57383894ddbf6d141efc4be10cc9c3dc',1,'if(add_item_to_object(object, name, true_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a7c636ab338e0e044d3b117c4c17cd660',1,'if(add_item_to_object(object, name, false_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#add3447abc993c24187f21b06f123ed3b',1,'if(add_item_to_object(object, name, bool_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a50b35cc4ddb9d2f7f7b5b3bba78189dc',1,'if(add_item_to_object(object, name, number_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a04012f31b42f0151ecdbeb031f5fccfc',1,'if(add_item_to_object(object, name, string_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a6b32addfb87777063dd05a293063d338',1,'if(add_item_to_object(object, name, raw_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a0271dd70fe155382d60ed74b73e7a71e',1,'if(add_item_to_object(object, name, object_item, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#abbf8c9146b5050d37f9b513e3e8ac588',1,'if(add_item_to_object(object, name, array, &global_hooks, false)): cJSON.cpp'],['../cJSON_8cpp.html#a8182cf148f1b59107b476a0512e66c65',1,'if(after_inserted==NULL): cJSON.cpp'],['../cJSON_8cpp.html#a5b6124f94989a9cfe4d79ac40386779d',1,'if(replacement->next !=NULL): cJSON.cpp'],['../cJSON_8cpp.html#a0f57e2720be39caf76124659d10fbb32',1,'if(parent->child==item): cJSON.cpp'],['../cJSON_8cpp.html#a4151c5c0d36dfe24841d4723ac65d6c6',1,'if((count< 0)||(numbers==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ae39a150ec9a630fd5d4b61d5968c0072',1,'if(a &&a->child): cJSON.cpp'],['../cJSON_8cpp.html#a1f198ce8a758a05c9a99366c38a12f47',1,'if((count< 0)||(strings==NULL)): cJSON.cpp'],['../cJSON_8cpp.html#ad9bc5485a16a60b0824f65b68f3bf53e',1,'if(!item): cJSON.cpp'],['../cJSON_8cpp.html#ac710a9eb697fc89f52a407ce22224d06',1,'if(item->valuestring): cJSON.cpp'],['../cJSON_8cpp.html#a0cde9b5cb05996d1f922f4f7b77a07b4',1,'if(newitem &&newitem->child): cJSON.cpp'],['../tools_2CFL_2CMakeLists_8txt.html#a1fd8413c9b18e2bc5fdbb9f1c958c017',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf $: CMakeLists.txt'],['../tools_2DDA_2CMakeLists_8txt.html#af3757e8c8a37e935b02d531c6cbd60c0',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf $: CMakeLists.txt'],['../tools_2Example_2CMakeLists_8txt.html#ae4d9db95d5f46d9fb4772700d1c60d06',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex Svf $: CMakeLists.txt'],['../tools_2MTA_2CMakeLists_8txt.html#ac031158595e870c66c5d79c82a909710',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(mta mta.cpp) else() add_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) target_link_libraries(mta Svf $: CMakeLists.txt'],['../tools_2SABER_2CMakeLists_8txt.html#a0ea45b7ef1bbbc031c899c47aa7eff4e',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber Svf $: CMakeLists.txt']]],
   ['ignoredeadfun',['IgnoreDeadFun',['../classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040',1,'SVF::Options']]],
@@ -92,7 +92,7 @@ var searchData=
   ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
   ['initialisecandidatepointers',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize',['initialize',['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()']]],
+  ['initialize',['initialize',['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba',1,'SVF::CFLSolver::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()']]],
   ['initialworklist',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
   ['initobjvar',['initObjVar',['../classSVF_1_1SVFIR2ItvExeState.html#a646fa58f61db6abd98d0a04af1fab88d',1,'SVF::SVFIR2ItvExeState']]],
   ['initsnks',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
@@ -358,7 +358,7 @@ var searchData=
   ['isindirectvfgedge',['isIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#aa8f30d093d4950724a6688707326b57b',1,'SVF::VFGEdge']]],
   ['isinf',['isinf',['../cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df',1,'cJSON.cpp']]],
   ['isinicfgedge',['isInICFGEdge',['../classSVF_1_1SVFLoop.html#ae8a579b8798cf14ba8c1d9ee9c355267',1,'SVF::SVFLoop']]],
-  ['isinloop',['isInLoop',['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()'],['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()']]],
+  ['isinloop',['isInloop',['../classSVF_1_1TCTNode.html#a4541cd85dcde2ce789ea411ebb1d89c7',1,'SVF::TCTNode::isInloop()'],['../classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6',1,'SVF::CxtThread::isInloop()'],['../classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5',1,'SVF::ICFG::isInLoop(const ICFGNode *node)'],['../classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d',1,'SVF::ICFG::isInLoop(const SVFInstruction *inst)'],['../classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3',1,'SVF::SVFLoop::isInLoop()']]],
   ['isinloopinstruction',['isInLoopInstruction',['../classSVF_1_1TCT.html#af1e7f51f9a3540fa73b856def01da77e',1,'SVF::TCT']]],
   ['isinrecursion',['isInRecursion',['../classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a',1,'SVF::PointerAnalysis::isInRecursion()'],['../classSVF_1_1TCT.html#a17a478edc9fac3e501202073100549ff',1,'SVF::TCT::isInRecursion()']]],
   ['isinsamecispan',['isInSameCISpan',['../classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e',1,'SVF::LockAnalysis']]],
@@ -516,7 +516,7 @@ var searchData=
   ['isvararray',['isVarArray',['../classSVF_1_1MemObj.html#a616e9f4d6f82a253f94391c47668b9a6',1,'SVF::MemObj::isVarArray()'],['../classSVF_1_1ObjTypeInfo.html#aca1e900f9b0a774684af77666cf033e3',1,'SVF::ObjTypeInfo::isVarArray()']]],
   ['isvariantfieldgep',['isVariantFieldGep',['../classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788',1,'SVF::GepStmt']]],
   ['isvarstruct',['isVarStruct',['../classSVF_1_1MemObj.html#ad1966c52f95775ac7d65c0ba6632c3cf',1,'SVF::MemObj::isVarStruct()'],['../classSVF_1_1ObjTypeInfo.html#a40d6703875b370aed2c6dc41c0594af5',1,'SVF::ObjTypeInfo::isVarStruct()']]],
-  ['isvirtualcall',['isVirtualCall',['../classSVF_1_1CallSite.html#a100235069232bd9940783a31acfd1169',1,'SVF::CallSite']]],
+  ['isvirtualcall',['isVirtualCall',['../classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89',1,'SVF::CallSite']]],
   ['isvirtualcallsite',['isVirtualCallSite',['../namespaceSVF_1_1cppUtil.html#aab1dce633f9a03796c208b6fba2bd2b4',1,'SVF::cppUtil']]],
   ['isvirtualmemaddress',['isVirtualMemAddress',['../classSVF_1_1AddressValue.html#ab76f47f97262d40dbbee12f466f746e8',1,'SVF::AddressValue::isVirtualMemAddress()'],['../classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4',1,'SVF::ExeState::isVirtualMemAddress()'],['../classSVF_1_1RelExeState.html#adc3ed92ba80bb95326cbbe675a278879',1,'SVF::RelExeState::isVirtualMemAddress()'],['../classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14',1,'SVF::SVFIR2ItvExeState::isVirtualMemAddress()']]],
   ['isvisited',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['keepnoneselfcycle',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
   ['keytoidmap',['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()']]],
   ['kgrn',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
+  ['kind',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8',1,'SVF::SVFType::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()'],['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()']]],
   ['kind2attrsmap',['kind2AttrsMap',['../classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce',1,'SVF::GrammarBase::kind2AttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90',1,'SVF::CFLGraphBuilder::kind2AttrsMap()']]],
   ['kind2labelmap',['kind2LabelMap',['../classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c',1,'SVF::CFLGraphBuilder']]],
   ['kind2str',['kind2Str',['../classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3',1,'SVF::GrammarBase']]],

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

@@ -41,7 +41,7 @@ var searchData=
   ['llvmutil_2eh',['LLVMUtil.h',['../LLVMUtil_8h.html',1,'']]],
   ['llvmvalue2svfothervalue',['LLVMValue2SVFOtherValue',['../classSVF_1_1LLVMModuleSet.html#ac3e70bd338be3a54330be5dc10321eb3',1,'SVF::LLVMModuleSet']]],
   ['llvmvalue2svfothervaluemap',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['load',['load',['../classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab',1,'SVF::IntervalExeState::load()'],['../classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5',1,'SVF::RelExeState::load(const Z3Expr &loc)'],['../classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d',1,'SVF::RelExeState::load(u32_t objId)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()']]],
+  ['load',['Load',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2',1,'SVF::ConstraintEdge::Load()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80',1,'SVF::VFGNode::Load()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5',1,'SVF::SVFStmt::Load()'],['../classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab',1,'SVF::IntervalExeState::load()'],['../classSVF_1_1RelExeState.html#aa550a580be3278d19f759b3a644baea5',1,'SVF::RelExeState::load(const Z3Expr &loc)'],['../classSVF_1_1RelExeState.html#a72ec0766984f31168ad59a4ee23bcc9d',1,'SVF::RelExeState::load(u32_t objId)']]],
   ['load2musetmap',['load2MuSetMap',['../classSVF_1_1MemSSA.html#a5cf94edea3a5c35b3c1d9c6ae4b5f9d6',1,'SVF::MemSSA']]],
   ['loadcgedge',['LoadCGEdge',['../classSVF_1_1LoadCGEdge.html',1,'SVF::LoadCGEdge'],['../classSVF_1_1LoadCGEdge.html#a74ccf27a1e90fb8f47e9cecf7bd38cf7',1,'SVF::LoadCGEdge::LoadCGEdge()'],['../classSVF_1_1LoadCGEdge.html#a7dd1e2dd057e0985fd837222f8042019',1,'SVF::LoadCGEdge::LoadCGEdge(const LoadCGEdge &)'],['../classSVF_1_1LoadCGEdge.html#a36a21551732bbe3f7ff4babc0804bff2',1,'SVF::LoadCGEdge::LoadCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['loadcgedgeset',['LoadCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17',1,'SVF::ConstraintGraph']]],
@@ -49,7 +49,7 @@ var searchData=
   ['loadinst',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmssamu',['LoadMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9baca29c59204ea9d2e228cba3e349aa019',1,'SVF::MSSAMU']]],
-  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()']]],
+  ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html',1,'SVF::LoadMU< Cond >'],['../classSVF_1_1LoadMU.html#ae092d4197b966d428d7ffdd9146621b4',1,'SVF::LoadMU::LoadMU()'],['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
   ['loadoutedges',['loadOutEdges',['../classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934',1,'SVF::ConstraintNode']]],
   ['loadset',['LoadSet',['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA::LoadSet()'],['../classSVF_1_1MTAAnnotator.html#a469851829bf1105fe8faac44b4abbfdd',1,'SVF::MTAAnnotator::loadset()']]],
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
@@ -86,7 +86,7 @@ var searchData=
   ['lockset',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
   ['locksites',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
+  ['lockspan',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
   ['locktime',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
   ['lockvalid',['LockValid',['../classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66',1,'SVF::Options']]],
   ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],

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

@@ -80,7 +80,7 @@ var searchData=
   ['memregtobbsmap',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
   ['memregtocountermap',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
   ['memregtoverstackmap',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()']]],
+  ['memssa',['MemSSA',['../classSVF_1_1MemSSA.html',1,'SVF::MemSSA'],['../classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15',1,'SVF::MemSSA::MemSSA()'],['../classSVF_1_1CFLVF.html#a42998aacf670d108b2a00b8993507e1e',1,'SVF::CFLVF::memSSA()'],['../classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700',1,'SVF::SrcSnkDDA::memSSA()'],['../classSVF_1_1FlowSensitive.html#a76f6f19ac2b58ab4a10a2d7e6e24e42a',1,'SVF::FlowSensitive::memSSA()']]],
   ['memssa_2ecpp',['MemSSA.cpp',['../MemSSA_8cpp.html',1,'']]],
   ['memssa_2eh',['MemSSA.h',['../MemSSA_8h.html',1,'']]],
   ['memssastat',['MemSSAStat',['../classSVF_1_1MemSSAStat.html',1,'SVF::MemSSAStat'],['../classSVF_1_1MemSSAStat.html#a53f3d85a8eb63676d3dc47ee648efb66',1,'SVF::MemSSAStat::MemSSAStat()']]],
@@ -139,9 +139,9 @@ var searchData=
   ['mrverid',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
   ['mrverset',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
   ['mrversion',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssa',['mssa',['../classSVF_1_1SVFG.html#a6f07410ee34e4bf1079e3b5902c81d28',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
+  ['mssa',['mssa',['../classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8',1,'SVF::SVFG::mssa()'],['../classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394',1,'SVF::MemSSAStat::mssa()']]],
   ['mssachi',['MSSACHI',['../classSVF_1_1MSSACHI.html',1,'SVF::MSSACHI< Cond >'],['../classSVF_1_1MSSACHI.html#af9ecdf852667bd23fe4805ba04c3e815',1,'SVF::MSSACHI::MSSACHI()']]],
-  ['mssadef',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()']]],
+  ['mssadef',['MSSADEF',['../classSVF_1_1MSSADEF.html',1,'SVF::MSSADEF'],['../classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de',1,'SVF::MSSADEF::MSSADEF()'],['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer::MSSADef()']]],
   ['mssafun',['MSSAFun',['../classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d',1,'SVF::Options']]],
   ['mssamu',['MSSAMU',['../classSVF_1_1MSSAMU.html',1,'SVF::MSSAMU< Cond >'],['../classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f',1,'SVF::MSSAMU::MSSAMU()']]],
   ['mssamuchi_2eh',['MSSAMuChi.h',['../MSSAMuChi_8h.html',1,'']]],

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

@@ -30,7 +30,7 @@ var searchData=
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe',1,'SVF::ExtAPI']]],
   ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
   ['noalloc',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
-  ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1WtoComponent.html#a61379d9c9aafab0f4729f2818d6d2ec5a54ef1064a99b7157c55a8d478adb4749',1,'SVF::WtoComponent::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1WtoVertex.html#adf36d4d72f1848e3fd6a6000fd0e89c0',1,'SVF::WtoVertex::node()']]],
+  ['node',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1WtoVertex.html#adf36d4d72f1848e3fd6a6000fd0e89c0',1,'SVF::WtoVertex::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1WtoComponent.html#a61379d9c9aafab0f4729f2818d6d2ec5a54ef1064a99b7157c55a8d478adb4749',1,'SVF::WtoComponent::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
   ['node_5fiterator',['node_iterator',['../classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427',1,'SVF::GraphWriter::node_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084',1,'SVF::GraphReachSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
@@ -107,7 +107,7 @@ var searchData=
   ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],

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

@@ -35,9 +35,9 @@ var searchData=
   ['operator_25',['operator%',['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()'],['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF::operator%()']]],
   ['operator_26_3d',['operator&=',['../classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4',1,'SVF::CondPointsToSet::operator&=()'],['../namespaceSVF.html#a9d6c986a34096a3552a6385ccbb724e4',1,'SVF::operator&=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#a5df68020aca621b053acbe3f917f0809',1,'SVF::operator&=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)']]],
   ['operator_28_29',['operator()',['../structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5',1,'std::hash< SVF::IntervalExeState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html#aea05ac3204b21682cf1accec34645d88',1,'std::hash< SVF::RelExeState >::operator()()'],['../classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54',1,'SVF::GrammarBase::SymbolHash::operator()()'],['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e',1,'SVF::GrammarBase::SymbolVectorHash::operator()()'],['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529',1,'std::hash< SVF::CondStdSet< Element > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367',1,'std::hash< SVF::PointsTo >::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash< SVF::SVFGNodeLockSpan >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d',1,'std::hash< SVF::SparseBitVector< N > >::operator()()'],['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd',1,'std::hash< std::vector< T > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411',1,'SVF::Hash< CoreBitVector >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
-  ['operator_2a',['operator*',['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1mapped__iter.html#a1c166c16e98b4bb82d986d459abea89f',1,'SVF::mapped_iter::operator*()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator*()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180',1,'SVF::PointsTo::PointsToIterator::operator*()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator*()'],['../classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47',1,'SVF::iter_adaptor_base::operator*()'],['../structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4',1,'SVF::pointee_iter::operator*()'],['../classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a',1,'SVF::pointer_iterator::operator*()'],['../classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64',1,'SVF::pointer_iterator::operator*() const'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
+  ['operator_2a',['operator*',['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1mapped__iter.html#a1c166c16e98b4bb82d986d459abea89f',1,'SVF::mapped_iter::operator*()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator*()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a0fc3ebfd1990d09cc1b7c26bd94fb57a',1,'SVF::PointsTo::PointsToIterator::operator*()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator*()'],['../classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47',1,'SVF::iter_adaptor_base::operator*()'],['../structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4',1,'SVF::pointee_iter::operator*()'],['../classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a',1,'SVF::pointer_iterator::operator*()'],['../classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64',1,'SVF::pointer_iterator::operator*() const'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
   ['operator_2b',['operator+',['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8',1,'SVF::LocationSet::operator+()'],['../classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24',1,'SVF::iter_facade_base::operator+(DifferenceTypeT n) const'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()'],['../namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa',1,'SVF::operator+()']]],
-  ['operator_2b_2b',['operator++',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f',1,'SVF::PointsTo::PointsToIterator::operator++(void)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a94a195a13777028d5af16985e3fd5b73',1,'SVF::PointsTo::PointsToIterator::operator++(int)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e',1,'llvm::generic_bridge_gep_type_iterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300',1,'llvm::generic_bridge_gep_type_iterator::operator++(int)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(void)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(int)'],['../classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417',1,'SVF::iter_facade_base::operator++()'],['../classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b',1,'SVF::iter_facade_base::operator++(int)'],['../classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764',1,'SVF::iter_adaptor_base::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a9615a441805796b993252866e5a971aa',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++(int)']]],
+  ['operator_2b_2b',['operator++',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac426e75680a2dce9c9185e83af749d51',1,'SVF::PointsTo::PointsToIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a94a195a13777028d5af16985e3fd5b73',1,'SVF::PointsTo::PointsToIterator::operator++(int)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e',1,'llvm::generic_bridge_gep_type_iterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300',1,'llvm::generic_bridge_gep_type_iterator::operator++(int)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(void)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(int)'],['../classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417',1,'SVF::iter_facade_base::operator++()'],['../classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b',1,'SVF::iter_facade_base::operator++(int)'],['../classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764',1,'SVF::iter_adaptor_base::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a9615a441805796b993252866e5a971aa',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++(int)']]],
   ['operator_2b_3d',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
   ['operator_2d',['operator-',['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475',1,'SVF::iter_facade_base::operator-()'],['../classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90',1,'SVF::iter_adaptor_base::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()'],['../namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36',1,'SVF::operator-(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF::operator-(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a1b6662f895cfd942996ac4d578960eed',1,'SVF::operator-(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
   ['operator_2d_2d',['operator--',['../classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d',1,'SVF::iter_facade_base::operator--()'],['../classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4',1,'SVF::iter_facade_base::operator--(int)'],['../classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc',1,'SVF::iter_adaptor_base::operator--()']]],
@@ -47,7 +47,7 @@ var searchData=
   ['operator_3c',['operator<',['../classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58',1,'SVF::IntervalExeState::operator<()'],['../classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97',1,'SVF::RelExeState::operator<()'],['../classSVF_1_1WtoNesting.html#a5062dbe3c87e17800d4b77da97c072d7',1,'SVF::WtoNesting::operator<()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8',1,'SVF::GrammarBase::Symbol::operator<()'],['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator<()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator<()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator<()'],['../classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4',1,'SVF::LocationSet::operator<()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator<()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator<()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator<()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator<()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator<()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator<()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator<()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator<()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator<()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator<()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator<()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator<()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator<()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()'],['../namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b',1,'SVF::operator<()']]],
   ['operator_3c_3c',['operator<<',['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1WtoNesting.html#a86ce67dd17e0077ac353c2129dd3de1a',1,'SVF::WtoNesting::operator<<()'],['../classSVF_1_1WtoComponent.html#a1c0915fe947c270b871f80a2741883cb',1,'SVF::WtoComponent::operator<<()'],['../classSVF_1_1Wto.html#ac8d57de26f8419df9bc3e7167e2cdabb',1,'SVF::Wto::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#a39307d40da99ae8055e6b5fde5d92807',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()'],['../namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6',1,'SVF::operator<<(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a9f1d12be8c396b73b5a37de2061a24b0',1,'SVF::operator<<(std::ostream &o, const IntervalValue &IntervalValue)'],['../namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa',1,'SVF::operator<<(std::ostream &o, const MRVer &mrver)'],['../namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207',1,'SVF::operator<<(OutStream &o, const std::pair< F, S > &var)']]],
   ['operator_3c_3d',['operator<=',['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1WtoNesting.html#ac586ecfd26b2bd89167ff879d66a82b5',1,'SVF::WtoNesting::operator<=()'],['../classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf',1,'SVF::iter_facade_base::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()'],['../namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293',1,'SVF::operator<=()']]],
-  ['operator_3d',['operator=',['../classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3',1,'SVF::AbstractValue::operator=(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a04166c2df89bf2f5edf54c3d6396608a',1,'SVF::AbstractValue::operator=(AbstractValue &&) noexcept=default'],['../classSVF_1_1AddressValue.html#af04057a03bd456dedf10ac2c985478cc',1,'SVF::AddressValue::operator=(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#aba1127b2bd075c530f7cdc4826cbae73',1,'SVF::AddressValue::operator=(AddressValue &&other) noexcept'],['../classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03',1,'SVF::ExeState::operator=(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f',1,'SVF::ExeState::operator=(ExeState &&rhs) noexcept'],['../classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7',1,'SVF::IntervalExeState::operator=(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7',1,'SVF::IntervalExeState::operator=(IntervalExeState &&rhs)'],['../classSVF_1_1IntervalValue.html#a2f2121ab7e99c9057b1855f355dd0d4b',1,'SVF::IntervalValue::operator=(const IntervalValue &a) noexcept=default'],['../classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f',1,'SVF::IntervalValue::operator=(IntervalValue &&)=default'],['../classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2',1,'SVF::NumericLiteral::operator=(const NumericLiteral &) noexcept=default'],['../classSVF_1_1NumericLiteral.html#ad4eab1f6925a8809a6bcd140f1f896cd',1,'SVF::NumericLiteral::operator=(NumericLiteral &&) noexcept=default'],['../classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86',1,'SVF::RelExeState::operator=(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20',1,'SVF::RelExeState::operator=(RelExeState &&rhs) noexcept'],['../classSVF_1_1WtoComponentVisitor.html#aaf3e934b4a44028294af61363a0d9ec0',1,'SVF::WtoComponentVisitor::operator=(const WtoComponentVisitor &) noexcept=default'],['../classSVF_1_1WtoComponentVisitor.html#ad3e986fde758f9d2f6b7ccac036f3462',1,'SVF::WtoComponentVisitor::operator=(WtoComponentVisitor &&) noexcept=default'],['../classSVF_1_1WtoNesting.html#ad8ef62b31af08af32a160e048696896d',1,'SVF::WtoNesting::operator=(const WtoNesting &)=default'],['../classSVF_1_1WtoNesting.html#a2cfad3aa86de5a6fd7b2d02c4151e6e3',1,'SVF::WtoNesting::operator=(WtoNesting &&)=default'],['../classSVF_1_1WtoComponent.html#a86592687a15592d3390d864d53250eaa',1,'SVF::WtoComponent::operator=(const WtoComponent &) noexcept=default'],['../classSVF_1_1WtoComponent.html#a8de245528016b2c4651f37c6e455d640',1,'SVF::WtoComponent::operator=(WtoComponent &&) noexcept=default'],['../classSVF_1_1Wto.html#a67712df707ee21927135027189e2723b',1,'SVF::Wto::operator=(const Wto &other)=default'],['../classSVF_1_1Wto.html#a7c6c07ac854277cefff5f51c25b84edc',1,'SVF::Wto::operator=(Wto &&other)=default'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181',1,'SVF::GrammarBase::Symbol::operator=(const u32_t &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a',1,'SVF::GrammarBase::Symbol::operator=(unsigned long long num)'],['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#ab06c71c3d1ab7ef2a67fc00b42f4be72',1,'SVF::PointsTo::operator=(PointsTo &&rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac35de79e5c5d48d7f8f6f22e8450a0f6',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs)'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252',1,'SVF::SelectStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1StInfo.html#a99cc762e18baa226ee3e8f928ee048aa',1,'SVF::StInfo::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811',1,'SVF::DPItem::operator=(DPItem &&rhs) noexcept'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=(const DPItem &rhs)'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#a87e2eff285fee018995be59ff0db4b52',1,'SVF::ContextCond::operator=(ContextCond &&cond) noexcept'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=(const ContextCond &rhs)'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#a36b56d1dde3eefa8e8197b7ccabff273',1,'SVF::CxtDPItem::operator=(CxtDPItem &&dps) noexcept'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=(const CxtDPItem &rhs)'],['../classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030',1,'SVF::SparseBitVector::operator=(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e',1,'SVF::SparseBitVector::operator=(SparseBitVector &&RHS)'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
+  ['operator_3d',['operator=',['../classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3',1,'SVF::AbstractValue::operator=(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a04166c2df89bf2f5edf54c3d6396608a',1,'SVF::AbstractValue::operator=(AbstractValue &&) noexcept=default'],['../classSVF_1_1AddressValue.html#af04057a03bd456dedf10ac2c985478cc',1,'SVF::AddressValue::operator=(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#aba1127b2bd075c530f7cdc4826cbae73',1,'SVF::AddressValue::operator=(AddressValue &&other) noexcept'],['../classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03',1,'SVF::ExeState::operator=(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f',1,'SVF::ExeState::operator=(ExeState &&rhs) noexcept'],['../classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7',1,'SVF::IntervalExeState::operator=(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7',1,'SVF::IntervalExeState::operator=(IntervalExeState &&rhs)'],['../classSVF_1_1IntervalValue.html#a2f2121ab7e99c9057b1855f355dd0d4b',1,'SVF::IntervalValue::operator=(const IntervalValue &a) noexcept=default'],['../classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f',1,'SVF::IntervalValue::operator=(IntervalValue &&)=default'],['../classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2',1,'SVF::NumericLiteral::operator=(const NumericLiteral &) noexcept=default'],['../classSVF_1_1NumericLiteral.html#ad4eab1f6925a8809a6bcd140f1f896cd',1,'SVF::NumericLiteral::operator=(NumericLiteral &&) noexcept=default'],['../classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86',1,'SVF::RelExeState::operator=(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20',1,'SVF::RelExeState::operator=(RelExeState &&rhs) noexcept'],['../classSVF_1_1WtoComponentVisitor.html#aaf3e934b4a44028294af61363a0d9ec0',1,'SVF::WtoComponentVisitor::operator=(const WtoComponentVisitor &) noexcept=default'],['../classSVF_1_1WtoComponentVisitor.html#ad3e986fde758f9d2f6b7ccac036f3462',1,'SVF::WtoComponentVisitor::operator=(WtoComponentVisitor &&) noexcept=default'],['../classSVF_1_1WtoNesting.html#ad8ef62b31af08af32a160e048696896d',1,'SVF::WtoNesting::operator=(const WtoNesting &)=default'],['../classSVF_1_1WtoNesting.html#a2cfad3aa86de5a6fd7b2d02c4151e6e3',1,'SVF::WtoNesting::operator=(WtoNesting &&)=default'],['../classSVF_1_1WtoComponent.html#a86592687a15592d3390d864d53250eaa',1,'SVF::WtoComponent::operator=(const WtoComponent &) noexcept=default'],['../classSVF_1_1WtoComponent.html#a8de245528016b2c4651f37c6e455d640',1,'SVF::WtoComponent::operator=(WtoComponent &&) noexcept=default'],['../classSVF_1_1Wto.html#a67712df707ee21927135027189e2723b',1,'SVF::Wto::operator=(const Wto &other)=default'],['../classSVF_1_1Wto.html#a7c6c07ac854277cefff5f51c25b84edc',1,'SVF::Wto::operator=(Wto &&other)=default'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181',1,'SVF::GrammarBase::Symbol::operator=(const u32_t &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a',1,'SVF::GrammarBase::Symbol::operator=(unsigned long long num)'],['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a615411a2d8909668271782398814bc9f',1,'SVF::PointsTo::operator=(PointsTo &&rhs) noexcept'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs) noexcept'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252',1,'SVF::SelectStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1',1,'SVF::StInfo::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811',1,'SVF::DPItem::operator=(DPItem &&rhs) noexcept'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=(const DPItem &rhs)'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#a87e2eff285fee018995be59ff0db4b52',1,'SVF::ContextCond::operator=(ContextCond &&cond) noexcept'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=(const ContextCond &rhs)'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#a36b56d1dde3eefa8e8197b7ccabff273',1,'SVF::CxtDPItem::operator=(CxtDPItem &&dps) noexcept'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=(const CxtDPItem &rhs)'],['../classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030',1,'SVF::SparseBitVector::operator=(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e',1,'SVF::SparseBitVector::operator=(SparseBitVector &&RHS)'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
   ['operator_3d_3d',['operator==',['../classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f',1,'SVF::AddressValue::operator==()'],['../classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3',1,'SVF::IntervalExeState::operator==()'],['../classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171',1,'SVF::IntervalValue::operator==()'],['../classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e',1,'SVF::RelExeState::operator==()'],['../classSVF_1_1WtoNesting.html#a4ee505bca401e24a23c6ac8d1aa572eb',1,'SVF::WtoNesting::operator==()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53',1,'SVF::GrammarBase::Symbol::operator==(const Symbol &s)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461',1,'SVF::GrammarBase::Symbol::operator==(const Symbol &s) const'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9',1,'SVF::GrammarBase::Symbol::operator==(const u32_t &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9',1,'SVF::GrammarBase::Symbol::operator==(const Kind &k) const'],['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112',1,'SVF::SparseBitVectorElement::operator==()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator==()'],['../classSVF_1_1SparseBitVector.html#a816d96bad46fde34b3848bf08dc6cdf5',1,'SVF::SparseBitVector::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
   ['operator_3e',['operator>',['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1WtoNesting.html#abc6a3492c1eae19fcdc7fb6f0bb21018',1,'SVF::WtoNesting::operator>()'],['../classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f',1,'SVF::iter_facade_base::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()'],['../namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2',1,'SVF::operator>()']]],
   ['operator_3e_3d',['operator>=',['../classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f',1,'SVF::IntervalExeState::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1WtoNesting.html#a75b29d477fe6a72be5822419b999d996',1,'SVF::WtoNesting::operator>=()'],['../classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6',1,'SVF::iter_facade_base::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()'],['../namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24',1,'SVF::operator>=()']]],
@@ -71,7 +71,7 @@ var searchData=
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()']]],
-  ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
+  ['opvers',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
   ['or',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
@@ -102,6 +102,6 @@ var searchData=
   ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
   ['ovalue_5fiterator',['ovalue_iterator',['../classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7',1,'SVF::SVFModule']]],
-  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
+  ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];