51   space.insertVar(VarKind::Local, 0, newNumLocals);  in setSpaceExceptLocals()
148 void IntegerRelation::truncateVarKind(VarKind kind, unsigned num) {  in truncateVarKind()
154 void IntegerRelation::truncateVarKind(VarKind kind,  in truncateVarKind()
160   truncateVarKind(VarKind::Domain, counts);  in truncate()
161   truncateVarKind(VarKind::Range, counts);  in truncate()
162   truncateVarKind(VarKind::Symbol, counts);  in truncate()
163   truncateVarKind(VarKind::Local, counts);  in truncate()
184   unsigned offset = copy.getVarKindOffset(VarKind::Local);  in computeReprWithOnlyDivLocals()
224   space.removeVarRange(VarKind::Local, 0, getNumLocalVars());  in computeReprWithOnlyDivLocals()
234   isSymbol.set(getVarKindOffset(VarKind::Symbol),  in findSymbolicIntegerLexMin()
235                getVarKindEnd(VarKind::Symbol));  in findSymbolicIntegerLexMin()
236   isSymbol.set(getVarKindOffset(VarKind::Domain),  in findSymbolicIntegerLexMin()
237                getVarKindEnd(VarKind::Domain));  in findSymbolicIntegerLexMin()
260 unsigned IntegerRelation::insertVar(VarKind kind, unsigned pos, unsigned num) {  in insertVar()
269 unsigned IntegerRelation::appendVar(VarKind kind, unsigned num) {  in appendVar()
288 void IntegerRelation::removeVar(VarKind kind, unsigned pos) {  in removeVar()
294 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart,  in removeVarRange()
319   auto removeVarKindInRange = [this](VarKind kind, unsigned &start,  in removeVarRange()
342   removeVarKindInRange(VarKind::Domain, varStart, varLimit);  in removeVarRange()
343   removeVarKindInRange(VarKind::Range, varStart, varLimit);  in removeVarRange()
344   removeVarKindInRange(VarKind::Symbol, varStart, varLimit);  in removeVarRange()
345   removeVarKindInRange(VarKind::Local, varStart, varLimit);  in removeVarRange()
908   assert(getVarKindOffset(VarKind::Local) == getNumVars() - getNumLocalVars() &&  in containsPointNoLocal()
921   unsigned localOffset = getVarKindOffset(VarKind::Local);  in getLocalReprs()
1144   unsigned localOffset = getVarKindOffset(VarKind::Local);  in eliminateRedundantLocalVar()
1257 void IntegerRelation::convertVarKind(VarKind srcKind, unsigned varStart,  in convertVarKind()
1258                                      unsigned varLimit, VarKind dstKind,  in convertVarKind()
1319   appendVar(VarKind::Local);  in addLocalFloorDiv()
1796   VarKind idKindRemove = newSpace.getVarKindAt(pos);  in fourierMotzkinEliminate()
2144   copyRel.convertVarKind(VarKind::Range, 0, getNumVarKind(VarKind::Range),  in getDomainSet()
2145                          VarKind::Local);  in getDomainSet()
2148   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),  in getDomainSet()
2149                          VarKind::SetDim);  in getDomainSet()
2158   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),  in getRangeSet()
2159                          VarKind::Local);  in getRangeSet()
2176   rel.appendVar(VarKind::Range, getNumRangeVars());  in intersectDomain()
2190   rel.appendVar(VarKind::Domain, getNumDomainVars());  in intersectRange()
2197   unsigned numRangeVars = getNumVarKind(VarKind::Range);  in inverse()
2198   convertVarKind(VarKind::Domain, 0, getVarKindEnd(VarKind::Domain),  in inverse()
2199                  VarKind::Range);  in inverse()
2200   convertVarKind(VarKind::Range, 0, numRangeVars, VarKind::Domain);  in inverse()
2217   appendVar(VarKind::Range, copyRel.getNumRangeVars());  in compose()
2220   copyRel.convertVarKind(VarKind::Domain, 0, numBVars, VarKind::Range, 0);  in compose()
2226   convertVarKind(VarKind::Range, 0, numBVars, VarKind::Local);  in compose()
2262 unsigned IntegerPolyhedron::insertVar(VarKind kind, unsigned pos,  in insertVar()
2264   assert((kind != VarKind::Domain || num == 0) &&  in insertVar()