svf-tools 1.0.478 → 1.0.481

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

@@ -1,7 +1,5 @@
 var searchData=
 [
-  ['f',['F',['../CFLGrammar_8txt.html#ab3e8365e4019f02941439ff7980d8972',1,'F(Copy) *: CFLGrammar.txt'],['../CFLGrammar_8txt.html#a5526c6e27f7632db909dee64f361d2c9',1,'F(Store V Load) *: CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a5526c6e27f7632db909dee64f361d2c9',1,'F(Store V Load) *: CFLGrammarDev.txt']]],
-  ['fbar',['Fbar',['../CFLGrammar_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb',1,'Fbar(Copybar) *: CFLGrammar.txt'],['../CFLGrammar_8txt.html#a4154da66867aeecdfb16bff361b9d1ce',1,'Fbar(Loadbar V Storebar) *: CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a6fd7ba961de09e32f8086ffb5c1d49cb',1,'Fbar(Copybar) *: CFLGrammarDev.txt'],['../CFLGrammarDev_8txt.html#ad0247f340ac95d507af8a6fae307c193',1,'Fbar(Loadbar Vbar Storebar) *: CFLGrammarDev.txt']]],
   ['fc_5fisnan',['fc_isnan',['../fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0',1,'fastcluster.cpp']]],
   ['fieldexpand',['fieldExpand',['../classSVF_1_1AndersenSFR.html#aa768e5cd0a762d17e2ec2baaad0486bf',1,'SVF::AndersenSFR']]],
   ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html#a1d3ab8bea4d8f94b935d1bef3cf0c4ac',1,'SVF::FIFOWorkList']]],
@@ -10,7 +8,7 @@ var searchData=
   ['filoworklist',['FILOWorkList',['../classSVF_1_1FILOWorkList.html#ab447c6c1a59cd81982626d25d00d57de',1,'SVF::FILOWorkList']]],
   ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
   ['finalize',['finalize',['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1FlowSensitiveTBHC.html#a3564d6ad7e12e0a833b4cea203a809e4',1,'SVF::FlowSensitiveTBHC::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
-  ['find',['find',['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a3ac922ec28c4e6fe86db6ac262cd6dbd',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac072af7d7a6d3abad17b779445286e7e',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
+  ['find',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a3ac922ec28c4e6fe86db6ac262cd6dbd',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac072af7d7a6d3abad17b779445286e7e',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
   ['find_5fbest',['find_best',['../cuddInt_8c.html#a1efeea833dfd194338306de03a31e8ed',1,'cuddInt.c']]],
   ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836',1,'SVF::PointsTo']]],
   ['findpt',['findPT',['../classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce',1,'SVF::DDAVFSolver']]],

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

@@ -55,7 +55,7 @@ var searchData=
   ['getargoperand',['getArgOperand',['../classSVF_1_1CallSite.html#a5cd372d9fab846228fb0ee746001309a',1,'SVF::CallSite']]],
   ['getargument',['getArgument',['../classSVF_1_1CallSite.html#a26a594d36bbb5b77e7085502812d9ca2',1,'SVF::CallSite']]],
   ['getattributedkind',['getAttributedKind',['../classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275',1,'SVF::GrammarBase']]],
-  ['getattrsyms',['getAttrSyms',['../classSVF_1_1GrammarBase.html#a6747be215ccd4705134adf714c44f43c',1,'SVF::GrammarBase']]],
+  ['getattrsyms',['getAttrSyms',['../classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e',1,'SVF::GrammarBase']]],
   ['getbackwardslicesize',['getBackwardSliceSize',['../classSVF_1_1ProgSlice.html#a967fa01a8baae0dd086b5c09ae0faa7b',1,'SVF::ProgSlice']]],
   ['getbasenode',['getBaseNode',['../classSVF_1_1GepObjVar.html#a4c5e346db61f7e04c15bf8527d8eff3c',1,'SVF::GepObjVar']]],
   ['getbaseobj',['getBaseObj',['../classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749',1,'SVF::SVFIR']]],
@@ -220,9 +220,11 @@ var searchData=
   ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
+  ['getedgeattri',['getEdgeAttri',['../classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8',1,'SVF::CFLEdge']]],
   ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8',1,'SVF::CFLEdge::getEdgeKind()'],['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge::getEdgeKind()']]],
+  ['getedgekindwithmask',['getEdgeKindWithMask',['../classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159',1,'SVF::CFLEdge']]],
   ['getedgekindwithoutmask',['getEdgeKindWithoutMask',['../classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5',1,'SVF::GenericEdge']]],
   ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
@@ -251,7 +253,7 @@ var searchData=
   ['getfilledproductions',['getFilledProductions',['../classSVF_1_1CFGNormalizer.html#ae5932d3d9330e28e5fa89402a5f5ff33',1,'SVF::CFGNormalizer']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
-  ['getfirstrhs2prods',['getFirstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ad8298201c2b5915145425e3ba8920203',1,'SVF::CFLGrammar']]],
+  ['getfirstrhs2prods',['getFirstRHS2Prods',['../classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f',1,'SVF::CFLGrammar']]],
   ['getfirstrhssymbol',['getFirstRHSSymbol',['../classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4',1,'SVF::CFLGrammar']]],
   ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8',1,'SVF::SymbolTableInfo']]],
   ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo']]],
@@ -548,7 +550,7 @@ var searchData=
   ['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']]],
   ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()']]],
-  ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a1418337120e80b792627883d10f93ff1',1,'SVF::GrammarBase']]],
+  ['getrawproductions',['getRawProductions',['../classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae',1,'SVF::GrammarBase']]],
   ['getref',['getRef',['../classSVF_1_1OfflineConsG.html#af701f54b1db07a16e926cd40ab17eb12',1,'SVF::OfflineConsG']]],
   ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
   ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
@@ -579,13 +581,13 @@ var searchData=
   ['getsccdetector',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
   ['getsccrep',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
   ['getse',['getSE',['../classSVF_1_1ForkJoinAnalysis.html#ad3db3e7a2ebe7646675aab16103691e7',1,'SVF::ForkJoinAnalysis::getSE()'],['../classSVF_1_1MTA.html#a7cb2fd230ed5839b59f650cc87de192e',1,'SVF::MTA::getSE()'],['../classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf',1,'SVF::TCT::getSE()']]],
-  ['getsecondrhs2prods',['getSecondRHS2Prods',['../classSVF_1_1CFLGrammar.html#af29dd3381799f85cb8acb524cc62c84d',1,'SVF::CFLGrammar']]],
+  ['getsecondrhs2prods',['getSecondRHS2Prods',['../classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8',1,'SVF::CFLGrammar']]],
   ['getsecondrhssymbol',['getSecondRHSSymbol',['../classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51',1,'SVF::CFLGrammar']]],
   ['getshortest',['getShortest',['../cuddInt_8c.html#a048492e5cad979aad3c0540ff82a4824',1,'cuddInt.c']]],
   ['getsiblingthread',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
   ['getsimplenodelabel',['getSimpleNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553',1,'llvm::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787',1,'llvm::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e',1,'llvm::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
   ['getsimplifiedvalue',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type< const From >::getSimplifiedValue()']]],
-  ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#a64a4d2c0fd117841a42c8721df3680ad',1,'SVF::CFLGrammar']]],
+  ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce',1,'SVF::CFLGrammar']]],
   ['getsinks',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
   ['getsoftdatalimit',['getSoftDataLimit',['../util_8h.html#a483a36453687145fd533bdb6694bad89',1,'getSoftDataLimit(void): util.c'],['../util_8c.html#a6df944867e592afe693884f4395a7d6b',1,'getSoftDataLimit(void): util.c']]],
   ['getsource',['getSource',['../classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0',1,'SVF::ProgSlice']]],
@@ -599,7 +601,7 @@ var searchData=
   ['getsrcid',['getSrcID',['../classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7',1,'SVF::GenericEdge::getSrcID()'],['../classSVF_1_1AssignStmt.html#aa9e1367635f51e5fb456ac885406c990',1,'SVF::AssignStmt::getSrcID()'],['../classSVF_1_1MultiOpndStmt.html#acb793282c0abdef799b02658eebe1b79',1,'SVF::MultiOpndStmt::getSrcID()'],['../classSVF_1_1UnaryOPStmt.html#a38d60ea63e064f8a581f72f64642976d',1,'SVF::UnaryOPStmt::getSrcID()'],['../classSVF_1_1BranchStmt.html#a9425d660cc5a51b720463adc71f4c1f5',1,'SVF::BranchStmt::getSrcID()']]],
   ['getsrcnode',['getSrcNode',['../classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589',1,'SVF::GenericEdge::getSrcNode()'],['../classSVF_1_1AssignStmt.html#af4edf3314705e3b589b856b07049edcd',1,'SVF::AssignStmt::getSrcNode()'],['../classSVF_1_1MultiOpndStmt.html#a09cc241c2cb1c89a7d89ef6c605eaed8',1,'SVF::MultiOpndStmt::getSrcNode()'],['../classSVF_1_1UnaryOPStmt.html#ab80b5be6506812c9d58f63478de42e92',1,'SVF::UnaryOPStmt::getSrcNode()'],['../classSVF_1_1BranchStmt.html#af772610e425e2a67f7152bd8d53bf3c5',1,'SVF::BranchStmt::getSrcNode()']]],
   ['getssaversion',['getSSAVersion',['../classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88',1,'SVF::MRVer']]],
-  ['getstartkind',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase']]],
+  ['getstartkind',['getStartKind',['../classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b',1,'SVF::GrammarBase::getStartKind()'],['../classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4',1,'SVF::CFLGraph::getStartKind()']]],
   ['getstartroutineofcxtthread',['getStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a7ccacac1c673b38215b90e4eb480581f',1,'SVF::TCT']]],
   ['getstat',['getStat',['../classSVF_1_1SVFG.html#a8ba934714a7f2caf2e041002fdb66137',1,'SVF::SVFG::getStat()'],['../classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad',1,'SVF::PointerAnalysis::getStat()']]],
   ['getstmt',['getStmt',['../classSVF_1_1CxtStmt.html#a5e8c4b10eb5c3240d2e21a020ed834a6',1,'SVF::CxtStmt']]],
@@ -637,9 +639,7 @@ var searchData=
   ['getsvfstmtlist',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
   ['getsvfstmts',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
   ['getsvfstmtset',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
-  ['getsymattribute',['getSymAttribute',['../classSVF_1_1GrammarBase.html#ae16ccf07065150dddca4a2becdfdff91',1,'SVF::GrammarBase']]],
   ['getsymbol',['getSymbol',['../classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06',1,'SVF::GrammarBase']]],
-  ['getsymkind',['getSymKind',['../classSVF_1_1GrammarBase.html#a76189622192db66f7c355038c73fa9dd',1,'SVF::GrammarBase']]],
   ['gettaskdataathareparforsite',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const Instruction *inst)']]],
   ['gettaskfuncathareparforsite',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const Instruction *inst)']]],
   ['gettcg',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
@@ -679,6 +679,7 @@ var searchData=
   ['getvaluenodenum',['getValueNodeNum',['../classSVF_1_1IRGraph.html#a0212f3fe2f37363e8060f292c8cf7668',1,'SVF::IRGraph']]],
   ['getvarargnode',['getVarargNode',['../classSVF_1_1ConstraintGraph.html#a527342ce5ac3b9491d7ad4302145cec5',1,'SVF::ConstraintGraph::getVarargNode()'],['../classSVF_1_1IRGraph.html#a8b10c318674a47035d617b3ade4f069b',1,'SVF::IRGraph::getVarargNode()'],['../classSVF_1_1SVFIRBuilder.html#a3fe99644b2bf5f0f9b2b21a56a400ad4',1,'SVF::SVFIRBuilder::getVarargNode()']]],
   ['getvarargsym',['getVarargSym',['../classSVF_1_1SymbolTableInfo.html#aec3fd21a11f760ca8684e390c6948f02',1,'SVF::SymbolTableInfo']]],
+  ['getvariabledkind',['getVariabledKind',['../classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e',1,'SVF::GrammarBase']]],
   ['getvartoval',['getVarToVal',['../classSVF_1_1ExeState.html#abf1237f5e4661a2da6e479f147957b18',1,'SVF::ExeState']]],
   ['getvcallidx',['getVCallIdx',['../namespaceSVF_1_1cppUtil.html#ad2a35c1d2e357690e634bb250a68795d',1,'SVF::cppUtil']]],
   ['getvcallthisptr',['getVCallThisPtr',['../namespaceSVF_1_1cppUtil.html#a7c9507812041b5de8dbbca5b602fefbd',1,'SVF::cppUtil']]],

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

@@ -60,8 +60,10 @@ var searchData=
   ['inscc',['inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#afece6206c79adc1c462cff5b9e05f0f2',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(bool v)'],['../classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351',1,'SVF::SCCDetection::inSCC()']]],
   ['insertattribute',['insertAttribute',['../classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20',1,'SVF::GrammarBase']]],
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
-  ['insertnonterminalkind',['insertNonTerminalKind',['../classSVF_1_1GrammarBase.html#ad3351ced90fd47212bb776f7ab8ea7ca',1,'SVF::GrammarBase']]],
+  ['insertnonterminalkind',['insertNonterminalKind',['../classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0',1,'SVF::GrammarBase']]],
+  ['insertnonterminalsymbol',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertsymbol',['insertSymbol',['../classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84',1,'SVF::GrammarBase']]],
   ['insertterminalkind',['insertTerminalKind',['../classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542',1,'SVF::GrammarBase']]],
   ['inserttocflgrammar',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
   ['interdisjointmrg',['InterDisjointMRG',['../classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428',1,'SVF::InterDisjointMRG']]],
@@ -267,6 +269,7 @@ var searchData=
   ['isouticfgedge',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
   ['isoutofbudgetdpm',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
   ['isoutofbudgetquery',['isOutOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734',1,'SVF::DDAVFSolver']]],
+  ['isoverwrittenappfunction',['isOverwrittenAppFunction',['../classSVF_1_1ExtAPI.html#a5ef7edb1664ab87f00418e7808d00258',1,'SVF::ExtAPI']]],
   ['isparforsite',['isParForSite',['../classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453',1,'SVF::ThreadCallGraph']]],
   ['ispartialreachable',['isPartialReachable',['../classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2',1,'SVF::ProgSlice']]],
   ['isphicopyedge',['isPhiCopyEdge',['../classSVF_1_1VFG.html#a8ddf15d89a1b11a7f7720b671f4f0295',1,'SVF::VFG']]],

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

@@ -11,7 +11,6 @@ var searchData=
   ['llvmmoduleset',['LLVMModuleSet',['../classSVF_1_1LLVMModuleSet.html#a8e70de9eefe2e188b10e214e073750e6',1,'SVF::LLVMModuleSet']]],
   ['load',['load',['../classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013',1,'SVF::ExeState::load(const Z3Expr &loc)'],['../classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a',1,'SVF::ExeState::load(u32_t objId)']]],
   ['loadcgedge',['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)']]],
-  ['loadfilestring',['loadFileString',['../classSVF_1_1GrammarBuilder.html#a34bd036f78713dc9b016e32ce4458942',1,'SVF::GrammarBuilder']]],
   ['loadmodules',['loadModules',['../classSVF_1_1LLVMModuleSet.html#a298966366b02d0a34f409c2c77da3789',1,'SVF::LLVMModuleSet']]],
   ['loadmu',['LoadMU',['../classSVF_1_1LoadMU.html#aaf916feaa76c3eaf96dcff576ef366ca',1,'SVF::LoadMU']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],

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

@@ -8,19 +8,22 @@ var searchData=
   ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
   ['operator_20_26',['operator &',['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
   ['operator_20_26_3d',['operator &=',['../classSVF_1_1CondStdSet.html#abb97324d865818f0a51992ee86d1c5ad',1,'SVF::CondStdSet::operator &=()'],['../classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c',1,'SVF::PointsTo::operator &=()'],['../classSVF_1_1CoreBitVector.html#ae84257a1544b94c9abf5c8d0f6cfaec9',1,'SVF::CoreBitVector::operator &=()']]],
-  ['operator_21_3d',['operator!=',['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51',1,'SVF::CoreBitVector::operator!=()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()'],['../classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba',1,'SVF::SymState::operator!=()']]],
+  ['operator_20s64_5ft',['operator s64_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#a44626f9398fcd711698253c0b7d4b444',1,'SVF::GrammarBase::Symbol']]],
+  ['operator_20u32_5ft',['operator u32_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f',1,'SVF::GrammarBase::Symbol']]],
+  ['operator_20u64_5ft',['operator u64_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#ad527452ed8aa18d2d12995a26d86bb7e',1,'SVF::GrammarBase::Symbol']]],
+  ['operator_21_3d',['operator!=',['../structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136',1,'SVF::GrammarBase::Symbol::operator!=()'],['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_1PTASCEV.html#a0541ce30f889355425d2aaeedbc857b9',1,'SVF::PTASCEV::operator!=()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6',1,'SVF::CallSite::operator!=()'],['../classSVF_1_1CoreBitVector.html#af142d3bb07e77c28bba6ece5b5b13f51',1,'SVF::CoreBitVector::operator!=()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aebdb5ddb9b50704f83dc924b7bfac74c',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator!=()'],['../classSVF_1_1CxtStmt.html#a2a9aa82c6d4b95c6f1af0332666d8070',1,'SVF::CxtStmt::operator!=()'],['../classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825',1,'SVF::CxtThreadStmt::operator!=()'],['../classSVF_1_1CxtThread.html#acee7934273db9dde73b25743ed4aa911',1,'SVF::CxtThread::operator!=()'],['../classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13',1,'SVF::CxtProc::operator!=()'],['../classSVF_1_1CxtThreadProc.html#a7f65ade2a231590c26643ef907061727',1,'SVF::CxtThreadProc::operator!=()'],['../classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea',1,'SVF::DPItem::operator!=()'],['../classSVF_1_1StmtDPItem.html#ab89875a3b692ed348b1b28bb9a173254',1,'SVF::StmtDPItem::operator!=()'],['../classSVF_1_1ContextCond.html#a357317ef5f0a848a30eb38eec8c8a0f8',1,'SVF::ContextCond::operator!=()'],['../classSVF_1_1CxtStmtDPItem.html#a2cab28448a57f568ac7c3ff43af0d60d',1,'SVF::CxtStmtDPItem::operator!=()'],['../classSVF_1_1CxtDPItem.html#ac4c40bac3d914c61db60751503201c57',1,'SVF::CxtDPItem::operator!=()'],['../classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1SVFValue.html#ac64744d3e0c41be76ceef4b5715050b5',1,'SVF::SVFValue::operator!=()'],['../classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba',1,'SVF::SymState::operator!=()']]],
   ['operator_26_3d',['operator&=',['../classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4',1,'SVF::CondPointsToSet']]],
-  ['operator_28_29',['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()()'],['../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()()'],['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10',1,'std::hash< SVF::ExeState >::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()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6',1,'std::hash< llvm::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()()'],['../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_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f',1,'std::hash< SVF::SymState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
+  ['operator_28_29',['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()()'],['../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()()'],['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a99f262842505ca11c987d68a790aee10',1,'std::hash< SVF::ExeState >::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()()'],['../classSVF_1_1SVFValue.html#abaa61e04b128feff7216d3ecdf4feefa',1,'SVF::SVFValue::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#ae6df53599aefcd010d7e3fd6bf95bdb6',1,'std::hash< llvm::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()()'],['../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_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f',1,'std::hash< SVF::SymState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
   ['operator_2a',['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*()']]],
   ['operator_2b',['operator+',['../classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8',1,'SVF::LocationSet']]],
   ['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)']]],
   ['operator_2d',['operator-',['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF']]],
   ['operator_2d_3d',['operator-=',['../classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952',1,'SVF::PointsTo::operator-=()'],['../classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9',1,'SVF::CoreBitVector::operator-=()']]],
   ['operator_2d_3e',['operator->',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['operator_3c',['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_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::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_1ExeState.html#a10a12722f1974d466ef07a35d9dff108',1,'SVF::ExeState::operator<()'],['../classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f',1,'SVF::SymState::operator<()']]],
+  ['operator_3c',['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_1PTASCEV.html#ad85500e4caaa70ecacfdf5fbbbcc330e',1,'SVF::PTASCEV::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_1ExeState.html#a10a12722f1974d466ef07a35d9dff108',1,'SVF::ExeState::operator<()'],['../classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f',1,'SVF::SymState::operator<()']]],
   ['operator_3c_3c',['operator<<',['../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_3d',['operator=',['../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_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_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::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#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270',1,'SVF::ExeState::operator=()'],['../classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b',1,'SVF::SymState::operator=()'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
-  ['operator_3d_3d',['operator==',['../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_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::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_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_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()'],['../classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6',1,'SVF::SymState::operator==()']]],
+  ['operator_3d',['operator=',['../structSVF_1_1GrammarBase_1_1Symbol.html#a7f04d82851226d9b6014f67190021cc7',1,'SVF::GrammarBase::Symbol::operator=(const int &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a',1,'SVF::GrammarBase::Symbol::operator=(unsigned long long num)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#abd25553b5b6b7051009bf33799d8f460',1,'SVF::GrammarBase::Symbol::operator=(const Kind &kind)'],['../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_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_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1PTASCEV.html#a144e7fa8c5f4987067914416a85656ca',1,'SVF::PTASCEV::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#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=()'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=()'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=()'],['../classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270',1,'SVF::ExeState::operator=()'],['../classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b',1,'SVF::SymState::operator=()'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
+  ['operator_3d_3d',['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#aba3a3485abcb5cd4bbb6aa3253b4945e',1,'SVF::GrammarBase::Symbol::operator==(const int &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9',1,'SVF::GrammarBase::Symbol::operator==(const Kind &k) const'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a30c7075aa4533807103c41418961c952',1,'SVF::GrammarBase::Symbol::operator==(const Kind &k)'],['../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_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classSVF_1_1PTASCEV.html#a71c30ee51274f2d9b3c202d06f1443f4',1,'SVF::PTASCEV::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_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_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1SVFValue.html#aa171d1126f4ac00c3310d58d9b77c587',1,'SVF::SVFValue::operator==()'],['../classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6',1,'SVF::SymState::operator==()']]],
   ['operator_5b_5d',['operator[]',['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond::operator[]()'],['../classSVF_1_1ExeState.html#af539858577135d706304bb0703f1530d',1,'SVF::ExeState::operator[]()']]],
   ['operator_7c',['operator|',['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF']]],
   ['operator_7c_3d',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()']]],

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

@@ -13,7 +13,7 @@ var searchData=
   ['parse_5fstring',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
   ['parse_5fvalue',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
   ['parsenode',['parseNode',['../classSVF_1_1SVFIRBuilder.html#a1ad4f6ac06c1f3523661e7b2a0be09b5',1,'SVF::SVFIRBuilder']]],
-  ['parseproduction',['parseProduction',['../classSVF_1_1GrammarBuilder.html#aec359cdc61c47fbd5ef1341e8ef4a556',1,'SVF::GrammarBuilder']]],
+  ['parseproductionsstring',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
   ['parseselfcyclehandleoption',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
   ['partitionmrs',['partitionMRs',['../classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482',1,'SVF::DistinctMRG::partitionMRs()'],['../classSVF_1_1IntraDisjointMRG.html#a6d2434f0e3a318b89b7b9fa4f5613b64',1,'SVF::IntraDisjointMRG::partitionMRs()'],['../classSVF_1_1InterDisjointMRG.html#a807cf159e53c2fb2903296207185dda0',1,'SVF::InterDisjointMRG::partitionMRs()'],['../classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9',1,'SVF::MRGenerator::partitionMRs()']]],
   ['pasmsg',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738',1,'SVF::SVFUtil']]],
@@ -43,9 +43,9 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
+  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
-  ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
+  ['pop',['pop',['../classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff',1,'SVF::CFLFIFOWorkList::pop()'],['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],
   ['popfromctpworklist',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
   ['popfromctsworklist',['popFromCTSWorkList',['../classSVF_1_1LockAnalysis.html#a469bf90e852061a7cd8551066d6be0d1',1,'SVF::LockAnalysis::popFromCTSWorkList()'],['../classSVF_1_1MHP.html#ad8d3aa1a12fb1e8668eb4138fbe23b7d',1,'SVF::MHP::popFromCTSWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a4d893583db922444c6a29923bf3d05d3',1,'SVF::ForkJoinAnalysis::popFromCTSWorkList()']]],
@@ -134,7 +134,7 @@ var searchData=
   ['ptdata',['PTData',['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData']]],
   ['ptssizestat',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
   ['ptstonodebs',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
-  ['push',['push',['../classSVF_1_1List.html#aaec02f979702cf4bd899e41defd53c1a',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#a342e5498a91c6a8796fe0e93064a02c8',1,'SVF::FILOWorkList::push()']]],
+  ['push',['push',['../classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a',1,'SVF::CFLFIFOWorkList::push()'],['../classSVF_1_1List.html#aaec02f979702cf4bd899e41defd53c1a',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#a342e5498a91c6a8796fe0e93064a02c8',1,'SVF::FILOWorkList::push()']]],
   ['pushcontext',['pushContext',['../classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884',1,'SVF::ContextCond::pushContext()'],['../classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b',1,'SVF::CxtStmtDPItem::pushContext()'],['../classSVF_1_1CxtDPItem.html#a31a33a291b4bb688f54572c986c0b845',1,'SVF::CxtDPItem::pushContext()']]],
   ['pushcxt',['pushCxt',['../classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17',1,'SVF::LockAnalysis::pushCxt()'],['../classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44',1,'SVF::MHP::pushCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e',1,'SVF::ForkJoinAnalysis::pushCxt()'],['../classSVF_1_1TCT.html#afc6d7a91cfc98561bcce13425964a39e',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, const Instruction *call, const Function *callee)'],['../classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, CallSiteID csId)']]],
   ['pushdown',['pushDown',['../cuddInt_8c.html#a0ec84c1fdcebf2d286f5cef9d3b62bba',1,'cuddInt.c']]],

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

@@ -60,6 +60,8 @@ var searchData=
   ['svfstmtsetty',['SVFStmtSetTy',['../classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4',1,'SVF::SVFStmt']]],
   ['svfvarlist',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
   ['switchinst',['SwitchInst',['../SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53',1,'BasicTypes.h']]],
-  ['symbol',['Symbol',['../classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3',1,'SVF::CFLGraph::Symbol()']]],
+  ['symbol',['Symbol',['../classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da',1,'SVF::CFLGraphBuilder::Symbol()'],['../classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3',1,'SVF::CFLGraph::Symbol()']]],
+  ['symbolmap',['SymbolMap',['../classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112',1,'SVF::GrammarBase']]],
+  ['symbolset',['SymbolSet',['../classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3',1,'SVF::GrammarBase']]],
   ['symid',['SymID',['../namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48',1,'SVF']]]
 ];

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

@@ -8,6 +8,7 @@ var searchData=
   ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt']]],
+  ['variableattribute',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase']]],
   ['vartopropnodemap',['VarToPropNodeMap',['../classSVF_1_1VersionedFlowSensitive.html#a9ee5add09f2b446c6c6bcb84da0f75b3',1,'SVF::VersionedFlowSensitive']]],
   ['vartovalmap',['VarToValMap',['../classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f',1,'SVF::ExeState']]],
   ['vastartinst',['VAStartInst',['../SVF-FE_2BasicTypes_8h.html#a487fbdac6711a95d28683e6644c457ac',1,'BasicTypes.h']]],

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['datadeque',['DataDeque',['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList']]],
+  ['datadeque',['DataDeque',['../classSVF_1_1CFLFIFOWorkList.html#aa2ac3edad97017817899d081dc6f1df7',1,'SVF::CFLFIFOWorkList::DataDeque()'],['../classSVF_1_1FIFOWorkList.html#a2907cd4515b2072aae0a88e972e93fc4',1,'SVF::FIFOWorkList::DataDeque()']]],
   ['dataiter',['DataIter',['../classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0',1,'SVF::MutableIncDFPTData']]],
   ['datalayout',['DataLayout',['../SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14',1,'BasicTypes.h']]],
   ['dataop',['DataOp',['../classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c',1,'SVF::PersistentPointsToCache']]],
-  ['dataset',['DataSet',['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
+  ['dataset',['DataSet',['../classSVF_1_1CFLFIFOWorkList.html#a0db15ca0ec5a14aee493ccfe54d34d85',1,'SVF::CFLFIFOWorkList::DataSet()'],['../classSVF_1_1List.html#a8f8a9dff1d1213a747f0d7ce8b1802e9',1,'SVF::List::DataSet()'],['../classSVF_1_1FIFOWorkList.html#a4803dc3b7f3ab57261261acb20551579',1,'SVF::FIFOWorkList::DataSet()'],['../classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798',1,'SVF::FILOWorkList::DataSet()']]],
   ['datavector',['DataVector',['../classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f',1,'SVF::FILOWorkList']]],
   ['dchedgesetty',['DCHEdgeSetTy',['../classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3',1,'SVF::DCHEdge']]],
   ['dd_5fchkfp',['DD_CHKFP',['../cuddInt_8c.html#a94244e1e57121ccd0fe8530c9a5f10cc',1,'cuddInt.c']]],

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

@@ -37,7 +37,7 @@ var searchData=
   ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
   ['postdominatortree',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
   ['production',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288',1,'SVF::CFLSolver::Production()']]],
-  ['productions',['Productions',['../classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98',1,'SVF::GrammarBase']]],
+  ['productions',['Productions',['../classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d',1,'SVF::GrammarBase']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
   ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptdataty',['PTDataTy',['../classSVF_1_1DiffPTData.html#a76b2abf95bf425044e8a6c4141bd470b',1,'SVF::DiffPTData::PTDataTy()'],['../classSVF_1_1DFPTData.html#aabbe54f196e27d70a3b0348e87b9990f',1,'SVF::DFPTData::PTDataTy()'],['../classSVF_1_1VersionedPTData.html#af22e10c7406708cd7e40018b0c935111',1,'SVF::VersionedPTData::PTDataTy()'],['../classSVF_1_1MutablePTData.html#a9e69cb846a8d2da102981d1f48cb16dd',1,'SVF::MutablePTData::PTDataTy()'],['../classSVF_1_1MutableDiffPTData.html#a9d829f0eab7f5ecf1a1d7eaf5f47daf6',1,'SVF::MutableDiffPTData::PTDataTy()'],['../classSVF_1_1MutableDFPTData.html#af3074a07345844ecd97e420218b39255',1,'SVF::MutableDFPTData::PTDataTy()'],['../classSVF_1_1MutableIncDFPTData.html#a5f1715813082c1f02d6888b9ec32a75e',1,'SVF::MutableIncDFPTData::PTDataTy()'],['../classSVF_1_1MutableVersionedPTData.html#af7bf99aeb752c4216a60d1fa5187b49e',1,'SVF::MutableVersionedPTData::PTDataTy()'],['../classSVF_1_1PersistentPTData.html#a64864dcc7ec8a26244cdfbe8c25886a2',1,'SVF::PersistentPTData::PTDataTy()'],['../classSVF_1_1PersistentDiffPTData.html#a778e8374e15bba331f1be99594970812',1,'SVF::PersistentDiffPTData::PTDataTy()'],['../classSVF_1_1PersistentDFPTData.html#abb11d9bd24cb587bba6f762ab49b07c8',1,'SVF::PersistentDFPTData::PTDataTy()'],['../classSVF_1_1PersistentIncDFPTData.html#a440e0e1e1e449d5514dbc3f8a0da90d7',1,'SVF::PersistentIncDFPTData::PTDataTy()'],['../classSVF_1_1PersistentVersionedPTData.html#a6051aa255081543388a8f9077012834c',1,'SVF::PersistentVersionedPTData::PTDataTy()'],['../classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483',1,'SVF::BVDataPTAImpl::PTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a761f8a7c6ab4a160e279e9a831f037b1',1,'SVF::CondPTAImpl::PTDataTy()']]],

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

@@ -1,7 +1,7 @@
 var searchData=
 [
   ['_5f_5fpad0_5f_5f',['__pad0__',['../CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf',1,'__pad0__(): CFLGrammar.txt'],['../cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3',1,'__pad0__(): cJSON.cpp']]],
-  ['_5f_5fpad1_5f_5f',['__pad1__',['../CFLGrammarDev_8txt.html#a13f26ce59806bd1663350be4f8888464',1,'__pad1__(): CFLGrammarDev.txt'],['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'__pad1__(): cJSON.cpp']]],
+  ['_5f_5fpad1_5f_5f',['__pad1__',['../cJSON_8cpp.html#a0f403f87e00518c167bd384374aeb6ad',1,'cJSON.cpp']]],
   ['_5fanatimecycleperquery',['_AnaTimeCyclePerQuery',['../classSVF_1_1DDAStat.html#aae8366a4876154fa66298c7bf0fc47c4',1,'SVF::DDAStat']]],
   ['_5fanatimeperquery',['_AnaTimePerQuery',['../classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2',1,'SVF::DDAStat']]],
   ['_5fander',['_ander',['../classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf',1,'SVF::DDAVFSolver']]],

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

@@ -16,8 +16,7 @@ var searchData=
   ['addedge_5fnonsparse',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
   ['addedge_5fnorp',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
   ['addmodelflag',['AddModelFlag',['../classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371',1,'SVF::Options']]],
-  ['addr',['Addr',['../CFLGrammar_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9',1,'Addr(): CFLGrammar.txt'],['../CFLGrammarDev_8txt.html#a2ffa1ee00ec8ef61103041d6cff4a7f9',1,'Addr(): CFLGrammarDev.txt']]],
-  ['addrbar',['Addrbar',['../CFLGrammar_8txt.html#ac999a2adc7cbeaf993f9a04c8ef24011',1,'CFLGrammar.txt']]],
+  ['addr',['Addr',['../CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8',1,'CFLGrammar.txt']]],
   ['addrcgedgeset',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
   ['addressinedges',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
   ['addressoutedges',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
@@ -59,6 +58,8 @@ var searchData=
   ['arcviolation',['arcviolation',['../structDdManager.html#aa0b71843baf33ac9815c7bddeb327aa6',1,'DdManager']]],
   ['atend',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator']]],
   ['atptdata',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
+  ['attribute',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol']]],
+  ['attributedkindmaskbits',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
   ['attributekinds',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
   ['autodyn',['autoDyn',['../structDdManager.html#a9136059080410a9d0b71fc63183a7879',1,'DdManager']]],
   ['autodynz',['autoDynZ',['../structDdManager.html#ac06486dc138c5f80434aa2d9f47ce892',1,'DdManager']]],

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

@@ -2,7 +2,7 @@ var searchData=
 [
   ['randomizeorder',['randomizeOrder',['../structDdManager.html#a25841e85a14cc64d3764b10687554c89',1,'DdManager']]],
   ['raw',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['rawproductions',['rawProductions',['../classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95',1,'SVF::GrammarBase']]],
+  ['rawproductions',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
   ['rc_5faccess',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ae296de41ead49fcff5ea9e7a5afde1c9',1,'SVF::RaceResultValidator']]],
   ['rc_5faliases',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a05b95f3110d4653c37730df0b7622e8a',1,'SVF::RaceResultValidator']]],
   ['rc_5fmhp',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#a1effe26639e7663cc3baf36e0abffbac',1,'SVF::RaceResultValidator']]],

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

@@ -15,7 +15,7 @@ var searchData=
   ['scctime',['sccTime',['../classSVF_1_1FlowSensitive.html#af496fa9aa2f4d59594950b2ad121deff',1,'SVF::FlowSensitive']]],
   ['scdandersen',['scdAndersen',['../classSVF_1_1AndersenSCD.html#a1d143f104c0bfb5258b7129d0eceb4cd',1,'SVF::AndersenSCD']]],
   ['scev',['scev',['../classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3',1,'SVF::PTASCEV']]],
-  ['secondrhs2prods',['secondRHS2Prods',['../classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73',1,'SVF::CFLGrammar']]],
+  ['secondrhs2prods',['secondRHS2Prods',['../classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4',1,'SVF::CFLGrammar']]],
   ['selectedvalidationscenarios',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['sentinel',['sentinel',['../structDdManager.html#a8679aac5ecef09b42b3cf11786d57139',1,'DdManager']]],
@@ -30,7 +30,7 @@ var searchData=
   ['siftmaxvar',['siftMaxVar',['../structDdManager.html#a751612508e0ff55d364279b55872c40d',1,'DdManager']]],
   ['sign',['sign',['../structIeeeDoubleStruct.html#a11e3a3008ed4171e295436d1415705d2',1,'IeeeDoubleStruct::sign()'],['../structIeeeNanStruct.html#abc5b8eb6f2d25bb3d865b18189769150',1,'IeeeNanStruct::sign()']]],
   ['singleload',['SingleLoad',['../classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3',1,'SVF::Options']]],
-  ['singlerhs2prods',['singleRHS2Prods',['../classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91',1,'SVF::CFLGrammar']]],
+  ['singlerhs2prods',['singleRHS2Prods',['../classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278',1,'SVF::CFLGrammar']]],
   ['singlestride',['SingleStride',['../classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015',1,'SVF::Options']]],
   ['singlevfg',['SingleVFG',['../classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403',1,'SVF::Options']]],
   ['sinks',['sinks',['../classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202',1,'SVF::SVFGStat::sinks()'],['../classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80',1,'SVF::ProgSlice::sinks()'],['../classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e',1,'SVF::SrcSnkDDA::sinks()']]],

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

@@ -27,7 +27,7 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
   ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
@@ -52,7 +52,7 @@ var searchData=
   ['totalindretedge',['totalIndRetEdge',['../classSVF_1_1SVFGStat.html#afd0f43a7d7138a8013930fd103ce7c47',1,'SVF::SVFGStat']]],
   ['totalinedge',['totalInEdge',['../classSVF_1_1SVFGStat.html#a7929d8ba565ecb04efd236ccb19a4658',1,'SVF::SVFGStat']]],
   ['totalintersections',['totalIntersections',['../classSVF_1_1PersistentPointsToCache.html#a099c2319277797ac96aeee859ded9b22',1,'SVF::PersistentPointsToCache']]],
-  ['totalkind',['totalKind',['../classSVF_1_1GrammarBase.html#a7b0a2c88e1ae1a09aa7efe526821c52a',1,'SVF::GrammarBase']]],
+  ['totalkind',['totalKind',['../classSVF_1_1GrammarBase.html#ac9f86b0861e93eee2548aa7f5f3b7b7f',1,'SVF::GrammarBase']]],
   ['totalmrnum',['totalMRNum',['../classSVF_1_1MemRegion.html#a23857f301395cbbad10f6f93256a7398',1,'SVF::MemRegion']]],
   ['totalnumofedges',['TotalNumOfEdges',['../classSVF_1_1PTAStat.html#a3afc0a36232a0388d8aa42c68219cb26',1,'SVF::PTAStat']]],
   ['totalnumoffieldobjects',['TotalNumOfFieldObjects',['../classSVF_1_1PTAStat.html#ac0e0a1c49d33e02f5cc0f21565ce627d',1,'SVF::PTAStat']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -10,6 +10,7 @@ var searchData=
   ['var2labelmap',['var2LabelMap',['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt']]],
   ['varargsymmap',['varargSymMap',['../classSVF_1_1SymbolTableInfo.html#a94c06e5ac0b50989743a9e63c9a6d5b9',1,'SVF::SymbolTableInfo']]],
   ['varhandled',['varHandled',['../structDdSubtable.html#a2f1c152de785a48b24c773724fd6f564',1,'DdSubtable']]],
+  ['variableattribute',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol']]],
   ['variantfield',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
   ['varkills',['varKills',['../classSVF_1_1MemSSA.html#ae64f97a984765a43f05df26b57a43a43',1,'SVF::MemSSA']]],
   ['vars',['vars',['../structDdManager.html#a70f75f877a9e8f1b7a1c219cd4675ce1',1,'DdManager']]],
@@ -28,6 +29,7 @@ var searchData=
   ['vfnvectors',['vfnVectors',['../classSVF_1_1DCHNode.html#af479bf99a759b5dd68619e24f00bfa10',1,'SVF::DCHNode']]],
   ['vfspta',['vfspta',['../classSVF_1_1VersionedFlowSensitive.html#a53b8a881400d7b353133c68295812efb',1,'SVF::VersionedFlowSensitive::vfspta()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#a19bde64f7e0ac99a2a6b49e78aa2e70f',1,'SVF::VersionedFlowSensitiveStat::vfspta()']]],
   ['vfunprelabel',['vfunPreLabel',['../CPPUtil_8cpp.html#a74958d1db4b08e58aee58557d386c24b',1,'CPPUtil.cpp']]],
+  ['vgep',['Vgep',['../CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5',1,'CFLGrammar.txt']]],
   ['vid',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
   ['virtualcallsites',['virtualCallSites',['../classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d',1,'SVF::TypeAnalysis']]],
   ['virtualfunctiontoidmap',['virtualFunctionToIDMap',['../classSVF_1_1CHGraph.html#a70a2bab82563a910d32a9169030596c0',1,'SVF::CHGraph']]],

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

@@ -96,7 +96,7 @@ var searchData=
   ['context',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
   ['contextdda',['contextDDA',['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat']]],
   ['contextinsensitive',['ContextInsensitive',['../classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2',1,'SVF::Options']]],
-  ['copy',['copy',['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'cJSON.cpp']]],
+  ['copy',['Copy',['../CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519',1,'Copy(): CFLGrammar.txt'],['../cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac',1,'copy(): cJSON.cpp']]],
   ['copyinedges',['copyInEdges',['../classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775',1,'SVF::ConstraintNode']]],
   ['copyoutedges',['copyOutEdges',['../classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40',1,'SVF::ConstraintNode']]],
   ['copytime',['copyTime',['../classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb',1,'SVF::FlowSensitive']]],
@@ -136,7 +136,7 @@ var searchData=
   ['curevalsvfgnode',['curEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a165e0a354b7679ce582c15f4a3faf6e0',1,'SVF::PathCondAllocator']]],
   ['curloc',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
   ['curptr',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
-  ['current',['current',['../classSVF_1_1CFLGraphBuilder.html#aace800bfe6aa59723b3b4af3b9a86436',1,'SVF::CFLGraphBuilder']]],
+  ['current',['current',['../classSVF_1_1CFLGraphBuilder.html#aad408d6ecb776fd763c9b9221a1bed18',1,'SVF::CFLGraphBuilder']]],
   ['currentbestnodemapping',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
   ['currentbestreversenodemapping',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
   ['cursccid',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],