svf-tools 1.0.282 → 1.0.286

package/SVF-doxygen/html/html/globals_func_c.html

@@ -629,16 +629,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
 </li>
 <li>cuddResizeLinear()
-: <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
 </li>
 <li>cuddResizeTableZdd()
 : <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
 </li>
 <li>cuddSetInteract()
-: <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
 </li>
 <li>cuddShrinkDeathRow()
 : <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
@@ -693,8 +693,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
 </li>
 <li>cuddUniqueInterZdd()
-: <a class="el" href="cuddInt_8h.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.h</a>
 </li>
 <li>cuddUniqueLookup()
 : <a class="el" href="cuddInt_8c.html#a032202341a5cf6eaf13b788b8d8d0881">cuddInt.c</a>
@@ -704,23 +704,23 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.c</a>
 </li>
 <li>cuddWindowReorder()
-: <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
 </li>
 <li>cuddXorLinear()
 : <a class="el" href="cuddInt_8c.html#a28e48cf4a38f1088d1844bc675658ee1">cuddInt.c</a>
 </li>
 <li>cuddZddAlignToBdd()
-: <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
 </li>
 <li>cuddZddChangeAux()
 : <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
 </li>
 <li>cuddZddComplement()
-: <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
 </li>
 <li>cuddZddDiff()
 : <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
@@ -735,8 +735,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
 </li>
 <li>cuddZddFreeUniv()
-: <a class="el" href="cuddInt_8c.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.c</a>
 </li>
 <li>cuddZddGetCofactors2()
 : <a class="el" href="cuddInt_8h.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.h</a>
@@ -751,28 +751,28 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.c</a>
 </li>
 <li>cuddZddGetNegVarLevel()
-: <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
 </li>
 <li>cuddZddGetNode()
-: <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
 </li>
 <li>cuddZddGetNodeIVO()
-: <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
 </li>
 <li>cuddZddGetPosVarIndex()
-: <a class="el" href="cuddInt_8h.html#a4449045d422400ac577707490b4b1a05">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4449045d422400ac577707490b4b1a05">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4449045d422400ac577707490b4b1a05">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4449045d422400ac577707490b4b1a05">cuddInt.h</a>
 </li>
 <li>cuddZddGetPosVarLevel()
-: <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
 </li>
 <li>cuddZddInitUniv()
-: <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
 </li>
 <li>cuddZddIntersect()
 : <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
@@ -783,8 +783,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
 </li>
 <li>cuddZddIte()
-: <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
 </li>
 <li>cuddZddLinearAux()
 : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -806,8 +806,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
 </li>
 <li>cuddZddNextHigh()
-: <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
 </li>
 <li>cuddZddNextLow()
 : <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
@@ -817,8 +817,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#a6e8a6b880ea63f99e8d52084468b0be5">cuddInt.h</a>
 </li>
 <li>cuddZddProduct()
-: <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
 </li>
 <li>cuddZddSifting()
 : <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
@@ -837,8 +837,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a789113cc56cb05380a131ce5a3aa0aff">cuddInt.c</a>
 </li>
 <li>cuddZddSubset0()
-: <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
 </li>
 <li>cuddZddSubset1()
 : <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
@@ -853,8 +853,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
 </li>
 <li>cuddZddSymmCheck()
-: <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
 </li>
 <li>cuddZddSymmSifting()
 : <a class="el" href="cuddInt_8c.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.c</a>
@@ -887,8 +887,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a502f13629f5546da11d81c81cae8cc1b">cuddInt.c</a>
 </li>
 <li>cuddZddUnateProduct()
-: <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
 </li>
 <li>cuddZddUndoMoves()
 : <a class="el" href="cuddInt_8c.html#a37d9d5c0202700e85ee6ab3bb64f9c8f">cuddInt.c</a>
@@ -909,6 +909,14 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
 </li>
+<li>cutree_cdist()
+: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+</li>
+<li>cutree_k()
+: <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_func_f.html

