Searched refs:pnBestNtkLevels (Results 1 – 1 of 1) sorted by relevance
29667 int * pnBestNtkNodes, int * pnBestNtkLevels, int fArea ) in Abc_NtkCompareWithBest() argument29679 …(!fArea && (*pnBestNtkLevels > nNtkLevels || (*pnBestNtkLevels == nNtkLevels && *pnBestNtkDelay > … in Abc_NtkCompareWithBest()29686 *pnBestNtkLevels = nNtkLevels; in Abc_NtkCompareWithBest()