Searched refs:setSpaceExceptLocals (Results 1 – 3 of 3) sorted by relevance
108 void setSpaceExceptLocals(const PresburgerSpace &oSpace);
28 disjunct.setSpaceExceptLocals(space); in setSpace()
46 void IntegerRelation::setSpaceExceptLocals(const PresburgerSpace &oSpace) { in setSpaceExceptLocals() function in IntegerRelation