@@ -61,6 +61,9 @@ $(function() {
  
 
 <h3><a id="index_f"></a>- f -</h3><ul>
+<li>fc_isnan()
+: <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
+</li>
 <li>FILECHECKER()
 : <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_func_h.html

@@ -70,6 +70,10 @@ $(function() {
 <li>hasEdge()
 : <a class="el" href="CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5">CHG.cpp</a>
 </li>
+<li>hclust_fast()
+: <a class="el" href="fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.cpp</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_h.html

@@ -82,6 +82,28 @@ $(function() {
 <li>HAVE_SYS_TIME_H
 : <a class="el" href="util_8c.html#a2aae46056558e9d6fef6380f9678ffe3">util.c</a>
 </li>
+<li>hclust_fast()
+: <a class="el" href="fastcluster_8h.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9">fastcluster.cpp</a>
+</li>
+<li>hclust_fast_methods
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd">fastcluster.h</a>
+</li>
+<li>HCLUST_METHOD_AVERAGE
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">fastcluster.h</a>
+</li>
+<li>HCLUST_METHOD_COMPLETE
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">fastcluster.h</a>
+</li>
+<li>HCLUST_METHOD_MEDIAN
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">fastcluster.h</a>
+</li>
+<li>HCLUST_METHOD_SINGLE
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">fastcluster.h</a>
+</li>
+<li>HCLUST_METHOD_SVF_BEST
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">fastcluster.h</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_r.html

@@ -70,12 +70,12 @@ $(function() {
 <li>random_generator()
 : <a class="el" href="cuddInt_8c.html#a77a931cdec27ae26f4d8e4b9152ff7e6">cuddInt.c</a>
 </li>
-<li>REALLOC
-: <a class="el" href="util_8h.html#ac3d02b1026db1997f09067d47aed16a8">util.h</a>
-</li>
 <li>realloc()
 : <a class="el" href="util_8h.html#af6ef63a39a975856bc39bf0f3d13b292">util.h</a>
 </li>
+<li>REALLOC
+: <a class="el" href="util_8h.html#ac3d02b1026db1997f09067d47aed16a8">util.h</a>
+</li>
 <li>REGPT()
 : <a class="el" href="dda_8cpp.html#a5ed1de5ad06cf459c1b4e63685316618">dda.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_s.html

@@ -110,13 +110,13 @@ $(function() {
 <li>ST_DEFAULT_REORDER_FLAG
 : <a class="el" href="st_8h.html#a933aaa48b6a156a000befde073a24e4c">st.h</a>
 </li>
+<li>ST_DELETE
+: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
+</li>
 <li>st_delete()
 : <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 , <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
 </li>
-<li>ST_DELETE
-: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
-</li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
 , <a class="el" href="st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57">st.c</a>
@@ -203,14 +203,12 @@ $(function() {
 : <a class="el" href="st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf">st.h</a>
 , <a class="el" href="st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075">st.c</a>
 </li>
-<li>st_ptrhash()
-: <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
-</li>
 <li>ST_PTRHASH
 : <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
 </li>
 <li>st_ptrhash()
 : <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
+, <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
 </li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>

package/SVF-doxygen/html/html/hierarchy.html

@@ -153,8 +153,8 @@ $(function() {
 <tr id="row_54_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="unionEpTypeUnion.html" target="_self">EpTypeUnion</a></td><td class="desc"></td></tr>
 <tr id="row_55_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html" target="_self">SVF::GenericEdge&lt; NodeTy &gt;::equalGEdge</a></td><td class="desc">Add the hash function for std::set (we also can overload operator&lt; to implement this) </td></tr>
 <tr id="row_56_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">SVF::MemRegion::equalMemRegion</a></td><td class="desc"></td></tr>
-<tr id="row_57_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html" target="_self">SVF::SVFUtil::equalPointsTo</a></td><td class="desc"></td></tr>
-<tr id="row_58_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalPointsTo.html" target="_self">SVF::MemRegion::equalPointsTo</a></td><td class="desc"></td></tr>
+<tr id="row_57_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalNodeBS.html" target="_self">SVF::SVFUtil::equalNodeBS</a></td><td class="desc"></td></tr>
+<tr id="row_58_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1equalPointsTo.html" target="_self">SVF::SVFUtil::equalPointsTo</a></td><td class="desc"></td></tr>
 <tr id="row_59_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">SVF::ExtAPI</a></td><td class="desc"></td></tr>
 <tr id="row_60_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExternalPAG.html" target="_self">SVF::ExternalPAG</a></td><td class="desc"></td></tr>
 <tr id="row_61_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FieldInfo.html" target="_self">SVF::FieldInfo</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/menudata.js

@@ -32,6 +32,7 @@ var menudata={children:[
 {text:"f",url:"namespacemembers_func.html#index_f"},
 {text:"g",url:"namespacemembers_func.html#index_g"},
 {text:"i",url:"namespacemembers_func.html#index_i"},
+{text:"m",url:"namespacemembers_func.html#index_m"},
 {text:"o",url:"namespacemembers_func.html#index_o"},
 {text:"p",url:"namespacemembers_func.html#index_p"},
 {text:"r",url:"namespacemembers_func.html#index_r"},
@@ -280,6 +281,7 @@ var menudata={children:[
 {text:"Enumerations",url:"globals_enum.html"},
 {text:"Enumerator",url:"globals_eval.html",children:[
 {text:"c",url:"globals_eval.html#index_c"},
+{text:"h",url:"globals_eval.html#index_h"},
 {text:"s",url:"globals_eval.html#index_s"}]},
 {text:"Macros",url:"globals_defs.html",children:[
 {text:"a",url:"globals_defs.html#index_a"},

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -3191,7 +3191,7 @@ template<typename Key , typename Value , typename Hash  = Hash<Key>, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00043">43</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00045">45</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3207,7 +3207,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00044">44</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00046">46</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>
@@ -3223,7 +3223,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00045">45</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MemRegion_8h_source.html#l00047">47</a> of file <a class="el" href="MemRegion_8h_source.html">MemRegion.h</a>.</p>
 
 </div>
 </div>