Searched refs:Gia_ManSuppSize_rec (Results 1 – 1 of 1) sorted by relevance
260 int Gia_ManSuppSize_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) in Gia_ManSuppSize_rec() function268 return Gia_ManSuppSize_rec( p, Gia_ObjFanin0(pObj) ) + in Gia_ManSuppSize_rec()269 Gia_ManSuppSize_rec( p, Gia_ObjFanin1(pObj) ); in Gia_ManSuppSize_rec()286 return Gia_ManSuppSize_rec( p, pObj ); in Gia_ManSuppSizeOne()334 Counter += Gia_ManSuppSize_rec( p, Gia_ObjFanin0(pObj) ); in Gia_ManSuppSize()336 Counter += Gia_ManSuppSize_rec( p, pObj ); in Gia_ManSuppSize()