diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-13 16:28:17 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-13 16:28:17 -0800 |
| commit | edf3622ceb8569b87ffc007c75716f1042ba00d7 (patch) | |
| tree | bc8246d3cb5878b31e10c1a472a1ad6bd312660d /src/misc | |
| parent | ea2d82ab141c5a162f2c2cf0adce74a21d911d8a (diff) | |
| download | abc-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.c | 1 |
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 ); |