diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:43:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:43:55 -0700 |
| commit | bc21cb41b49860e4b43aa859ea4fb6b2827262f5 (patch) | |
| tree | ce15d96be061d201333eceb3d3ddc29946c4d5af /src/aig/gia/giaMan.c | |
| parent | 2be812b4e08360f5b154d37ec3d12c029c79af82 (diff) | |
| download | abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.tar.gz abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.tar.bz2 abc-bc21cb41b49860e4b43aa859ea4fb6b2827262f5.zip | |
Adding frontier comptuation based on reversed CO order in &ps.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index f78ea847..494f9a1c 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -271,7 +271,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 ); - printf( " cut =%5d", Gia_ManCrossCut(p) ); + 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) ); if ( Gia_ManHasDangling(p) ) |