1621   domain.convertToLocal(VarKind::SetDim, getNumDomainDims(),  in getDomainSet()
1622                         getNumDomainDims() + getNumRangeDims());  in getDomainSet()
1629   range.convertToLocal(VarKind::SetDim, 0, getNumDomainDims());  in getRangeSet()
1634   assert(getNumDomainDims() == other.getNumRangeDims() &&  in compose()
1636   assert(std::equal(values.begin(), values.begin() + getNumDomainDims(),  in compose()
1637                     other.values.begin() + other.getNumDomainDims()) &&  in compose()
1651   insertDomainVar(0, rel.getNumDomainDims());  in compose()
1661   rel.convertToLocal(VarKind::SetDim, rel.getNumDomainDims(),  in compose()
1662                      rel.getNumDomainDims() + removeDims);  in compose()
1666   convertToLocal(VarKind::SetDim, getNumDomainDims() - removeDims,  in compose()
1667                  getNumDomainDims());  in compose()
1673   for (unsigned i = 0, e = rel.getNumDomainDims(); i < e; ++i)  in compose()
1678     unsigned rangeIdx = rel.getNumDomainDims() + i;  in compose()
1691   unsigned oldDomain = getNumDomainDims();  in inverse()
1706   assert(pos <= getNumDomainDims() &&  in insertDomainVar()
1715   insertDimVar(getNumDomainDims() + pos, num);  in insertRangeVar()
1720   insertDimVar(getNumDomainDims(), num);  in appendDomainVar()
1743   unsigned intersectDomainLHS = std::min(varLimit, getNumDomainDims());  in removeVarRange()
1746   unsigned intersectRangeRHS = std::max(varStart, getNumDomainDims());  in removeVarRange()
1798   for (unsigned i = 0, e = rel.getNumDomainDims(); i < e; ++i)  in getRelationFromMap()