Searched refs:Acb_NtkFindNodes2 (Results 1 – 1 of 1) sorted by relevance
497 Vec_Int_t * Acb_NtkFindNodes2( Acb_Ntk_t * p ) in Acb_NtkFindNodes2() function569 vNodes = Acb_NtkFindNodes2( p ); in Acb_NtkToGia2()597 Vec_Int_t * vObjs = Acb_NtkFindNodes2( p ); in Acb_NtkCollectCopies()