Searched refs:Bmc_CexBitCount (Results 1 – 1 of 1) sorted by relevance
51 int Bmc_CexBitCount( Abc_Cex_t * p, int nInputs ) in Bmc_CexBitCount() function82 int nBitsCare = Bmc_CexBitCount(pCexCare, nInputs); in Bmc_CexDumpStats()84 int nBitsEss = Bmc_CexBitCount(pCexEss, nInputs); in Bmc_CexDumpStats()86 int nBitsMin = Bmc_CexBitCount(pCexMin, nInputs); in Bmc_CexDumpStats()