diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:32:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 10:32:05 -0700 |
| commit | 2be812b4e08360f5b154d37ec3d12c029c79af82 (patch) | |
| tree | 0d4508fc454a5c861a400c07f41c20e5820b95fa /src/aig | |
| parent | e9783622a2108e03c59524df85db66aa0508e08d (diff) | |
| download | abc-2be812b4e08360f5b154d37ec3d12c029c79af82.tar.gz abc-2be812b4e08360f5b154d37ec3d12c029c79af82.tar.bz2 abc-2be812b4e08360f5b154d37ec3d12c029c79af82.zip | |
Fixing frontier computation in &ps.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 47 |
1 files changed, 43 insertions, 4 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index da713aa0..5fe53499 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -550,12 +550,50 @@ int * Gia_ManCreateMuxRefs( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ +void Gia_ManDfsForCrossCut_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNodes ) +{ + if ( Gia_ObjIsTravIdCurrent(p, pObj) ) + return; + Gia_ObjSetTravIdCurrent(p, pObj); + if ( Gia_ObjIsCi(pObj) ) + { + Vec_IntPush( vNodes, Gia_ObjId(p, pObj) ); + return; + } + if ( Gia_ObjIsCo(pObj) ) + { + Gia_ObjFanin0(pObj)->Value++; + Gia_ManDfsForCrossCut_rec( p, Gia_ObjFanin0(pObj), vNodes ); + Vec_IntPush( vNodes, Gia_ObjId(p, pObj) ); + return; + } + assert( Gia_ObjIsAnd(pObj) ); + Gia_ObjFanin0(pObj)->Value++; + Gia_ObjFanin1(pObj)->Value++; + Gia_ManDfsForCrossCut_rec( p, Gia_ObjFanin0(pObj), vNodes ); + Gia_ManDfsForCrossCut_rec( p, Gia_ObjFanin1(pObj), vNodes ); + Vec_IntPush( vNodes, Gia_ObjId(p, pObj) ); +} +Vec_Int_t * Gia_ManDfsForCrossCut( Gia_Man_t * p ) +{ + Vec_Int_t * vNodes; + Gia_Obj_t * pObj; + int i; + Gia_ManCleanValue( p ); + vNodes = Vec_IntAlloc( Gia_ManObjNum(p) ); + Gia_ManIncrementTravId( p ); + Gia_ManForEachCo( p, pObj, i ) + if ( !Gia_ObjIsConst0(Gia_ObjFanin0(pObj)) ) + Gia_ManDfsForCrossCut_rec( p, pObj, vNodes ); + return vNodes; +} int Gia_ManCrossCut( Gia_Man_t * p ) { + Vec_Int_t * vNodes; Gia_Obj_t * pObj; int i, nCutCur = 0, nCutMax = 0; - Gia_ManCreateValueRefs( p ); - Gia_ManForEachObj( p, pObj, i ) + vNodes = Gia_ManDfsForCrossCut( p ); + Gia_ManForEachObjVec( vNodes, p, pObj, i ) { if ( pObj->Value ) nCutCur++; @@ -574,8 +612,9 @@ int Gia_ManCrossCut( Gia_Man_t * p ) nCutCur--; } } -// Gia_ManForEachObj( p, pObj, i ) -// assert( pObj->Value == 0 ); + Vec_IntFree( vNodes ); + Gia_ManForEachObj( p, pObj, i ) + assert( pObj->Value == 0 ); return nCutMax; } |