Searched defs:Dar_ManComputeCuts (Results 1 – 2 of 2) sorted by relevance
225 Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax ) in Dar_ManComputeCuts() function
287 Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax, int fSkipTtMin, int fVerbose ) in Dar_ManComputeCuts() function