Searched defs:findSymbolicIntegerLexMax (Results 1 – 2 of 2) sorted by relevance
| /llvm-project/mlir/lib/Analysis/Presburger/ | ||
| H A D | PresburgerRelation.cpp | 269 SymbolicLexOpt PresburgerRelation::findSymbolicIntegerLexMax() const { in findSymbolicIntegerLexMax() function in PresburgerRelation |
| H A D | IntegerRelation.cpp | 315 SymbolicLexOpt IntegerRelation::findSymbolicIntegerLexMax() const { findSymbolicIntegerLexMax() function in IntegerRelation |