42   assert(space.getNumVars() == oSpace.getNumVars() && "invalid space!");  in setSpace()
48   assert(oSpace.getNumVars() <= getNumVars() && "invalid space!");  in setSpaceExceptLocals()
49   unsigned newNumLocals = getNumVars() - oSpace.getNumVars();  in setSpaceExceptLocals()
100   assert(maybeLexMin->size() == getNumVars() &&  in findRationalLexMin()
120   assert(maybeLexMin->size() == getNumVars() &&  in findIntegerLexMin()
216                              /*numDims=*/copy.getNumVars() - numNonDivLocals)))  in computeReprWithOnlyDivLocals()
233   llvm::SmallBitVector isSymbol(getNumVars(), false);  in findSymbolicIntegerLexMin()
311   assert(varLimit <= getNumVars());  in removeVarRange()
369   assert(posA < getNumVars() && "invalid position A");  in swapVar()
370   assert(posB < getNumVars() && "invalid position B");  in swapVar()
391   assert(pos < getNumVars() && "invalid position");  in getLowerAndUpperBoundIndices()
449   assert(pos + values.size() <= getNumVars() &&  in setAndEliminate()
563   assert(start < cst.getNumVars() && end < cst.getNumVars() + 1);  in getBestVarToEliminate()
607   while (currentPos < tmpCst.getNumVars()) {  in isEmpty()
608     tmpCst.gaussianEliminateVars(currentPos, tmpCst.getNumVars());  in isEmpty()
619   for (unsigned i = 0, e = tmpCst.getNumVars(); i < e; i++) {  in isEmpty()
621         getBestVarToEliminate(tmpCst, 0, tmpCst.getNumVars()));  in isEmpty()
627     if (tmpCst.getNumConstraints() >= kExplosionFactor * getNumVars()) {  in isEmpty()
799   unsigned numUnboundedDims = getNumVars() - numBoundedDims;  in findIntegerSample()
802   boundedSet.removeVarRange(numBoundedDims, boundedSet.getNumVars());  in findIntegerSample()
843     for (unsigned j = 0; j < cone.getNumVars(); ++j) {  in findIntegerSample()
846         cone.atIneq(i, cone.getNumVars()) += coeff;  in findIntegerSample()
906   assert(point.size() == getNumVars() - getNumLocalVars() &&  in containsPointNoLocal()
908   assert(getVarKindOffset(VarKind::Local) == getNumVars() - getNumLocalVars() &&  in containsPointNoLocal()
917   SmallVector<bool, 8> foundRepr(getNumVars(), false);  in getLocalReprs()
922   DivisionRepr divs(getNumVars(), getNumLocalVars());  in getLocalReprs()
973   assert(posLimit <= getNumVars());  in gaussianEliminateVars()
1107   SmallVector<int64_t, 8> dim(getNumVars() + 1);  in computeVolume()
1225       for (j = getNumDimAndSymbolVars(), f = getNumVars(); j < f; ++j)  in removeRedundantLocalVars()
1336   assert(pos < cst.getNumVars() && "invalid position");  in findEqualityToConstant()
1342     unsigned f = symbolic ? cst.getNumDimVars() : cst.getNumVars();  in findEqualityToConstant()
1360   assert(pos < getNumVars() && "invalid position");  in constantFoldVar()
1522   assert(pos < getNumVars() && "invalid position");  in computeConstantLowerOrUpperBound()
1525   projectOut(1, getNumVars() - 1);  in computeConstantLowerOrUpperBound()
1742   assert(pos < getNumVars() && "invalid position");  in fourierMotzkinEliminate()
1905   while (currentPos < getNumVars()) {  in projectOut()
2098   assert(pos < cst.getNumVars() && "invalid start position");  in getIndependentConstraints()
2099   assert(pos + num <= cst.getNumVars() && "invalid limit");  in getIndependentConstraints()
2125   assert(pos + num <= getNumVars() && "invalid range");  in removeIndependentConstraints()