Searched refs:vSuppF (Results 1 – 1 of 1) sorted by relevance
2494 Vec_Int_t * vSuppF = Acb_NtkFindSupp( pNtkF, vRoots ); in Acb_NtkEcoPerform() local2496 Vec_Int_t * vSupp = Vec_IntTwoMerge( vSuppF, vSuppG ); in Acb_NtkEcoPerform()2680 Vec_IntFreeP( &vSuppF ); in Acb_NtkEcoPerform()