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