Searched refs:Acb_NtkToGia2 (Results 1 – 1 of 1) sorted by relevance
552 Gia_Man_t * Acb_NtkToGia2( Acb_Ntk_t * p, int fUseXors, Vec_Int_t * vTargets, int nTargets ) in Acb_NtkToGia2() function673 Gia_Man_t * pGiaF = Acb_NtkToGia2( pNtkF, fUseXors, &pNtkF->vTargets, 0 ); in Acb_NtkExtract()674 Gia_Man_t * pGiaG = Acb_NtkToGia2( pNtkG, 0, NULL, nTargets ); in Acb_NtkExtract()