Searched defs:none_removed (Results 1 – 2 of 2) sorted by relevance
8652 bool none_removed = false; in remove_edge_and_dominated_blocks() local
8745 bool none_removed = false; in remove_edge_and_dominated_blocks() local