Searched refs:tiebreakLex (Results 1 – 1 of 1) sorted by relevance
283 static PresburgerSet tiebreakLex(const MultiAffineFunction &mafA, in tiebreakLex() function355 return unionFunction(func, tiebreakLex</*lexMin=*/true>); in unionLexMin()359 return unionFunction(func, tiebreakLex</*lexMin=*/false>); in unionLexMax()