svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/functions_i.html

@@ -62,8 +62,8 @@ $(function() {
 
 <h3><a id="index_i"></a>- i -</h3><ul>
 <li>I
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
 <li>I1
 : <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892">SVF::RaceResultValidator::AccessPair</a>
@@ -110,12 +110,12 @@ $(function() {
 <li>icfgNode2PTASVFStmtsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">SVF::SVFIR</a>
 </li>
-<li>icfgNode2SVFStmtsMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
-</li>
 <li>ICFGNode2SVFStmtsMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
 </li>
+<li>icfgNode2SVFStmtsMap
+: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
+</li>
 <li>ICFGNodeIDToNodeMapTy
 : <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
 </li>
@@ -484,12 +484,12 @@ $(function() {
 <li>InstToCxtStmt
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7">SVF::LockAnalysis</a>
 </li>
-<li>InstToCxtStmtSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15">SVF::LockAnalysis</a>
-</li>
 <li>instToCxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae8715683c7dfddc7b30caf6bf2b78296">SVF::LockAnalysis</a>
 </li>
+<li>InstToCxtStmtSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15">SVF::LockAnalysis</a>
+</li>
 <li>InstToInstSetMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c">SVF::LockAnalysis</a>
 </li>
@@ -648,11 +648,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112">SVF::VersionedFlowSensitive</a>
 </li>
 <li>Inverse()
-: <a class="el" href="structllvm_1_1Inverse.html#a8fbccad4b16b94dadafea57bad9ee017">llvm::Inverse&lt; GraphType &gt;</a>
+: <a class="el" href="structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0">SVF::Inverse&lt; GraphType &gt;</a>
 </li>
 <li>InvGTraits
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>IRAnnotator()
 : <a class="el" href="classSVF_1_1IRAnnotator.html#aa54df3d6c0c20c26be90bb68546dc93d">SVF::IRAnnotator</a>
@@ -736,7 +736,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a9d626dea5aa694799ec15a3b64021a35">SVF::SaberCondAllocator</a>
 </li>
 <li>IsBidirectional
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>isbkVisited()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -809,9 +809,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b">SVF::SymbolTableInfo</a>
 </li>
-<li>isConstantObjSym()
-: <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ad496f1a87182411210d44c7c9266d65f">SVF::SymbolTableBuilder</a>
-</li>
 <li>isConstantOffset()
 : <a class="el" href="classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">SVF::LocationSet</a>
@@ -1085,7 +1082,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -1119,11 +1116,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad5d27f65374025b6a105ea7a92cbdb50">SVF::SaberCondAllocator</a>
 </li>
 <li>isNodeHidden()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a34e6b19c33ee44ffb9c51f46967ca83f">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="classllvm_1_1GraphWriter.html#ad62ba39b9a15436e5e500cfae21f6a9a">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0d5e3a98ba270d18a31ae5139c2fdadd">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a0cf81df818df693a1ad5dba35b7c1b55">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adab07db18ee5e81b4bafeb599a43d9ab">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>isNonLocalObject()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf">SVF::MRGenerator</a>
@@ -1181,7 +1178,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae912e35cddd4235a663f84f70c3881e7">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1210,7 +1207,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">SVF::ConstraintNode</a>
 </li>
 <li>IsRandomAccess
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>isReachableBetweenFunctions()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#aa03df6b1ebf7f8356a47fa074d3f91a4">SVF::PTACallGraph</a>
@@ -1257,11 +1254,11 @@ $(function() {
 <li>isScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef">SVF::DCHNode</a>
 </li>
-<li>isSimple()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae8629cdc360910256304238ca5db1a45">llvm::DefaultDOTGraphTraits</a>
-</li>
 <li>IsSimple
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae60a00eb9bdec41861fe6c4073e543b5">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
+</li>
+<li>isSimple()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
@@ -1335,17 +1332,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1356,11 +1353,11 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1446,6 +1443,15 @@ $(function() {
 <li>Iter
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
+<li>iter_adaptor_base()
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+</li>
+<li>iter_facade_base
+: <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
+</li>
+<li>iter_range()
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
+</li>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
@@ -1467,20 +1473,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c">SVF::VFG</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode</a>
 </li>
-<li>iterator_adaptor_base()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a8170d24cedaf5c2a22d8fc0c986529aa">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-</li>
 <li>iterator_category
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac99c635e1057f19a495808be84221385">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>iterator_facade_base
-: <a class="el" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ae839596dce7d66788c89951710111945">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
-</li>
-<li>iterator_range()
-: <a class="el" href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">llvm::iterator_range&lt; IteratorT &gt;</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_l.html

@@ -188,12 +188,12 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>LoadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
-</li>
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
+<li>LoadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
+</li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/html/functions_m.html

@@ -94,7 +94,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">SVF::Options</a>
 </li>
 <li>mapped_iter()
-: <a class="el" href="classllvm_1_1mapped__iter.html#a8e5b5e319c7183840b92c36ffa601c39">llvm::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+: <a class="el" href="classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
 </li>
 <li>MappingPtr
 : <a class="el" href="classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7">SVF::PointsTo</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -122,8 +122,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>node_iterator
-: <a class="el" href="classllvm_1_1GraphWriter.html#a7b52c9b514ee98010ef88cbdd9dabf5e">llvm::GraphWriter&lt; GraphType &gt;</a>
-, <a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1GraphWriter.html#ab7ac9f47cedfc1f7c4cc3b16f5349427">SVF::GraphWriter&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
@@ -176,27 +176,27 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">SVF::SVFIR</a>
 </li>
 <li>NodeRef
-: <a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">llvm::GraphTraits&lt; GraphType &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">llvm::GraphTraits&lt; SVF::CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">llvm::GraphTraits&lt; SVF::CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">llvm::GraphTraits&lt; SVF::DCHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4">llvm::GraphTraits&lt; SVF::ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a2f3dc486fd4a3d8f4f4fd27d0f0f65c4">llvm::GraphTraits&lt; SVF::IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a616c61ef97851d0737b81ae34f82d53a">llvm::GraphTraits&lt; SVF::PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#afc660c371870b04ba6486980a7e4c9aa">llvm::GraphTraits&lt; SVF::SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#a064d2e7841d3ad3fce45f8b99f37001b">llvm::GraphTraits&lt; SVF::TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#a0c6c42e5f1f75e34d71c39996f50e5b2">llvm::GraphTraits&lt; SVF::VFG * &gt;</a>
-, <a class="el" href="classllvm_1_1GraphWriter.html#aaa20e43142541895d4d811036a13f3a9">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits.html#a05654ab9615d75bc8e5f8c5cf9297205">SVF::GenericGraphTraits&lt; GraphType &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a0a1dd90a8609a91115f17b78666d3674">SVF::GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#ab94f45e7c2a40418fbba5c2cb916f79d">SVF::GenericGraphTraits&lt; SVF::CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a5cb946aa10005bc7605528bd09006090">SVF::GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#aab14259075b96fab09dde300fbeff390">SVF::GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a34dfeab39b3cd90b44c10b4e4b02f63c">SVF::GenericGraphTraits&lt; SVF::ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a7a2a2ab036bfeffdeb7d3328fe9c7c50">SVF::GenericGraphTraits&lt; SVF::IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a4226541df4a405048579a94ec0573296">SVF::GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#a0e3ed0946d46830533f184f12428bbb0">SVF::GenericGraphTraits&lt; SVF::SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#ae142688b873eb65eedc010d60b0db51f">SVF::GenericGraphTraits&lt; SVF::TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#aaa9441dfd6281f2661271884e4f06e73">SVF::GenericGraphTraits&lt; SVF::VFG * &gt;</a>
+, <a class="el" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>nodes_begin()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ae71d73a9d9d6f11f96aed422757c00c3">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a85547b90131e445a21aa9e01ce16ec5f">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>nodes_end()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a30fa44e8da9010aa43d50a53b35b2cf7">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>nodes_iterator
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a08ebeae7ffed2b8e11f8c638114be9cc">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+: <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad0eeda85047a66e6fe6a2d6b560ad24d">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>nodeSet
 : <a class="el" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">SVF::List&lt; Data &gt;</a>
@@ -247,20 +247,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
 <li>NodeType
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
-, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
+: <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a94e74890f433758f3a38238f59400a3f">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4a53de3cf04961b3d00e6b474b838fcd">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a74cb51bbb3d84e7148b2ba368d4982b8">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a2d2d962ff64827e29a6ad917b611b258">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ae492abd880bf714538ffc0ede187f6d7">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#aa3077dc4ff70cb2cf07dd5d4ad96c224">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af92c90b3ed1895cdb345472ee928ea75">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">SVF::GenericEdge&lt; NodeTy &gt;</a>
 , <a class="el" href="classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ada6e52f6d7a98091c0b55984ab2e9db4">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a0e5fd16fe95d1122d837adfdfe7a1a32">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a7c6d363de11954b60ac0cf4d9ae9680e">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>nonCandidateFuncMHPRelMap
@@ -320,7 +320,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLGrammar.html#a2494806a1282de3d7f6b588f7d6cc83e">SVF::CFLGrammar</a>
 </li>
 <li>numEdgeDestLabels()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#afab72fb75dab2b1a7ce2a19452e4d1ec">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>numElement()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_o.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_o"></a>- o -</h3><ul>
 <li>O
-: <a class="el" href="classllvm_1_1GraphWriter.html#a8d438ca3456d83ef5feff3934d709e4d">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>object
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee">SVF::DummyVersionPropSVFGNode</a>
@@ -154,7 +154,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a1f7e6424f8bfc68589a9947b26e0b62f">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>operator ReferenceT()
-: <a class="el" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#adc2a6b29380e0cbd28105a3ab0fe49d4">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
+: <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
 <li>operator u32_t()
 : <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a7ba35f7585b191a29573a9e116aa927f">SVF::GrammarBase::Symbol</a>
@@ -164,7 +164,6 @@ $(function() {
 </li>
 <li>operator!=()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#ab831157001de89b02c7df98a9b513e9c">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base.html#a8177352435657f182290be3d5c345cfc">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1CallSite.html#a44d8147b8b6d54e05a7108858dbaa7c6">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a4b1e8adca9e8d1b046930e9d2abeb08f">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#af06ca0ddfcdca69199fbc9ab42f98558">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -182,6 +181,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">SVF::DPItem</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a0c53c26afedc5ada95b32fa2d3b6e136">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a888f05fe8da4b95c44226f3c69469c75">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aa90476b4c0e75a256f8ff855f99ca970">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abfb058304c4b174d162a94c0cc26d2f7">SVF::SparseBitVector&lt; ElementSize &gt;</a>
@@ -232,57 +232,56 @@ $(function() {
 </li>
 <li>operator*()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aef8babf0bd09f63692e99d3ec563b193">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__adaptor__base.html#ae47be6b8b03bf4680ea855ac805373a2">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classllvm_1_1mapped__iter.html#a9ef383ccab7e938c15c336eaac47af70">llvm::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
-, <a class="el" href="structllvm_1_1pointee__iterator.html#a36ef3dae4b2e8b955d19f02b520c80aa">llvm::pointee_iterator&lt; WrappedIteratorT, T &gt;</a>
-, <a class="el" href="classllvm_1_1pointer__iterator.html#a60bd26b721875ebe0e82e68ddde20f16">llvm::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#aaaed8caef122453b5ff543826e1757e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#aec0b2c6ebcf16734a69a54613a18b33e">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1mapped__iter.html#a1c166c16e98b4bb82d986d459abea89f">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+, <a class="el" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</a>
+, <a class="el" href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a06c8e8c242c5de90c307665f589e3180">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#ab1f0f55fdfef6b2d64d0a715483f5da4">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a6732f9ac81422756d10b5fdd6ffaab3e">SVF::Z3Expr</a>
 </li>
 <li>operator+()
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#acf61699425762fc11a314213e3bc6ef4">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#af86e0c01602b78f64933b06e43a48e06">SVF::Z3Expr</a>
 </li>
 <li>operator++()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4616da5f93bb639271c23f634e6e647e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a395dc6bf1e4e4f1ee18354a9a2203259">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base.html#a5e76a6059a007866f3a307fdaf8f3401">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#abd22ed3c5dc9f35968c9a179d292b764">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a0afff5162af357634e7213e85b5371c7">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a754d85d463ebdbecfaab41aac106f14f">SVF::PointsTo::PointsToIterator</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6638115d9d80e0f7b0cff50e06ccd891">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>operator+=()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a9e6d0dbf9e60bafcd26c82f901898315">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator-()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a86b76a04e3b7abc4a27ca714cea0afee">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base.html#a491d3989cc90d99cdb1f123d141b87cb">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#aea407969f346ed1692cac584e9d8d265">SVF::Z3Expr</a>
 </li>
 <li>operator--()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a924ad86f571d53385616b5663a1cf077">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base.html#aa8fb990c1847fec73bcbcaab5517ee11">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator-=()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#abf1116bfe125f6672bd752c1a1af1f6d">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a5b87ae9d4a713483522666c893d7eac9">SVF::CoreBitVector</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952">SVF::PointsTo</a>
 </li>
 <li>operator-&gt;()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a7407c9a10bc872bcf03a2a4e67c2c188">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__facade__base.html#ae99ad011019c5d09c5923dd020404e40">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator/
 : <a class="el" href="classSVF_1_1Z3Expr.html#a978668e0c0cc3b1fd261e02b5d7d96d4">SVF::Z3Expr</a>
 </li>
-<li>operator&lt;
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a9f74fe2ddfed7feb928edc871cb213f6">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07">SVF::CallSite</a>
+<li>operator&lt;()
+: <a class="el" href="classSVF_1_1CallSite.html#ab09ca7986f5b924b6c6b57e492f06c07">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a54d9d3f3a38bf4066cd930845f86a63c">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#ad3c38bb031419dd583a9cb0314e76afd">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CondVar.html#add10a9d6f6a49cbd5dd0f5d47c423d27">SVF::CondVar&lt; Cond &gt;</a>
@@ -296,6 +295,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">SVF::DPItem</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#ad24da3516c198ade16c6909c5222fd0f">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a838a4a7cd670eef1153701aef9871bcf">SVF::MSSAMU&lt; Cond &gt;</a>
@@ -317,7 +317,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#aba8287dde6649b0c039539f71e8a7886">SVF::Z3Expr</a>
 </li>
 <li>operator&lt;=()
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a11ebcbea3c495045f2bef3d4a0b92e61">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a979529cf9531d2331d02b5db4b27535f">SVF::Z3Expr</a>
 </li>
 <li>operator=()
@@ -383,7 +383,6 @@ $(function() {
 </li>
 <li>operator==()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a1f0e8716ad7ff580240f81db1228a690">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
-, <a class="el" href="classllvm_1_1iterator__adaptor__base.html#ad3fbc9a33f20835bf81e343d85ce3aaa">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1CallSite.html#aa9b62205a5b63384042d9431a01f03ec">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ab069959f9b4b2a0e1441281acb666a60">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#abe02e0bdcfddde7251b7d35e916c8f02">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -401,7 +400,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#af8f221ea17599dfb678922e1bad37f35">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a6e3dbf40c2169becf680ed77b381f6f9">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">SVF::LocationSet</a>
 , <a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">SVF::MemObj</a>
 , <a class="el" href="classSVF_1_1MemRegion.html#affa3a8efd91faf5704e514f1e83fead9">SVF::MemRegion</a>
@@ -415,16 +415,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#a900309288fa5d43376d80e414f85dc45">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;()
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a9677d8ef8998cc763948bfdfc2f73c6e">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a20cbf950bacc51e56c74918af268ed76">SVF::Z3Expr</a>
 </li>
 <li>operator&gt;=()
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a2eaf8d2f2898a998c33dbc9d581844e3">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a707735e67c852191e4e2a689a1a84858">SVF::Z3Expr</a>
 </li>
 <li>operator[]()
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#affbe77f645dbac4bfd17d00b6ba769a0">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a62cc1c7c01d454e9cbebd3f7f5f3aa1f">SVF::ContextCond</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>operator^
 : <a class="el" href="classSVF_1_1Z3Expr.html#ae6419d6772044a2db7faf0ea0b848d12">SVF::Z3Expr</a>
@@ -448,12 +448,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
 </li>
-<li>opIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
-</li>
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>opIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -497,38 +497,34 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>opVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
-</li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
-, <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
-</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>
@@ -551,7 +547,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
 : <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>