Searched refs:pNtkR (Results 1 – 1 of 1) sorted by relevance
2457 Abc_Ntk_t * pNtkD, * pNtkR; in Abc_NtkAddBuffs() local2463 pNtkR = Abc_NtkAddBuffsInt( pNtkInit, 1, nImprove, fVerbose ); in Abc_NtkAddBuffs()2464 if ( Abc_NtkNodeNum(pNtkD) < Abc_NtkNodeNum(pNtkR) ) in Abc_NtkAddBuffs()2466 Abc_NtkDelete( pNtkR ); in Abc_NtkAddBuffs()2472 return pNtkR; in Abc_NtkAddBuffs()