Searched refs:nLitsOld (Results 1 – 2 of 2) sorted by relevance
289 int r, nLitsOld, nLitsNew, nCountNoRef = 0, fStop = 0; in Cec_ManSimulation() local294 nLitsOld = Gia_ManEquivCountLits( pAig ); in Cec_ManSimulation()304 if ( nLitsOld == 0 || nLitsOld > nLitsNew ) in Cec_ManSimulation()306 nLitsOld = nLitsNew; in Cec_ManSimulation()314 assert( nLitsOld == nLitsNew ); in Cec_ManSimulation()
475 int nLitsOld = Fra_ClassesCountLits(p->pCla); in Fra_FraigInduction() local581 nLitsOld == Fra_ClassesCountLits(p->pCla) && in Fra_FraigInduction()