svf-tools 1.0.853 → 1.0.855

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

@@ -1,59 +1,59 @@
 var searchData=
 [
-  ['objsyms_9814',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
-  ['objtypeinfo_9815',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo']]],
-  ['objvar_9816',['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_9817',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
-  ['oobresetvisited_9818',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
-  ['operator_20referencet_9819',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['operator_20u32_5ft_9820',['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_9821',['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_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0',1,'SVF::IntervalESBase::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_9822',['operator%',['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF']]],
-  ['operator_26_9823',['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_9824',['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_9825',['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_1NumericLiteral_01_4.html#a57f6de2fad6579075e6c7d60ddbff2a5',1,'std::hash< SVF::NumericLiteral >::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_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07',1,'SVF::CFBasicBlockEdge::equalCFBBEdge::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_9826',['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_9827',['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_9828',['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_9829',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
-  ['operator_2d_9830',['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_9831',['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_9832',['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_9833',['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_9834',['operator/',['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF']]],
-  ['operator_3c_9835',['operator<',['../classSVF_1_1ConsExeState.html#a312954e26e384366f0ce2e99df918eda',1,'SVF::ConsExeState::operator<()'],['../classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f',1,'SVF::IntervalESBase::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_9836',['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#afff0c6ec8a5ebaaad44f345bf6c23767',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_9837',['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_9838',['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_1IntervalESBase.html#a926025a01239d163e59582824ceb0580',1,'SVF::IntervalESBase::operator=(const IntervalESBase &rhs)'],['../classSVF_1_1IntervalESBase.html#ab4d2297eb82611a3198ba3befeda5e54',1,'SVF::IntervalESBase::operator=(IntervalESBase &&rhs)'],['../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_9839',['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_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d',1,'SVF::IntervalESBase::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_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8',1,'SVF::CFBasicBlockEdge::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_9840',['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_9841',['operator>=',['../classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7',1,'SVF::IntervalESBase::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_9842',['operator>>',['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF']]],
-  ['operator_5b_5d_9843',['operator[]',['../classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36',1,'SVF::ConsExeState::operator[]()'],['../classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151',1,'SVF::IntervalESBase::operator[]()'],['../classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77',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_9844',['operator^',['../classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb',1,'SVF::WTOCycleDepth::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
-  ['operator_7c_9845',['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_9846',['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_9847',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
-  ['option_9848',['Option',['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option']]],
-  ['optionbase_9849',['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_9850',['OptionMap',['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap']]],
-  ['optionmultiple_9851',['OptionMultiple',['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple']]],
-  ['options_9852',['Options',['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options']]],
-  ['opvarbegin_9853',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opverbegin_9854',['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_9855',['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_9856',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr']]],
-  ['outedgebegin_9857',['OutEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510',1,'SVF::CFBasicBlockNode::OutEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ad37525807d9c8d7c12e7166af068134e',1,'SVF::CFBasicBlockNode::OutEdgeBegin() const'],['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
-  ['outedgeend_9858',['OutEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35',1,'SVF::CFBasicBlockNode::OutEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9',1,'SVF::CFBasicBlockNode::OutEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
-  ['outgoingaddredges_9859',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsbegin_9860',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsend_9861',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsbegin_9862',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsend_9863',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresbegin_9864',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresend_9865',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
-  ['outicfgedgesbegin_9866',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
-  ['outicfgedgesend_9867',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
-  ['outs_9868',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
-  ['overlap_9869',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl']]]
+  ['objsyms_9840',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
+  ['objtypeinfo_9841',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo']]],
+  ['objvar_9842',['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_9843',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
+  ['oobresetvisited_9844',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
+  ['operator_20referencet_9845',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['operator_20u32_5ft_9846',['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_9847',['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_1IntervalESBase.html#ab3d0a23befaf69fac553e6e3ae3a42e0',1,'SVF::IntervalESBase::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_9848',['operator%',['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF']]],
+  ['operator_26_9849',['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_9850',['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_9851',['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_1NumericLiteral_01_4.html#a57f6de2fad6579075e6c7d60ddbff2a5',1,'std::hash< SVF::NumericLiteral >::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_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07',1,'SVF::CFBasicBlockEdge::equalCFBBEdge::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_9852',['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_9853',['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_9854',['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_9855',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
+  ['operator_2d_9856',['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_9857',['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_9858',['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_9859',['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_9860',['operator/',['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF']]],
+  ['operator_3c_9861',['operator<',['../classSVF_1_1ConsExeState.html#a312954e26e384366f0ce2e99df918eda',1,'SVF::ConsExeState::operator<()'],['../classSVF_1_1IntervalESBase.html#aaafb882ca79738d39697d1461bd2032f',1,'SVF::IntervalESBase::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_9862',['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#afff0c6ec8a5ebaaad44f345bf6c23767',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_9863',['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_9864',['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_1IntervalESBase.html#a926025a01239d163e59582824ceb0580',1,'SVF::IntervalESBase::operator=(const IntervalESBase &rhs)'],['../classSVF_1_1IntervalESBase.html#ab4d2297eb82611a3198ba3befeda5e54',1,'SVF::IntervalESBase::operator=(IntervalESBase &&rhs)'],['../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_9865',['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_1IntervalESBase.html#a6f6ba2a615f1227cf8397345d1d0f25d',1,'SVF::IntervalESBase::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_1CFBasicBlockEdge.html#a8dcfa5b748916c61392f340c68c769a8',1,'SVF::CFBasicBlockEdge::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_9866',['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_9867',['operator>=',['../classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7',1,'SVF::IntervalESBase::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_9868',['operator>>',['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF']]],
+  ['operator_5b_5d_9869',['operator[]',['../classSVF_1_1ConsExeState.html#a22e7ec17139695a1ae73bd058aa78e36',1,'SVF::ConsExeState::operator[]()'],['../classSVF_1_1IntervalESBase.html#af00c9267eb35bf16c88e321ca3009151',1,'SVF::IntervalESBase::operator[]()'],['../classSVF_1_1IntervalExeState.html#a2f39e01a347d10b2992a46e5cc52ab77',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_9870',['operator^',['../classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb',1,'SVF::WTOCycleDepth::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
+  ['operator_7c_9871',['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_9872',['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_9873',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
+  ['option_9874',['Option',['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option']]],
+  ['optionbase_9875',['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_9876',['OptionMap',['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap']]],
+  ['optionmultiple_9877',['OptionMultiple',['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple']]],
+  ['options_9878',['Options',['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options']]],
+  ['opvarbegin_9879',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
+  ['opverbegin_9880',['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_9881',['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_9882',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr']]],
+  ['outedgebegin_9883',['OutEdgeBegin',['../classSVF_1_1CFBasicBlockNode.html#a93c5de88097d130a8ba06c7254f96510',1,'SVF::CFBasicBlockNode::OutEdgeBegin()'],['../classSVF_1_1CFBasicBlockNode.html#ad37525807d9c8d7c12e7166af068134e',1,'SVF::CFBasicBlockNode::OutEdgeBegin() const'],['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
+  ['outedgeend_9884',['OutEdgeEnd',['../classSVF_1_1CFBasicBlockNode.html#a358586d95a6027da09b97a3c35128a35',1,'SVF::CFBasicBlockNode::OutEdgeEnd()'],['../classSVF_1_1CFBasicBlockNode.html#aad38e58364301dafed7a3ee46f812cd9',1,'SVF::CFBasicBlockNode::OutEdgeEnd() const'],['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
+  ['outgoingaddredges_9885',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
+  ['outgoingaddrsbegin_9886',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
+  ['outgoingaddrsend_9887',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
+  ['outgoingloadsbegin_9888',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
+  ['outgoingloadsend_9889',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
+  ['outgoingstoresbegin_9890',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
+  ['outgoingstoresend_9891',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
+  ['outicfgedgesbegin_9892',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
+  ['outicfgedgesend_9893',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
+  ['outs_9894',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
+  ['overlap_9895',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['llvm_7011',['llvm',['../namespacellvm.html',1,'']]]
+  ['llvm_7033',['llvm',['../namespacellvm.html',1,'']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['cpputil_7012',['cppUtil',['../namespaceSVF_1_1cppUtil.html',1,'SVF']]],
-  ['ctir_7013',['ctir',['../namespaceSVF_1_1cppUtil_1_1ctir.html',1,'SVF::cppUtil']]],
-  ['dot_7014',['DOT',['../namespaceSVF_1_1DOT.html',1,'SVF']]],
-  ['graphprogram_7015',['GraphProgram',['../namespaceSVF_1_1GraphProgram.html',1,'SVF']]],
-  ['llvmutil_7016',['LLVMUtil',['../namespaceSVF_1_1LLVMUtil.html',1,'SVF']]],
-  ['svf_7017',['SVF',['../namespaceSVF.html',1,'']]],
-  ['svfutil_7018',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]]
+  ['cpputil_7034',['cppUtil',['../namespaceSVF_1_1cppUtil.html',1,'SVF']]],
+  ['ctir_7035',['ctir',['../namespaceSVF_1_1cppUtil_1_1ctir.html',1,'SVF::cppUtil']]],
+  ['dot_7036',['DOT',['../namespaceSVF_1_1DOT.html',1,'SVF']]],
+  ['graphprogram_7037',['GraphProgram',['../namespaceSVF_1_1GraphProgram.html',1,'SVF']]],
+  ['llvmutil_7038',['LLVMUtil',['../namespaceSVF_1_1LLVMUtil.html',1,'SVF']]],
+  ['svf_7039',['SVF',['../namespaceSVF.html',1,'']]],
+  ['svfutil_7040',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['abs_13200',['abs',['../classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c',1,'SVF::NumericLiteral']]],
-  ['ashr_13201',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()']]]
+  ['abs_13243',['abs',['../classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c',1,'SVF::NumericLiteral']]],
+  ['ashr_13244',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['bv2int_13202',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
-  ['bvdataptaimpl_13203',['BVDataPTAImpl',['../classSVF_1_1SVFIR.html#abab304aade6559906d047cdc992acb7f',1,'SVF::SVFIR']]]
+  ['bv2int_13245',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]],
+  ['bvdataptaimpl_13246',['BVDataPTAImpl',['../classSVF_1_1SVFIR.html#abab304aade6559906d047cdc992acb7f',1,'SVF::SVFIR']]]
 ];

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['cfbasicblockgbuilder_13204',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f',1,'SVF::CFBasicBlockGraph']]],
-  ['cflsvfgbuilder_13205',['CFLSVFGBuilder',['../classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188',1,'SVF::SVFG']]],
-  ['chgbuilder_13206',['CHGBuilder',['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph']]]
+  ['cfbasicblockgbuilder_13247',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f',1,'SVF::CFBasicBlockGraph']]],
+  ['cflsvfgbuilder_13248',['CFLSVFGBuilder',['../classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188',1,'SVF::SVFG']]],
+  ['chgbuilder_13249',['CHGBuilder',['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['ddastat_13207',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
-  ['ddasvfgbuilder_13208',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
+  ['ddastat_13250',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
+  ['ddasvfgbuilder_13251',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['eq_13209',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
-  ['externalpag_13210',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
+  ['eq_13252',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
+  ['externalpag_13253',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['flowsensitivestat_13211',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
+  ['flowsensitivestat_13254',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['genericgraphreader_3c_20nodety_2c_20edgety_20_3e_13212',['GenericGraphReader< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a219761d5d96b0bc27cce9210f2cf5572',1,'SVF::GenericGraph']]],
-  ['genericgraphwriter_3c_20nodety_2c_20edgety_20_3e_13213',['GenericGraphWriter< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a9772e25a4f4ff7baa0937e48c4ac7c52',1,'SVF::GenericGraph']]]
+  ['genericgraphreader_3c_20nodety_2c_20edgety_20_3e_13255',['GenericGraphReader< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a219761d5d96b0bc27cce9210f2cf5572',1,'SVF::GenericGraph']]],
+  ['genericgraphwriter_3c_20nodety_2c_20edgety_20_3e_13256',['GenericGraphWriter< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a9772e25a4f4ff7baa0937e48c4ac7c52',1,'SVF::GenericGraph']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['icfgbuilder_13214',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
-  ['int2bv_13215',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
-  ['irgraph_13216',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
-  ['ite_13217',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
+  ['icfgbuilder_13257',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
+  ['int2bv_13258',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
+  ['irgraph_13259',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
+  ['ite_13260',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['llvmmoduleset_13218',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
-  ['lshr_13219',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
+  ['llvmmoduleset_13261',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
+  ['lshr_13262',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['max_13220',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
-  ['min_13221',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
-  ['mtasvfgbuilder_13222',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13223',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
+  ['max_13263',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
+  ['min_13264',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
+  ['mtasvfgbuilder_13265',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
+  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13266',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
 ];