Searched refs:Gia_ManDeriveCiTfoOne (Results 1 – 1 of 1) sorted by relevance
280 Vec_Int_t * Gia_ManDeriveCiTfoOne( Gia_Man_t * p, Gia_Obj_t * pPivot ) in Gia_ManDeriveCiTfoOne() function321 Vec_PtrPush( vRes, Gia_ManDeriveCiTfoOne(p, pPivot) ); in Gia_ManDeriveCiTfo()