diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-12 01:10:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-12 01:10:43 -0700 |
| commit | 60c901ea768a6c60de68923068429f7dd64b62d3 (patch) | |
| tree | 79c78f0c00b71fe580fdf2ff4a2048e04acbab32 | |
| parent | 38e2c63e6ec21976bcc6b98a079d04d31744b2ba (diff) | |
| download | abc-60c901ea768a6c60de68923068429f7dd64b62d3.tar.gz abc-60c901ea768a6c60de68923068429f7dd64b62d3.tar.bz2 abc-60c901ea768a6c60de68923068429f7dd64b62d3.zip | |
Improvements to print-outs.
| -rw-r--r-- | src/map/if/ifDsd.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 6953cf4c..1b3dc0f2 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -530,7 +530,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, { If_DsdObj_t * pObj; Vec_Int_t * vStructs, * vCounts; - int CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0; + int CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0, CountPrime = 0; int i, * pPerm, DsdMax = 0; FILE * pFile; pFile = pFileName ? fopen( pFileName, "wb" ) : stdout; @@ -543,6 +543,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, { if ( If_DsdObjType(pObj) == IF_DSD_PRIME ) DsdMax = Abc_MaxInt( DsdMax, pObj->nFans ); + CountPrime += If_DsdObjType(pObj) == IF_DSD_PRIME; CountNonDsdStr += If_DsdManCheckNonDec_rec( p, pObj->Id ); CountUsed += ( If_DsdVecObjRef(p->vObjs, pObj->Id) > 0 ); CountMarked += If_DsdVecObjMark( p->vObjs, i ); @@ -551,6 +552,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, fprintf( pFile, "Externally used objects = %8d\n", CountUsed ); fprintf( pFile, "Non-DSD objects (max =%2d) = %8d\n", DsdMax, Vec_MemEntryNum(p->vTtMem) ); fprintf( pFile, "Non-DSD structures = %8d\n", CountNonDsdStr ); + fprintf( pFile, "Prime objects = %8d\n", CountPrime ); fprintf( pFile, "Marked objects = %8d\n", CountMarked ); fprintf( pFile, "Unique table hits = %8d\n", p->nUniqueHits ); fprintf( pFile, "Unique table misses = %8d\n", p->nUniqueMisses ); |