diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-11 09:38:53 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-11 09:38:53 +0200 |
| commit | 9e0fa47c12923ddc70d7fb7e4fe830136c0eb214 (patch) | |
| tree | 1180d0632654ca040707467255493c2369183184 | |
| parent | dccd3992550ba8f43611a864ca301ad96d8d0aaf (diff) | |
| download | abc-9e0fa47c12923ddc70d7fb7e4fe830136c0eb214.tar.gz abc-9e0fa47c12923ddc70d7fb7e4fe830136c0eb214.tar.bz2 abc-9e0fa47c12923ddc70d7fb7e4fe830136c0eb214.zip | |
Suggested fix to not collect leaves of black boxes.
| -rw-r--r-- | src/aig/gia/giaMfs.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c index 69f6ee7a..5890f84c 100644 --- a/src/aig/gia/giaMfs.c +++ b/src/aig/gia/giaMfs.c @@ -161,13 +161,13 @@ Sfm_Ntk_t * Gia_ManExtractMfs( Gia_Man_t * p ) { nBoxIns = Tim_ManBoxInputNum( pManTime, k ); nBoxOuts = Tim_ManBoxOutputNum( pManTime, k ); - // collect truth table leaves - Vec_IntClear( vLeaves ); - for ( i = 0; i < nBoxIns; i++ ) - Vec_IntPush( vLeaves, Gia_ObjId(p->pAigExtra, Gia_ManCi(p->pAigExtra, i)) ); // iterate through box outputs if ( !Tim_ManBoxIsBlack(pManTime, k) ) //&& Tim_ManBoxInputNum(pManTime, k) <= 6 ) { + // collect truth table leaves + Vec_IntClear( vLeaves ); + for ( i = 0; i < nBoxIns; i++ ) + Vec_IntPush( vLeaves, Gia_ObjId(p->pAigExtra, Gia_ManCi(p->pAigExtra, i)) ); for ( j = 0; j < nBoxOuts; j++ ) { // CI corresponding to the box outputs |