Searched defs:constTerm (Results 1 – 3 of 3) sorted by relevance
920 int64_t constTerm = flatExprs[flatExprs.size() - 1]; in getAffineExprFromFlatForm() local1095 int64_t constTerm = flatExprs.back(); in getSemiAffineExprFromFlatForm() local
1019 int64_t constTerm = tableau(row, 1); in findPivotRow() local1276 int64_t constTerm = ineq.back(); in addDivisionVariable() local
1662 int64_t constTerm = atIneq(r, getNumCols() - 1); in removeTrivialRedundancy() local