Searched refs:Abc_TtScc6 (Results 1 – 1 of 1) sorted by relevance
376 static int Abc_TtScc6(word wTruth, int ck) in Abc_TtScc6() function394 sum += Abc_TtScc6(pTruth[k], Abc_TtBitCount16(k)); in Abc_TtScc()439 pStore[v] += Abc_TtScc6(pTruth[k], Abc_TtBitCount16(kv[v - 6])); in Abc_TtSccInCofs()