Searched refs:delete_unsatisfying_elements (Results 1 – 3 of 3) sorted by relevance
189 void delete_unsatisfying_elements(const CellIt begin, const CellIt end) in delete_unsatisfying_elements() function
201 void delete_unsatisfying_elements(const CellIt begin, const CellIt end) { in delete_unsatisfying_elements() function
2566 cover_manager.delete_unsatisfying_elements(cells.begin(), cells.end());3175 cover_manager.delete_unsatisfying_elements(hole.begin(), hole.end());