1448   unsigned numSyms = cst.getNumSymbolVars();  in computeLocalVars()  local
1453   for (unsigned i = numDims, e = numDims + numSyms; i < e; i++)  in computeLocalVars()
1463       if (!memo[numDims + numSyms + i] &&  in computeLocalVars()
1464           detectAsFloorDiv(cst, /*pos=*/numDims + numSyms + i, context, memo))  in computeLocalVars()
1478   unsigned numSyms = getNumSymbolVars();  in getIneqAsAffineValueMap()  local
1507   auto boundExpr = getAffineExprFromFlatForm(bound, numDims - 1, numSyms,  in getIneqAsAffineValueMap()
1516   vmap.reset(AffineMap::get(numDims - 1, numSyms, boundExpr), operands);  in getIneqAsAffineValueMap()
1555   unsigned numSyms = getNumSymbolVars();  in getAsIntegerSet()  local
1565     exprs.push_back(getAffineExprFromFlatForm(getEquality(i), numDims, numSyms,  in getAsIntegerSet()
1569                                               numSyms, localExprs, context));  in getAsIntegerSet()
1570   return IntegerSet::get(numDims, numSyms, exprs, eqFlags);  in getAsIntegerSet()