svf-tools 1.0.596 → 1.0.597

package/SVF-doxygen/html/html/functions_type_p.html

@@ -112,7 +112,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99">SVF::MTASVFGBuilder</a>
 </li>
 <li>PairTy
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a78c236c76b7b3cb37ce941bbc82eda7a">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#ab7f54c3e72c0ffe42d58823a497d4dbd">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>ParForEdgeSet
 : <a class="el" href="classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2">SVF::HareParForEdge</a>
@@ -144,8 +144,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
 <li>pointer
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aff5a4ee71f88ab9b0e1851d6e41e294f">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>PointerType

package/SVF-doxygen/html/html/functions_type_r.html

@@ -65,8 +65,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853">SVF::RaceResultValidator</a>
 </li>
 <li>reference
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a28e12df86b7514e119e2b4f7bffd29c9">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>ResultType

package/SVF-doxygen/html/html/functions_type_v.html

@@ -62,8 +62,8 @@ $(function() {
 
 <h3><a id="index_v"></a>- v -</h3><ul>
 <li>value_type
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>ValueToEdgeMap

package/SVF-doxygen/html/html/functions_v.html

@@ -114,8 +114,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar</a>
 </li>
 <li>value_type
-: <a class="el" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
-, <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
+, <a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
 <li>valuedouble
@@ -127,12 +127,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_b.html

@@ -102,7 +102,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9">SVF::SaberCondAllocator</a>
 </li>
 <li>begin_iterator
-: <a class="el" href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">llvm::iterator_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>BestCandidate
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_d.html

@@ -181,7 +181,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>DTraits
-: <a class="el" href="classllvm_1_1GraphWriter.html#aed76f440aab643d1af5dbfda1a3f9c78">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>DumpCHA
 : <a class="el" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options</a>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -116,7 +116,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">SVF::Options</a>
 </li>
 <li>end_iterator
-: <a class="el" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">llvm::iterator_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>endTime
 : <a class="el" href="classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d">SVF::SVFStat</a>

package/SVF-doxygen/html/html/functions_vars_f.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_f"></a>- f -</h3><ul>
 <li>F
-: <a class="el" href="classllvm_1_1mapped__iter.html#a9bd10b1c45d544ecba54657f762f8258">llvm::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+: <a class="el" href="classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
 </li>
 <li>FastClusterTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_g.html

@@ -62,7 +62,7 @@ $(function() {
 
 <h3><a id="index_g"></a>- g -</h3><ul>
 <li>G
-: <a class="el" href="classllvm_1_1GraphWriter.html#a811cf97f9ab7e2ac2d006413a5168397">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>generalNumMap
 : <a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">SVF::SVFStat</a>
@@ -126,13 +126,15 @@ $(function() {
 <li>GrammarFilename
 : <a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options</a>
 </li>
-<li>Graph
-: <a class="el" href="structllvm_1_1Inverse.html#a169e126ff147c68b5f1cfd6a1d2c8286">llvm::Inverse&lt; GraphType &gt;</a>
-</li>
 <li>graph
 : <a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase</a>
 , <a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
+</li>
+<li>Graph
+: <a class="el" href="structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2">SVF::Inverse&lt; GraphType &gt;</a>
+</li>
+<li>graph
+: <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 </li>
 <li>Graphtxt
 : <a class="el" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options</a>

package/SVF-doxygen/html/html/functions_vars_h.html

@@ -64,9 +64,6 @@ $(function() {
 <li>HandBlackHole
 : <a class="el" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">SVF::Options</a>
 </li>
-<li>has_name
-: <a class="el" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">SVF::SVFValue</a>
-</li>
 <li>HBPair
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019">SVF::ForkJoinAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_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>
@@ -252,7 +252,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af">SVF::SVFVar</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>isSingleValTy
 : <a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType</a>
@@ -269,12 +269,12 @@ $(function() {
 <li>Iter
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</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>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</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>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_vars_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>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -307,7 +307,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0">SVF::SVFStat</a>
 </li>
 <li>Ptr
-: <a class="el" href="classllvm_1_1pointer__iterator.html#ac6288459e1f350103a2cd26d20ce0df7">llvm::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
+: <a class="el" href="classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14">SVF::pointer_iterator&lt; WrappedIteratorT, T &gt;</a>
 </li>
 <li>ptrElementType
 : <a class="el" href="classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60">SVF::SVFPointerType</a>

package/SVF-doxygen/html/html/functions_w.html

@@ -85,21 +85,23 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">SVF::CFLSolver</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
+: <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">SVF::LeakChecker</a>
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
@@ -108,16 +110,14 @@ $(function() {
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
 </li>
 <li>WorkList
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>worklist
-: <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
-<li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>
@@ -141,31 +141,31 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPASolver.html#a0c5616b0e340955dafc2ab2f21740abd">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>wrapped()
-: <a class="el" href="classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>WriteAnder
 : <a class="el" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">SVF::Options</a>
 </li>
 <li>writeEdge()
-: <a class="el" href="classllvm_1_1GraphWriter.html#a5a3c530ecf0e13d79816c345c4d114ec">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a6133d0033363b0e9db156c354da7d7e6">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writeFooter()
-: <a class="el" href="classllvm_1_1GraphWriter.html#ad91df53d734fd4567e198911658cadcc">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a5c3ce0eba24c71f847676b23b855e44c">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writeGraph()
-: <a class="el" href="classllvm_1_1GraphWriter.html#a735f4b736fd7e2b9e8e8f4618a6d15b6">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>WriteGraphToFile()
-: <a class="el" href="classllvm_1_1GraphPrinter.html#af6ed328e74882d2b5e2b4039cb836928">llvm::GraphPrinter</a>
+: <a class="el" href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter</a>
 </li>
 <li>writeHeader()
-: <a class="el" href="classllvm_1_1GraphWriter.html#ae6d4aa3516673900b59b36270de4d327">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#abd376959cc889e1e387523f38674650f">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writeNode()
-: <a class="el" href="classllvm_1_1GraphWriter.html#a2f9acb4356fb561c08c041c7761210d8">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#a18c579b53feccbb3b521982c6161f555">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writeNodes()
-: <a class="el" href="classllvm_1_1GraphWriter.html#ae154c973ffaab3104a365b5b8c3a6155">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#ada2363727dc20c2183b8252f3bdf3a04">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>writePAGgepNode()
 : <a class="el" href="classSVF_1_1IRAnnotator.html#a958e9af846c882ef3eeba4d71ff7ef7d">SVF::IRAnnotator</a>