Searched refs:setSpace (Results 1 – 4 of 4) sorted by relevance
64 void setSpace(const PresburgerSpace &oSpace);
101 void setSpace(const PresburgerSpace &oSpace);
24 void PresburgerRelation::setSpace(const PresburgerSpace &oSpace) { in setSpace() function in PresburgerRelation
41 void IntegerRelation::setSpace(const PresburgerSpace &oSpace) { in setSpace() function in IntegerRelation225 result.setSpace(space); in computeReprWithOnlyDivLocals()