Searched defs:NoR (Results 1 – 3 of 3) sorted by relevance
62 auto NoR = LZ > vector<uint32_t, N>(10); in __impl_ui2fp__double__() local
267 int No = Gia_ManHashAnd( pNew, Abc_LitNot(pArg1[nBits-1]), pArg0[nBits-1] ), NoR; in Cba_BlastLess_rec() local
291 int No = Gia_ManHashAnd( pNew, Abc_LitNot(pArg1[nBits-1]), pArg0[nBits-1] ), NoR; in Wlc_BlastLess_rec() local