148   numDims = other.getNumDimIds();  in FlatAffineConstraints()
244   assert(other.getNumDimIds() == getNumDimIds());  in append()
276     assert(pos <= getNumDimIds());  in addId()
297     absolutePos = pos + getNumDimIds();  in addId()
300     absolutePos = pos + getNumDimIds() + getNumSymbolIds();  in addId()
346   return A.getNumDimIds() == B.getNumDimIds() &&  in areIdsAligned()
381   assert(offset <= A->getNumDimIds() && offset <= B->getNumDimIds());  in mergeAndAlignIds()
404   A->getIdValues(offset, A->getNumDimIds(), &aDimValues);  in mergeAndAlignIds()
405   A->getIdValues(A->getNumDimIds(), A->getNumDimAndSymbolIds(), &aSymValues);  in mergeAndAlignIds()
413         assert(loc < B->getNumDimIds() &&  in mergeAndAlignIds()
424     for (unsigned t = A->getNumDimIds(), e = B->getNumDimIds(); t < e; t++) {  in mergeAndAlignIds()
425       A->addDimId(A->getNumDimIds());  in mergeAndAlignIds()
426       A->setIdValue(A->getNumDimIds() - 1, B->getIdValue(t));  in mergeAndAlignIds()
431     unsigned s = B->getNumDimIds();  in mergeAndAlignIds()
435         assert(loc >= B->getNumDimIds() && loc < B->getNumDimAndSymbolIds() &&  in mergeAndAlignIds()
439         B->addSymbolId(s - B->getNumDimIds());  in mergeAndAlignIds()
516     unsigned j = getNumDimIds() + getNumSymbolIds();  in composeMap()
537   assert(other.getNumDims() == getNumDimIds() && "dim mismatch");  in composeMatchingMap()
585     unsigned j = getNumDimIds() + getNumSymbolIds();  in composeMatchingMap()
604   if (cst->findId(id, &pos) && pos < cst->getNumDimIds()) {  in turnDimIntoSymbol()
605     cst->swapId(pos, cst->getNumDimIds() - 1);  in turnDimIntoSymbol()
613   if (cst->findId(id, &pos) && pos >= cst->getNumDimIds() &&  in turnSymbolIntoDim()
615     cst->swapId(pos, cst->getNumDimIds());  in turnSymbolIntoDim()
624   for (unsigned i = getNumDimIds(), e = getNumDimAndSymbolIds(); i < e; i++) {  in convertLoopIVSymbolsToDims()
643     addDimId(getNumDimIds(), id);  in addInductionVarOrTerminalSymbol()
1486   assert(pos + offset < getNumDimIds() && "invalid dim start pos");  in getLowerAndUpperBound()
1575   assert(num < getNumDimIds() && "invalid range");  in getSliceBounds()
1587   for (unsigned i = 0, e = getNumDimIds(); i < e; i++) {  in getSliceBounds()
1593   for (unsigned i = getNumDimIds(), e = getNumDimAndSymbolIds(); i < e; i++)  in getSliceBounds()
1594     memo[i] = getAffineSymbolExpr(i - getNumDimIds(), context);  in getSliceBounds()
1679     unsigned numMapDims = getNumDimIds() - num;  in getSliceBounds()
1704             pos, offset, num, getNumDimIds(), /*localExprs=*/{}, context);  in getSliceBounds()
1777         if (pos >= getNumDimIds() && pos < getNumDimAndSymbolIds()) {  in addLowerOrUpperBound()
1780         } else if (pos < getNumDimIds()) {  in addLowerOrUpperBound()
2057     unsigned f = symbolic ? cst.getNumDimIds() : cst.getNumIds();  in findEqualityToConstant()
2122   assert(pos < getNumDimIds() && "Invalid identifier position");  in getConstantBoundOnDimSize()
2146         (*lb)[c] = v < 0 ? atEq(eqPos, getNumDimIds() + c) / -v  in getConstantBoundOnDimSize()
2147                          : -atEq(eqPos, getNumDimIds() + c) / v;  in getConstantBoundOnDimSize()
2182                                /*num=*/getNumDimIds());  in getConstantBoundOnDimSize()
2223       (*lb)[c] = -atIneq(minLbPosition, getNumDimIds() + c);  in getConstantBoundOnDimSize()
2227         (*ub)[c] = atIneq(minUbPosition, getNumDimIds() + c);  in getConstantBoundOnDimSize()
2340   os << "\nConstraints (" << getNumDimIds() << " dims, " << getNumSymbolIds()  in print()
2460   unsigned numDims = cst.getNumDimIds();  in getNewNumDimsSymbols()
2766   C.reset(A.getNumDimIds(), A.getNumSymbolIds(), A.getNumLocalIds());  in getCommonConstraints()
2790   assert(otherCst.getNumDimIds() == numDims && "dims mismatch");  in unionBoundingBox()
2792              .slice(0, getNumDimIds())  in unionBoundingBox()
2793              .equals(getIds().slice(0, getNumDimIds())) &&  in unionBoundingBox()
2814   boundingLbs.reserve(2 * getNumDimIds());  in unionBoundingBox()
2815   boundingUbs.reserve(2 * getNumDimIds());  in unionBoundingBox()
2826   for (unsigned d = 0, e = getNumDimIds(); d < e; ++d) {  in unionBoundingBox()
2886     std::copy(minLb.begin(), minLb.end(), newLb.begin() + getNumDimIds());  in unionBoundingBox()
2887     std::transform(newLb.begin() + getNumDimIds(), newLb.end(),  in unionBoundingBox()
2888                    newLb.begin() + getNumDimIds(), std::negate<int64_t>());  in unionBoundingBox()
2889     std::copy(maxUb.begin(), maxUb.end(), newUb.begin() + getNumDimIds());  in unionBoundingBox()
2897   for (unsigned d = 0, e = getNumDimIds(); d < e; ++d) {  in unionBoundingBox()
2919   unsigned numDims = cst.getNumDimIds();  in computeLocalVars()
2949   unsigned numDims = getNumDimIds();  in getIneqAsAffineValueMap()
3002     return IntegerSet::get(getNumDimIds(), getNumSymbolIds(),  in getAsIntegerSet()
3025   unsigned numDims = getNumDimIds();  in getAsIntegerSet()