Searched refs:Acb_NtkFindNodes2_rec (Results 1 – 1 of 1) sorted by relevance
485 void Acb_NtkFindNodes2_rec( Acb_Ntk_t * p, int iObj, Vec_Int_t * vNodes ) in Acb_NtkFindNodes2_rec() function493 Acb_NtkFindNodes2_rec( p, iFanin, vNodes ); in Acb_NtkFindNodes2_rec()503 Acb_NtkFindNodes2_rec( p, Acb_ObjFanin(p, iObj, 0), vNodes ); in Acb_NtkFindNodes2()