Searched refs:iGiaLit1 (Results 1 – 1 of 1) sorted by relevance
195 int iGiaLit1 = Vec_IntEntry( vCopies, Gia_ObjFaninId1p(p->pGia, pObj) ); in Gia_ManRebuildOne() local197 iGiaLit1 = Abc_LitNotCond( iGiaLit1, Gia_ObjFaninC1(pObj) ); in Gia_ManRebuildOne()198 iGiaLitNew = Gia_ManHashAnd( p->pGia, iGiaLit0, iGiaLit1 ); in Gia_ManRebuildOne()