[Mlir-commits] [mlir] 802fc8c - [MLIR][Presburger] Move PresburgerLocalSpace::isEqual from protected to public

[llvmlistbot at llvm.org]

Author: Groverkss
Date: 2022-03-08T14:22:35+05:30
New Revision: 802fc8cb530a3d9ed29d15dfb8b88e11cc772c45

URL: https://github.com/llvm/llvm-project/commit/802fc8cb530a3d9ed29d15dfb8b88e11cc772c45
DIFF: https://github.com/llvm/llvm-project/commit/802fc8cb530a3d9ed29d15dfb8b88e11cc772c45.diff

LOG: [MLIR][Presburger] Move PresburgerLocalSpace::isEqual from protected to public

This change is done to match the interface of PresburgerSpace, which has
PresburgerSpace::isEqual as public.

Added: 
    

Modified: 
    mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h b/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
index deb90e699aa85..5aac0fb4a54e1 100644
--- a/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
+++ b/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
@@ -184,6 +184,10 @@ class PresburgerLocalSpace : public PresburgerSpace {
   /// Removes identifiers in the column range [idStart, idLimit).
   void removeIdRange(unsigned idStart, unsigned idLimit) override;
 
+  /// Returns true if both the spaces are equal i.e. if both spaces have the
+  /// same number of identifiers of each kind.
+  bool isEqual(const PresburgerLocalSpace &other) const;
+
   void print(llvm::raw_ostream &os) const;
   void dump() const;
 
@@ -197,10 +201,6 @@ class PresburgerLocalSpace : public PresburgerSpace {
   PresburgerLocalSpace(unsigned numDims, unsigned numSymbols,
                        unsigned numLocals)
       : PresburgerSpace(Set, /*numDomain=*/0, numDims, numSymbols, numLocals) {}
-
-  /// Returns true if both the spaces are equal i.e. if both spaces have the
-  /// same number of identifiers of each kind.
-  bool isEqual(const PresburgerLocalSpace &other) const;
 };
 
 } // namespace presburger