29 PresburgerSet PWMAFunction::getDomain() const {  in getDomain()  function in PWMAFunction
32     domain.unionInPlace(piece.getDomain());  in getDomain()
42       getDomain().containsPointNoLocal(point);  in valueAt()
87          getDomain().isEqual(other.getDomain()) &&  in isEqual()
168   IntegerPolyhedron commonDomainMatching = commonFunc.getDomain();  in isEqualWhereDomainsOverlap()
175   return commonFunc.getDomain().isSubsetOf(commonDomainMatching);  in isEqualWhereDomainsOverlap()
184   if (!this->getDomain().isEqual(other.getDomain()))  in isEqual()
202   assert(this->getDomain()  in addPiece()
203              .intersect(PresburgerSet(piece.getDomain()))  in addPiece()
248     PresburgerSet dom(funcA.getDomain());  in unionFunction()
271   PresburgerSet dom = getDomain();  in unionFunction()
273     result.addPiece(funcB.getDomain().subtract(dom), funcB.getOutputMatrix());  in unionFunction()
290   assert(mafA.getDomain().getNumLocalVars() == 0 &&  in tiebreakLex()
293   PresburgerSpace compatibleSpace = mafA.getDomain().getSpaceWithoutLocals();  in tiebreakLex()
294   const PresburgerSpace &space = mafA.getDomain().getSpace();  in tiebreakLex()
348   result = result.intersect(PresburgerSet(mafA.getDomain()))  in tiebreakLex()
349                .intersect(PresburgerSet(mafB.getDomain()));  in tiebreakLex()