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