svf-tools 1.0.853 → 1.0.855

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

@@ -1,119 +1,119 @@
 var searchData=
 [
-  ['o_4492',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
-  ['object_4493',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['objmap_4494',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
-  ['objnode_4495',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
-  ['objsymbol_4496',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
-  ['objsymmap_4497',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
-  ['objsyms_4498',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
-  ['objtonsrevptsmap_4499',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
-  ['objtoversionmap_4500',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
-  ['objtypeinfo_4501',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo::ObjTypeInfo()']]],
-  ['objvar_4502',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::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)']]],
-  ['ocgdotgraph_4503',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
-  ['offset_4504',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
-  ['onstack_4505',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
-  ['ontheflycallgraphsolve_4506',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
-  ['ontheflyiterbudgetforstat_4507',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
-  ['oobresetvisited_4508',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
-  ['opcache_4509',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
-  ['opcode_4510',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
-  ['operator_20referencet_4511',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
-  ['operator_20u32_5ft_4512',['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_4513',['operator!',['../classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293',1,'SVF::BoundedZ3Expr::operator!()'],['../classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29',1,'SVF::NumericLiteral::operator!()'],['../classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22',1,'SVF::SingleAbsValue::operator!()'],['../classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca',1,'SVF::Z3Expr::operator!()']]],
-  ['operator_21_3d_4514',['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_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83',1,'SVF::NumericLiteral::operator!=()'],['../classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa',1,'SVF::RelExeState::operator!=()'],['../classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45',1,'SVF::SingleAbsValue::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!=()'],['../classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3',1,'SVF::Z3Expr::operator!=()']]],
-  ['operator_25_4515',['operator%',['../classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece',1,'SVF::BoundedZ3Expr::operator%()'],['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee',1,'SVF::SingleAbsValue::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()'],['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF::operator%()']]],
-  ['operator_26_4516',['operator&',['../classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c',1,'SVF::BoundedZ3Expr::operator&()'],['../classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da',1,'SVF::NumericLiteral::operator&()'],['../classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb',1,'SVF::SingleAbsValue::operator&()'],['../classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c',1,'SVF::Z3Expr::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_26_4517',['operator&&',['../classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280',1,'SVF::BoundedZ3Expr::operator&&()'],['../classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67',1,'SVF::NumericLiteral::operator&&()'],['../classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577',1,'SVF::SingleAbsValue::operator&&()'],['../classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950',1,'SVF::Z3Expr::operator&&()']]],
-  ['operator_26_3d_4518',['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_4519',['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_4520',['operator*',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c',1,'SVF::BoundedZ3Expr::operator*()'],['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b',1,'SVF::SingleAbsValue::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*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
-  ['operator_2b_4521',['operator+',['../classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa',1,'SVF::BoundedZ3Expr::operator+()'],['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44',1,'SVF::SingleAbsValue::operator+()'],['../classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2',1,'SVF::AccessPath::operator+()'],['../classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24',1,'SVF::iter_facade_base::operator+(DifferenceTypeT n) const'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()'],['../namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa',1,'SVF::operator+()']]],
-  ['operator_2b_2b_4522',['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_4523',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
-  ['operator_2d_4524',['operator-',['../classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1BoundedZ3Expr.html#ae2483e95fe2534f694d3ddaead0cd9c4',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca',1,'SVF::SingleAbsValue::operator-()'],['../classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475',1,'SVF::iter_facade_base::operator-()'],['../classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90',1,'SVF::iter_adaptor_base::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()'],['../namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36',1,'SVF::operator-(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF::operator-(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a1b6662f895cfd942996ac4d578960eed',1,'SVF::operator-(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_2d_2d_4525',['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_4526',['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_4527',['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_4528',['operator/',['../classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702',1,'SVF::BoundedZ3Expr::operator/()'],['../classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407',1,'SVF::NumericLiteral::operator/()'],['../classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb',1,'SVF::SingleAbsValue::operator/()'],['../classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4',1,'SVF::Z3Expr::operator/()'],['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF::operator/()']]],
-  ['operator_3c_4529',['operator<',['../classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97',1,'SVF::RelExeState::operator<()'],['../classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620',1,'SVF::SingleAbsValue::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<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()'],['../namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b',1,'SVF::operator<()']]],
-  ['operator_3c_3c_4530',['operator<<',['../classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538',1,'SVF::BoundedZ3Expr::operator<<()'],['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950',1,'SVF::SingleAbsValue::operator<<()'],['../classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d',1,'SVF::WTOCycleDepth::operator<<()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18',1,'SVF::CFBasicBlockGWTOComp::operator<<()'],['../classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b',1,'SVF::CFBasicBlockGWTO::operator<<()'],['../classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488',1,'SVF::CFBasicBlockEdge::operator<<()'],['../classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe',1,'SVF::CFBasicBlockNode::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()'],['../namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6',1,'SVF::operator<<(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a9f1d12be8c396b73b5a37de2061a24b0',1,'SVF::operator<<(std::ostream &o, const IntervalValue &IntervalValue)'],['../namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa',1,'SVF::operator<<(std::ostream &o, const MRVer &mrver)'],['../namespaceSVF.html#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_4531',['operator<=',['../classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467',1,'SVF::BoundedZ3Expr::operator<=()'],['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5',1,'SVF::SingleAbsValue::operator<=()'],['../classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739',1,'SVF::WTOCycleDepth::operator<=()'],['../classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf',1,'SVF::iter_facade_base::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()'],['../namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293',1,'SVF::operator<=()']]],
-  ['operator_3d_4532',['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_4533',['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_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e',1,'SVF::RelExeState::operator==()'],['../classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e',1,'SVF::SingleAbsValue::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==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112',1,'SVF::SparseBitVectorElement::operator==()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator==()'],['../classSVF_1_1SparseBitVector.html#a816d96bad46fde34b3848bf08dc6cdf5',1,'SVF::SparseBitVector::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
-  ['operator_3e_4534',['operator>',['../classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9',1,'SVF::BoundedZ3Expr::operator>()'],['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4',1,'SVF::SingleAbsValue::operator>()'],['../classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e',1,'SVF::WTOCycleDepth::operator>()'],['../classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f',1,'SVF::iter_facade_base::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()'],['../namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2',1,'SVF::operator>()']]],
-  ['operator_3e_3d_4535',['operator>=',['../classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366',1,'SVF::BoundedZ3Expr::operator>=()'],['../classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7',1,'SVF::IntervalESBase::operator>=()'],['../classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f',1,'SVF::IntervalExeState::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a',1,'SVF::SingleAbsValue::operator>=()'],['../classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292',1,'SVF::WTOCycleDepth::operator>=()'],['../classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6',1,'SVF::iter_facade_base::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()'],['../namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24',1,'SVF::operator>=()']]],
-  ['operator_3e_3e_4536',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral::operator>>()'],['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF::operator>>()']]],
-  ['operator_5b_5d_4537',['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_4538',['operator^',['../classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071',1,'SVF::BoundedZ3Expr::operator^()'],['../classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604',1,'SVF::NumericLiteral::operator^()'],['../classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958',1,'SVF::SingleAbsValue::operator^()'],['../classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb',1,'SVF::WTOCycleDepth::operator^()'],['../classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12',1,'SVF::Z3Expr::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
-  ['operator_7c_4539',['operator|',['../classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c',1,'SVF::BoundedZ3Expr::operator|()'],['../classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05',1,'SVF::NumericLiteral::operator|()'],['../classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715',1,'SVF::SingleAbsValue::operator|()'],['../classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de',1,'SVF::Z3Expr::operator|()'],['../namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8',1,'SVF::operator|(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF::operator|(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#ad16a5803e8f1fa06266223aeb8366df1',1,'SVF::operator|(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_7c_3d_4540',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()'],['../classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090',1,'SVF::SparseBitVector::operator|=()'],['../namespaceSVF.html#a97ff28f5dfd5c31e6ef351de3cdad85d',1,'SVF::operator|=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)'],['../namespaceSVF.html#a7554dead3b2d1bcdfcb36c213e6735b6',1,'SVF::operator|=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)']]],
-  ['operator_7c_7c_4541',['operator||',['../classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63',1,'SVF::BoundedZ3Expr::operator||()'],['../classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8',1,'SVF::NumericLiteral::operator||()'],['../classSVF_1_1SingleAbsValue.html#a11daa7e49c0a3b813e6f362c518ba8b0',1,'SVF::SingleAbsValue::operator||()'],['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr::operator||()']]],
-  ['opicfgnodes_4542',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
-  ['opicfgnodevec_4543',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423',1,'SVF::PhiStmt']]],
-  ['opincomingbbs_4544',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
-  ['opit_4545',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['oppts_4546',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
-  ['option_4547',['Option',['../classOption.html',1,'Option< T >'],['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option::Option()']]],
-  ['option_3c_20bool_20_3e_4548',['Option< bool >',['../classOption.html',1,'']]],
-  ['option_3c_20std_3a_3astring_20_3e_4549',['Option< std::string >',['../classOption.html',1,'']]],
-  ['option_3c_20u32_5ft_20_3e_4550',['Option< u32_t >',['../classOption.html',1,'']]],
-  ['optionbase_4551',['OptionBase',['../classOptionBase.html',1,'OptionBase'],['../classOptionBase.html#ae99500409f218ce63d4dbce537884c7f',1,'OptionBase::OptionBase(std::string name, std::string description)'],['../classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4',1,'OptionBase::OptionBase(std::string name, std::string description, PossibilityDescriptions possibilityDescriptions)']]],
-  ['optionmap_4552',['OptionMap',['../classOptionMap.html',1,'OptionMap< T >'],['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap::OptionMap()']]],
-  ['optionmap_3c_20bvdataptaimpl_3a_3aptbackingtype_20_3e_4553',['OptionMap< BVDataPTAImpl::PTBackingType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20hclust_5ffast_5fmethods_20_3e_4554',['OptionMap< enum hclust_fast_methods >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20enum_20ptastat_3a_3aclocktype_20_3e_4555',['OptionMap< enum PTAStat::ClockType >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20memssa_3a_3amempartition_20_3e_4556',['OptionMap< MemSSA::MemPartition >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20pointsto_3a_3atype_20_3e_4557',['OptionMap< PointsTo::Type >',['../classOptionMap.html',1,'']]],
-  ['optionmap_3c_20svf_3a_3anodeidallocator_3a_3astrategy_20_3e_4558',['OptionMap< SVF::NodeIDAllocator::Strategy >',['../classOptionMap.html',1,'']]],
-  ['optionmultiple_4559',['OptionMultiple',['../classOptionMultiple.html',1,'OptionMultiple< T >'],['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple::OptionMultiple()']]],
-  ['optionmultiple_3c_20pointeranalysis_3a_3aptaty_20_3e_4560',['OptionMultiple< PointerAnalysis::PTATY >',['../classOptionMultiple.html',1,'']]],
-  ['optionmultiple_3c_20wpapass_3a_3aaliascheckrule_20_3e_4561',['OptionMultiple< WPAPass::AliasCheckRule >',['../classOptionMultiple.html',1,'']]],
-  ['optionpossibilities_4562',['OptionPossibilities',['../classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644',1,'OptionMap::OptionPossibilities()'],['../classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e',1,'OptionMultiple::OptionPossibilities()']]],
-  ['optionpossibility_4563',['OptionPossibility',['../classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d',1,'OptionBase']]],
-  ['options_4564',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
-  ['options_2ecpp_4565',['Options.cpp',['../Options_8cpp.html',1,'']]],
-  ['options_2eh_4566',['Options.h',['../Options_8h.html',1,'']]],
-  ['optionvalues_4567',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
-  ['optsvfg_4568',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
-  ['opvarbegin_4569',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opvars_4570',['OPVars',['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()'],['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()']]],
-  ['opver_4571',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
-  ['opverbegin_4572',['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_4573',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()']]],
-  ['opvers_4574',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
-  ['or_4575',['OR',['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr::OR()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt::Or()']]],
-  ['orderedmap_4576',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
-  ['orderednodeset_4577',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
-  ['orderedset_4578',['OrderedSet',['../namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7',1,'SVF']]],
-  ['originalbvnumwords_4579',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['originalsbvnumwords_4580',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['othervalueset_4581',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
-  ['othervaluetype_4582',['OtherValueType',['../classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf',1,'SVF::SVFModule']]],
-  ['out_4583',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat']]],
-  ['outcfledges_4584',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
-  ['outedgebegin_4585',['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_4586',['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']]],
-  ['outedgekindtosetmap_4587',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
-  ['outedges_4588',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
-  ['outgoingaddredges_4589',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsbegin_4590',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
-  ['outgoingaddrsend_4591',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsbegin_4592',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
-  ['outgoingloadsend_4593',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresbegin_4594',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
-  ['outgoingstoresend_4595',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
-  ['outicfgedges_4596',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
-  ['outicfgedgesbegin_4597',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
-  ['outicfgedgesend_4598',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
-  ['outofbudgetdpms_4599',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
-  ['outofbudgetquery_4600',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
-  ['outs_4601',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
-  ['outstream_4602',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
-  ['outupdatedvarmap_4603',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['ovalue_5fiterator_4604',['ovalue_iterator',['../classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7',1,'SVF::SVFModule']]],
-  ['overlap_4605',['Overlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a',1,'SVF::AccessPath::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
-  ['owned_5fctx_4606',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
-  ['owned_5fmodules_4607',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
+  ['o_4496',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
+  ['object_4497',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
+  ['objmap_4498',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
+  ['objnode_4499',['ObjNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11',1,'SVF::SVFVar']]],
+  ['objsymbol_4500',['ObjSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba58703da9c0d4819869447b6a25dcff00',1,'SVF::SymbolTableInfo']]],
+  ['objsymmap_4501',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
+  ['objsyms_4502',['objSyms',['../classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff',1,'SVF::SymbolTableInfo']]],
+  ['objtonsrevptsmap_4503',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
+  ['objtoversionmap_4504',['ObjToVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#af9a43f48b7d99cc6694f3ae3248fd8e0',1,'SVF::VersionedFlowSensitive']]],
+  ['objtypeinfo_4505',['ObjTypeInfo',['../classSVF_1_1ObjTypeInfo.html',1,'SVF::ObjTypeInfo'],['../classSVF_1_1ObjTypeInfo.html#a433ce3b67d4fed4925bc057d5a085ff3',1,'SVF::ObjTypeInfo::ObjTypeInfo()']]],
+  ['objvar_4506',['ObjVar',['../classSVF_1_1ObjVar.html',1,'SVF::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)']]],
+  ['ocgdotgraph_4507',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
+  ['offset_4508',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
+  ['onstack_4509',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
+  ['ontheflycallgraphsolve_4510',['onTheFlyCallGraphSolve',['../classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37',1,'SVF::CFLAlias::onTheFlyCallGraphSolve()'],['../classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296',1,'SVF::BVDataPTAImpl::onTheFlyCallGraphSolve()']]],
+  ['ontheflyiterbudgetforstat_4511',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
+  ['oobresetvisited_4512',['OOBResetVisited',['../classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638',1,'SVF::DDAVFSolver']]],
+  ['opcache_4513',['OpCache',['../classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7',1,'SVF::PersistentPointsToCache']]],
+  ['opcode_4514',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6',1,'SVF::BinaryOPStmt::OpCode()'],['../classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742',1,'SVF::UnaryOPStmt::OpCode()']]],
+  ['operator_20referencet_4515',['operator ReferenceT',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['operator_20u32_5ft_4516',['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_4517',['operator!',['../classSVF_1_1BoundedZ3Expr.html#a6b8aac161a98a48003abb778414bd293',1,'SVF::BoundedZ3Expr::operator!()'],['../classSVF_1_1NumericLiteral.html#ad68b36d4cf69e4f627226a738d5d8a29',1,'SVF::NumericLiteral::operator!()'],['../classSVF_1_1SingleAbsValue.html#ac1943aa4e51a3a748df209785eb42e22',1,'SVF::SingleAbsValue::operator!()'],['../classSVF_1_1Z3Expr.html#ac2b4e7b63f15e6780d25107b61f208ca',1,'SVF::Z3Expr::operator!()']]],
+  ['operator_21_3d_4518',['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_1BoundedZ3Expr.html#a578526517c1c2e642e1e8e16959006ff',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#ad0b83965d54dd9a94b0ec0a87ef8aa83',1,'SVF::NumericLiteral::operator!=()'],['../classSVF_1_1RelExeState.html#ae6ececb2e5bca174b46450d841ac51fa',1,'SVF::RelExeState::operator!=()'],['../classSVF_1_1SingleAbsValue.html#a7fa4b919dfe1ae877298aea3b25f2b45',1,'SVF::SingleAbsValue::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!=()'],['../classSVF_1_1Z3Expr.html#a180b9776e8388839bf321be33b8c0cb3',1,'SVF::Z3Expr::operator!=()']]],
+  ['operator_25_4519',['operator%',['../classSVF_1_1BoundedZ3Expr.html#a5a2ed0a2efbf142be0c61f31e5abaece',1,'SVF::BoundedZ3Expr::operator%()'],['../classSVF_1_1NumericLiteral.html#a82340a506f381d4dad620cfd524aeb39',1,'SVF::NumericLiteral::operator%()'],['../classSVF_1_1SingleAbsValue.html#a2c21237267a01d1621e51d1a5ece28ee',1,'SVF::SingleAbsValue::operator%()'],['../classSVF_1_1Z3Expr.html#a2abad89a9cfb36d8b782a099931501ad',1,'SVF::Z3Expr::operator%()'],['../namespaceSVF.html#a2f3ddba25bc972f70300128369e4cd1d',1,'SVF::operator%()']]],
+  ['operator_26_4520',['operator&',['../classSVF_1_1BoundedZ3Expr.html#ab71c961185c859a25940a6ef4335905c',1,'SVF::BoundedZ3Expr::operator&()'],['../classSVF_1_1NumericLiteral.html#a7139e461f2ac323b7e275f40dfd684da',1,'SVF::NumericLiteral::operator&()'],['../classSVF_1_1SingleAbsValue.html#a99f9503d4daab12b3c4817b237c0a0fb',1,'SVF::SingleAbsValue::operator&()'],['../classSVF_1_1Z3Expr.html#a65530f951359b30eab4794508d061e9c',1,'SVF::Z3Expr::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_26_4521',['operator&&',['../classSVF_1_1BoundedZ3Expr.html#a4a36f2c5a084341a176cb81b2dec8280',1,'SVF::BoundedZ3Expr::operator&&()'],['../classSVF_1_1NumericLiteral.html#af57d038fab712a70aab7a6984ec2ba67',1,'SVF::NumericLiteral::operator&&()'],['../classSVF_1_1SingleAbsValue.html#a2e6442d5f27a3a9f42d90315f3365577',1,'SVF::SingleAbsValue::operator&&()'],['../classSVF_1_1Z3Expr.html#ad9520b22c40c629150d6e3e1a3cc4950',1,'SVF::Z3Expr::operator&&()']]],
+  ['operator_26_3d_4522',['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_4523',['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_4524',['operator*',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193',1,'llvm::generic_bridge_gep_type_iterator::operator*()'],['../classSVF_1_1BoundedZ3Expr.html#a35c2b00e17dc8cf8d2f0371bf4b54f4c',1,'SVF::BoundedZ3Expr::operator*()'],['../classSVF_1_1NumericLiteral.html#acd6b5117399b0572133d3d94dc064acf',1,'SVF::NumericLiteral::operator*()'],['../classSVF_1_1SingleAbsValue.html#a37ed586cebb42c8c11f48dd28f33894b',1,'SVF::SingleAbsValue::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*()'],['../classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e',1,'SVF::Z3Expr::operator*()'],['../namespaceSVF.html#abf0dfb872989751b13069f859ef408e1',1,'SVF::operator*()']]],
+  ['operator_2b_4525',['operator+',['../classSVF_1_1BoundedZ3Expr.html#af55de92eb3ca95f812bc3964622319aa',1,'SVF::BoundedZ3Expr::operator+()'],['../classSVF_1_1NumericLiteral.html#a1a06b5b2e22ba2265d57b6f0c9ed9d84',1,'SVF::NumericLiteral::operator+()'],['../classSVF_1_1SingleAbsValue.html#aadd133298bbe7c823ad90d0288a73f44',1,'SVF::SingleAbsValue::operator+()'],['../classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2',1,'SVF::AccessPath::operator+()'],['../classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24',1,'SVF::iter_facade_base::operator+(DifferenceTypeT n) const'],['../classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab',1,'SVF::iter_facade_base::operator+()'],['../classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06',1,'SVF::Z3Expr::operator+()'],['../namespaceSVF.html#ad9d56b31ab074c813b48da4c2e0742aa',1,'SVF::operator+()']]],
+  ['operator_2b_2b_4526',['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_4527',['operator+=',['../classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340',1,'SVF::iter_adaptor_base']]],
+  ['operator_2d_4528',['operator-',['../classSVF_1_1BoundedZ3Expr.html#a7f80f976d048c166b61118a71f307c15',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1BoundedZ3Expr.html#ae2483e95fe2534f694d3ddaead0cd9c4',1,'SVF::BoundedZ3Expr::operator-()'],['../classSVF_1_1NumericLiteral.html#aecb4c8bd2c66a906a4b4556c80838d1d',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1NumericLiteral.html#aec2acc023ff24e72ac5ca7ea57761df3',1,'SVF::NumericLiteral::operator-()'],['../classSVF_1_1SingleAbsValue.html#af84760e6047ee76380c0d092d1e45fca',1,'SVF::SingleAbsValue::operator-()'],['../classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475',1,'SVF::iter_facade_base::operator-()'],['../classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90',1,'SVF::iter_adaptor_base::operator-()'],['../classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265',1,'SVF::Z3Expr::operator-()'],['../namespaceSVF.html#a4bddb7dbd28d3c0deb3cd35e48179a36',1,'SVF::operator-(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a6c2f7ce4908d39a17b29830a2e4bd781',1,'SVF::operator-(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#a1b6662f895cfd942996ac4d578960eed',1,'SVF::operator-(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
+  ['operator_2d_2d_4529',['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_4530',['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_4531',['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_4532',['operator/',['../classSVF_1_1BoundedZ3Expr.html#afc5612cec82001939b3b14b0d0b18702',1,'SVF::BoundedZ3Expr::operator/()'],['../classSVF_1_1NumericLiteral.html#a7b25cbee3dc405cb9c3e16305f263407',1,'SVF::NumericLiteral::operator/()'],['../classSVF_1_1SingleAbsValue.html#ad13d4fe654afd7ab08d27111b0b732bb',1,'SVF::SingleAbsValue::operator/()'],['../classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4',1,'SVF::Z3Expr::operator/()'],['../namespaceSVF.html#a23c136994bc83222e1913d43ec3e7468',1,'SVF::operator/()']]],
+  ['operator_3c_4533',['operator<',['../classSVF_1_1BoundedZ3Expr.html#aaf3f27863e2d7776798776e64d72af39',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#a8f4a1492bdce0c3d04c50c746279272d',1,'SVF::NumericLiteral::operator<()'],['../classSVF_1_1RelExeState.html#ac280dc7a1db7dc80f9c85921215e4c97',1,'SVF::RelExeState::operator<()'],['../classSVF_1_1SingleAbsValue.html#ac380461334e98c6834ffecdad8c0d620',1,'SVF::SingleAbsValue::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<()'],['../classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779',1,'SVF::iter_adaptor_base::operator<()'],['../classSVF_1_1Z3Expr.html#a9bc83c762453afc4602b1fef8ea8725d',1,'SVF::Z3Expr::operator<()'],['../namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b',1,'SVF::operator<()']]],
+  ['operator_3c_3c_4534',['operator<<',['../classSVF_1_1BoundedZ3Expr.html#ab02df1045ee6cfc305c4b7780aeae538',1,'SVF::BoundedZ3Expr::operator<<()'],['../classSVF_1_1NumericLiteral.html#adfd0722351b93c3ab7ffd4147e278f7d',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1NumericLiteral.html#a89b4521f3907f4886fa1063e93319792',1,'SVF::NumericLiteral::operator<<()'],['../classSVF_1_1SingleAbsValue.html#a817749cc657573d527c177d42b2f4950',1,'SVF::SingleAbsValue::operator<<()'],['../classSVF_1_1WTOCycleDepth.html#ada537f89b6cc8d5d2cb5064e2c5b1b0d',1,'SVF::WTOCycleDepth::operator<<()'],['../classSVF_1_1CFBasicBlockGWTOComp.html#a3f56958f07188cceffffbc3659f13e18',1,'SVF::CFBasicBlockGWTOComp::operator<<()'],['../classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b',1,'SVF::CFBasicBlockGWTO::operator<<()'],['../classSVF_1_1CFBasicBlockEdge.html#a9385587148475626fba07d2cc13d0488',1,'SVF::CFBasicBlockEdge::operator<<()'],['../classSVF_1_1CFBasicBlockNode.html#a1c88d2e9723ae23fb5afb3d3374c3ebe',1,'SVF::CFBasicBlockNode::operator<<()'],['../classSVF_1_1ICFGEdge.html#abc76af809c5fcd738d2a2d1828e30ccb',1,'SVF::ICFGEdge::operator<<()'],['../classSVF_1_1ICFGNode.html#a0c2586e90648aa3bf21aca0ba35a3ebd',1,'SVF::ICFGNode::operator<<()'],['../classSVF_1_1PTACallGraphEdge.html#a28737afd36ff7c2c6062883b20a572e5',1,'SVF::PTACallGraphEdge::operator<<()'],['../classSVF_1_1PTACallGraphNode.html#a340e93b40e7cbf6f0d23df399a9b9fff',1,'SVF::PTACallGraphNode::operator<<()'],['../classSVF_1_1VFGEdge.html#a6260283036620da17d8b3686bad691a4',1,'SVF::VFGEdge::operator<<()'],['../classSVF_1_1VFGNode.html#aaeb62e3ec17a7c1089f9de584273c612',1,'SVF::VFGNode::operator<<()'],['../classSVF_1_1CondVar.html#a01eb971ccd4ac623fa3cd9bb41cc696d',1,'SVF::CondVar::operator<<()'],['../classSVF_1_1SVFStmt.html#a02c04239d33d2334f5835bff50994dba',1,'SVF::SVFStmt::operator<<()'],['../classSVF_1_1SVFValue.html#ae37edaf15e8c1fab59c70c86ad29a509',1,'SVF::SVFValue::operator<<()'],['../classSVF_1_1SVFVar.html#aeea492411a86c65bcce4a1ef956b3dbe',1,'SVF::SVFVar::operator<<()'],['../classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886',1,'SVF::Z3Expr::operator<<()'],['../namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6',1,'SVF::operator<<(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#a9f1d12be8c396b73b5a37de2061a24b0',1,'SVF::operator<<(std::ostream &o, const IntervalValue &IntervalValue)'],['../namespaceSVF.html#aec4534b227e8f43b9077e708b74817fa',1,'SVF::operator<<(std::ostream &o, const MRVer &mrver)'],['../namespaceSVF.html#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_4535',['operator<=',['../classSVF_1_1BoundedZ3Expr.html#a97619cb4969f335ac2f234d969884467',1,'SVF::BoundedZ3Expr::operator<=()'],['../classSVF_1_1NumericLiteral.html#af40973365cb681abc4cc63c4fb2a6d07',1,'SVF::NumericLiteral::operator<=()'],['../classSVF_1_1SingleAbsValue.html#a999468e7e071876182afc0e8f7ed6fb5',1,'SVF::SingleAbsValue::operator<=()'],['../classSVF_1_1WTOCycleDepth.html#af70d7a393f898a72153da55d87b3d739',1,'SVF::WTOCycleDepth::operator<=()'],['../classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf',1,'SVF::iter_facade_base::operator<=()'],['../classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f',1,'SVF::Z3Expr::operator<=()'],['../namespaceSVF.html#a1dab362b7d3da3375b60c94e78275293',1,'SVF::operator<=()']]],
+  ['operator_3d_4536',['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_4537',['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_1BoundedZ3Expr.html#a98662c8823a81602fb00cb2be74b578d',1,'SVF::BoundedZ3Expr::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_1NumericLiteral.html#a1ed3cffe1d4ee076b8683f40806619ed',1,'SVF::NumericLiteral::operator==()'],['../classSVF_1_1RelExeState.html#ac07371e3f4f62530088cd8e6b5f0ba4e',1,'SVF::RelExeState::operator==()'],['../classSVF_1_1SingleAbsValue.html#a3f5221ce5f81dbed135b3d4745d4493e',1,'SVF::SingleAbsValue::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==()'],['../classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a',1,'SVF::iter_adaptor_base::operator==()'],['../structSVF_1_1SparseBitVectorElement.html#a8484d923c29872843b0d0ffcebf4d112',1,'SVF::SparseBitVectorElement::operator==()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a7fc92990c6a09c33c3676ab47807bc68',1,'SVF::SparseBitVector::SparseBitVectorIterator::operator==()'],['../classSVF_1_1SparseBitVector.html#a816d96bad46fde34b3848bf08dc6cdf5',1,'SVF::SparseBitVector::operator==()'],['../classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45',1,'SVF::Z3Expr::operator==()']]],
+  ['operator_3e_4538',['operator>',['../classSVF_1_1BoundedZ3Expr.html#a86c18d9a2d9250690d7e988f7bb0a8b9',1,'SVF::BoundedZ3Expr::operator>()'],['../classSVF_1_1NumericLiteral.html#ad99ed283f2b7875f13aea347fa2c8b54',1,'SVF::NumericLiteral::operator>()'],['../classSVF_1_1SingleAbsValue.html#affc856ad42b2ebd5ee0adc28542d25e4',1,'SVF::SingleAbsValue::operator>()'],['../classSVF_1_1WTOCycleDepth.html#ae12f0780c76dce5bd24b9fb3f3e0815e',1,'SVF::WTOCycleDepth::operator>()'],['../classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f',1,'SVF::iter_facade_base::operator>()'],['../classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76',1,'SVF::Z3Expr::operator>()'],['../namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2',1,'SVF::operator>()']]],
+  ['operator_3e_3d_4539',['operator>=',['../classSVF_1_1BoundedZ3Expr.html#ac284f14cea9ceff9ee9e49cf7a2b6366',1,'SVF::BoundedZ3Expr::operator>=()'],['../classSVF_1_1IntervalESBase.html#a8722234ba6bea5223e79174ff1d095c7',1,'SVF::IntervalESBase::operator>=()'],['../classSVF_1_1IntervalExeState.html#a637a9c0f06b57e16a7f1afdd25df897f',1,'SVF::IntervalExeState::operator>=()'],['../classSVF_1_1NumericLiteral.html#ab0cb27a9c31ce20500babb0dff9b87bf',1,'SVF::NumericLiteral::operator>=()'],['../classSVF_1_1SingleAbsValue.html#ab6dbdbac2c0552901d621c86603ced2a',1,'SVF::SingleAbsValue::operator>=()'],['../classSVF_1_1WTOCycleDepth.html#ad64c8a219008ad37f9b9aa2904502292',1,'SVF::WTOCycleDepth::operator>=()'],['../classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6',1,'SVF::iter_facade_base::operator>=()'],['../classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858',1,'SVF::Z3Expr::operator>=()'],['../namespaceSVF.html#a08938c05911dac4ebd102adfafd14d24',1,'SVF::operator>=()']]],
+  ['operator_3e_3e_4540',['operator>>',['../classSVF_1_1NumericLiteral.html#a5b421ff78df11b84654155dc88bb5516',1,'SVF::NumericLiteral::operator>>()'],['../namespaceSVF.html#a4b2b5d8755b9f0c4f82a9f82b4631fee',1,'SVF::operator>>()']]],
+  ['operator_5b_5d_4541',['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_4542',['operator^',['../classSVF_1_1BoundedZ3Expr.html#a2442520c94777a402b1d35c112964071',1,'SVF::BoundedZ3Expr::operator^()'],['../classSVF_1_1NumericLiteral.html#aa4b036114c2980f578c359fff6f4e604',1,'SVF::NumericLiteral::operator^()'],['../classSVF_1_1SingleAbsValue.html#adff66a9b6bb69424cef4894f7b75d958',1,'SVF::SingleAbsValue::operator^()'],['../classSVF_1_1WTOCycleDepth.html#a8790ebb6a4a34558af2c5843a5fa55bb',1,'SVF::WTOCycleDepth::operator^()'],['../classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12',1,'SVF::Z3Expr::operator^()'],['../namespaceSVF.html#a8803e977797624599af5b0a84fe1de3d',1,'SVF::operator^()']]],
+  ['operator_7c_4543',['operator|',['../classSVF_1_1BoundedZ3Expr.html#aa8bc79a4735a44f6f59085df3a9d636c',1,'SVF::BoundedZ3Expr::operator|()'],['../classSVF_1_1NumericLiteral.html#a24e0085eb116dfcf0744af5531dbaf05',1,'SVF::NumericLiteral::operator|()'],['../classSVF_1_1SingleAbsValue.html#a9e181a02c4bd3f622bde912914b64715',1,'SVF::SingleAbsValue::operator|()'],['../classSVF_1_1Z3Expr.html#a1f29d0ff58e6969e394f5b06017138de',1,'SVF::Z3Expr::operator|()'],['../namespaceSVF.html#abed4354cf0282ae30b8330c0e91008d8',1,'SVF::operator|(const IntervalValue &lhs, const IntervalValue &rhs)'],['../namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4',1,'SVF::operator|(const PointsTo &lhs, const PointsTo &rhs)'],['../namespaceSVF.html#ad16a5803e8f1fa06266223aeb8366df1',1,'SVF::operator|(const SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > &RHS)']]],
+  ['operator_7c_3d_4544',['operator|=',['../classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b',1,'SVF::CondStdSet::operator|=()'],['../classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e',1,'SVF::CondPointsToSet::operator|=()'],['../classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade',1,'SVF::PointsTo::operator|=(const PointsTo &rhs)'],['../classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871',1,'SVF::PointsTo::operator|=(const NodeBS &rhs)'],['../classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d',1,'SVF::CoreBitVector::operator|=()'],['../classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090',1,'SVF::SparseBitVector::operator|=()'],['../namespaceSVF.html#a97ff28f5dfd5c31e6ef351de3cdad85d',1,'SVF::operator|=(SparseBitVector< ElementSize > &LHS, const SparseBitVector< ElementSize > *RHS)'],['../namespaceSVF.html#a7554dead3b2d1bcdfcb36c213e6735b6',1,'SVF::operator|=(SparseBitVector< ElementSize > *LHS, const SparseBitVector< ElementSize > &RHS)']]],
+  ['operator_7c_7c_4545',['operator||',['../classSVF_1_1BoundedZ3Expr.html#a660b38aa9458137fad4dde4224f6ab63',1,'SVF::BoundedZ3Expr::operator||()'],['../classSVF_1_1NumericLiteral.html#ab5decc89d3b8a4f5a171b8a01a1afef8',1,'SVF::NumericLiteral::operator||()'],['../classSVF_1_1SingleAbsValue.html#a11daa7e49c0a3b813e6f362c518ba8b0',1,'SVF::SingleAbsValue::operator||()'],['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr::operator||()']]],
+  ['opicfgnodes_4546',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
+  ['opicfgnodevec_4547',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423',1,'SVF::PhiStmt']]],
+  ['opincomingbbs_4548',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
+  ['opit_4549',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['oppts_4550',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
+  ['option_4551',['Option',['../classOption.html',1,'Option< T >'],['../classOption.html#a62e78ab5e41cc3ba467c07c014f410e5',1,'Option::Option()']]],
+  ['option_3c_20bool_20_3e_4552',['Option< bool >',['../classOption.html',1,'']]],
+  ['option_3c_20std_3a_3astring_20_3e_4553',['Option< std::string >',['../classOption.html',1,'']]],
+  ['option_3c_20u32_5ft_20_3e_4554',['Option< u32_t >',['../classOption.html',1,'']]],
+  ['optionbase_4555',['OptionBase',['../classOptionBase.html',1,'OptionBase'],['../classOptionBase.html#ae99500409f218ce63d4dbce537884c7f',1,'OptionBase::OptionBase(std::string name, std::string description)'],['../classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4',1,'OptionBase::OptionBase(std::string name, std::string description, PossibilityDescriptions possibilityDescriptions)']]],
+  ['optionmap_4556',['OptionMap',['../classOptionMap.html',1,'OptionMap< T >'],['../classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c',1,'OptionMap::OptionMap()']]],
+  ['optionmap_3c_20bvdataptaimpl_3a_3aptbackingtype_20_3e_4557',['OptionMap< BVDataPTAImpl::PTBackingType >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20enum_20hclust_5ffast_5fmethods_20_3e_4558',['OptionMap< enum hclust_fast_methods >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20enum_20ptastat_3a_3aclocktype_20_3e_4559',['OptionMap< enum PTAStat::ClockType >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20memssa_3a_3amempartition_20_3e_4560',['OptionMap< MemSSA::MemPartition >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20pointsto_3a_3atype_20_3e_4561',['OptionMap< PointsTo::Type >',['../classOptionMap.html',1,'']]],
+  ['optionmap_3c_20svf_3a_3anodeidallocator_3a_3astrategy_20_3e_4562',['OptionMap< SVF::NodeIDAllocator::Strategy >',['../classOptionMap.html',1,'']]],
+  ['optionmultiple_4563',['OptionMultiple',['../classOptionMultiple.html',1,'OptionMultiple< T >'],['../classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0',1,'OptionMultiple::OptionMultiple()']]],
+  ['optionmultiple_3c_20pointeranalysis_3a_3aptaty_20_3e_4564',['OptionMultiple< PointerAnalysis::PTATY >',['../classOptionMultiple.html',1,'']]],
+  ['optionmultiple_3c_20wpapass_3a_3aaliascheckrule_20_3e_4565',['OptionMultiple< WPAPass::AliasCheckRule >',['../classOptionMultiple.html',1,'']]],
+  ['optionpossibilities_4566',['OptionPossibilities',['../classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644',1,'OptionMap::OptionPossibilities()'],['../classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e',1,'OptionMultiple::OptionPossibilities()']]],
+  ['optionpossibility_4567',['OptionPossibility',['../classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d',1,'OptionBase']]],
+  ['options_4568',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
+  ['options_2ecpp_4569',['Options.cpp',['../Options_8cpp.html',1,'']]],
+  ['options_2eh_4570',['Options.h',['../Options_8h.html',1,'']]],
+  ['optionvalues_4571',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
+  ['optsvfg_4572',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
+  ['opvarbegin_4573',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
+  ['opvars_4574',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()'],['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()']]],
+  ['opver_4575',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
+  ['opverbegin_4576',['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_4577',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()']]],
+  ['opvers_4578',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
+  ['or_4579',['Or',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe',1,'SVF::BinaryOPStmt::Or()'],['../classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e',1,'SVF::Z3Expr::OR()']]],
+  ['orderedmap_4580',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
+  ['orderednodeset_4581',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
+  ['orderedset_4582',['OrderedSet',['../namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7',1,'SVF']]],
+  ['originalbvnumwords_4583',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['originalsbvnumwords_4584',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['othervalueset_4585',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
+  ['othervaluetype_4586',['OtherValueType',['../classSVF_1_1SVFModule.html#a395c99c67cb2f45121a614620afaa8bf',1,'SVF::SVFModule']]],
+  ['out_4587',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat']]],
+  ['outcfledges_4588',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
+  ['outedgebegin_4589',['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_4590',['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']]],
+  ['outedgekindtosetmap_4591',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
+  ['outedges_4592',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
+  ['outgoingaddredges_4593',['outgoingAddrEdges',['../classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea',1,'SVF::ConstraintNode']]],
+  ['outgoingaddrsbegin_4594',['outgoingAddrsBegin',['../classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b',1,'SVF::ConstraintNode']]],
+  ['outgoingaddrsend_4595',['outgoingAddrsEnd',['../classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908',1,'SVF::ConstraintNode']]],
+  ['outgoingloadsbegin_4596',['outgoingLoadsBegin',['../classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28',1,'SVF::ConstraintNode']]],
+  ['outgoingloadsend_4597',['outgoingLoadsEnd',['../classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746',1,'SVF::ConstraintNode']]],
+  ['outgoingstoresbegin_4598',['outgoingStoresBegin',['../classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5',1,'SVF::ConstraintNode']]],
+  ['outgoingstoresend_4599',['outgoingStoresEnd',['../classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4',1,'SVF::ConstraintNode']]],
+  ['outicfgedges_4600',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
+  ['outicfgedgesbegin_4601',['outICFGEdgesBegin',['../classSVF_1_1SVFLoop.html#a6d8b825b5f16dbec6cc0cf2c748f305a',1,'SVF::SVFLoop']]],
+  ['outicfgedgesend_4602',['outICFGEdgesEnd',['../classSVF_1_1SVFLoop.html#a7399c4be1125ab8ea9d0d4880dbb28e6',1,'SVF::SVFLoop']]],
+  ['outofbudgetdpms_4603',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
+  ['outofbudgetquery_4604',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
+  ['outs_4605',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
+  ['outstream_4606',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
+  ['outupdatedvarmap_4607',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
+  ['ovalue_5fiterator_4608',['ovalue_iterator',['../classSVF_1_1SVFModule.html#a7d11fccf78e9e69cef94c26aab6689d7',1,'SVF::SVFModule']]],
+  ['overlap_4609',['Overlap',['../classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a',1,'SVF::AccessPath::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
+  ['owned_5fctx_4610',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
+  ['owned_5fmodules_4611',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];