Searched refs:Rwr_ScoresClean (Results 1 – 3 of 3) sorted by relevance
133 extern void Rwr_ScoresClean( Rwr_Man_t * p );
504 void Rwr_ScoresClean( Rwr_Man_t * p ) in Rwr_ScoresClean() function
105 Rwr_ScoresClean( pManRwr ); in Abc_NtkRewrite()