[Mlir-commits] [mlir] [MLIR] NFC. Refactor IntegerRelation getSliceBounds (PR #127308)

[Arjun P]

================
@@ -738,6 +738,12 @@ class IntegerRelation {
   /// Same as findSymbolicIntegerLexMin but produces lexmax instead of lexmin
   SymbolicLexOpt findSymbolicIntegerLexMax() const;
 
+  /// Searches for a constraint with a non-zero coefficient at `colIdx` in
+  /// equality (isEq=true) or inequality (isEq=false) constraints.
+  /// Returns true and sets row found in search in `rowIdx`, false otherwise.
+  bool findConstraintWithNonZeroAt(unsigned colIdx, bool isEq,
+                                   unsigned *rowIdx) const;
----------------
Superty wrote:

I would prefer to return an optional instead.

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