Lines Matching refs:PresburgerSet
29 PresburgerSet PWMAFunction::getDomain() const { in getDomain()
30 PresburgerSet domain = PresburgerSet::getEmpty(getSpace()); in getDomain()
203 .intersect(PresburgerSet(piece.getDomain())) in addPiece()
214 void PWMAFunction::addPiece(const PresburgerSet &domain, const Matrix &output) { in addPiece()
229 llvm::function_ref<PresburgerSet(MultiAffineFunction maf1, in unionFunction()
248 PresburgerSet dom(funcA.getDomain()); in unionFunction()
250 PresburgerSet better = tiebreak(funcB, funcA); in unionFunction()
271 PresburgerSet dom = getDomain(); in unionFunction()
283 static PresburgerSet tiebreakLex(const MultiAffineFunction &mafA, in tiebreakLex()
314 PresburgerSet result = PresburgerSet::getEmpty(compatibleSpace); in tiebreakLex()
348 result = result.intersect(PresburgerSet(mafA.getDomain())) in tiebreakLex()
349 .intersect(PresburgerSet(mafB.getDomain())); in tiebreakLex()