Searched refs:Acb_NtkCollectCopies (Results 1 – 1 of 1) sorted by relevance
594 Vec_Int_t * Acb_NtkCollectCopies( Acb_Ntk_t * p, Gia_Man_t * pGia, Vec_Ptr_t ** pvNodesR, Vec_Bit_t… in Acb_NtkCollectCopies() function679 *pvNodes = Acb_NtkCollectCopies( pNtkF, pGiaF, pvNodesR, pvPolar ); in Acb_NtkExtract()