diff options
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 760d7068..9628312a 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1008,13 +1008,19 @@ int Gia_ManHasDangling( Gia_Man_t * p ) Gia_ManForEachObj( p, pObj, i ) { pObj->fMark0 = 0; - if ( Gia_ObjIsAnd(pObj) ) + if ( Gia_ObjIsCo(pObj) ) + Gia_ObjFanin0(pObj)->fMark0 = 1; + else if ( Gia_ObjIsMux(p, pObj) ) { Gia_ObjFanin0(pObj)->fMark0 = 1; Gia_ObjFanin1(pObj)->fMark0 = 1; + Gia_ObjFanin2(p, pObj)->fMark0 = 1; } - else if ( Gia_ObjIsCo(pObj) ) + else if ( Gia_ObjIsAnd(pObj) ) + { Gia_ObjFanin0(pObj)->fMark0 = 1; + Gia_ObjFanin1(pObj)->fMark0 = 1; + } } Gia_ManForEachAnd( p, pObj, i ) Counter += !pObj->fMark0; |