Searched defs:nTryCexes (Results 1 – 1 of 1) sorted by relevance
254 Abc_Cex_t * Bmc_CexCareMinimizeAig( Gia_Man_t * p, int nRealPis, Abc_Cex_t * pCex, int nTryCexes, i… in Bmc_CexCareMinimizeAig()426 Abc_Cex_t * Bmc_CexCareMinimize( Aig_Man_t * p, int nRealPis, Abc_Cex_t * pCex, int nTryCexes, int … in Bmc_CexCareMinimize()