Searched refs:nPaths1 (Results 1 – 1 of 1) sorted by relevance
349 int LevelD, LevelR, nPaths1, nPaths2; in Acb_NtkUpdateTiming() local375 nPaths1 = p->nPaths; in Acb_NtkUpdateTiming()380 assert( nPaths1 == nPaths2 ); in Acb_NtkUpdateTiming()