Searched refs:Gia_ManCheckPOs_rec (Results 1 – 1 of 1) sorted by relevance
1452 int Gia_ManCheckPOs_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) in Gia_ManCheckPOs_rec() function1460 return Gia_ManCheckPOs_rec( p, Gia_ObjFanin0(pObj) ) + in Gia_ManCheckPOs_rec()1461 Gia_ManCheckPOs_rec( p, Gia_ObjFanin1(pObj) ); in Gia_ManCheckPOs_rec()1487 CountCur = Gia_ManCheckPOs_rec( p->pNew, pObjNew ); in Gia_ManCheckPOs()