Searched refs:OverwritesRemoved (Results 1 – 1 of 1) sorted by relevance
135 int OverwritesRemoved = 0; member in __anon5ed00bad0111::SimplifyImpl214 return EmptyDomainsRemoved > 0 || OverwritesRemoved > 0 || in isModified()286 OverwritesRemoved++; in removeOverwrites()675 OS.indent(Indent + 4) << "Overwrites removed: " << OverwritesRemoved << '\n'; in printStatistics()