Searched refs:Gia_ManBlackBoxNum (Results 1 – 3 of 3) sorted by relevance
62 int Gia_ManBlackBoxNum( Gia_Man_t * p ) in Gia_ManBlackBoxNum() function
556 Abc_Print( 1, " bb = %d", Gia_ManBlackBoxNum(p) ); in Gia_ManPrintStats()
1614 extern int Gia_ManBlackBoxNum( Gia_Man_t * p );