Searched refs:Abc_TtBitCount16 (Results 1 – 6 of 6) sorted by relevance
127 static inline int Abc_TtBitCount16( int i ) { return Abc_TtBitCount8[i & 0xFF] + Abc_TtBitCount8[i … in Abc_TtBitCount16() function2933 int nThis = Abc_TtBitCount16(This); in Abc_TtVerifyBiDec()2934 int nThat = Abc_TtBitCount16(That); in Abc_TtVerifyBiDec()2984 int nThis = Abc_TtBitCount16(This); in Abc_TtDeriveBiDecOne()2995 assert( Abc_TtBitCount16(This) <= nSuppLim ); in Abc_TtDeriveBiDec()2996 assert( Abc_TtBitCount16(That) <= nSuppLim ); in Abc_TtDeriveBiDec()3031 nSupp = Abc_TtBitCount16(pGraph[v] & 0xFFFF); in Abc_TtProcessBiDecInt()3048 if ( Abc_TtBitCount16(Graph) > nSuppLim ) in Abc_TtProcessBiDecInt()
479 if ( Abc_TtBitCount16(maskB) == sizeB ) in Dau_DecFindSets_int()500 if ( Abc_TtBitCount16(maskS) == sizeS ) in Dau_DecFindSets_int()
394 sum += Abc_TtScc6(pTruth[k], Abc_TtBitCount16(k)); in Abc_TtScc()433 Abc_TtSccInCofs6(pTruth[k], 6, Abc_TtBitCount16(k), pStore); in Abc_TtSccInCofs()439 pStore[v] += Abc_TtScc6(pTruth[k], Abc_TtBitCount16(kv[v - 6])); in Abc_TtSccInCofs()
233 int nOnes = Abc_TtBitCount16(i); in Maj3_ManEval()766 … if ( Abc_TtBitCount16(i) == p->pPars->nVars/2 || Abc_TtBitCount16(i) == p->pPars->nVars/2+1 ) in Zyx_ManTruthTables()
297 int nOnes = Abc_TtBitCount16(i); in Maj_ManEval()
201 int nOnes = Abc_TtBitCount16(i); in Maj_ManEval()