diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 08:01:00 -0700 |
| commit | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (patch) | |
| tree | 0d35db4e2b0899206399cc19d73df75009d8af69 /src/aig/nwk/nwkUtil.c | |
| parent | b51685d6936fa397e143e1dc3b1127327325c100 (diff) | |
| download | abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.tar.gz abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.tar.bz2 abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.zip | |
Version abc80420
Diffstat (limited to 'src/aig/nwk/nwkUtil.c')
| -rw-r--r-- | src/aig/nwk/nwkUtil.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/aig/nwk/nwkUtil.c b/src/aig/nwk/nwkUtil.c index f30f7251..1ef0af67 100644 --- a/src/aig/nwk/nwkUtil.c +++ b/src/aig/nwk/nwkUtil.c @@ -447,6 +447,24 @@ void Nwk_ManPrintFanioNew( Nwk_Man_t * pNtk ) nFanoutsMax, 1.0*nFanoutsAll/Nwk_ManNodeNum(pNtk) ); } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Nwk_ManCleanMarks( Nwk_Man_t * pMan ) +{ + Nwk_Obj_t * pObj; + int i; + Nwk_ManForEachObj( pMan, pObj, i ) + pObj->MarkA = pObj->MarkB = 0; +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |