diff options
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 /// |