diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 09:57:40 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 09:57:40 -0700 |
commit | 81077d8a7c738cc42dead8c6f84cc8fedc89149a (patch) | |
tree | ba8bf53c73de714b619150eb4b4474ea57fb34b2 | |
parent | 4f09348367d03e5dae158a5232297f7507742b64 (diff) | |
download | abc-81077d8a7c738cc42dead8c6f84cc8fedc89149a.tar.gz abc-81077d8a7c738cc42dead8c6f84cc8fedc89149a.tar.bz2 abc-81077d8a7c738cc42dead8c6f84cc8fedc89149a.zip |
Experiments with permutations.
-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 752a7d0b..ccabdf41 100644 --- a/src/misc/extra/extraUtilPerm.c +++ b/src/misc/extra/extraUtilPerm.c @@ -85,7 +85,7 @@ struct Abc_ZddMan_ Abc_ZddObj * pObjs; int nCacheLookups; int nCacheMisses; - int nMemory; + word nMemory; int * pV2TI; int * pV2TJ; int * pT2V; @@ -229,7 +229,7 @@ void Abc_ZddManFree( Abc_ZddMan * p ) { printf( "ZDD stats: Var = %d Obj = %d All = %d Hits = %d Miss = %d ", p->nVars, p->nObjs, p->nObjsAlloc, p->nCacheLookups-p->nCacheMisses, p->nCacheMisses ); - printf( "Mem = %.2f MB\n", 4.0*p->nMemory/(1<<20) ); + printf( "Mem = %.2f MB\n", 4.0*(int)(p->nMemory/(1<<20)) ); ABC_FREE( p->pT2V ); ABC_FREE( p->pV2TI ); ABC_FREE( p->pV2TJ ); @@ -866,7 +866,7 @@ void Abc_EnumerateCubeStatesZdd() int ZddTurn1, ZddTurn2, ZddTurn3, ZddTurns9, ZddAll, ZddReached, ZddNew; abctime clk = Abc_Clock(); printf( "Enumerating states of 2x2x2 cube.\n" ); - p = Abc_ZddManAlloc( 24 * 23 / 2, 1 << 28 ); + p = Abc_ZddManAlloc( 24 * 23 / 2, 1 << 27 ); Abc_ZddManCreatePerms( p, 24 ); // init state printf( "Iter %2d -> %8d ", 0, 1 ); |