Searched refs:rowsWithoutConstTerm (Results 1 – 1 of 1) sorted by relevance
2382 rowsWithoutConstTerm; in removeTrivialRedundancy() local2412 rowsWithoutConstTerm.insert({rowWithoutConstTerm, {r, constTerm}}); in removeTrivialRedundancy()