Searched refs:Gia_SweeperCondPush (Results 1 – 2 of 2) sorted by relevance
319 void Gia_SweeperCondPush( Gia_Man_t * p, int ProbeId ) in Gia_SweeperCondPush() function1168 Gia_SweeperCondPush( p, Gia_SweeperProbeCreate( p, Gia_ObjFaninLit0p(p, pObj) ) ); in Gia_SweeperFraigTest()
1595 extern void Gia_SweeperCondPush( Gia_Man_t * p, int ProbeId );