svf-tools 1.0.596 → 1.0.598

package/SVF-doxygen/html/html/functions_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>gatherAggs()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a8fcbea9435a77beb27ad64d5a3175b0b">SVF::DCHGraph</a>
@@ -97,7 +97,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#aa5837cddbbd63c5a8ac5725bcecb192f">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>GenericGraphTy
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a1ab57d3e398711e732bf040aeabd5657">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#a587145a423fcdb3c08b2bdf9704e8d46">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>GenericNode()
 : <a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
@@ -582,8 +582,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG</a>
 </li>
 <li>getCompleteNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a3396c4d951a5a0c972561251d68b55c6">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getCond()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -688,7 +688,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2">SVF::DPItem</a>
 </li>
 <li>getCurrent()
-: <a class="el" href="classllvm_1_1mapped__iter.html#a1960c20bc1c7b339a9db052f9af0dd6b">llvm::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
+: <a class="el" href="classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
 </li>
 <li>getCurrentBB()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f">SVF::SVFIRBuilder</a>
@@ -895,19 +895,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8">SVF::CFLEdge</a>
 </li>
 <li>getEdgeAttributes()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac9483e81c382a3bb241cf59e7fdf7788">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a9967092a5e97b6d684abcc718fe6e688">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a00c28536a740906779c826d6797ea09e">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getEdgeDestLabel()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getEdgeID()
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823">SVF::ConstraintEdge</a>
@@ -924,20 +924,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>getEdgeSourceLabel()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a28fcd691628f74955daf5180a1c197ed">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a651568cd6c1f0771d8633a7ed7b1dfd2">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a977a85211fc236f357f107b6721feaa0">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa7d274968bb2f8d43da9cb95cec8e833">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getEdgeSourceLabels()
-: <a class="el" href="classllvm_1_1GraphWriter.html#a5bf52f5835e697e0f5b5ca592357c60a">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>getEdgeTarget()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getEdgeType()
 : <a class="el" href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge</a>
@@ -952,9 +952,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction</a>
 </li>
 <li>getEntryNode()
-: <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#afbe31ee2733b5990ab5b1f8c344fa3e0">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#a67da52700e19f69ffebf8532944df867">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#a24c5372fa6afca08d89759f66fa2a08e">llvm::GraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &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#a8b32a8914a155bb2be33b2b66107c4a9">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#abd6e561fbc153cf714a2494986c14dec">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#ab7af22908f08a12b02cc606ea0937d04">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
 <li>getEntryProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab">SVF::TCT</a>
@@ -1232,20 +1232,20 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">SVF::TCT</a>
 </li>
 <li>getGraphName()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#aa12ac2ae92225381d7c8386e96c9a88e">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a75aba53d62d665008e9cb98be5103d5e">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a6948926922a5c5378d92c3c6aa0b3ccd">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4938f51cfb9a5b63b89ab02d9e1950ad">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a2c6b3e5fdce71f5c94e21906da1d1246">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6030238b53d8145bc69285dcc629c16b">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4234340e5806dc49b6c450736a1a4d94">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ae7bb12f8b7bd9230599f461060fdd38b">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867">SVF::IRGraph</a>
 </li>
 <li>getGraphProperties()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getICFG()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">SVF::PointerAnalysis</a>
@@ -1663,33 +1663,33 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704">SVF::ConstraintGraph</a>
 </li>
 <li>getNode()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
-, <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d">SVF::DCHGraph</a>
+, <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 , <a class="el" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeAttributes()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getNodeDescription()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getNodeID()
-: <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#ac79255244b6b59876be19266ff214afb">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#a29ec19f4829cfe458c1eaab47e6fe8c0">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&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#ad35b19e918b1d6807ed2296dd8394093">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#a006d75a6017fe36fd052640a7b6ff108">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>getNodeIdentifierLabel()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>getNodeIDFromItem()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
@@ -1702,16 +1702,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getNodeLabel()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231">llvm::DefaultDOTGraphTraits</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe">llvm::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc">llvm::DOTGraphTraits&lt; TCT * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">SVF::DefaultDOTGraphTraits</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038">SVF::DOTGraphTraits&lt; IRGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595">SVF::DOTGraphTraits&lt; PTACallGraph * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756">SVF::DOTGraphTraits&lt; TCT * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getNodeMapping()
 : <a class="el" href="classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d">SVF::PointsTo</a>
@@ -1872,7 +1872,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7">SVF::SymbolTableInfo</a>
 </li>
 <li>getOStream()
-: <a class="el" href="classllvm_1_1GraphWriter.html#ac18efe5c7817eb06b744973fb0dae3be">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>getOtherSVFConstant()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc">SVF::LLVMModuleSet</a>
@@ -2217,9 +2217,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
 </li>
 <li>getSimpleNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787">llvm::DOTGraphTraits&lt; SVFG * &gt;</a>
-, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e">llvm::DOTGraphTraits&lt; VFG * &gt;</a>
+: <a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa">SVF::DOTGraphTraits&lt; ICFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541">SVF::DOTGraphTraits&lt; SVFG * &gt;</a>
+, <a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01">SVF::DOTGraphTraits&lt; VFG * &gt;</a>
 </li>
 <li>getSimplifiedValue()
 : <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type&lt; From &gt;</a>
@@ -2743,41 +2743,43 @@ $(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_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</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_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GraphPrinter()
-: <a class="el" href="classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448">llvm::GraphPrinter</a>
+: <a class="el" href="classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25">SVF::GraphPrinter</a>
 </li>
 <li>GraphReachSolver()
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>graphSize()
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c">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#a62a8a8b1a812ebc11afebf5d3ed5c651">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>Graphtxt
 : <a class="el" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options</a>
 </li>
 <li>GraphWriter()
-: <a class="el" href="classllvm_1_1GraphWriter.html#a79f24408e3cb14afcdb57171c048cc3e">llvm::GraphWriter&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>GTraits
-: <a class="el" href="classllvm_1_1GraphWriter.html#ab818592ecc463aa32e20efe6d9633236">llvm::GraphWriter&lt; GraphType &gt;</a>
-, <a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef">SVF::SCCDetection&lt; GraphType &gt;</a>
-, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f">SVF::GraphWriter&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12">SVF::SCCDetection&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver&lt; GraphType &gt;</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b">SVF::WPASolver&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_h.html

@@ -200,9 +200,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665">SVF::HareParForEdge</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838">SVF::PTACallGraphEdge</a>
 </li>
-<li>has_name
-: <a class="el" href="classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea">SVF::SVFValue</a>
-</li>
 <li>has_static()
 : <a class="el" href="classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357">SVF::ExtAPI</a>
 </li>
@@ -292,7 +289,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91">SVF::DCHGraph</a>
 </li>
 <li>hasEdgeDestLabels()
-: <a class="el" href="structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e">llvm::DefaultDOTGraphTraits</a>
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">SVF::DefaultDOTGraphTraits</a>
 </li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
@@ -334,7 +331,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a16c2ed1f9e28c84669b14dc48fb3c01a">SVF::ICFG</a>
 </li>
 <li>hasIncomingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -370,10 +367,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
 </li>
 <li>hasLoopInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">SVF::SVFFunction</a>
@@ -386,10 +383,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
-</li>
-<li>hasName()
-: <a class="el" href="classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -478,7 +472,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>