Lines Matching defs:copyRel

2347   IntegerRelation copyRel = *this;
2350   copyRel.convertVarKind(VarKind::Range, 0, getNumVarKind(VarKind::Range),
2354   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),
2357   return IntegerPolyhedron(std::move(copyRel));
2421   IntegerRelation copyRel = *this;
2424   copyRel.convertVarKind(VarKind::Domain, 0, getNumVarKind(VarKind::Domain),
2430   return IntegerPolyhedron(std::move(copyRel));
2473   IntegerRelation copyRel = rel;
2483   appendVar(VarKind::Range, copyRel.getNumRangeVars());
2486   copyRel.convertVarKind(VarKind::Domain, 0, numBVars, VarKind::Range, 0);
2489   intersectRange(IntegerPolyhedron(copyRel));