174     const auto &flatExpr = flatExprs[i];  in FlatAffineValueConstraints()  local
175     assert(flatExpr.size() == getNumCols());  in FlatAffineValueConstraints()
177       addEquality(flatExpr);  in FlatAffineValueConstraints()
179       addInequality(flatExpr);  in FlatAffineValueConstraints()
478     const auto &flatExpr = flatExprs[r];  in composeMatchingMap()  local
479     assert(flatExpr.size() >= other.getNumInputs() + 1);  in composeMatchingMap()
488       eqToAdd[e + i] = -flatExpr[i];  in composeMatchingMap()
492     unsigned end = flatExpr.size() - 1;  in composeMatchingMap()
494       eqToAdd[j] = -flatExpr[i];  in composeMatchingMap()
498     eqToAdd[getNumCols() - 1] = -flatExpr[flatExpr.size() - 1];  in composeMatchingMap()
1193   for (const auto &flatExpr : flatExprs) {  in addBound()  local
1197       ineq[j] = lower ? -flatExpr[j] : flatExpr[j];  in addBound()
1207     unsigned end = flatExpr.size() - 1;  in addBound()
1209       ineq[j] = lower ? -flatExpr[i] : flatExpr[i];  in addBound()
1215     ineq[getNumCols() - 1] = (lower ? -flatExpr[flatExpr.size() - 1]  in addBound()
1216                                     : flatExpr[flatExpr.size() - 1]) +  in addBound()