svf-tools 1.0.282 → 1.0.286

package/SVF-doxygen/html/html/functions_type_c.html

@@ -163,7 +163,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ae73349361642cbc0c5f4be0b8bf96090">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToVFunSetMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74">SVF::CHGraph</a>

package/SVF-doxygen/html/html/functions_type_e.html

@@ -88,9 +88,6 @@ $(function() {
 <li>equalMemRegion
 : <a class="el" href="classSVF_1_1MemRegion.html#af0a0b4a5862a136ef4f203f19139da65">SVF::MemRegion</a>
 </li>
-<li>equalPointsTo
-: <a class="el" href="classSVF_1_1MemRegion.html#a52b14094d018fb5d9f024c154ab61b8e">SVF::MemRegion</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_type_f.html

@@ -163,7 +163,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PAG.html#a369ea2832e74716757a7d4afa7cb5d60">SVF::PAG</a>
 </li>
 <li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a71b584c7e0feb3014ad5f74eb31467bb">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
+<li>FunToPointsTosMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
 <li>FunToPostDTMap
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a8e4d95e3c98ad17b060844063a494946">SVF::PTACFInfoBuilder</a>

package/SVF-doxygen/html/html/functions_type_l.html

@@ -87,7 +87,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a72f55ad36f4ce46c5eee4bf0ce736cee">SVF::MRGenerator</a>
 </li>
 <li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af500450901135fd31ceb2ab497ca1086">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a7b9b1c326d075a9be473680fef6a9616">SVF::MRGenerator</a>
 </li>
 <li>LoadToMUSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#ac5a9b2218c946ec17b478a95ab60ec6b">SVF::MemSSA</a>

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

@@ -164,7 +164,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;</a>
 </li>
 <li>PointsToList
-: <a class="el" href="classSVF_1_1MRGenerator.html#a2a9b87b7b9a567a7fd94e9267f3eb054">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e">SVF::MRGenerator</a>
 </li>
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
@@ -217,10 +217,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PtsToRepPtsSetMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a429b45a55b948d6d1ffd73ea0ac6c04c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae">SVF::MRGenerator</a>
 </li>
 <li>PtsToSubPtsMap
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a95e5cc07c8e1838f9336c6a2f0aa941a">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_type_s.html

@@ -89,7 +89,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a9d2221818297a7abeb8d8736093105d0">SVF::MRGenerator</a>
 </li>
 <li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a4e246650818afd8be99a5ed6e23c4cd7">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a45e786ca09aa6cbfcf17d8e5a166a801">SVF::MRGenerator</a>
 </li>
 <li>StoreToChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#a00fc1f85bd92da6f0033a1a385c792ad">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -348,7 +348,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">SVF::MRSVFGNode</a>
 </li>
 <li>cptsSet
-: <a class="el" href="classSVF_1_1MemRegion.html#a0bd542926951c4efe1c67244eeb89090">SVF::MemRegion</a>
+: <a class="el" href="classSVF_1_1MemRegion.html#a77a18bcce56cf48d1c338e852a2be9bc">SVF::MemRegion</a>
 </li>
 <li>cptsToRepCPtsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">SVF::MRGenerator</a>
@@ -383,10 +383,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#af0434d6ffd247eeaf73b9294e659a3f9">SVF::ICFG</a>
 </li>
 <li>csToCallSiteArgsPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a145cccd6355dd479e8a0c744584cef9a">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#afe91b57b451d7788364493549e015acf">SVF::MRGenerator</a>
 </li>
 <li>csToCallSiteRetPtsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9368636daea4542fa36fff822ff39104">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a21550f978f42ac3cbb32cbc426ff5cb1">SVF::MRGenerator</a>
 </li>
 <li>csToCHAVFnsMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a5e6502c5baad99c70e1cf56c84ce9474">SVF::CHGraph</a>
@@ -401,10 +401,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187">SVF::PTACallGraph</a>
 </li>
 <li>csToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a72222bae993142be1881c34660646b82">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a603f993995e7d6961e203a195bb56029">SVF::MRGenerator</a>
 </li>
 <li>csToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a08779053af9db71ba0bc24710a7e198c">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6">SVF::MRGenerator</a>
 </li>
 <li>CSToRetNodeMap
 : <a class="el" href="classSVF_1_1ICFG.html#a0e43308038663c10667177238b23ab3e">SVF::ICFG</a>

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

@@ -270,7 +270,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToModsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#aeb185d6d9c7bfe4b98c7440db6b8bbc4">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
 <li>funToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
@@ -279,10 +279,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
 </li>
 <li>funToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acaf48288039d19bf0bb9f2e506fbfd8d">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
 <li>funToRefsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#afe018918c8acc83cd128b4c56ff42075">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af6d58e2971c4a8d3ee03f9dfd9072a3a">SVF::MRGenerator</a>
 </li>
 <li>funToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -101,7 +101,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>idToPts
-: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac15f8dc2bd850d275c692c3001751c9e">SVF::PersistentPointsToCache&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>IgnoreDeadFun
 : <a class="el" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">SVF::Options</a>

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

@@ -306,7 +306,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
 <li>ptCache
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a6c13356f81049d453af61e61aa1b3860">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/globals_c.html

@@ -686,16 +686,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aad1ef5892f9b1b85a2766956fca9761c">cuddInt.c</a>
 </li>
 <li>cuddBddXorExistAbstractRecur()
-: <a class="el" href="cuddInt_8c.html#adfcd7d01c37505e26ff4d7ae7617a43f">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#adfcd7d01c37505e26ff4d7ae7617a43f">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#adfcd7d01c37505e26ff4d7ae7617a43f">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#adfcd7d01c37505e26ff4d7ae7617a43f">cuddInt.c</a>
 </li>
 <li>cuddBddXorRecur()
 : <a class="el" href="cuddInt_8h.html#aed935896575aab5d56fefdd6d351b676">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#aed935896575aab5d56fefdd6d351b676">cuddInt.c</a>
 </li>
 <li>cuddCacheFlush()
-: <a class="el" href="cuddInt_8h.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a3430a7b66708275953bffbdd8d04dba8">cuddInt.h</a>
 </li>
 <li>cuddCacheInsert()
 : <a class="el" href="cuddInt_8h.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddInt.h</a>
@@ -887,8 +887,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a6280eb698415f13868d44ada26f93d64">cuddInt.c</a>
 </li>
 <li>cuddLinearInPlace()
-: <a class="el" href="cuddInt_8h.html#a94afb04204cc16194cc7a920138bede7">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a94afb04204cc16194cc7a920138bede7">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a94afb04204cc16194cc7a920138bede7">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a94afb04204cc16194cc7a920138bede7">cuddInt.h</a>
 </li>
 <li>cuddLocalCacheAddToList()
 : <a class="el" href="cuddInt_8c.html#ab6fa61b6c791a7a7fe678994675aef47">cuddInt.c</a>
@@ -912,16 +912,16 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
 </li>
 <li>cuddNextHigh()
-: <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
 </li>
 <li>cuddNextLow()
-: <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
 </li>
 <li>cuddNodeArray()
-: <a class="el" href="cuddInt_8c.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.c</a>
 </li>
 <li>cuddNodeArrayRecur()
 : <a class="el" href="cuddInt_8c.html#aafa4c6dac57d4b1643ea4097a95a9109">cuddInt.c</a>
@@ -948,19 +948,19 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
 </li>
 <li>cuddReclaimZdd()
-: <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
 </li>
 <li>cuddRef
 : <a class="el" href="cuddInt_8h.html#a5eb828fea5b6c493712d171ca59f4496">cuddInt.h</a>
 </li>
 <li>cuddRehash()
-: <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
 </li>
 <li>cuddResizeLinear()
-: <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
 </li>
 <li>cuddResizeTableZdd()
 : <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
@@ -973,8 +973,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#a820d3934f12d1a15066986d58e44d923">cuddInt.h</a>
 </li>
 <li>cuddSetInteract()
-: <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
 </li>
 <li>cuddShrinkDeathRow()
 : <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
@@ -985,20 +985,20 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
 </li>
 <li>cuddSlowTableGrowth()
-: <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
 </li>
 <li>cuddSwapInPlace()
-: <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
 </li>
 <li>cuddSwapping()
 : <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
 </li>
 <li>cuddSymmCheck()
-: <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
 </li>
 <li>cuddSymmSifting()
 : <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
@@ -1012,8 +1012,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddInt.h</a>
 </li>
 <li>cuddTestInteract()
-: <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
 </li>
 <li>cuddTreeSifting()
 : <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
@@ -1024,12 +1024,12 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
 </li>
 <li>cuddUniqueInter()
-: <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
 </li>
 <li>cuddUniqueInterIVO()
-: <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
 </li>
 <li>cuddUniqueInterZdd()
 : <a class="el" href="cuddInt_8h.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.h</a>
@@ -1046,8 +1046,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#ae4c91711a93064634cccc69dc22f3712">cuddInt.h</a>
 </li>
 <li>cuddWindowReorder()
-: <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a80cc91f0b3e9f6e5318534321c23c655">cuddInt.c</a>
 </li>
 <li>cuddXorLinear()
 : <a class="el" href="cuddInt_8c.html#a28e48cf4a38f1088d1844bc675658ee1">cuddInt.c</a>
@@ -1057,8 +1057,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
 </li>
 <li>cuddZddChangeAux()
-: <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
+: <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>
@@ -1089,28 +1089,28 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.c</a>
 </li>
 <li>cuddZddGetNegVarIndex()
-: <a class="el" href="cuddInt_8c.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.h</a>
+, <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>
 </li>
 <li>cuddZddGetNode()
-: <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</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_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
@@ -1121,12 +1121,12 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
 </li>
 <li>cuddZddIsop()
-: <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
 </li>
 <li>cuddZddIte()
-: <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
 </li>
 <li>cuddZddLinearAux()
 : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -1141,26 +1141,26 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a839a8dec363eb7d7f729295c45da4fc2">cuddInt.c</a>
 </li>
 <li>cuddZddLinearSifting()
-: <a class="el" href="cuddInt_8h.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.h</a>
 </li>
 <li>cuddZddLinearUp()
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
 </li>
 <li>cuddZddNextHigh()
-: <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
 </li>
 <li>cuddZddNextLow()
-: <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
 </li>
 <li>cuddZddP()
 : <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>
@@ -1179,24 +1179,24 @@ $(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>
-, <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
 </li>
 <li>cuddZddSwapInPlace()
 : <a class="el" href="cuddInt_8c.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.h</a>
 </li>
 <li>cuddZddSwapping()
-: <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
+, <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>
@@ -1215,8 +1215,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#abea7ac08bf99972d38972dbc9666a7cc">cuddInt.c</a>
 </li>
 <li>cuddZddSymmSiftingConv()
-: <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
 </li>
 <li>cuddZddSymmSiftingConvAux()
 : <a class="el" href="cuddInt_8c.html#a447c4ee2e2ea22adaa37d20ac8f6a6f8">cuddInt.c</a>
@@ -1229,8 +1229,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a502f13629f5546da11d81c81cae8cc1b">cuddInt.h</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>
@@ -1240,17 +1240,25 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.h</a>
 </li>
 <li>cuddZddUniqueCompare()
-: <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
 </li>
 <li>cuddZddWeakDiv()
-: <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDivF()
 : <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_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_enum.html

@@ -77,6 +77,9 @@ $(function() {
 <li>Cudd_VariableType
 : <a class="el" href="cudd_8h.html#ae6d55585c0a16ded7753ebc19d765659">cudd.h</a>
 </li>
+<li>hclust_fast_methods
+: <a class="el" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dd">fastcluster.h</a>
+</li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>
 </li>

package/SVF-doxygen/html/html/globals_eval.html

@@ -214,6 +214,25 @@ $(function() {
 </ul>
 
 
+<h3><a id="index_h"></a>- h -</h3><ul>
+<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>
+
+
 <h3><a id="index_s"></a>- s -</h3><ul>
 <li>ST_CONTINUE
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fac99fc55c7f355bf9071739a4bc2ea139">st.h</a>

package/SVF-doxygen/html/html/globals_f.html

@@ -64,6 +64,9 @@ $(function() {
 <li>fail
 : <a class="el" href="util_8h.html#a71a6998301cde817b7ade39eff117424">util.h</a>
 </li>
+<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>
@@ -76,12 +79,12 @@ $(function() {
 <li>fixVarTree()
 : <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
 </li>
-<li>free()
-: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
-</li>
 <li>FREE
 : <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
 </li>
+<li>free()
+: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>