Searched refs:rowWithoutConstTerm (Results 1 – 1 of 1) sorted by relevance
2410 auto rowWithoutConstTerm = ArrayRef<int64_t>(rowStart, getNumCols() - 1); in removeTrivialRedundancy() local2412 rowsWithoutConstTerm.insert({rowWithoutConstTerm, {r, constTerm}}); in removeTrivialRedundancy()