Searched refs:Saig_ManBmcComputeMappingRefs (Results 1 – 1 of 1) sorted by relevance
690 Vec_Int_t * Saig_ManBmcComputeMappingRefs( Aig_Man_t * p, Vec_Int_t * vMap ) in Saig_ManBmcComputeMappingRefs() function731 p->vMapRefs = Saig_ManBmcComputeMappingRefs( pAig, p->vMapping ); in Saig_Bmc3ManStart()