svf-tools 1.0.633 → 1.0.635

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

@@ -1,201 +1,10 @@
 var searchData=
 [
-  ['n',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
-  ['name',['name',['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../classOptionBase.html#a494ea256d6484e4f7e8751de499889fc',1,'OptionBase::name()'],['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37',1,'SVF::GraphProgram::Name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp']]],
-  ['namedmdnode',['NamedMDNode',['../namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71',1,'SVF']]],
-  ['nametochnodesmap',['NameToCHNodesMap',['../classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b',1,'SVF::CHGraph']]],
-  ['nan',['NAN',['../cJSON_8cpp.html#a8abfcc76130f3f991d124dd22d7e69bc',1,'cJSON.cpp']]],
-  ['narrow_5fwith',['narrow_with',['../classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f',1,'SVF::IntervalValue']]],
-  ['narrowwith',['narrowWith',['../classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9',1,'SVF::IntervalExeState']]],
-  ['native_5fint_5fsize',['NATIVE_INT_SIZE',['../SVFType_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022',1,'SVFType.h']]],
-  ['neato',['NEATO',['../namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37a280cacd79d09366b6832ebc6e54b5a9c',1,'SVF::GraphProgram']]],
-  ['neg',['NEG',['../classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356',1,'SVF::Z3Expr']]],
-  ['negconds',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
-  ['nesting',['nesting',['../classSVF_1_1Wto.html#a76334626fb7dd5763a91a18e00c140fe',1,'SVF::Wto::nesting()'],['../classSVF_1_1Wto_1_1TailBuilder.html#ad1c7ed0b9382256dd8328190b0ec9694',1,'SVF::Wto::TailBuilder::nesting()']]],
-  ['nestingbuilder',['NestingBuilder',['../classSVF_1_1Wto_1_1NestingBuilder.html',1,'SVF::Wto::NestingBuilder'],['../classSVF_1_1Wto_1_1NestingBuilder.html#a37321dc6d586c2fbe65254a20be6d29a',1,'SVF::Wto::NestingBuilder::NestingBuilder()']]],
-  ['nestingtable',['NestingTable',['../classSVF_1_1Wto.html#aab6531ea3e88b3b18abd82e9d725b52d',1,'SVF::Wto']]],
-  ['never_5ffree_5fleak',['NEVER_FREE_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d',1,'SVF::LeakChecker']]],
-  ['newbvnumwords',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newchild',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
-  ['newcond',['newCond',['../classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74',1,'SVF::SaberCondAllocator']]],
-  ['newcycle',['newCycle',['../classSVF_1_1Wto.html#aa9bc7f16fc603f5080ddf371c214c21e',1,'SVF::Wto']]],
-  ['newitem',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
-  ['newpointstoid',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
-  ['newsbvnumwords',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['newssaname',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
-  ['newterminalsubscript',['newTerminalSubscript',['../classSVF_1_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485',1,'SVF::CFLGrammar']]],
-  ['newvertex',['newVertex',['../classSVF_1_1Wto.html#a0c5a8b60b95203deafe52a87504a464a',1,'SVF::Wto']]],
-  ['next',['next',['../classSVF_1_1WtoComponent.html#ae817e4f6fda2c01c453a12d3e7a55b0a',1,'SVF::WtoComponent::next()'],['../structcJSON.html#ade862b880379b5e2a591f7326401fa8d',1,'cJSON::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()'],['../cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7',1,'next(): cJSON.cpp']]],
-  ['nextsetindex',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
-  ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a934e293bd4050cb1ab5c19e8ad391ebe',1,'SVF::ExtAPI']]],
-  ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
-  ['noalloc',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
-  ['node',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1WtoVertex.html#adf36d4d72f1848e3fd6a6000fd0e89c0',1,'SVF::WtoVertex::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1WtoComponent.html#a61379d9c9aafab0f4729f2818d6d2ec5a54ef1064a99b7157c55a8d478adb4749',1,'SVF::WtoComponent::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
-  ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
-  ['node_5fiterator',['node_iterator',['../classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427',1,'SVF::GraphWriter::node_iterator()'],['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084',1,'SVF::GraphReachSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
-  ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
-  ['nodebs',['NodeBS',['../namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564',1,'SVF']]],
-  ['nodedata',['NodeData',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html',1,'SVF::VersionedFlowSensitive::SCC::NodeData'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c',1,'SVF::VersionedFlowSensitive::SCC::NodeData()']]],
-  ['nodedeque',['NodeDeque',['../namespaceSVF.html#a35068c3650567d5051416db4aeb48e74',1,'SVF']]],
-  ['nodeid',['NodeID',['../classSVF_1_1SCCDetection.html#a4f954a92b432b96f63454b7db46b60e2',1,'SVF::SCCDetection::NodeID()'],['../namespaceSVF.html#a350ae9bf8606bdfe23c8679681b969dc',1,'SVF::NodeID()']]],
-  ['nodeidallocator',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html',1,'SVF::NodeIDAllocator'],['../classSVF_1_1NodeIDAllocator.html#ac8d6abc4ee27ae464f3978e4f4bdc3a6',1,'SVF::NodeIDAllocator::NodeIDAllocator()']]],
-  ['nodeidallocator_2ecpp',['NodeIDAllocator.cpp',['../NodeIDAllocator_8cpp.html',1,'']]],
-  ['nodeidallocator_2eh',['NodeIDAllocator.h',['../NodeIDAllocator_8h.html',1,'']]],
-  ['nodeidpair',['NodeIDPair',['../classSVF_1_1MTASVFGBuilder.html#aed3e0bf64c3ccb6bfd24e89cc6f89ed9',1,'SVF::MTASVFGBuilder']]],
-  ['nodeidtonodeidmap',['NodeIDToNodeIDMap',['../classSVF_1_1SVFGOPT.html#a581349a9fc0066945ca4ce9706a81646',1,'SVF::SVFGOPT']]],
-  ['nodeincycle',['nodeInCycle',['../classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243',1,'SVF::SVFGStat']]],
-  ['nodekind',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
-  ['nodelist',['NodeList',['../namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5',1,'SVF']]],
-  ['nodelocationset',['NodeLocationSet',['../classSVF_1_1SVFIR.html#a323e459ca43e239ddcdc8d00c6a8db6d',1,'SVF::SVFIR']]],
-  ['nodelocationsetmap',['NodeLocationSetMap',['../classSVF_1_1SVFIR.html#aa5b08d987b37d35e73de88da10a97bc4',1,'SVF::SVFIR']]],
-  ['nodemapping',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
-  ['nodenum',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
-  ['nodenumafterpagbuild',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
-  ['nodeoffset',['NodeOffset',['../classSVF_1_1SVFIR.html#a7e908658e66155313c3fbf5a52612b6a',1,'SVF::SVFIR']]],
-  ['nodeoffsetmap',['NodeOffsetMap',['../classSVF_1_1SVFIR.html#ae683914bce36e2d387bc0bc97dfcb14d',1,'SVF::SVFIR']]],
-  ['nodepair',['NodePair',['../namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b',1,'SVF']]],
-  ['nodepairmap',['NodePairMap',['../namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c',1,'SVF']]],
-  ['nodepairset',['NodePairSet',['../namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7',1,'SVF']]],
-  ['nodepairsetmap',['NodePairSetMap',['../classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a',1,'SVF::SVFIR']]],
-  ['noderef',['NodeRef',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a0a1dd90a8609a91115f17b78666d3674',1,'SVF::GenericGraphTraits< SVF::CFLGraph * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#ab94f45e7c2a40418fbba5c2cb916f79d',1,'SVF::GenericGraphTraits< SVF::CHGraph * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a5cb946aa10005bc7605528bd09006090',1,'SVF::GenericGraphTraits< SVF::ConstraintGraph * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits.html#a05654ab9615d75bc8e5f8c5cf9297205',1,'SVF::GenericGraphTraits::NodeRef()'],['../classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6',1,'SVF::GraphWriter::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a34dfeab39b3cd90b44c10b4e4b02f63c',1,'SVF::GenericGraphTraits< SVF::ICFG * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a7a2a2ab036bfeffdeb7d3328fe9c7c50',1,'SVF::GenericGraphTraits< SVF::IRGraph * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a4226541df4a405048579a94ec0573296',1,'SVF::GenericGraphTraits< SVF::PTACallGraph * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#a0e3ed0946d46830533f184f12428bbb0',1,'SVF::GenericGraphTraits< SVF::SVFG * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#aaa9441dfd6281f2661271884e4f06e73',1,'SVF::GenericGraphTraits< SVF::VFG * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#ae142688b873eb65eedc010d60b0db51f',1,'SVF::GenericGraphTraits< SVF::TCT * >::NodeRef()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#aab14259075b96fab09dde300fbeff390',1,'SVF::GenericGraphTraits< SVF::DCHGraph * >::NodeRef()']]],
-  ['nodereflist',['NodeRefList',['../classSVF_1_1WtoNesting.html#a84b898d3af913d86bff47595d5ce2435',1,'SVF::WtoNesting::NodeRefList()'],['../classSVF_1_1Wto.html#a8f46e73135eaf3eb7c4e21b7496c59c3',1,'SVF::Wto::NodeRefList()']]],
-  ['nodereftonodereflistmap',['NodeRefTONodeRefListMap',['../classSVF_1_1Wto.html#ad975f26f7f8ef0013882274bf4b959c4',1,'SVF::Wto']]],
-  ['nodereftowtocyclemap',['NodeRefToWtoCycleMap',['../classSVF_1_1Wto.html#a414b836467e019b126ba8a115c56a069',1,'SVF::Wto']]],
-  ['nodes',['nodes',['../namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac',1,'SVF']]],
-  ['nodes_5fbegin',['nodes_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a85547b90131e445a21aa9e01ce16ec5f',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
-  ['nodes_5fend',['nodes_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a30fa44e8da9010aa43d50a53b35b2cf7',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
-  ['nodes_5fiterator',['nodes_iterator',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad0eeda85047a66e6fe6a2d6b560ad24d',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
-  ['nodeset',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List::nodeSet()'],['../namespaceSVF.html#a212231734fa43d5c7414137deaac7df3',1,'SVF::NodeSet()']]],
-  ['nodestack',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver::nodeStack()'],['../namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0',1,'SVF::NodeStack()']]],
-  ['nodestobecollapsed',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
-  ['nodestrides',['NodeStrides',['../classSVF_1_1AndersenSFR.html#ae81c9716b434f0f1e372d0ddf7003910',1,'SVF::AndersenSFR']]],
-  ['nodetodpitemsmap',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
-  ['nodetoecmap',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
-  ['nodetoequivclassmap',['NodeToEquivClassMap',['../classSVF_1_1Steensgaard.html#a7f975fd9a694f4b06bab8f3deef9d60b',1,'SVF::Steensgaard']]],
-  ['nodetonodemap',['NodeToNodeMap',['../classSVF_1_1SVFIR.html#a654236d64abc2ca95982da7b4408b52d',1,'SVF::SVFIR::NodeToNodeMap()'],['../classSVF_1_1SCCDetection.html#a7e9a12e188a93ea8e571bac4e49e2a6b',1,'SVF::SCCDetection::NodeToNodeMap()'],['../classSVF_1_1AndersenSCD.html#a88ab40d553f49e173f9c53b32575ccda',1,'SVF::AndersenSCD::NodeToNodeMap()']]],
-  ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
-  ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()']]],
-  ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
-  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a7c6d363de11954b60ac0cf4d9ae9680e',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ada6e52f6d7a98091c0b55984ab2e9db4',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a0e5fd16fe95d1122d837adfdfe7a1a32',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04',1,'SVF::DOTGraphTraits< CFLGraph * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2',1,'SVF::DOTGraphTraits< CHGraph * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a94e74890f433758f3a38238f59400a3f',1,'SVF::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4a53de3cf04961b3d00e6b474b838fcd',1,'SVF::DOTGraphTraits< ICFG * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a74cb51bbb3d84e7148b2ba368d4982b8',1,'SVF::DOTGraphTraits< IRGraph * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a2d2d962ff64827e29a6ad917b611b258',1,'SVF::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7',1,'SVF::DOTGraphTraits< SVFG * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af92c90b3ed1895cdb345472ee928ea75',1,'SVF::DOTGraphTraits< VFG * >::NodeType()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#aa3077dc4ff70cb2cf07dd5d4ad96c224',1,'SVF::DOTGraphTraits< TCT * >::NodeType()']]],
-  ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
-  ['nomodref',['NoModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f',1,'SVF']]],
-  ['noncandidatefuncmhprelmap',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
-  ['nonconstsimpletype',['NonConstSimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d',1,'SVF::SVFUtil::simplify_type< const From >']]],
-  ['nonoverlap',['NonOverlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d',1,'SVF::LocationSet']]],
-  ['nonterminals',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
-  ['normalgep',['NormalGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa',1,'SVF::ConstraintEdge']]],
-  ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF::NormalGepCGEdge'],['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const LocationSet &l, EdgeID id)']]],
-  ['normalize',['normalize',['../classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9',1,'SVF::CFGNormalizer']]],
-  ['normalizecflgrammar',['normalizeCFLGrammar',['../classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9',1,'SVF::CFLBase']]],
-  ['normalized',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
-  ['normalizepointsto',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
-  ['normcallgraph',['NormCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c',1,'SVF::PTACallGraph']]],
-  ['nothingset',['nothingSet',['../classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8',1,'OptionMultiple']]],
-  ['nptr',['NPtr',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff',1,'SVF::VFGNode']]],
-  ['null',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
-  ['nullexpr',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
-  ['nullpointerid',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
-  ['nullptr',['NullPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba1e6cc9ef0abd047b183382f2681cd4c1',1,'SVF::SymbolTableInfo']]],
-  ['nullptrsvfgnode',['NullPtrSVFGNode',['../namespaceSVF.html#aeccd0bd024319173c1cda5ff1a79c5ae',1,'SVF']]],
-  ['nullptrsymid',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
-  ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html',1,'SVF::NullPtrVFGNode'],['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode::NullPtrVFGNode()']]],
-  ['num_5fgenerator',['num_generator',['../classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e',1,'SVF::CFLGrammar']]],
-  ['number',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
-  ['numedgedestlabels',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
-  ['numelement',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
-  ['numericliteral',['NumericLiteral',['../classSVF_1_1NumericLiteral.html',1,'SVF::NumericLiteral'],['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a0e8fd6054cb8b79d7e6c0b4b4b875247',1,'SVF::NumericLiteral::NumericLiteral(double n)'],['../classSVF_1_1NumericLiteral.html#a0ed43f20cc24891d5c5eebe95914d730',1,'SVF::NumericLiteral::NumericLiteral(s32_t n)'],['../classSVF_1_1NumericLiteral.html#ae780e2fce146fa830378089a63dedcc8',1,'SVF::NumericLiteral::NumericLiteral(s64_t n)'],['../classSVF_1_1NumericLiteral.html#a35245a54dbfc750c4d07cf6229b6b506',1,'SVF::NumericLiteral::NumericLiteral(u32_t n)'],['../classSVF_1_1NumericLiteral.html#a02502afedfb6aba0954720e9479bd5f6',1,'SVF::NumericLiteral::NumericLiteral(u64_t n)'],['../classSVF_1_1NumericLiteral.html#ac43168672aedb4c9c61633320e6e3d56',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &) noexcept=default'],['../classSVF_1_1NumericLiteral.html#a5ef94630181d31a91794f0b7d27fbfaa',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&) noexcept=default']]],
-  ['numericliteral_2eh',['NumericLiteral.h',['../NumericLiteral_8h.html',1,'']]],
-  ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
-  ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
-  ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
-  ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
-  ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
-  ['numofactualret',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
-  ['numofaddr',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
-  ['numofaliasld',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
-  ['numofaliasst',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
-  ['numofallld',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
-  ['numofallst',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedld',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
-  ['numofannotatedst',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
-  ['numofaverageptsinregion',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
-  ['numofbbhasmssaphi',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
-  ['numofcalledges',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
-  ['numofcallnodes',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
-  ['numofchecks',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
-  ['numofcopy',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
-  ['numofcschi',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
-  ['numofcshaschi',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
-  ['numofcshasmu',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
-  ['numofcsmu',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
-  ['numofedges',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
-  ['numofentrychi',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
-  ['numofentrynodes',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
-  ['numofexitnodes',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
-  ['numoffieldexpand',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
-  ['numofflattenelements',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
-  ['numofflattenfields',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
-  ['numofformalin',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
-  ['numofformalout',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
-  ['numofformalparam',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
-  ['numofformalret',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
-  ['numoffunhasentrychi',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
-  ['numoffunhasretmu',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
-  ['numofgep',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
-  ['numofintraedges',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
-  ['numofintranodes',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
-  ['numofiteration',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
-  ['numofload',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
-  ['numofloadhasmu',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
-  ['numofloadmu',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
-  ['numoflockedqueries',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
-  ['numofmaxregion',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
-  ['numofmemregions',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
-  ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
-  ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
-  ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
-  ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
-  ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
-  ['numofnodesinscc',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
-  ['numofnonlocalld',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
-  ['numofnonlocalst',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
-  ['numofnonterminaledges',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
-  ['numofphi',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
-  ['numofprocessedactualparam',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
-  ['numofprocessedaddr',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
-  ['numofprocessedcopy',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
-  ['numofprocessedformalret',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
-  ['numofprocessedgep',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
-  ['numofprocessedload',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
-  ['numofprocessedmssanode',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
-  ['numofprocessedphi',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
-  ['numofprocessedstore',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
-  ['numofremovedpts',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
-  ['numofremovedsvfgedges',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
-  ['numofresolvedindcalledge',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
-  ['numofretedges',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
-  ['numofretmu',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
-  ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
-  ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
-  ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
-  ['numofstartedges',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
-  ['numofstore',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
-  ['numofstorechi',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
-  ['numofstorehaschi',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
-  ['numoftemporarynonterminaledges',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
-  ['numofterminaledges',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
-  ['numoftotalqueries',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
-  ['numperquerystatmap',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
-  ['numprelabelednodes',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
-  ['numprelabelversions',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
-  ['numregions',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numstatmap',['NUMStatMap',['../classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227',1,'SVF::SVFStat']]],
-  ['numsymbols',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
-  ['numtypes',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
-  ['numvalues',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
-  ['nvthunkfunlabel',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
+  ['saber_2ecpp',['saber.cpp',['../saber_8cpp.html',1,'']]],
+  ['selectedvalidationscenarios',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
+  ['set',['set',['../WPA_2CMakeLists_8txt.html#aa25eee5e4cf33b5664275ce17ec24986',1,'CMakeLists.txt']]],
+  ['split',['split',['../classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f',1,'SVF::LockResultValidator::split(const std::string &s, char delim, Set< std::string > &elems)'],['../classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9',1,'SVF::LockResultValidator::split(const std::string &s, char delim)'],['../classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6',1,'SVF::MTAResultValidator::split(const std::string &s, char delim, std::vector< std::string > &elems)'],['../classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47',1,'SVF::MTAResultValidator::split(const std::string &s, char delim)']]],
+  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator']]],
+  ['svf',['SVF',['../namespaceSVF.html',1,'']]],
+  ['svf_2dex_2ecpp',['svf-ex.cpp',['../svf-ex_8cpp.html',1,'']]]
 ];

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

@@ -1,125 +1,9 @@
 var searchData=
 [
-  ['o',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
-  ['object',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['objmap',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
-  ['objnode',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
-  ['objsymbol',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
-  ['objsymmap',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
-  ['objsyms',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
-  ['objtonsrevptsmap',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
-  ['objtoversionmap',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
-  ['objtypeinfo',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo::ObjTypeInfo()']]],
-  ['objvar',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::ObjVar'],['../classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb',1,'SVF::ObjVar::ObjVar()']]],
-  ['ocgdotgraph',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
-  ['offset',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
-  ['offsetvalues',['offsetValues',['../classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30',1,'SVF::LocationSet']]],
-  ['offsetvaluevec',['OffsetValueVec',['../classSVF_1_1LocationSet.html#a0b7a14c04f23ec13b64049d90e31067c',1,'SVF::LocationSet']]],
-  ['onstack',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ontheflycallgraphsolve',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
-  ['ontheflyiterbudgetforstat',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
-  ['oobresetvisited',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
-  ['op',['op',['../classSVF_1_1ExtAPI_1_1Operation.html#a1e8979a53cf1edb5df00a5f28b6c19e9',1,'SVF::ExtAPI::Operation']]],
-  ['opcache',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
-  ['opcode',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
-  ['operands',['operands',['../classSVF_1_1ExtAPI_1_1Operation.html#ae3539c507b6284b849c136418507e72b',1,'SVF::ExtAPI::Operation']]],
-  ['operandstr',['operandStr',['../classSVF_1_1ExtAPI_1_1Operation.html#a56d03123021f1f628361a4080fa573ce',1,'SVF::ExtAPI::Operation']]],
-  ['operation',['Operation',['../classSVF_1_1ExtAPI_1_1Operation.html',1,'SVF::ExtAPI::Operation'],['../classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94',1,'SVF::ExtAPI::Operation::Operation()'],['../classSVF_1_1ExtAPI_1_1Operation.html#a6fe4cc69b9181548940cbc67f7b6b315',1,'SVF::ExtAPI::Operation::Operation(std::string opn, std::vector< std::string > varstr)']]],
-  ['operator_20_26',['operator &',['../classSVF_1_1NumericLiteral.html#a71b7d5d1bd1842b1ba923c3780f692eb',1,'SVF::NumericLiteral::operator &()'],['../classSVF_1_1Z3Expr.html#a73d51389a359eff6654df3c1ee24834c',1,'SVF::Z3Expr::operator &()'],['../namespaceSVF.html#aeb5348e052254496cad4e036073c3941',1,'SVF::operator &(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a47b11c4e305a8a1e2dc387c2f9d4617e',1,'SVF::operator &(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#aaa21ff095e66a18937f29246e213f69d',1,'SVF::operator &(const PointsTo &lhs, const PointsTo &rhs)']]],
-  ['operator_20_26_26',['operator &&',['../classSVF_1_1NumericLiteral.html#adfd6ff137b58ba4731223c2bc917bbf4',1,'SVF::NumericLiteral::operator &&()'],['../classSVF_1_1Z3Expr.html#af8529f1d313f1e702adc76612f9d86ad',1,'SVF::Z3Expr::operator &&()']]],
-  ['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 &=()'],['../classSVF_1_1SparseBitVector.html#a1f7e6424f8bfc68589a9947b26e0b62f',1,'SVF::SparseBitVector::operator &=()']]],
-  ['operator_20referencet',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['operator_20u32_5ft',['operator u32_t',['../structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f',1,'SVF::GrammarBase::Symbol::operator u32_t()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ada693de7fbe70e37120eed8dca3c143f',1,'SVF::GrammarBase::Symbol::operator u32_t() const']]],
-  ['operator_21',['operator!',['../classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29',1,'SVF::NumericLiteral::operator!()'],['../classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca',1,'SVF::Z3Expr::operator!()']]],
-  ['operator_21_3d',['operator!=',['../classSVF_1_1AddressValue.html#aba8f1bfe0603192ca9d5c8b36ece1549',1,'SVF::AddressValue::operator!=()'],['../classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1',1,'SVF::IntervalExeState::operator!=()'],['../classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9',1,'SVF::IntervalValue::operator!=()'],['../classSVF_1_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83',1,'SVF::NumericLiteral::operator!=()'],['../classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa',1,'SVF::RelExeState::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!=()'],['../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_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed',1,'SVF::iter_facade_base::operator!=()'],['../structSVF_1_1SparseBitVectorElement.html#aa812f8538b869b004791b4177c50069b',1,'SVF::SparseBitVectorElement::operator!=()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5448a6bdf09ef6a45d7c8e84648221ea',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator!=()'],['../classSVF_1_1SparseBitVector.html#abfb058304c4b174d162a94c0cc26d2f7',1,'SVF::SparseBitVector::operator!=()'],['../classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3',1,'SVF::Z3Expr::operator!=()']]],
-  ['operator_25',['operator%',['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()'],['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF::operator%()']]],
-  ['operator_26_3d',['operator&=',['../classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4',1,'SVF::CondPointsToSet::operator&=()'],['../namespaceSVF.html#a9d6c986a34096a3552a6385ccbb724e4',1,'SVF::operator&=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#a5df68020aca621b053acbe3f917f0809',1,'SVF::operator&=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)']]],
-  ['operator_28_29',['operator()',['../structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html#ae21394a2b8076439d48a118ff5b623a5',1,'std::hash< SVF::IntervalExeState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1RelExeState_01_4.html#aea05ac3204b21682cf1accec34645d88',1,'std::hash< SVF::RelExeState >::operator()()'],['../classSVF_1_1GrammarBase_1_1SymbolHash.html#a9213c70ec0cb74fbd7559db8fb45fd54',1,'SVF::GrammarBase::SymbolHash::operator()()'],['../structSVF_1_1GrammarBase_1_1SymbolVectorHash.html#a321f570e916c56fc0b9789662069481e',1,'SVF::GrammarBase::SymbolVectorHash::operator()()'],['../structSVF_1_1GenericEdge_1_1equalGEdge.html#ac4654da03578f3ab8183b10f98a27f62',1,'SVF::GenericEdge::equalGEdge::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5',1,'std::hash< const SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ac9b6dd9b7dd77c0303c1f4f5877d87db',1,'std::hash< SVF::CondVar< Cond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html#a0d50f7a011b2174e5c8064a8b03f8529',1,'std::hash< SVF::CondStdSet< Element > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html#a701401db0e876205424e9cc797fb5984',1,'std::hash< SVF::LocationSet >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html#a34dcd2ff517e67b98ec26e4957931367',1,'std::hash< SVF::PointsTo >::operator()()'],['../structSVF_1_1MemRegion_1_1equalMemRegion.html#a3cd8165dfa543312d2b3bfa798b6154b',1,'SVF::MemRegion::equalMemRegion::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html#a7854984f902d9a42c6d4e095de8464a7',1,'std::hash< SVF::SVFGNodeLockSpan >::operator()()'],['../structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be',1,'SVF::Hash< std::pair< S, T > >::operator()()'],['../structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff',1,'SVF::Hash::operator()()'],['../structSVF_1_1Hash_3_01NodePair_01_4.html#a57f65bc02efb8b1d4905030ef437df3e',1,'SVF::Hash< NodePair >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html#a33d0d439057cbfab969516ea6a976aae',1,'std::hash< SVF::NodePair >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html#a450703a33d907a011a97ee50818b0b4d',1,'std::hash< SVF::SparseBitVector< N > >::operator()()'],['../structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd',1,'std::hash< std::vector< T > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a',1,'std::hash< SVF::CallSite >::operator()()'],['../classOption.html#a03dd304d717f642cd3b809c0233f876c',1,'Option::operator()()'],['../classOptionMap.html#a12951965815bfaf1c5b3b026c6c4fb96',1,'OptionMap::operator()()'],['../classOptionMultiple.html#af3ce2d981843996c5e47de2918d1f569',1,'OptionMultiple::operator()()'],['../structSVF_1_1Hash_3_01CoreBitVector_01_4.html#ad54ea05fd0e03af862a5d72f8c4db411',1,'SVF::Hash< CoreBitVector >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201',1,'std::hash< SVF::CxtThread >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html#aa88f8da2c709601e69e309604a384863',1,'std::hash< SVF::CxtThreadProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html#ae4d5049073212fdd47fb976585653c26',1,'std::hash< SVF::CxtThreadStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html#ad7e6b6c9db44d924cdef8b99394fd5bb',1,'std::hash< SVF::CxtStmt >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html#a318fb6797f07e8d780c949ad673cfae8',1,'std::hash< SVF::CxtProc >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html#af1d24d13fd5262019f58882dc53e83cc',1,'std::hash< SVF::CxtDPItem >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html#a265e5b7b0b4e15c14f1cc93ec4fc2267',1,'std::hash< SVF::StmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html#aef0a2fe42410e3364dc66ddfa93ccf52',1,'std::hash< SVF::CxtStmtDPItem< LocCond > >::operator()()'],['../structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0',1,'std::hash< const SVF::ContextCond >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html#a40f9a910c62fa0cbdca9a5a31e958709',1,'std::hash< SVF::ContextCond >::operator()()'],['../structSVF_1_1SVFUtil_1_1equalPointsTo.html#a4a7e42b2cca7e54766ce7657fefb91f9',1,'SVF::SVFUtil::equalPointsTo::operator()()'],['../structSVF_1_1SVFUtil_1_1equalNodeBS.html#a023a5352ff198ab9f2e0dbc2a5eadc9e',1,'SVF::SVFUtil::equalNodeBS::operator()()'],['../structstd_1_1hash_3_01SVF_1_1Z3Expr_01_4.html#a5f22ba479b6e05b6d3932d65c7034ade',1,'std::hash< SVF::Z3Expr >::operator()()']]],
-  ['operator_2a',['operator*',['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1mapped__iter.html#a1c166c16e98b4bb82d986d459abea89f',1,'SVF::mapped_iter::operator*()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator*()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a0fc3ebfd1990d09cc1b7c26bd94fb57a',1,'SVF::PointsTo::PointsToIterator::operator*()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator*()'],['../classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47',1,'SVF::iter_adaptor_base::operator*()'],['../structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4',1,'SVF::pointee_iter::operator*()'],['../classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a',1,'SVF::pointer_iterator::operator*()'],['../classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64',1,'SVF::pointer_iterator::operator*() const'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
-  ['operator_2b',['operator+',['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8',1,'SVF::LocationSet::operator+()'],['../classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24',1,'SVF::iter_facade_base::operator+(DifferenceTypeT n) const'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()'],['../namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa',1,'SVF::operator+()']]],
-  ['operator_2b_2b',['operator++',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac426e75680a2dce9c9185e83af749d51',1,'SVF::PointsTo::PointsToIterator::operator++()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a94a195a13777028d5af16985e3fd5b73',1,'SVF::PointsTo::PointsToIterator::operator++(int)'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e',1,'llvm::generic_bridge_gep_type_iterator::operator++()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a68eed6927bf5fb5cd6a6637d6c9cb300',1,'llvm::generic_bridge_gep_type_iterator::operator++(int)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(void)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a943e3e32d7bf7c585ee841f2663992e8',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator++(int)'],['../classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417',1,'SVF::iter_facade_base::operator++()'],['../classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b',1,'SVF::iter_facade_base::operator++(int)'],['../classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764',1,'SVF::iter_adaptor_base::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a9615a441805796b993252866e5a971aa',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator++(int)']]],
-  ['operator_2b_3d',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
-  ['operator_2d',['operator-',['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475',1,'SVF::iter_facade_base::operator-()'],['../classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90',1,'SVF::iter_adaptor_base::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()'],['../namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36',1,'SVF::operator-(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF::operator-(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a1b6662f895cfd942996ac4d578960eed',1,'SVF::operator-(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_2d_2d',['operator--',['../classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d',1,'SVF::iter_facade_base::operator--()'],['../classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4',1,'SVF::iter_facade_base::operator--(int)'],['../classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc',1,'SVF::iter_adaptor_base::operator--()']]],
-  ['operator_2d_3d',['operator-=',['../classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952',1,'SVF::PointsTo::operator-=()'],['../classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9',1,'SVF::CoreBitVector::operator-=()'],['../classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710',1,'SVF::iter_adaptor_base::operator-=()']]],
-  ['operator_2d_3e',['operator->',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188',1,'llvm::generic_bridge_gep_type_iterator::operator->()'],['../classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b',1,'SVF::iter_facade_base::operator->()'],['../classSVF_1_1iter__facade__base.html#aa637a57840b1741e909c89946294fdd9',1,'SVF::iter_facade_base::operator->() const']]],
-  ['operator_2f',['operator/',['../classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407',1,'SVF::NumericLiteral::operator/()'],['../classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4',1,'SVF::Z3Expr::operator/()'],['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF::operator/()']]],
-  ['operator_3c',['operator<',['../classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58',1,'SVF::IntervalExeState::operator<()'],['../classSVF_1_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97',1,'SVF::RelExeState::operator<()'],['../classSVF_1_1WtoNesting.html#a5062dbe3c87e17800d4b77da97c072d7',1,'SVF::WtoNesting::operator<()'],['../structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e',1,'SVF::HybridData::TreeNode::operator<()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8',1,'SVF::GrammarBase::Symbol::operator<()'],['../classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27',1,'SVF::CondVar::operator<()'],['../classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd',1,'SVF::CondStdSet::operator<()'],['../classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c',1,'SVF::CondPointsToSet::operator<()'],['../classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4',1,'SVF::LocationSet::operator<()'],['../classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf',1,'SVF::MSSAMU::operator<()'],['../classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f',1,'SVF::MSSADEF::operator<()'],['../classSVF_1_1SVFGNodeLockSpan.html#a6640840300cf03186ceb7a2dbc75e875',1,'SVF::SVFGNodeLockSpan::operator<()'],['../classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07',1,'SVF::CallSite::operator<()'],['../classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888',1,'SVF::CxtStmt::operator<()'],['../classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd',1,'SVF::CxtThreadStmt::operator<()'],['../classSVF_1_1CxtThread.html#a60b5b1a47869964fc8b6a27a38d11ae8',1,'SVF::CxtThread::operator<()'],['../classSVF_1_1CxtProc.html#ab58a8dc44944ac2ab3280562a8306e7b',1,'SVF::CxtProc::operator<()'],['../classSVF_1_1CxtThreadProc.html#a4b8e4f182a34d078595ce0eb9ec94c6d',1,'SVF::CxtThreadProc::operator<()'],['../classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe',1,'SVF::DPItem::operator<()'],['../classSVF_1_1StmtDPItem.html#af92976dc7a8785165cefb047e742cdf6',1,'SVF::StmtDPItem::operator<()'],['../classSVF_1_1ContextCond.html#a53e0a8ac864e15edf0de827bdbb4eb01',1,'SVF::ContextCond::operator<()'],['../classSVF_1_1CxtStmtDPItem.html#a307f95b6f22e0231a2da7b14a2db07cf',1,'SVF::CxtStmtDPItem::operator<()'],['../classSVF_1_1CxtDPItem.html#aa2841c6ef632e747357ebcde0118ec49',1,'SVF::CxtDPItem::operator<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()'],['../namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b',1,'SVF::operator<()']]],
-  ['operator_3c_3c',['operator<<',['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1WtoNesting.html#a86ce67dd17e0077ac353c2129dd3de1a',1,'SVF::WtoNesting::operator<<()'],['../classSVF_1_1WtoComponent.html#a1c0915fe947c270b871f80a2741883cb',1,'SVF::WtoComponent::operator<<()'],['../classSVF_1_1Wto.html#ac8d57de26f8419df9bc3e7167e2cdabb',1,'SVF::Wto::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#a39307d40da99ae8055e6b5fde5d92807',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()'],['../namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6',1,'SVF::operator<<(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a9f1d12be8c396b73b5a37de2061a24b0',1,'SVF::operator<<(std::ostream &o, const IntervalValue &IntervalValue)'],['../namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa',1,'SVF::operator<<(std::ostream &o, const MRVer &mrver)'],['../namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207',1,'SVF::operator<<(OutStream &o, const std::pair< F, S > &var)']]],
-  ['operator_3c_3d',['operator<=',['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1WtoNesting.html#ac586ecfd26b2bd89167ff879d66a82b5',1,'SVF::WtoNesting::operator<=()'],['../classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf',1,'SVF::iter_facade_base::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()'],['../namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293',1,'SVF::operator<=()']]],
-  ['operator_3d',['operator=',['../classSVF_1_1AbstractValue.html#afaf73f48b769b40f990418f390dd5eb3',1,'SVF::AbstractValue::operator=(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a04166c2df89bf2f5edf54c3d6396608a',1,'SVF::AbstractValue::operator=(AbstractValue &&) noexcept=default'],['../classSVF_1_1AddressValue.html#af04057a03bd456dedf10ac2c985478cc',1,'SVF::AddressValue::operator=(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#aba1127b2bd075c530f7cdc4826cbae73',1,'SVF::AddressValue::operator=(AddressValue &&other) noexcept'],['../classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03',1,'SVF::ExeState::operator=(const ExeState &rhs)'],['../classSVF_1_1ExeState.html#ad706a7c5d1e4b198a74a0b5a8a89be8f',1,'SVF::ExeState::operator=(ExeState &&rhs) noexcept'],['../classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7',1,'SVF::IntervalExeState::operator=(const IntervalExeState &rhs)'],['../classSVF_1_1IntervalExeState.html#ac3969ddc15f3bd675d5a352dfd9b9bf7',1,'SVF::IntervalExeState::operator=(IntervalExeState &&rhs)'],['../classSVF_1_1IntervalValue.html#a2f2121ab7e99c9057b1855f355dd0d4b',1,'SVF::IntervalValue::operator=(const IntervalValue &a) noexcept=default'],['../classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f',1,'SVF::IntervalValue::operator=(IntervalValue &&)=default'],['../classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2',1,'SVF::NumericLiteral::operator=(const NumericLiteral &) noexcept=default'],['../classSVF_1_1NumericLiteral.html#ad4eab1f6925a8809a6bcd140f1f896cd',1,'SVF::NumericLiteral::operator=(NumericLiteral &&) noexcept=default'],['../classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86',1,'SVF::RelExeState::operator=(const RelExeState &rhs)'],['../classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20',1,'SVF::RelExeState::operator=(RelExeState &&rhs) noexcept'],['../classSVF_1_1WtoComponentVisitor.html#aaf3e934b4a44028294af61363a0d9ec0',1,'SVF::WtoComponentVisitor::operator=(const WtoComponentVisitor &) noexcept=default'],['../classSVF_1_1WtoComponentVisitor.html#ad3e986fde758f9d2f6b7ccac036f3462',1,'SVF::WtoComponentVisitor::operator=(WtoComponentVisitor &&) noexcept=default'],['../classSVF_1_1WtoNesting.html#ad8ef62b31af08af32a160e048696896d',1,'SVF::WtoNesting::operator=(const WtoNesting &)=default'],['../classSVF_1_1WtoNesting.html#a2cfad3aa86de5a6fd7b2d02c4151e6e3',1,'SVF::WtoNesting::operator=(WtoNesting &&)=default'],['../classSVF_1_1WtoComponent.html#a86592687a15592d3390d864d53250eaa',1,'SVF::WtoComponent::operator=(const WtoComponent &) noexcept=default'],['../classSVF_1_1WtoComponent.html#a8de245528016b2c4651f37c6e455d640',1,'SVF::WtoComponent::operator=(WtoComponent &&) noexcept=default'],['../classSVF_1_1Wto.html#a67712df707ee21927135027189e2723b',1,'SVF::Wto::operator=(const Wto &other)=default'],['../classSVF_1_1Wto.html#a7c6c07ac854277cefff5f51c25b84edc',1,'SVF::Wto::operator=(Wto &&other)=default'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181',1,'SVF::GrammarBase::Symbol::operator=(const u32_t &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aaa1569c56bbef8ba8fb36bbc1363a77a',1,'SVF::GrammarBase::Symbol::operator=(unsigned long long num)'],['../classSVF_1_1AddrCGEdge.html#a7f2959e08f010e5c30dcb76c6fbf6732',1,'SVF::AddrCGEdge::operator=()'],['../classSVF_1_1CopyCGEdge.html#a50348854a99591726e769078a8d2f703',1,'SVF::CopyCGEdge::operator=()'],['../classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0',1,'SVF::StoreCGEdge::operator=()'],['../classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443',1,'SVF::LoadCGEdge::operator=()'],['../classSVF_1_1GepCGEdge.html#ab9b230aa38c6fe45914cfb2c52c70e5b',1,'SVF::GepCGEdge::operator=()'],['../classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39',1,'SVF::NormalGepCGEdge::operator=()'],['../classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522',1,'SVF::VariantGepCGEdge::operator=()'],['../classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f',1,'SVF::LoadVFGNode::operator=()'],['../classSVF_1_1StoreVFGNode.html#a7f4de642d80c7b7335d7bb0c58adc7d4',1,'SVF::StoreVFGNode::operator=()'],['../classSVF_1_1CopyVFGNode.html#a9029b5166ae4e76a4506050c310a1f3a',1,'SVF::CopyVFGNode::operator=()'],['../classSVF_1_1CmpVFGNode.html#ae4984b52e88844a6c11732e9a6819fb2',1,'SVF::CmpVFGNode::operator=()'],['../classSVF_1_1BinaryOPVFGNode.html#a6e10436b82aa1e598f4ea9c06b5ef799',1,'SVF::BinaryOPVFGNode::operator=()'],['../classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897',1,'SVF::UnaryOPVFGNode::operator=()'],['../classSVF_1_1BranchVFGNode.html#a3b05294417c222b3d0be2bf1d1b1e277',1,'SVF::BranchVFGNode::operator=()'],['../classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076',1,'SVF::GepVFGNode::operator=()'],['../classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66',1,'SVF::AddrVFGNode::operator=()'],['../classSVF_1_1ActualRetVFGNode.html#a4549da69c84064b914e9b4df9350ab6f',1,'SVF::ActualRetVFGNode::operator=()'],['../classSVF_1_1FormalRetVFGNode.html#a599d139a7973dfc09c5db18a60aba3dd',1,'SVF::FormalRetVFGNode::operator=()'],['../classSVF_1_1CondVar.html#a90d6c2204c92db5c78991e6dfdcc5c80',1,'SVF::CondVar::operator=()'],['../classSVF_1_1CondStdSet.html#a9fa868a473993d0244431d640799ce98',1,'SVF::CondStdSet::operator=()'],['../classSVF_1_1CondPointsToSet.html#a42056d7b29e50a3ed8a8db95674d24b2',1,'SVF::CondPointsToSet::operator=()'],['../classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107',1,'SVF::LocationSet::operator=()'],['../classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7',1,'SVF::PointsTo::operator=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a615411a2d8909668271782398814bc9f',1,'SVF::PointsTo::operator=(PointsTo &&rhs) noexcept'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21',1,'SVF::PointsTo::PointsToIterator::operator=(const PointsToIterator &rhs)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056',1,'SVF::PointsTo::PointsToIterator::operator=(PointsToIterator &&rhs) noexcept'],['../classSVF_1_1SVFGNodeLockSpan.html#afa2d1f6997dd5f06b4efe75f8145932e',1,'SVF::SVFGNodeLockSpan::operator=()'],['../classSVF_1_1AssignStmt.html#ad468b35277ddf0a084271578766c36a1',1,'SVF::AssignStmt::operator=()'],['../classSVF_1_1AddrStmt.html#a1fe5489d6b941f5de3f3eeea63818dae',1,'SVF::AddrStmt::operator=()'],['../classSVF_1_1CopyStmt.html#a96205e0ffb3001de306e856090dbf277',1,'SVF::CopyStmt::operator=()'],['../classSVF_1_1StoreStmt.html#abc2f677257ce4656f1da4373d6a016ef',1,'SVF::StoreStmt::operator=()'],['../classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d',1,'SVF::LoadStmt::operator=()'],['../classSVF_1_1GepStmt.html#aad988829009a31f173e3908461e3a7e8',1,'SVF::GepStmt::operator=()'],['../classSVF_1_1CallPE.html#a9ea8ddb83c64889c3baa128b72ff7207',1,'SVF::CallPE::operator=()'],['../classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465',1,'SVF::RetPE::operator=()'],['../classSVF_1_1MultiOpndStmt.html#afbd0d606112605bf355f4a9de6b44406',1,'SVF::MultiOpndStmt::operator=()'],['../classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170',1,'SVF::PhiStmt::operator=()'],['../classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252',1,'SVF::SelectStmt::operator=()'],['../classSVF_1_1CmpStmt.html#a73b976659b9437c33297fc14c55a3034',1,'SVF::CmpStmt::operator=()'],['../classSVF_1_1BinaryOPStmt.html#a987a69ea0cfc4b96adad22be810495b1',1,'SVF::BinaryOPStmt::operator=()'],['../classSVF_1_1UnaryOPStmt.html#a58a341847b24cfaf98ab7e82008bc018',1,'SVF::UnaryOPStmt::operator=()'],['../classSVF_1_1BranchStmt.html#a4d89147be6703c297709cfe03c4b202b',1,'SVF::BranchStmt::operator=()'],['../classSVF_1_1TDForkPE.html#a3c6cc8db894e2c4cb62262fdd556e58f',1,'SVF::TDForkPE::operator=()'],['../classSVF_1_1TDJoinPE.html#a4e4d2ac2888d9e1c02bb62f0a40bd0e2',1,'SVF::TDJoinPE::operator=()'],['../classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1',1,'SVF::StInfo::operator=()'],['../classSVF_1_1BitVector.html#a5e537ecf471af33c08752eb9d55f1910',1,'SVF::BitVector::operator=(const BitVector &rhs)'],['../classSVF_1_1BitVector.html#af5bd38d3b667a8740aaf309f6ef13369',1,'SVF::BitVector::operator=(BitVector &&rhs)'],['../classSVF_1_1CoreBitVector.html#a3594d997fba0aa6201855199a884d98d',1,'SVF::CoreBitVector::operator=(const CoreBitVector &rhs)'],['../classSVF_1_1CoreBitVector.html#ae14cc9ce0abbad20636c51e6ca781305',1,'SVF::CoreBitVector::operator=(CoreBitVector &&rhs)'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#adb5a17e5916052f49390d6e99ff47b22',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(const CoreBitVectorIterator &cbv)=default'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1d19b0a8fd137d6598d1f11ef031930b',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator=(CoreBitVectorIterator &&cbv)=default'],['../classSVF_1_1CxtStmt.html#a4f431c7b6f3434eff34b4cea6853066b',1,'SVF::CxtStmt::operator=()'],['../classSVF_1_1CxtThreadStmt.html#a894849e24d01f80463a207e0c8f2548f',1,'SVF::CxtThreadStmt::operator=()'],['../classSVF_1_1CxtThread.html#a3c22e59962a9c638a0f1b516c25aec8f',1,'SVF::CxtThread::operator=()'],['../classSVF_1_1CxtProc.html#a617c7ee432ac89cf419dfad47854e3a5',1,'SVF::CxtProc::operator=()'],['../classSVF_1_1CxtThreadProc.html#a439a27864cb18accba5f8fe706c1e74b',1,'SVF::CxtThreadProc::operator=()'],['../classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811',1,'SVF::DPItem::operator=(DPItem &&rhs) noexcept'],['../classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440',1,'SVF::DPItem::operator=(const DPItem &rhs)'],['../classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499',1,'SVF::StmtDPItem::operator=()'],['../classSVF_1_1ContextCond.html#a87e2eff285fee018995be59ff0db4b52',1,'SVF::ContextCond::operator=(ContextCond &&cond) noexcept'],['../classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04',1,'SVF::ContextCond::operator=(const ContextCond &rhs)'],['../classSVF_1_1CxtStmtDPItem.html#aef8f7d034bdd10730e3ff1a2ae52350c',1,'SVF::CxtStmtDPItem::operator=()'],['../classSVF_1_1CxtDPItem.html#a36b56d1dde3eefa8e8197b7ccabff273',1,'SVF::CxtDPItem::operator=(CxtDPItem &&dps) noexcept'],['../classSVF_1_1CxtDPItem.html#abe0913f8d672a079fa674dbcc3e1b3db',1,'SVF::CxtDPItem::operator=(const CxtDPItem &rhs)'],['../classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030',1,'SVF::SparseBitVector::operator=(const SparseBitVector &RHS)'],['../classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e',1,'SVF::SparseBitVector::operator=(SparseBitVector &&RHS)'],['../classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85',1,'SVF::Z3Expr::operator=()']]],
-  ['operator_3d_3d',['operator==',['../classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f',1,'SVF::AddressValue::operator==()'],['../classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21',1,'SVF::ExeState::operator==()'],['../classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3',1,'SVF::IntervalExeState::operator==()'],['../classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171',1,'SVF::IntervalValue::operator==()'],['../classSVF_1_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e',1,'SVF::RelExeState::operator==()'],['../classSVF_1_1WtoNesting.html#a4ee505bca401e24a23c6ac8d1aa572eb',1,'SVF::WtoNesting::operator==()'],['../structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f',1,'SVF::HybridData::TreeNode::operator==()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53',1,'SVF::GrammarBase::Symbol::operator==(const Symbol &s)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a95c544fcb78fd49a7fc753486a71e461',1,'SVF::GrammarBase::Symbol::operator==(const Symbol &s) const'],['../structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9',1,'SVF::GrammarBase::Symbol::operator==(const u32_t &i)'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9',1,'SVF::GrammarBase::Symbol::operator==(const Kind &k) const'],['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1CondVar.html#a7faf827845c5e820f1b63ce6523bc2a9',1,'SVF::CondVar::operator==()'],['../classSVF_1_1CondStdSet.html#a6697d9c3d1107db2be430b8e8b670cb5',1,'SVF::CondStdSet::operator==()'],['../classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02',1,'SVF::CondPointsToSet::operator==()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator==()'],['../classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232',1,'SVF::LocationSet::operator==()'],['../classSVF_1_1PointsTo.html#a6b29626e4e4298943d2ad839f06db83e',1,'SVF::PointsTo::operator==()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4',1,'SVF::PointsTo::PointsToIterator::operator==()'],['../classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9',1,'SVF::MemRegion::operator==()'],['../classSVF_1_1SVFGNodeLockSpan.html#a880f9eec9d0c4835b7a524eeb801396d',1,'SVF::SVFGNodeLockSpan::operator==()'],['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec',1,'SVF::CallSite::operator==()'],['../classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b',1,'SVF::MemObj::operator==()'],['../classSVF_1_1CoreBitVector.html#a0ddd7fc5e043d36f3c62c2fb93b22684',1,'SVF::CoreBitVector::operator==()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a7278c27a0ab2096b29a537a8afe0be5e',1,'SVF::CoreBitVector::CoreBitVectorIterator::operator==()'],['../classSVF_1_1CxtStmt.html#af7b0afe54ce69ec8f753d701818a7eca',1,'SVF::CxtStmt::operator==()'],['../classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35',1,'SVF::CxtThreadStmt::operator==()'],['../classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24',1,'SVF::CxtThread::operator==()'],['../classSVF_1_1CxtProc.html#a7e019158f464401c6d7fc5676d48d69c',1,'SVF::CxtProc::operator==()'],['../classSVF_1_1CxtThreadProc.html#aef53ca59b8cbd614b28350d12113e3c4',1,'SVF::CxtThreadProc::operator==()'],['../classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a',1,'SVF::DPItem::operator==()'],['../classSVF_1_1StmtDPItem.html#afd63ae0d881101d6c61709b9ac25dbf8',1,'SVF::StmtDPItem::operator==()'],['../classSVF_1_1ContextCond.html#a69b8789b4815f2958afe67028640bfc5',1,'SVF::ContextCond::operator==()'],['../classSVF_1_1CxtStmtDPItem.html#a201619b723a5548029dd7402e06608e7',1,'SVF::CxtStmtDPItem::operator==()'],['../classSVF_1_1CxtDPItem.html#a52003b33daa4902545159cf4e225d6ea',1,'SVF::CxtDPItem::operator==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112',1,'SVF::SparseBitVectorElement::operator==()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator==()'],['../classSVF_1_1SparseBitVector.html#a816d96bad46fde34b3848bf08dc6cdf5',1,'SVF::SparseBitVector::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
-  ['operator_3e',['operator>',['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1WtoNesting.html#abc6a3492c1eae19fcdc7fb6f0bb21018',1,'SVF::WtoNesting::operator>()'],['../classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f',1,'SVF::iter_facade_base::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()'],['../namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2',1,'SVF::operator>()']]],
-  ['operator_3e_3d',['operator>=',['../classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f',1,'SVF::IntervalExeState::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1WtoNesting.html#a75b29d477fe6a72be5822419b999d996',1,'SVF::WtoNesting::operator>=()'],['../classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6',1,'SVF::iter_facade_base::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()'],['../namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24',1,'SVF::operator>=()']]],
-  ['operator_3e_3e',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral::operator>>()'],['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF::operator>>()']]],
-  ['operator_5b_5d',['operator[]',['../classSVF_1_1IntervalExeState.html#a7420a7637b62d451babadb852c9c2ac2',1,'SVF::IntervalExeState::operator[]()'],['../classSVF_1_1RelExeState.html#a8cb105e01839b136618103a3710d9d86',1,'SVF::RelExeState::operator[]()'],['../classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f',1,'SVF::ContextCond::operator[]()'],['../classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25',1,'SVF::iter_facade_base::operator[](DifferenceTypeT n)'],['../classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80',1,'SVF::iter_facade_base::operator[](DifferenceTypeT n) const']]],
-  ['operator_5e',['operator^',['../classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604',1,'SVF::NumericLiteral::operator^()'],['../classSVF_1_1WtoNesting.html#a0e93f04e6e365c2486f6e535b235c103',1,'SVF::WtoNesting::operator^()'],['../classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12',1,'SVF::Z3Expr::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
-  ['operator_7c',['operator|',['../classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05',1,'SVF::NumericLiteral::operator|()'],['../classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de',1,'SVF::Z3Expr::operator|()'],['../namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8',1,'SVF::operator|(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF::operator|(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#ad16a5803e8f1fa06266223aeb8366df1',1,'SVF::operator|(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['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|=()'],['../classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090',1,'SVF::SparseBitVector::operator|=()'],['../namespaceSVF.html#a97ff28f5dfd5c31e6ef351de3cdad85d',1,'SVF::operator|=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)'],['../namespaceSVF.html#a7554dead3b2d1bcdfcb36c213e6735b6',1,'SVF::operator|=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_7c_7c',['operator||',['../classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8',1,'SVF::NumericLiteral::operator||()'],['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr::operator||()']]],
-  ['opicfgnodes',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
-  ['opicfgnodevec',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4',1,'SVF::PhiStmt']]],
-  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
-  ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
-  ['option',['Option',['../classOption.html',1,'Option< T >'],['../classOption.html#a479f07d7e2424931ea23e905a88f9c57',1,'Option::Option()']]],
-  ['option_3c_20bool_20_3e',['Option< bool >',['../classOption.html',1,'']]],
-  ['option_3c_20std_3a_3astring_20_3e',['Option< std::string >',['../classOption.html',1,'']]],
-  ['option_3c_20u32_5ft_20_3e',['Option< u32_t >',['../classOption.html',1,'']]],
-  ['optionbase',['OptionBase',['../classOptionBase.html',1,'OptionBase'],['../classOptionBase.html#ae99500409f218ce63d4dbce537884c7f',1,'OptionBase::OptionBase(std::string name, std::string description)'],['../classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4',1,'OptionBase::OptionBase(std::string name, std::string description, PossibilityDescriptions possibilityDescriptions)']]],
-  ['optionmap',['OptionMap',['../classOptionMap.html',1,'OptionMap< T >'],['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap::OptionMap()']]],
-  ['optionmap_3c_20bvdataptaimpl_3a_3aptbackingtype_20_3e',['OptionMap< BVDataPTAImpl::PTBackingType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20hclust_5ffast_5fmethods_20_3e',['OptionMap< enum hclust_fast_methods >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20ptastat_3a_3aclocktype_20_3e',['OptionMap< enum PTAStat::ClockType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20memssa_3a_3amempartition_20_3e',['OptionMap< MemSSA::MemPartition >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20pointsto_3a_3atype_20_3e',['OptionMap< PointsTo::Type >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20svf_3a_3anodeidallocator_3a_3astrategy_20_3e',['OptionMap< SVF::NodeIDAllocator::Strategy >',['../classOptionMap.html',1,'']]],
-  ['optionmultiple',['OptionMultiple',['../classOptionMultiple.html',1,'OptionMultiple< T >'],['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple::OptionMultiple()']]],
-  ['optionmultiple_3c_20pointeranalysis_3a_3aptaty_20_3e',['OptionMultiple< PointerAnalysis::PTATY >',['../classOptionMultiple.html',1,'']]],
-  ['optionmultiple_3c_20wpapass_3a_3aaliascheckrule_20_3e',['OptionMultiple< WPAPass::AliasCheckRule >',['../classOptionMultiple.html',1,'']]],
-  ['optionpossibilities',['OptionPossibilities',['../classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644',1,'OptionMap::OptionPossibilities()'],['../classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e',1,'OptionMultiple::OptionPossibilities()']]],
-  ['optionpossibility',['OptionPossibility',['../classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d',1,'OptionBase']]],
-  ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
-  ['options_2ecpp',['Options.cpp',['../Options_8cpp.html',1,'']]],
-  ['options_2eh',['Options.h',['../Options_8h.html',1,'']]],
-  ['optionvalues',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
-  ['optsvfg',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
-  ['opvarbegin',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opvars',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()'],['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()']]],
-  ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
-  ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
-  ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()']]],
-  ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
-  ['or',['Or',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt::Or()'],['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr::OR()']]],
-  ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
-  ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
-  ['orderedset',['OrderedSet',['../namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7',1,'SVF']]],
-  ['originalbvnumwords',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['othervalueset',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
-  ['othervaluetype',['OtherValueType',['../classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf',1,'SVF::SVFModule']]],
-  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat']]],
-  ['outcfledges',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
-  ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
-  ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
-  ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
-  ['outedges',['OutEdges',['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode']]],
-  ['outgoingaddredges',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsbegin',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsend',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsbegin',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsend',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresbegin',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresend',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
-  ['outicfgedges',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
-  ['outicfgedgesbegin',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
-  ['outicfgedgesend',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
-  ['outofbudgetdpms',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
-  ['outofbudgetquery',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
-  ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
-  ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
-  ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['ovalue_5fiterator',['ovalue_iterator',['../classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7',1,'SVF::SVFModule']]],
-  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
-  ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
+  ['tcg',['tcg',['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator']]],
+  ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
+  ['tdapi',['tdAPI',['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator']]],
+  ['threadstmttointerleaving',['threadStmtToInterLeaving',['../classSVF_1_1MTAResultValidator.html#ac4a7773211a9c842639ac25b1a504c7e',1,'SVF::MTAResultValidator']]],
+  ['traverseonicfg',['traverseOnICFG',['../svf-ex_8cpp.html#addc5529c5b161d0c61eba4944428455e',1,'svf-ex.cpp']]],
+  ['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#ad58149e5445ad22ce478339e103ab42b',1,'svf-ex.cpp']]]
 ];

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

@@ -1,28 +1,4 @@
 var searchData=
 [
-  ['abstractvalue',['AbstractValue',['../classSVF_1_1AbstractValue.html',1,'SVF']]],
-  ['accesspair',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]],
-  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF']]],
-  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF']]],
-  ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF']]],
-  ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF']]],
-  ['add_5fconst_5fpast_5fpointer',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
-  ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF']]],
-  ['addressvalue',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF']]],
-  ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF']]],
-  ['addrvfgnode',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF']]],
-  ['aliascflgraphbuilder',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliasddaclient',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF']]],
-  ['andersen',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF']]],
-  ['andersenbase',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF']]],
-  ['andersenscd',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF']]],
-  ['andersensfr',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF']]],
-  ['andersenstat',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF']]],
-  ['andersenwavediff',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF']]],
-  ['annotator',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF']]],
-  ['argumentvfgnode',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF']]],
-  ['assignstmt',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF']]]
+  ['accesspair',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html',1,'SVF::RaceResultValidator']]]
 ];