diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-07 13:04:16 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-07 13:04:16 -0800 |
commit | 1ce537e99298bb61263534c9e16496d687ace526 (patch) | |
tree | 6030146e19fa38b1f7a2a919d3f02917ba59c514 /src/aig | |
parent | 1a6354c22f930d6fadffcafe468f82d396ad409a (diff) | |
download | abc-1ce537e99298bb61263534c9e16496d687ace526.tar.gz abc-1ce537e99298bb61263534c9e16496d687ace526.tar.bz2 abc-1ce537e99298bb61263534c9e16496d687ace526.zip |
Misc changes.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaCone.c | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index 0659b700..da4918ed 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -169,12 +169,20 @@ void Opa_ManPerform( Gia_Man_t * pGia ) { Opa_Man_t * p; Gia_Obj_t * pObj; - int i; - + int i, Limit, Count = 0; + p = Opa_ManStart( pGia ); + Limit = Vec_IntSize(p->vFront); //Opa_ManPrint2( p ); Gia_ManForEachObjVec( p->vFront, pGia, pObj, i ) { + if ( i == Limit ) + { + printf( "%6d : %6d -> %6d\n", ++Count, i, p->nParts ); + Limit = Vec_IntSize(p->vFront); + if ( Count > 1 ) + Opa_ManPrint2( p ); + } // printf( "*** Object %d ", Gia_ObjId(pGia, pObj) ); if ( Gia_ObjIsAnd(pObj) ) { @@ -184,11 +192,12 @@ void Opa_ManPerform( Gia_Man_t * pGia ) else if ( Gia_ObjIsCo(pObj) ) Opa_ManMoveOne( p, pObj, Gia_ObjFanin0(pObj) ); else assert( 0 ); - if ( i % 10 == 0 ) - printf( "%d ", p->nParts ); -//Opa_ManPrint2( p ); +// if ( i % 10 == 0 ) +// printf( "%d ", p->nParts ); if ( p->nParts == 1 ) break; + if ( Count == 5 ) + break; } printf( "\n" ); Opa_ManStop( p ); |