From 9e0fa47c12923ddc70d7fb7e4fe830136c0eb214 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Jan 2020 09:38:53 +0200 Subject: Suggested fix to not collect leaves of black boxes. --- src/aig/gia/giaMfs.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/aig') 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 -- cgit v1.2.3