Searched refs:Gia_SweeperCondCheckUnsat (Results 1 – 2 of 2) sorted by relevance
924 int Gia_SweeperCondCheckUnsat( Gia_Man_t * pGia ) in Gia_SweeperCondCheckUnsat() function
1597 extern int Gia_SweeperCondCheckUnsat( Gia_Man_t * p );