diff options
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 1c1edda7..204d3033 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -2075,6 +2075,58 @@ void Gia_DumpLutSizeDistrib( Gia_Man_t * p, char * pFileName ) fclose( pTable ); } +/**Function************************************************************* + + Synopsis [Check if two logic cones have overlap.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Gia_ManCheckSuppMark_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) +{ + if ( pObj->fMark0 ) + return; + pObj->fMark0 = 1; + if ( Gia_ObjIsCi(pObj) ) + return; + Gia_ManCheckSuppMark_rec( p, Gia_ObjFanin0(pObj) ); + Gia_ManCheckSuppMark_rec( p, Gia_ObjFanin1(pObj) ); +} +void Gia_ManCheckSuppUnmark_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) +{ + if ( !pObj->fMark0 ) + return; + pObj->fMark0 = 0; + if ( Gia_ObjIsCi(pObj) ) + return; + Gia_ManCheckSuppUnmark_rec( p, Gia_ObjFanin0(pObj) ); + Gia_ManCheckSuppUnmark_rec( p, Gia_ObjFanin1(pObj) ); +} +int Gia_ManCheckSupp_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) +{ + if ( pObj->fMark0 ) + return 1; + if ( Gia_ObjIsCi(pObj) ) + return 0; + if ( Gia_ManCheckSupp_rec( p, Gia_ObjFanin0(pObj) ) ) + return 1; + return Gia_ManCheckSupp_rec( p, Gia_ObjFanin1(pObj) ); +} +int Gia_ManCheckSuppOverlap( Gia_Man_t * p, int iNode1, int iNode2 ) +{ + int Result; + if ( iNode1 == 0 || iNode2 == 0 ) + return 0; + Gia_ManCheckSuppMark_rec( p, Gia_ManObj(p, iNode1) ); + Result = Gia_ManCheckSupp_rec( p, Gia_ManObj(p, iNode2) ); + Gia_ManCheckSuppUnmark_rec( p, Gia_ManObj(p, iNode1) ); + return Result; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |