diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 10:26:47 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 10:26:47 -0700 |
| commit | eb3ee4ca4aaf137cf7d56e906403e3ed84edc62a (patch) | |
| tree | 640b53e29f0ebe77060be4b7a76a9615ccecfa65 /src/misc/extra | |
| parent | 4172fb02c691d37a826031438031a79ca6145f27 (diff) | |
| download | abc-eb3ee4ca4aaf137cf7d56e906403e3ed84edc62a.tar.gz abc-eb3ee4ca4aaf137cf7d56e906403e3ed84edc62a.tar.bz2 abc-eb3ee4ca4aaf137cf7d56e906403e3ed84edc62a.zip | |
Experiments with permutations.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilPerm.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/misc/extra/extraUtilPerm.c b/src/misc/extra/extraUtilPerm.c index 5c9081d9..bd78f1c9 100644 --- a/src/misc/extra/extraUtilPerm.c +++ b/src/misc/extra/extraUtilPerm.c @@ -857,7 +857,7 @@ void Abc_EnumerateCubeStatesZdd() p = Abc_ZddManAlloc( 24 * 23 / 2, 1 << 27 ); // finished with 2^27 (4 GB) Abc_ZddManCreatePerms( p, 24 ); // init state - printf( "Iter %2d -> %8d ", 0, 1 ); + printf( "Iter %2d -> %8d Nodes = %7d Used = %10d ", 0, 1, 0, 2 ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); // first 9 states ZddTurns = 1; @@ -886,7 +886,7 @@ void Abc_EnumerateCubeStatesZdd() //printf( "\n" ); } //Abc_ZddPrint( p, ZddTurns ); - printf( "Iter %2d -> %8d ", 1, Abc_ZddCountPaths(p, ZddTurns) ); + printf( "Iter %2d -> %8d Nodes = %7d Used = %10d ", 1, Abc_ZddCountPaths(p, ZddTurns), Abc_ZddCountNodes(p, ZddTurns), p->nObjs ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); // other states ZddAll = ZddTurns; @@ -894,7 +894,7 @@ void Abc_EnumerateCubeStatesZdd() { int ZddAllPrev = ZddAll; ZddAll = Abc_ZddPermProduct( p, ZddAll, ZddTurns ); - printf( "Iter %2d -> %8d Nodes = %8d ", i, Abc_ZddCountPaths(p, ZddAll), Abc_ZddCountNodes(p, ZddAll) ); + printf( "Iter %2d -> %8d Nodes = %7d Used = %10d ", i, Abc_ZddCountPaths(p, ZddAll), Abc_ZddCountNodes(p, ZddAll), p->nObjs ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); if ( ZddAllPrev == ZddAll ) break; |