170   insertVar(VarKind::Local, getNumVarKind(VarKind::Local),  in FlatAffineValueConstraints()
274   insertVar(VarKind::SetDim, pos, vals);  in appendDimVar()
280   insertVar(VarKind::Symbol, pos, vals);  in appendSymbolVar()
286   return insertVar(VarKind::SetDim, pos, vals);  in insertDimVar()
291   return insertVar(VarKind::Symbol, pos, vals);  in insertSymbolVar()
294 unsigned FlatAffineValueConstraints::insertVar(VarKind kind, unsigned pos,  in insertVar()
298   if (kind != VarKind::Local) {  in insertVar()
306 unsigned FlatAffineValueConstraints::insertVar(VarKind kind, unsigned pos,  in insertVar()
309   assert(kind != VarKind::Local &&  in insertVar()
376 areVarsUnique(const FlatAffineValueConstraints &cst, VarKind kind) {  in areVarsUnique()
378   if (kind == VarKind::SetDim)  in areVarsUnique()
380   if (kind == VarKind::Symbol)  in areVarsUnique()
524   assert(areVarsUnique(*this, VarKind::Symbol) && "Symbol vars are not unique");  in mergeSymbolVars()
525   assert(areVarsUnique(other, VarKind::Symbol) && "Symbol vars are not unique");  in mergeSymbolVars()
552   assert(areVarsUnique(*this, VarKind::Symbol) && "Symbol vars are not unique");  in mergeSymbolVars()
553   assert(areVarsUnique(other, VarKind::Symbol) && "Symbol vars are not unique");  in mergeSymbolVars()
714 void FlatAffineValueConstraints::removeVarRange(VarKind kind, unsigned varStart,  in removeVarRange()
719   if (kind != VarKind::Local) {  in removeVarRange()
1244   for (unsigned i = getVarKindOffset(VarKind::SetDim),  in computeAlignedMap()
1245                 e = getVarKindEnd(VarKind::SetDim);  in computeAlignedMap()
1248   for (unsigned i = getVarKindOffset(VarKind::Symbol),  in computeAlignedMap()
1249                 e = getVarKindEnd(VarKind::Symbol);  in computeAlignedMap()
1350   if (getVarKindAt(posA) == VarKind::Local &&  in swapVar()
1351       getVarKindAt(posB) == VarKind::Local)  in swapVar()
1355   if (getVarKindAt(posA) == VarKind::Local)  in swapVar()
1357   else if (getVarKindAt(posB) == VarKind::Local)  in swapVar()
1381   for (unsigned i = getVarKindOffset(VarKind::Local),  in printSpace()
1382                 e = getVarKindEnd(VarKind::Local);  in printSpace()
1404   if (getVarKindAt(pos) != VarKind::Local)  in fourierMotzkinEliminate()
1621   domain.convertToLocal(VarKind::SetDim, getNumDomainDims(),  in getDomainSet()
1629   range.convertToLocal(VarKind::SetDim, 0, getNumDomainDims());  in getRangeSet()
1661   rel.convertToLocal(VarKind::SetDim, rel.getNumDomainDims(),  in compose()
1666   convertToLocal(VarKind::SetDim, getNumDomainDims() - removeDims,  in compose()
1669   auto thisMaybeValues = getMaybeValues(VarKind::SetDim);  in compose()
1670   auto relMaybeValues = rel.getMaybeValues(VarKind::SetDim);  in compose()
1729 void FlatAffineRelation::removeVarRange(VarKind kind, unsigned varStart,  in removeVarRange()
1738   if (kind != VarKind::SetDim)  in removeVarRange()