diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-12 13:57:51 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-12 13:57:51 -0800 |
| commit | 566c7d715273dc7527440d96989ca5ecc4648b97 (patch) | |
| tree | 81620ae005ab655a32e29a90ea43689e81511e8d /src/aig/gia/giaMan.c | |
| parent | e779b8c8894b1b0d90a84293a3a8d1b76d03cdee (diff) | |
| download | abc-566c7d715273dc7527440d96989ca5ecc4648b97.tar.gz abc-566c7d715273dc7527440d96989ca5ecc4648b97.tar.bz2 abc-566c7d715273dc7527440d96989ca5ecc4648b97.zip | |
Extending GIA to represent pintypes and pins.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 0ae484fc..3faaa871 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -303,6 +303,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch ) printf( " ff =%7d", Gia_ManRegNum(p) ); printf( " and =%8d", Gia_ManAndNum(p) ); printf( " lev =%5d", Gia_ManLevelNum(p) ); Vec_IntFreeP( &p->vLevels ); + if ( p->nPinTypes == 0 ) printf( " cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) ); // printf( " mem =%5.2f MB", 1.0*(sizeof(Gia_Obj_t)*p->nObjs + sizeof(int)*(Vec_IntSize(p->vCis) + Vec_IntSize(p->vCos)))/(1<<20) ); printf( " mem =%5.2f MB", 1.0*(sizeof(Gia_Obj_t)*p->nObjsAlloc + sizeof(int)*(Vec_IntCap(p->vCis) + Vec_IntCap(p->vCos)))/(1<<20) ); |