Searched refs:Abc_TtCountOnes (Results 1 – 7 of 7) sorted by relevance
262 printf( "%d", Abc_TtCountOnes(pCexes[i]) / 10 ); in Rsb_DecPrintTable()265 printf( "%d", Abc_TtCountOnes(pCexes[i]) / 10 ); in Rsb_DecPrintTable()272 printf( "%d", Abc_TtCountOnes(pCexes[i]) % 10 ); in Rsb_DecPrintTable()275 printf( "%d", Abc_TtCountOnes(pCexes[i]) % 10 ); in Rsb_DecPrintTable()
887 Neg = Abc_TtCountOnes( Abc_Tt6Cofactor0(uTruth, v) ) / 2; in Ifd_ComputeSignature()888 Pos = Abc_TtCountOnes( Abc_Tt6Cofactor1(uTruth, v) ) / 2; in Ifd_ComputeSignature()889 Xor = Abc_TtCountOnes( Abc_Tt6Cofactor0(uTruth, v) ^ Abc_Tt6Cofactor1(uTruth, v) ) / 2; in Ifd_ComputeSignature()
618 if ( Abc_TtCountOnes(p->pSigns[0][c0] | p->pSigns[1][c1]) <= p->nLutSize ) in Mpm_ManDeriveCuts()628 … if ( Abc_TtCountOnes(p->pSigns[0][c0] | p->pSigns[1][c1] | p->pSigns[2][c2]) <= p->nLutSize ) in Mpm_ManDeriveCuts()
323 Counter += Abc_TtCountOnes( pTruth[k] ); in Abc_TtCountOnesInTruth()334 pStore[i] = Abc_TtCountOnes( pTruth[0] & s_Truths6Neg[i] ); in Abc_TtCountOnesInCofs()345 pStore[i] += Abc_TtCountOnes( Temp ); in Abc_TtCountOnesInCofs()349 Counter = Abc_TtCountOnes( pTruth[k] ); in Abc_TtCountOnesInCofs()358 Counter = Abc_TtCountOnes( pTruth[k] ); in Abc_TtCountOnesInCofs()
1810 static inline int Abc_TtCountOnes( word x ) in Abc_TtCountOnes() function1824 Count += Abc_TtCountOnes( x[w] ); in Abc_TtCountOnesVec()1832 Count += Abc_TtCountOnes( pMask[w] & ~x[w] ); in Abc_TtCountOnesVecMask()1835 Count += Abc_TtCountOnes( pMask[w] & x[w] ); in Abc_TtCountOnesVecMask()1842 Count += Abc_TtCountOnes( x[w] ^ y[w] ); in Abc_TtCountOnesVecXor()
245 Count += Abc_TtCountOnes( pCube[w] ); in Mop_ManCountOnes()
972 Ones[c0] = Abc_TtCountOnes( Cover[c0] ); in Sbd_ManFindCands()