Searched refs:vMarksTop (Results 1 – 1 of 1) sorted by relevance
547 Vec_Bit_t * vMarksTop = Vec_BitStart( Vec_IntSize(vFadds)/5 ); in Gia_ManCollectTopmost() local550 Vec_BitWriteEntry( vMarksTop, iFadd, 1 ); in Gia_ManCollectTopmost()555 if ( Vec_BitEntry(vMarksTop, i) ) in Gia_ManCollectTopmost()570 Vec_BitFree( vMarksTop ); in Gia_ManCollectTopmost()