summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-02-13 16:28:17 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2015-02-13 16:28:17 -0800
commitedf3622ceb8569b87ffc007c75716f1042ba00d7 (patch)
treebc8246d3cb5878b31e10c1a472a1ad6bd312660d /src/misc
parentea2d82ab141c5a162f2c2cf0adce74a21d911d8a (diff)
downloadabc-edf3622ceb8569b87ffc007c75716f1042ba00d7.tar.gz
abc-edf3622ceb8569b87ffc007c75716f1042ba00d7.tar.bz2
abc-edf3622ceb8569b87ffc007c75716f1042ba00d7.zip
Several improvements to CBA data-structure.
Diffstat (limited to 'src/misc')
-rw-r--r--src/misc/extra/extraBddMisc.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index 66a0fc23..b0ba07d7 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -1505,6 +1505,7 @@ int Extra_bddCountCubes( DdManager * dd, DdNode ** pFuncs, int nFuncs, int fDire
CounterAll += Abc_MinInt( Count0, Count1 );
if ( CounterAll > nLimit )
break;
+ //printf( "Output %d has %d cubes\n", i, Abc_MinInt(Count0, Count1) );
}
dd->maxLive = saveLimit;
st__free_table( table );