Searched defs:Dar_ManChoice (Results 1 – 2 of 2) sorted by relevance
379 Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose ) in Dar_ManChoice() function
378 Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fConstruct, int nC… in Dar_ManChoice() function