Searched refs:Acb_NtkFindRoots (Results 1 – 1 of 1) sorted by relevance
480 Vec_Int_t * Acb_NtkFindRoots( Acb_Ntk_t * p, Vec_Int_t * vTargets, Vec_Bit_t ** pvBlock ) in Acb_NtkFindRoots() function2493 Vec_Int_t * vRoots = Acb_NtkFindRoots( pNtkF, &pNtkF->vTargets, &vBlock ); in Acb_NtkEcoPerform()