Searched refs:fPrevStatus (Results 1 – 1 of 1) sorted by relevance
758 int b, fEqual = 0, fPrevStatus = 0; in Bmc_CexEssentialBits() local784 if ( fEqual && fPrevStatus ) in Bmc_CexEssentialBits()793 fPrevStatus = !Gia_ManPo(p, pCexState->iPo)->fMark1; in Bmc_CexEssentialBits()