2141   IntegerRelation copyRel = *this;  in getDomainSet()  local
2144   copyRel.convertVarKind(VarKind::Range, 0, getNumVarKind(VarKind::Range),  in getDomainSet()
2148   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),  in getDomainSet()
2151   return IntegerPolyhedron(std::move(copyRel));  in getDomainSet()
2155   IntegerRelation copyRel = *this;  in getRangeSet()  local
2158   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),  in getRangeSet()
2164   return IntegerPolyhedron(std::move(copyRel));  in getRangeSet()
2207   IntegerRelation copyRel = rel;  in compose()  local
2217   appendVar(VarKind::Range, copyRel.getNumRangeVars());  in compose()
2220   copyRel.convertVarKind(VarKind::Domain, 0, numBVars, VarKind::Range, 0);  in compose()
2223   intersectRange(IntegerPolyhedron(copyRel));  in compose()