diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
| commit | 9268c100237e67b404c6528bf435d1f60f185329 (patch) | |
| tree | d342e61e36a234b9e54708a2688604b9a5489510 /src/opt/sfm/sfmNtk.c | |
| parent | d5234332fb29b7b50220df6a09d913d6832a425c (diff) | |
| download | abc-9268c100237e67b404c6528bf435d1f60f185329.tar.gz abc-9268c100237e67b404c6528bf435d1f60f185329.tar.bz2 abc-9268c100237e67b404c6528bf435d1f60f185329.zip | |
New MFS package.
Diffstat (limited to 'src/opt/sfm/sfmNtk.c')
| -rw-r--r-- | src/opt/sfm/sfmNtk.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/opt/sfm/sfmNtk.c b/src/opt/sfm/sfmNtk.c index 29463de6..53ec4153 100644 --- a/src/opt/sfm/sfmNtk.c +++ b/src/opt/sfm/sfmNtk.c @@ -243,6 +243,10 @@ void Sfm_NtkAddFanin( Sfm_Ntk_t * p, int iNode, int iFanin ) void Sfm_NtkDeleteObj_rec( Sfm_Ntk_t * p, int iNode ) { int i, iFanin; + if ( iNode == 202 ) + { + int s = 0; + } if ( Sfm_ObjFanoutNum(p, iNode) > 0 || Sfm_ObjIsPi(p, iNode) ) return; assert( Sfm_ObjIsNode(p, iNode) ); @@ -304,6 +308,10 @@ int Sfm_NodeReadFixed( Sfm_Ntk_t * p, int i ) { return (int)Vec_StrEntry( p->vFixed, i ); } +int Sfm_NodeReadUsed( Sfm_Ntk_t * p, int i ) +{ + return (Sfm_ObjFaninNum(p, i) > 0) || (Sfm_ObjFanoutNum(p, i) > 0); +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |