Searched refs:getNumSymbolIds (Results 1 – 6 of 6) sorted by relevance
149 numSymbols = other.getNumSymbolIds(); in FlatAffineConstraints()245 assert(other.getNumSymbolIds() == getNumSymbolIds()); in append()278 assert(pos <= getNumSymbolIds()); in addId()300 absolutePos = pos + getNumDimIds() + getNumSymbolIds(); in addId()347 A.getNumSymbolIds() == B.getNumSymbolIds() && in areIdsAligned()448 A->addSymbolId(A->getNumSymbolIds()); in mergeAndAlignIds()516 unsigned j = getNumDimIds() + getNumSymbolIds(); in composeMap()538 assert(other.getNumSymbols() == getNumSymbolIds() && "symbol mismatch"); in composeMatchingMap()585 unsigned j = getNumDimIds() + getNumSymbolIds(); in composeMatchingMap()606 cst->setDimSymbolSeparation(cst->getNumSymbolIds() + 1); in turnDimIntoSymbol()[all …]
17 : nDim(fac.getNumDimIds()), nSym(fac.getNumSymbolIds()) { in PresburgerSet()47 assert(fac.getNumSymbolIds() == set.getNumSyms() && in assertDimensionsCompatible()259 fac.getNumSymbolIds()); in getSetDifference()261 PresburgerSet result(fac.getNumDimIds(), fac.getNumSymbolIds()); in getSetDifference()
178 lb.resize(cstWithShapeBounds.getNumSymbolIds() + 1, 0); in getConstantBoundingSizeAndShape()366 /*num=*/cst.getNumSymbolIds()); in compute()
481 unsigned numSymbols = dependenceDomain->getNumSymbolIds(); in addMemRefAccessConstraints()
435 inline unsigned getNumSymbolIds() const { return numSymbols; } in getNumSymbolIds() function
2419 cst->getNumDimIds() + cst->getNumSymbolIds() - rank, 0, offset); in generateCopy()