38   assert(point.size() == domainSet.getNumDimAndSymbolVars() &&  in valueAt()
77   domainSet.print(os);  in print()
94   unsigned absolutePos = domainSet.getVarKindOffset(kind) + pos;  in insertVar()
96   return domainSet.insertVar(kind, pos, num);  in insertVar()
101   output.removeColumns(varStart + domainSet.getVarKindOffset(kind),  in removeVarRange()
103   domainSet.removeVarRange(kind, varStart, varLimit);  in removeVarRange()
122   output.insertColumns(domainSet.getVarKindEnd(VarKind::Local),  in mergeLocalVars()
123                        other.domainSet.getNumLocalVars());  in mergeLocalVars()
124   other.output.insertColumns(other.domainSet.getVarKindOffset(VarKind::Local),  in mergeLocalVars()
125                              domainSet.getNumLocalVars());  in mergeLocalVars()
129     domainSet.eliminateRedundantLocalVar(i, j);  in mergeLocalVars()
130     other.domainSet.eliminateRedundantLocalVar(i, j);  in mergeLocalVars()
132     unsigned localOffset = domainSet.getVarKindOffset(VarKind::Local);  in mergeLocalVars()
143   presburger::mergeLocalVars(domainSet, other.domainSet, merge);  in mergeLocalVars()
158   commonFunc.domainSet.append(other.domainSet);  in isEqualWhereDomainsOverlap()