Searched refs:constTerm (Results 1 – 3 of 3) sorted by relevance
316 int64_t constTerm = tableau(row, 1); in findPivotRow() local321 retConst = constTerm; in findPivotRow()325 int64_t diff = retConst * elem - constTerm * retElem; in findPivotRow()330 retConst = constTerm; in findPivotRow()
855 int64_t constTerm = flatExprs[flatExprs.size() - 1]; in getAffineExprFromFlatForm() local856 if (constTerm != 0) in getAffineExprFromFlatForm()857 expr = expr + constTerm; in getAffineExprFromFlatForm()
2409 int64_t constTerm = atIneq(r, getNumCols() - 1); in removeTrivialRedundancy() local2412 rowsWithoutConstTerm.insert({rowWithoutConstTerm, {r, constTerm}}); in removeTrivialRedundancy()2416 if (val.second > constTerm) { in removeTrivialRedundancy()2419 val = {r, constTerm}; in removeTrivialRedundancy()