svf-tools 1.0.786 → 1.0.788

package/SVF-doxygen/html/functions_func_i.html

@@ -184,6 +184,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">SVF::ThreadAPI</a>
 </li>
+<li>initCFBasicBlockGNodes()
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder</a>
+</li>
 <li>initCxtInsensitiveEdges()
 : <a class="el" href="classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b">SVF::DDAPass</a>
 </li>
@@ -821,7 +824,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -1012,7 +1015,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#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a32c0c5bdd676302f1c9e797d540278d8">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis</a>
@@ -1160,17 +1163,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">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#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1185,7 +1188,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -264,9 +264,6 @@ $(function() {
 <li>setFinalCond()
 : <a class="el" href="classSVF_1_1ProgSlice.html#af55830503ef47b4b1c15c0e5b3cd6a3f">SVF::ProgSlice</a>
 </li>
-<li>setFirstCFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a0fb246e9cdbc7fcdc69d9049ed61d8ad">SVF::CFBasicBlockGraph</a>
-</li>
 <li>setFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4">SVF::DCHNode</a>
@@ -561,7 +558,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9">SVF::SingleAbsValue</a>
+: <a class="el" href="classSVF_1_1SingleAbsValue.html#ad6fca68c9815414866c39c7000f35f23">SVF::SingleAbsValue</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -646,7 +643,7 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -689,33 +686,33 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
 </li>
 <li>store()
-: <a class="el" href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823">SVF::RelExeState</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
 </li>
 <li>storeVAddrs()
 : <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -739,17 +736,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayType()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
 </li>
 <li>SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBlackHoleValue()
 : <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2">SVF::SVFBlackHoleValue</a>
@@ -761,7 +758,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport</a>
 </li>
 <li>SVFCallInst()
-: <a class="el" href="classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596">SVF::SVFCallInst</a>
+: <a class="el" href="classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
 : <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
@@ -770,13 +767,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
@@ -809,7 +806,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerType()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVF::SVFIntegerType</a>
@@ -848,7 +845,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerType()
 : <a class="el" href="classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3">SVF::SVFPointerType</a>
@@ -857,7 +854,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
 </li>
 <li>SVFStructType()
 : <a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType</a>
@@ -866,7 +863,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
@@ -875,7 +872,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd">SVF::SVFVirtualCallInst</a>
 </li>
 <li>Symbol()
-: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol</a>
+: <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
 </li>
 <li>SymbolInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
@@ -887,7 +884,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#a0362da88a176f1d814068ebeeeb0e665">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
 </li>
 <li>symToStrDump()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase</a>

package/SVF-doxygen/html/functions_func_t.html

