svf-tools 1.0.784 → 1.0.786

package/SVF-doxygen/html/functions.html

@@ -99,9 +99,6 @@ $(function() {
 <li>_AvgVersionPtsSize
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#a2e3c24fbb1faaf345e6806e99a07f782">SVF::VersionedFlowSensitiveStat</a>
 </li>
-<li>_bbToNode
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#ab8b75e7bcafc8a1512c3e78d12bffe16">SVF::CFBasicBlockGraph</a>
-</li>
 <li>_br_cond
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a76bc62f9bcaf8a0513ffd11ccc23bc3b">SVF::SVFIR2ItvExeState</a>
 </li>
@@ -158,6 +155,9 @@ $(function() {
 <li>_exeState
 : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
 </li>
+<li>_funToFirstNode
+: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph</a>
+</li>
 <li>_graph
 : <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_b.html

@@ -379,12 +379,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>BugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
-</li>
 <li>bugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
 </li>
+<li>BugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>

package/SVF-doxygen/html/functions_c.html

@@ -743,7 +743,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9">SVF::CallMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#acce909c4c082749affec7b0d3ceb394a">SVF::CFBasicBlockGWTOCycle</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2d94a3f6bd93d6b3806ec03de3eb1576">SVF::CFBasicBlockGWTONode</a>
@@ -937,7 +937,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ab345e148997b9e1c6e4c2c76267880b7">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a8b6e2e5e016a5ae00ae440e3f383bb16">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a9f985ff2daee53fb661e4b2bcfd17f05">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf3df7501f84233f6a687ef9f2f0ae90">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -967,7 +967,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4a55644f32cf3ccddf85541f61bef5ff">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a64e3dbd840184eb8e829c4d003b5b4cf">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a522af0d1727809479b1122b075b0845e">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1013,10 +1013,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a5cf03d97a8e21b09946b0842c6fde54d">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -1061,7 +1061,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -1144,7 +1144,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -1184,7 +1184,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AccessPath.html#ae746362c42da05a641ae062658e40651">SVF::AccessPath</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1286,7 +1286,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#a8a3d10d0aaf4708e7e44bedc6be077e0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>
 </li>
 <li>CondStdSet()
-: <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CondStdSet.html#a3f1885562bb34c3ccbd15117788725e0">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
 : <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
@@ -1419,7 +1419,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a6443b9fadd2d34e00832b2215a120ebd">SVF::ObjTypeInfo</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
 </li>
 <li>constant_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
@@ -1501,7 +1501,7 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a92792f6766cdca52289cc96270ea832c">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a2305753e0dc75a34bf32abe39bee7f57">SVF::SVFIRWriter</a>
 </li>
 <li>context
 : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1512,7 +1512,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1541,16 +1541,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a63b808e82e75562c53e4371cc3d7ed1e">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
@@ -1580,7 +1580,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -1857,7 +1857,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#ab2adb60f776ed2cde73253ff367e14cf">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1877,12 +1877,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>cxtLockset
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
 </li>
+<li>cxtLockset
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1892,12 +1892,12 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>cxtLocktoSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
-</li>
 <li>CxtLockToSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
 </li>
+<li>cxtLocktoSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
@@ -1908,7 +1908,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1921,12 +1921,12 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
@@ -1951,10 +1951,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadProcSet
 : <a class="el" href="classSVF_1_1TCT.html#a09493a428c0ebe7f67847b48f0481f40">SVF::TCT</a>

package/SVF-doxygen/html/functions_f.html

@@ -664,12 +664,12 @@ $(function() {
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>funToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
-</li>
 <li>FunToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
 </li>
+<li>funToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/functions_func_c.html

@@ -264,7 +264,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Andersen.html#aaec53980b25ed769fa9a985860f810b5">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenBase.html#afa4d710b093a6c7a33cb1aef823781f0">SVF::AndersenBase</a>
 , <a class="el" href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode</a>
-, <a class="el" href="classSVF_1_1AssignStmt.html#a4f94b6731f324e44fc4d4e06d7acdbf7">SVF::AssignStmt</a>
+, <a class="el" href="classSVF_1_1AssignStmt.html#ad5e2d41b8cd548628b59227368388ed0">SVF::AssignStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPStmt.html#ab5a0f41455474643e8dd97aaab0aaab5">SVF::BinaryOPStmt</a>
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#a750ffca6648fafedfb271fb90d975847">SVF::BranchStmt</a>
@@ -324,7 +324,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalValue.html#a101633c38e284f6e2bcad852daa3baae">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a70bdadf898a10c6db89e9f432529092c">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a66c199063471c5b3fcbe6a8cce47a1fe">SVF::IntraDirSVFGEdge</a>
-, <a class="el" href="classSVF_1_1IntraICFGNode.html#a00e015884ec85772b161cc7b4a5bfbd8">SVF::IntraICFGNode</a>
+, <a class="el" href="classSVF_1_1IntraICFGNode.html#a9ce3f760813e3108dda53ff3f558a23d">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e">SVF::IntraPHIVFGNode</a>
@@ -355,7 +355,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a174c3cac13c839863171621ea25e609f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a28a8bf95351e295e65360bf16241a5da">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#abb620d35e77989c2f7f9ed480e5fa1e9">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PHIVFGNode.html#a4699fc06762e2d2573bbe3c0fd903da4">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a522b90297d1a34858c9ae830cc24f1aa">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adb10c32eff8a794d9f2b1b4a47d85d21">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aa26fbdb6a5fc801eef8a7f59ea28bc3a">SVF::RetCFGEdge</a>
 , <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#ae13c787500749e182c7b48d4750fc0bb">SVF::RetDirSVFGEdge</a>
@@ -474,7 +474,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a7560a47f1e8894b9025b779c4794138c">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a080969ab00b584d44ea9afbd2baa740a">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -529,7 +529,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a003f5049433ade9cdad5f3050532af8e">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
 </li>
 <li>collapseField()
 : <a class="el" href="classSVF_1_1Andersen.html#af4a0d960ef198047517bb32ee1e24a61">SVF::Andersen</a>
@@ -554,7 +554,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece">SVF::MRGenerator</a>
 </li>
 <li>collectCallsiteTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a1fc4116b134aa87420d055b193208e68">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae76dbc090bc0039de0c82fb9e9fa72bd">SVF::MTAResultValidator</a>
 </li>
 <li>collectCandidateQueries()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>
@@ -571,7 +571,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f">SVF::LockAnalysis</a>
 </li>
 <li>collectCxtThreadTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a63ec4f6251cc95ee96aff15b4924abdc">SVF::MTAResultValidator</a>
 </li>
 <li>collectCycleInfo()
 : <a class="el" href="classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad">SVF::AndersenStat</a>
@@ -651,7 +651,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -810,13 +810,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFCFLGraphBuilder.html#a23e16f4dd62ffb96e64318c60f594067">SVF::VFCFLGraphBuilder</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#ad619c8c3874b9c65e706651d6a1c22ab">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState</a>
 </li>
 <li>constant_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#ac088d7ffb9319033308b7aaee78f364d">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
 </li>
 <li>constant_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
 </li>
 <li>constantSymID()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ab582424fdb6d9674c1bd4466cdfbe497">SVF::SymbolTableInfo</a>
@@ -853,7 +853,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abbd0e0cf759fad7858224ed8a63aade8">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a32fb1b1ff8c53745842b8b691c3abd5e">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#aa81a38241341f960f28910c822875513">SVF::SVFIRWriter</a>
 </li>
 <li>ContextCond()
 : <a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
@@ -868,13 +868,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#aa25de5d26935c74e156c5f6604b3d8a8">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -900,7 +900,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cpyItvToLocal()
 : <a class="el" href="classSVF_1_1IntervalExeState.html#a052d677fb5ee940ed0686f3d67d10d19">SVF::IntervalExeState</a>
@@ -1004,7 +1004,7 @@ $(function() {
 <li>csHasVtblsBasedonCHA()
 : <a class="el" href="classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1">SVF::CommonCHGraph</a>
-, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611">SVF::DCHGraph</a>
 </li>
 <li>CxtDPItem()
 : <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
@@ -1016,16 +1016,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
-: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
+: <a class="el" href="classSVF_1_1CxtThreadProc.html#acce14996e41ae55ae8e27b29408ef7c8">SVF::CxtThreadProc</a>
 </li>
 <li>CxtThreadStmt()
 : <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -619,7 +619,7 @@ $(function() {
 , <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>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304">SVF::MSSACHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc">SVF::MSSAPHI&lt; Cond &gt;</a>
@@ -1108,6 +1108,9 @@ $(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>
@@ -2530,13 +2533,13 @@ $(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#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2646,10 +2649,10 @@ $(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#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2740,7 +2743,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()
@@ -2906,10 +2909,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
 </li>
 <li>GlobalICFGNode()
 : <a class="el" href="classSVF_1_1GlobalICFGNode.html#a01e8a9844fcad1cc5faa22d8b0e0efd7">SVF::GlobalICFGNode</a>

package/SVF-doxygen/html/functions_func_h.html

@@ -306,6 +306,9 @@ $(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>
@@ -409,7 +412,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#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>