Lines Matching refs:getNumDimVars

1342     unsigned f = symbolic ? cst.getNumDimVars() : cst.getNumVars();  in findEqualityToConstant()
1397   assert(pos < getNumDimVars() && "Invalid variable position");  in getConstantBoundOnDimSize()
1421         (*lb)[c] = v < 0 ? atEq(eqPos, getNumDimVars() + c) / -v  in getConstantBoundOnDimSize()
1422                          : -atEq(eqPos, getNumDimVars() + c) / v;  in getConstantBoundOnDimSize()
1457                                /*num=*/getNumDimVars());  in getConstantBoundOnDimSize()
1500       (*lb)[c] = -atIneq(minLbPosition, getNumDimVars() + c);  in getConstantBoundOnDimSize()
1504         (*ub)[c] = atIneq(minUbPosition, getNumDimVars() + c);  in getConstantBoundOnDimSize()
1987   boundingLbs.reserve(2 * getNumDimVars());  in unionBoundingBox()
1988   boundingUbs.reserve(2 * getNumDimVars());  in unionBoundingBox()
1999   for (unsigned d = 0, e = getNumDimVars(); d < e; ++d) {  in unionBoundingBox()
2059     std::copy(minLb.begin(), minLb.end(), newLb.begin() + getNumDimVars());  in unionBoundingBox()
2060     std::transform(newLb.begin() + getNumDimVars(), newLb.end(),  in unionBoundingBox()
2061                    newLb.begin() + getNumDimVars(), std::negate<int64_t>());  in unionBoundingBox()
2062     std::copy(maxUb.begin(), maxUb.end(), newUb.begin() + getNumDimVars());  in unionBoundingBox()
2070   for (unsigned d = 0, e = getNumDimVars(); d < e; ++d) {  in unionBoundingBox()