Searched refs:Saig_ManBmcCountRefed (Results 1 – 1 of 1) sorted by relevance
536 int Saig_ManBmcCountRefed( Aig_Man_t * p, Vec_Ptr_t * vSuper ) in Saig_ManBmcCountRefed() function568 Abc_Print( 1, "%d=%d(%d) ", i, Vec_PtrSize(vSuper), Saig_ManBmcCountRefed(p, vSuper) ); in Saig_ManBmcSupergateTest()