[Mlir-commits] [mlir] [MLIR][Presburger][WIP] Implement vertex enumeration and chamber decomposition for polytope generating function computation. (PR #78987)

[Arjun P]

================
@@ -771,6 +771,11 @@ class Simplex : public SimplexBase {
   std::pair<MaybeOptimum<MPInt>, MaybeOptimum<MPInt>>
   computeIntegerBounds(ArrayRef<MPInt> coeffs);
 
+  /// Check if the simplex takes only one rational value along the
+  /// direction of `coeffs`.
+  /// `this` must be nonempty.
+  bool isFlatAlong(const ArrayRef<MPInt> coeffs);
----------------
Superty wrote:

no need for `const` `for ArrayRef

https://github.com/llvm/llvm-project/pull/78987