Searched refs:Acb_NtkFindSupp (Results 1 – 1 of 1) sorted by relevance
528 Vec_Int_t * Acb_NtkFindSupp( Acb_Ntk_t * p, Vec_Int_t * vRoots ) in Acb_NtkFindSupp() function2494 Vec_Int_t * vSuppF = Acb_NtkFindSupp( pNtkF, vRoots ); in Acb_NtkEcoPerform()2495 Vec_Int_t * vSuppG = Acb_NtkFindSupp( pNtkG, vRoots ); in Acb_NtkEcoPerform()