Searched refs:iDsdC (Results 1 – 1 of 1) sorted by relevance
359 assert( iDsdC != -1 || iDsd0 >= iDsd1 ); in Ifd_ManHashLookup()360 assert( iDsdC == -1 || !Abc_LitIsCompl(iDsd1) ); in Ifd_ManHashLookup()363 pData[2] = iDsdC; in Ifd_ManHashLookup()370 assert( iDsdC != -1 || iDsd0 >= iDsd1 ); in Ifd_ManHashInsert()374 Vec_IntPush( p->vArgs, iDsdC ); in Ifd_ManHashInsert()385 assert( iDsdC != -1 || iDsd0 >= iDsd1 ); in Ifd_ManHashFindOrAdd()389 Vec_IntPush( p->vArgs, iDsdC ); in Ifd_ManHashFindOrAdd()422 pObj->pFans[2] = iDsdC; in Ifd_ManHashFindOrAdd()462 if ( Abc_LitIsCompl(iDsdC) ) in Ifd_ManOper()465 iDsdC = Abc_LitNot(iDsdC); in Ifd_ManOper()[all …]