svf-tools 1.0.758 → 1.0.760

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

@@ -1,59 +1,37 @@
 var searchData=
 [
-  ['objsyms_9601',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
-  ['objtypeinfo_9602',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo']]],
-  ['objvar_9603',['ObjVar',['../classSVF_1_1ObjVar.html#a0678067a37d44e8655236454aee9eee0',1,'SVF::ObjVar::ObjVar(NodeID i, PNODEK ty=ObjNode)'],['../classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb',1,'SVF::ObjVar::ObjVar(const SVFValue *val, NodeID i, const MemObj *m, PNODEK ty=ObjNode)']]],
-  ['ontheflycallgraphsolve_9604',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
-  ['oobresetvisited_9605',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
-  ['operator_20referencet_9606',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['operator_20u32_5ft_9607',['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_3d_9608',['operator!=',['../classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c',1,'llvm::generic_bridge_gep_type_iterator::operator!=()'],['../classSVF_1_1AddressValue.html#aba8f1bfe0603192ca9d5c8b36ece1549',1,'SVF::AddressValue::operator!=()'],['../classSVF_1_1ConsExeState.html#a24e9becca0339056ba900ee35ab882f3',1,'SVF::ConsExeState::operator!=()'],['../classSVF_1_1ExeState.html#ab828094e1026046814c1e3d44d3f084c',1,'SVF::ExeState::operator!=()'],['../classSVF_1_1IntervalExeState.html#ad4cbc6543ffe3e663deea4736470bfc1',1,'SVF::IntervalExeState::operator!=()'],['../classSVF_1_1IntervalValue.html#a18d0f2c15ea6fc84dfa28ca494423af9',1,'SVF::IntervalValue::operator!=()'],['../classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa',1,'SVF::RelExeState::operator!=()'],['../classSVF_1_1SymState.html#a6f3c1b4c3be13c65609a9de4d19f71ba',1,'SVF::SymState::operator!=()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136',1,'SVF::GrammarBase::Symbol::operator!=()'],['../classSVF_1_1CondVar.html#a50321e5ead24c8a9d6c58998072634f0',1,'SVF::CondVar::operator!=()'],['../classSVF_1_1CondStdSet.html#a060a01d33fcd5ed4dfcaecb3d24cda07',1,'SVF::CondStdSet::operator!=()'],['../classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558',1,'SVF::CondPointsToSet::operator!=()'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(int val)'],['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a82068bca4dfc43402625638dcd1b9775',1,'SVF::CondPointsToSet::CondPtsSetIterator::operator!=(const CondPtsSetIterator &RHS) const'],['../classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75',1,'SVF::PointsTo::operator!=()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970',1,'SVF::PointsTo::PointsToIterator::operator!=()'],['../classSVF_1_1SVFGNodeLockSpan.html#afa11dc0e8124bb36bfb404bfd94f4b40',1,'SVF::SVFGNodeLockSpan::operator!=()'],['../classSVF_1_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!=()']]],
-  ['operator_25_9609',['operator%',['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF']]],
-  ['operator_26_9610',['operator&',['../namespaceSVF.html#a8ca7e84917358976240bc88c3cceb0c2',1,'SVF::operator&(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#ac9a2ce616278d70f9c52f95d2e90c2f7',1,'SVF::operator&(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#ae6bcdaa34840828fcfc657402657a4e4',1,'SVF::operator&(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_26_3d_9611',['operator&=',['../classSVF_1_1CondStdSet.html#aa0ca8da1ee68b34e9515f2ebac55bc91',1,'SVF::CondStdSet::operator&=()'],['../classSVF_1_1CondPointsToSet.html#a089474fea28e27248f5f9d6721726c94',1,'SVF::CondPointsToSet::operator&=()'],['../classSVF_1_1PointsTo.html#a4d4c6b5e8f3600e9cba56be42d4407af',1,'SVF::PointsTo::operator&=()'],['../classSVF_1_1CoreBitVector.html#a6a9c3a03100341cd1b1d7aaafe1959ef',1,'SVF::CoreBitVector::operator&=()'],['../classSVF_1_1SparseBitVector.html#a1558d1431f987fa42e99126e171a5a00',1,'SVF::SparseBitVector::operator&=()'],['../namespaceSVF.html#a68ad438785ef7186d76378b98dc83543',1,'SVF::operator&=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)'],['../namespaceSVF.html#abb5c24d1757132a454a7a693fa958e09',1,'SVF::operator&=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)']]],
-  ['operator_28_29_9612',['operator()',['../structstd_1_1hash_3_01SVF_1_1BoundedZ3Expr_01_4.html#a232e38e5365af047f57631b121a04e66',1,'std::hash< SVF::BoundedZ3Expr >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html#a4c48e03d1f703d7d68065fdbbd4fee22',1,'std::hash< SVF::ConsExeState >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html#a6705ade63bf4797badccf432b56c5017',1,'std::hash< SVF::ExeState >::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()()'],['../structstd_1_1hash_3_01SVF_1_1SingleAbsValue_01_4.html#a3f1931d269277edb6733a02e3c0d539e',1,'std::hash< SVF::SingleAbsValue >::operator()()'],['../structstd_1_1hash_3_01SVF_1_1SymState_01_4.html#aa1155bb32072fdffe0f7f28ee57eb36f',1,'std::hash< SVF::SymState >::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_01SVF_1_1AccessPath_01_4.html#a16b0806f551270a0078f71796a37f07f',1,'std::hash< SVF::AccessPath >::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_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_9613',['operator*',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::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*()'],['../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*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
-  ['operator_2b_9614',['operator+',['../classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2',1,'SVF::AccessPath::operator+()'],['../classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24',1,'SVF::iter_facade_base::operator+()'],['../namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa',1,'SVF::operator+()']]],
-  ['operator_2b_2b_9615',['operator++',['../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_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)'],['../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_9616',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
-  ['operator_2d_9617',['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-()'],['../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_9618',['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_9619',['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_9620',['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_9621',['operator/',['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF']]],
-  ['operator_3c_9622',['operator<',['../classSVF_1_1ConsExeState.html#a312954e26e384366f0ce2e99df918eda',1,'SVF::ConsExeState::operator<()'],['../classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58',1,'SVF::IntervalExeState::operator<()'],['../classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97',1,'SVF::RelExeState::operator<()'],['../classSVF_1_1SymState.html#a4867a6662d75a6e3885be8d1fbd9af9f',1,'SVF::SymState::operator<()'],['../classSVF_1_1WTOCycleDepth.html#ab1c9fade2bcd6db9211ddee376b4f04c',1,'SVF::WTOCycleDepth::operator<()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8',1,'SVF::GrammarBase::Symbol::operator<()'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a15adcae81371065435eba8c38e909099',1,'SVF::POCRHybridSolver::TreeNode::operator<()'],['../classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421',1,'SVF::AccessPath::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_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<()'],['../namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b',1,'SVF::operator<()']]],
-  ['operator_3c_3c_9623',['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#a732cfc4f990c2602063fe87538ff600b',1,'SVF::operator<<(std::ostream &os, const SVFType &type)'],['../namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207',1,'SVF::operator<<(OutStream &o, const std::pair< F, S > &var)']]],
-  ['operator_3c_3d_9624',['operator<=',['../classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739',1,'SVF::WTOCycleDepth::operator<=()'],['../classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf',1,'SVF::iter_facade_base::operator<=()'],['../namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293',1,'SVF::operator<=()']]],
-  ['operator_3d_9625',['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_1BoundedZ3Expr.html#aeed1aed239b2f80be8da4870f89c31d4',1,'SVF::BoundedZ3Expr::operator=(const BoundedZ3Expr &rhs)'],['../classSVF_1_1BoundedZ3Expr.html#aba3ebfe976cdad3c61ea0b646176b7ab',1,'SVF::BoundedZ3Expr::operator=(BoundedZ3Expr &&rhs)'],['../classSVF_1_1ConsExeState.html#a642724fd50872cf54d427f46420bbc70',1,'SVF::ConsExeState::operator=(const ConsExeState &rhs)'],['../classSVF_1_1ConsExeState.html#a3926d9161520350852791c697a28130f',1,'SVF::ConsExeState::operator=(ConsExeState &&rhs) 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#a3e10b7d6fd99151cc73b2d942ae75190',1,'SVF::IntervalValue::operator=(const IntervalValue &a)=default'],['../classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f',1,'SVF::IntervalValue::operator=(IntervalValue &&)=default'],['../classSVF_1_1NumericLiteral.html#ad58b37aff4db180c548cde777b19ed6a',1,'SVF::NumericLiteral::operator=(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#aa33eb1c41cb582eb23e2c1d6fceb598d',1,'SVF::NumericLiteral::operator=(NumericLiteral &&)=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_1SingleAbsValue.html#a89a127d236878ac142ce881df41ef793',1,'SVF::SingleAbsValue::operator=(const SingleAbsValue &rhs)'],['../classSVF_1_1SingleAbsValue.html#a1091d05374c8d6b2915bd51fddf30bee',1,'SVF::SingleAbsValue::operator=(SingleAbsValue &&rhs)'],['../classSVF_1_1SymState.html#a91f1ffdd197203bbb109a7853f5df00b',1,'SVF::SymState::operator=(const SymState &rhs)'],['../classSVF_1_1SymState.html#aebbd79fb6a6fe93f9550b81048d69333',1,'SVF::SymState::operator=(SymState &&rhs) noexcept'],['../classSVF_1_1WTOCycleDepth.html#a5ab108a0e1be3f33a3c1ffa2beaedf0e',1,'SVF::WTOCycleDepth::operator=(const WTOCycleDepth &)=default'],['../classSVF_1_1WTOCycleDepth.html#a895cca11912ac93899ce85566382ba47',1,'SVF::WTOCycleDepth::operator=(WTOCycleDepth &&)=default'],['../classSVF_1_1WTOVisitor.html#aabdd2c91e25335bee3b45ead13e95189',1,'SVF::WTOVisitor::operator=(const WTOVisitor &) noexcept=default'],['../classSVF_1_1WTOVisitor.html#a71238f5c190af226d4834d8a27455177',1,'SVF::WTOVisitor::operator=(WTOVisitor &&) noexcept=default'],['../classSVF_1_1CFBasicBlockGWTOComp.html#af46e865e21030fff9b23cfc9e0398a32',1,'SVF::CFBasicBlockGWTOComp::operator=(const CFBasicBlockGWTOComp &) noexcept=default'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a6d33bdd1f4284bd468ef410bafb72011',1,'SVF::CFBasicBlockGWTOComp::operator=(CFBasicBlockGWTOComp &&) noexcept=default'],['../classSVF_1_1CFBasicBlockGWTO.html#a4041183a3671e35c6b0723e76a34a4f3',1,'SVF::CFBasicBlockGWTO::operator=(const CFBasicBlockGWTO &other)=default'],['../classSVF_1_1CFBasicBlockGWTO.html#a7d8243d86f5d98716770ec8f250ddf48',1,'SVF::CFBasicBlockGWTO::operator=(CFBasicBlockGWTO &&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_1AccessPath.html#abfc3dfecd5be261ee39f2443d72c1d07',1,'SVF::AccessPath::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_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_9626',['operator==',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690',1,'llvm::generic_bridge_gep_type_iterator::operator==()'],['../classSVF_1_1AddressValue.html#a8dd76412c39640fa71f9512b0136e30f',1,'SVF::AddressValue::operator==()'],['../classSVF_1_1ConsExeState.html#ae708165c762328232dab128e27a62f30',1,'SVF::ConsExeState::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_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e',1,'SVF::RelExeState::operator==()'],['../classSVF_1_1SymState.html#af407d32bb8d293d43172a4ff450895e6',1,'SVF::SymState::operator==()'],['../classSVF_1_1WTOCycleDepth.html#ae9765d0ba0c8b8ec83d9482fea016713',1,'SVF::WTOCycleDepth::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'],['../structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a0950efcf560e86776844640a16bc6f9b',1,'SVF::POCRHybridSolver::TreeNode::operator==()'],['../classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858',1,'SVF::GenericEdge::operator==()'],['../classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35',1,'SVF::AccessPath::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_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==()'],['../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==()'],['../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==()']]],
-  ['operator_3e_9627',['operator>',['../classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e',1,'SVF::WTOCycleDepth::operator>()'],['../classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f',1,'SVF::iter_facade_base::operator>()'],['../namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2',1,'SVF::operator>()']]],
-  ['operator_3e_3d_9628',['operator>=',['../classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f',1,'SVF::IntervalExeState::operator>=()'],['../classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292',1,'SVF::WTOCycleDepth::operator>=()'],['../classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6',1,'SVF::iter_facade_base::operator>=()'],['../namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24',1,'SVF::operator>=()']]],
-  ['operator_3e_3e_9629',['operator>>',['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF']]],
-  ['operator_5b_5d_9630',['operator[]',['../classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36',1,'SVF::ConsExeState::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_9631',['operator^',['../classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb',1,'SVF::WTOCycleDepth::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
-  ['operator_7c_9632',['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_9633',['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)']]],
-  ['oppts_9634',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
-  ['option_9635',['Option',['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option']]],
-  ['optionbase_9636',['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_9637',['OptionMap',['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap']]],
-  ['optionmultiple_9638',['OptionMultiple',['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple']]],
-  ['options_9639',['Options',['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options']]],
-  ['opvarbegin_9640',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opverbegin_9641',['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_9642',['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()']]],
-  ['or_9643',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr']]],
-  ['outedgebegin_9644',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
-  ['outedgeend_9645',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
-  ['outgoingaddredges_9646',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsbegin_9647',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsend_9648',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsbegin_9649',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsend_9650',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresbegin_9651',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresend_9652',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
-  ['outicfgedgesbegin_9653',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
-  ['outicfgedgesend_9654',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
-  ['outs_9655',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
-  ['overlap_9656',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl']]]
+  ['name_9487',['name',['../classSVF_1_1ConsExeState.html#a5d4061449afa88fcb806cba0adeeac68',1,'SVF::ConsExeState']]],
+  ['narrow_5fwith_9488',['narrow_with',['../classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f',1,'SVF::IntervalValue']]],
+  ['narrowing_9489',['narrowing',['../classSVF_1_1IntervalExeState.html#a1e8f41b502167283ccb87bd128f232bc',1,'SVF::IntervalExeState']]],
+  ['narrowvaddrs_9490',['narrowVAddrs',['../classSVF_1_1SVFIR2ItvExeState.html#a584e5b2285a2980fc57cf84b06a76e0c',1,'SVF::SVFIR2ItvExeState']]],
+  ['narrowwith_9491',['narrowWith',['../classSVF_1_1IntervalExeState.html#a3d6ccddf8ecfbd7b6348f8c441cceab9',1,'SVF::IntervalExeState']]],
+  ['neg_9492',['NEG',['../classSVF_1_1Z3Expr.html#a9a545e516e6dee37310ad02481a84356',1,'SVF::Z3Expr']]],
+  ['neverfreebug_9493',['NeverFreeBug',['../classSVF_1_1NeverFreeBug.html#a2366068e0e1813c47003e3c072c1ad85',1,'SVF::NeverFreeBug']]],
+  ['newcond_9494',['newCond',['../classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74',1,'SVF::SaberCondAllocator']]],
+  ['newcycle_9495',['newCycle',['../classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e',1,'SVF::CFBasicBlockGWTO']]],
+  ['newnode_9496',['newNode',['../classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4',1,'SVF::CFBasicBlockGWTO']]],
+  ['newpointstoid_9497',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
+  ['newssaname_9498',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
+  ['nextsetindex_9499',['nextSetIndex',['../classSVF_1_1CoreBitVector.html#a087f69adea5e9e83bd908a1ab0ee1383',1,'SVF::CoreBitVector']]],
+  ['node_9500',['node',['../classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444',1,'SVF::CFBasicBlockGWTONode::node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
+  ['node_5findex_9501',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
+  ['nodeidallocator_9502',['NodeIDAllocator',['../classSVF_1_1NodeIDAllocator.html#ac8d6abc4ee27ae464f3978e4f4bdc3a6',1,'SVF::NodeIDAllocator']]],
+  ['nodeincycle_9503',['nodeInCycle',['../classSVF_1_1SVFGStat.html#a42b67371df87ba647166000912f53243',1,'SVF::SVFGStat']]],
+  ['nodes_9504',['nodes',['../namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac',1,'SVF']]],
+  ['nodes_5fbegin_9505',['nodes_begin',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ac330110a7b79adfda646f45433eac3ec',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['nodes_5fend_9506',['nodes_end',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a8f2d39766fdb761f6ff9a97b41832a9c',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['normalgepcgedge_9507',['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#a9e97410a915059752d8ad86fdbd8df7c',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const AccessPath &ap, EdgeID id)']]],
+  ['normalize_9508',['normalize',['../classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567',1,'SVF::CFGNormalizer']]],
+  ['normalizecflgrammar_9509',['normalizeCFLGrammar',['../classSVF_1_1CFLBase.html#a462de3facd2a9365d32397d250414ee9',1,'SVF::CFLBase']]],
+  ['normalizepointsto_9510',['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()']]],
+  ['nothingset_9511',['nothingSet',['../classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8',1,'OptionMultiple']]],
+  ['nullexestate_9512',['nullExeState',['../classSVF_1_1ConsExeState.html#adf54e333c3ad52bd4e0cee17c592e054',1,'SVF::ConsExeState']]],
+  ['nullexpr_9513',['nullExpr',['../classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc',1,'SVF::Z3Expr']]],
+  ['nullptrsymid_9514',['nullPtrSymID',['../classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721',1,'SVF::SymbolTableInfo']]],
+  ['nullptrvfgnode_9515',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode']]],
+  ['num_5fgenerator_9516',['num_generator',['../classSVF_1_1CFGrammar.html#a4d98bd2fee3d88558ed2b59c3d0d0d57',1,'SVF::CFGrammar']]],
+  ['numedgedestlabels_9517',['numEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b',1,'SVF::DefaultDOTGraphTraits']]],
+  ['numelement_9518',['numElement',['../classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4',1,'SVF::CondPointsToSet']]],
+  ['numericliteral_9519',['NumericLiteral',['../classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee',1,'SVF::NumericLiteral::NumericLiteral()=delete'],['../classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b',1,'SVF::NumericLiteral::NumericLiteral(const Z3Expr &z3Expr)'],['../classSVF_1_1NumericLiteral.html#a18b2e134e047b2dde1774b93bb5b40dd',1,'SVF::NumericLiteral::NumericLiteral(const z3::expr &e)'],['../classSVF_1_1NumericLiteral.html#a1bf5f9d33d3c10e53537376d22936bdb',1,'SVF::NumericLiteral::NumericLiteral(s32_t i)'],['../classSVF_1_1NumericLiteral.html#a54e463887bfcff9c1d0697e0293d0f0b',1,'SVF::NumericLiteral::NumericLiteral(int64_t i)'],['../classSVF_1_1NumericLiteral.html#aad45bcd52d571ca62faa4dd6a9f758d6',1,'SVF::NumericLiteral::NumericLiteral(BoundedZ3Expr z3Expr)'],['../classSVF_1_1NumericLiteral.html#a396018d1b2888b76f83eb233a46905a1',1,'SVF::NumericLiteral::NumericLiteral(const NumericLiteral &)=default'],['../classSVF_1_1NumericLiteral.html#ae017c45c3a5ffd3dd7a4c9b6eff106e9',1,'SVF::NumericLiteral::NumericLiteral(NumericLiteral &&)=default']]],
+  ['numtostr_9520',['numToStr',['../classSVF_1_1SVFIRWriter.html#a10ce46b10bad5f0f3dbcff5bf5818626',1,'SVF::SVFIRWriter']]]
 ];