Searched refs:Lms_GiaCollectUsefulCos (Results 1 – 1 of 1) sorted by relevance
1201 Vec_Int_t * Lms_GiaCollectUsefulCos( Lms_Man_t * p ) in Lms_GiaCollectUsefulCos() function1240 vUseful = Lms_GiaCollectUsefulCos( p ); in Lms_GiaFindNonRedundantCos()