Lines Matching refs:removeVarRange
151 removeVarRange(kind, num, curNum); in truncateVarKind()
224 space.removeVarRange(VarKind::Local, 0, getNumLocalVars()); in computeReprWithOnlyDivLocals()
289 removeVarRange(kind, pos, pos + 1); in removeVar()
292 void IntegerRelation::removeVar(unsigned pos) { removeVarRange(pos, pos + 1); } in removeVar()
294 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in IntegerRelation
307 space.removeVarRange(kind, varStart, varLimit); in removeVarRange()
310 void IntegerRelation::removeVarRange(unsigned varStart, unsigned varLimit) { in removeVarRange() function in IntegerRelation
334 removeVarRange(kind, relativeStart, relativeLimit); in removeVarRange()
459 removeVarRange(pos, pos + values.size()); in setAndEliminate()
802 boundedSet.removeVarRange(numBoundedDims, boundedSet.getNumVars()); in findIntegerSample()
1014 removeVarRange(posStart, posLimit); in gaussianEliminateVars()
1281 removeVarRange(srcKind, varStart, varLimit); in convertVarKind()
1798 newSpace.removeVarRange(idKindRemove, relativePos, relativePos + 1); in fourierMotzkinEliminate()