Searched defs:pGiaF (Results 1 – 2 of 2) sorted by relevance
673 Gia_Man_t * pGiaF = Acb_NtkToGia2( pNtkF, fUseXors, &pNtkF->vTargets, 0 ); in Acb_NtkExtract() local784 Gia_Man_t * pGiaF = Abc_NtkToGia2( pNtkF, fUseXors ); in Abc_NtkExtract() local
2502 Gia_Man_t * pGiaF = Acb_NtkToGia( pNtkF, vSupp, vNodesF, vRoots, vDivs, &pNtkF->vTargets ); in Acb_NtkEcoPerform() local