212                                   unsigned newNumDims, unsigned newNumSymbols,  in reset()  argument
215   assert(newNumReservedCols >= newNumDims + newNumSymbols + newNumLocals + 1 &&  in reset()
218   numDims = newNumDims;  in reset()
235 void FlatAffineConstraints::reset(unsigned newNumDims, unsigned newNumSymbols,  in reset()  argument
238   reset(0, 0, newNumDims + newNumSymbols + newNumLocals + 1, newNumDims,  in reset()
2462   unsigned newNumDims, newNumSymbols;  in getNewNumDimsSymbols()  local
2464     newNumDims = numDims - 1;  in getNewNumDimsSymbols()
2468     newNumDims = numDims;  in getNewNumDimsSymbols()
2471     newNumDims = numDims;  in getNewNumDimsSymbols()
2474   return {newNumDims, newNumSymbols};  in getNewNumDimsSymbols()
2587   unsigned newNumDims = dimsSymbols.first;  in FourierMotzkinEliminate()  local
2598       getNumEqualities(), getNumCols() - 1, newNumDims, newNumSymbols,  in FourierMotzkinEliminate()
2599       /*numLocals=*/getNumIds() - 1 - newNumDims - newNumSymbols, newIds);  in FourierMotzkinEliminate()