@@ -65,7 +65,7 @@ $(function() {
 
 <h3><a id="index_t"></a>- t -</h3><ul>
 <li>TailBuilder()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a44cc18a45611b6094a9c41251668a4a8">SVF::CFBasicBlockGWTO::TailBuilder</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aa7084b799641d5413dd7d8c76cc2bd9e">SVF::CFBasicBlockGWTO::TailBuilder</a>
 </li>
 <li>TCT()
 : <a class="el" href="classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887">SVF::TCT</a>

package/SVF-doxygen/html/functions_g.html

@@ -1173,9 +1173,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
-<li>getFirstCFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a39f1a9c9938ebec94ef050e3770620e6">SVF::CFBasicBlockGraph</a>
-</li>
 <li>getFirstRHSSymbol()
 : <a class="el" href="classSVF_1_1CFGrammar.html#a48aa7267893296b066050d3b444c14e7">SVF::CFGrammar</a>
 </li>
@@ -1435,6 +1432,9 @@ $(function() {
 <li>getICFGNodeNum()
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#afbf1bb58613f86e4761db3ccc16a9401">SVF::CFBasicBlockNode</a>
 </li>
+<li>getICFGNodes()
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#afdad57a83c392a8b14b838ecb58f9ff7">SVF::CFBasicBlockNode</a>
+</li>
 <li>getIcfgNodeToSVFLoopVec()
 : <a class="el" href="classSVF_1_1ICFG.html#a412c24cf17c977b9337eca9d25a0ec0d">SVF::ICFG</a>
 </li>
@@ -2234,7 +2234,7 @@ $(function() {
 </li>
 <li>getPreviousMemoryAccessInst()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a2ddf3189b3f90986752282b1c6bd003d">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114">SVF::RaceResultValidator</a>
 </li>
 <li>getPrevNodes()
@@ -2307,7 +2307,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2601,7 +2601,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock</a>
 </li>
 <li>getSuccInstructions()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a281d6b024afeeb96bac281eb23ce3f1f">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a6364671e823166d1192bf791a8dd412b">SVF::SVFInstruction</a>
 </li>
 <li>getSuccMap()
 : <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</a>
@@ -2616,8 +2616,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ad3f66b40ad360003845253f452d6a711">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFBasicBlock()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a11c91dcc91d3c6ae18a67b5e1d6af376">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ab0c0f321b6bfbfab2e4ff06d81920ab9">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFCallSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc">SVF::ThreadAPI</a>
@@ -2717,7 +2716,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a34ea034a2bd7b7cb51317ed441ca5b38">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
@@ -2734,7 +2733,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2811,7 +2810,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()

package/SVF-doxygen/html/functions_h.html

@@ -313,9 +313,6 @@ $(function() {
 <li>hasExtFuncAnnotation()
 : <a class="el" href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI</a>
 </li>
-<li>hasFirstCFBasicBlockNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a76632f02601c6a628058744f736a4352">SVF::CFBasicBlockGraph</a>
-</li>
 <li>hasFlag()
 : <a class="el" href="classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c">SVF::DCHNode</a>
@@ -361,7 +358,7 @@ $(function() {
 </li>
 <li>hasIncomingEdge()
 : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ac468c52cc443f1137f6d5fb510a8ac46">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasIncomingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar</a>
@@ -434,8 +431,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a802b138a587dae6eaf2787eb2fd30f21">SVF::CFBasicBlockNode</a>
-, <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1b02680eb7b603ffaed3eecd2f09455e">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>

package/SVF-doxygen/html/functions_i.html

@@ -391,6 +391,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">SVF::ThreadAPI</a>
 </li>
+<li>initCFBasicBlockGNodes()
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder</a>
+</li>
 <li>initCxtInsensitiveEdges()
 : <a class="el" href="classSVF_1_1DDAPass.html#add44aee75c9a59327b4eb46774551e2b">SVF::DDAPass</a>
 </li>
@@ -1076,7 +1079,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a01b12585cad8b75ce635670cd5c7d874">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1227,7 +1230,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -1309,7 +1312,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1407,7 +1410,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>
@@ -1570,7 +1573,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</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>
@@ -1586,7 +1589,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
@@ -1710,7 +1713,7 @@ $(function() {
 : <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>
+: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">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>

package/SVF-doxygen/html/functions_l.html

@@ -231,12 +231,12 @@ $(function() {
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>loadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
-</li>
 <li>LoadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
+<li>loadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/functions_n.html

@@ -287,18 +287,18 @@ $(function() {
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
-<li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
+<li>nodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <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>

package/SVF-doxygen/html/functions_o.html

@@ -106,12 +106,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493">SVF::DCHEdge</a>
 </li>
-<li>offsetVarAndGepTypePairs
-: <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
-</li>
 <li>OffsetVarAndGepTypePairs
 : <a class="el" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">SVF::AccessPath</a>
 </li>
+<li>offsetVarAndGepTypePairs
+: <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
+</li>
 <li>onStack
 : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
@@ -128,18 +128,18 @@ $(function() {
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
-<li>opcode
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
-</li>
 <li>OpCode
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
 </li>
 <li>opcode
-: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
 </li>
 <li>OpCode
 : <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
 </li>
+<li>opcode
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
+</li>
 <li>operator ReferenceT()
 : <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>
@@ -635,33 +635,33 @@ $(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>
 </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>
 </li>
 <li>OPVers
 : <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>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <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_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</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_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+: <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>Or
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a90745e5effc8b7ef43c693d1e4fa7dbe">SVF::BinaryOPStmt</a>