[MLIR][Presburger][NFC] Rename getCompatibleSpace to getSpaceWithoutLocals
authorGroverkss <groverkss@gmail.com>
Sat, 2 Apr 2022 18:09:57 +0000 (23:39 +0530)
committerGroverkss <groverkss@gmail.com>
Sat, 2 Apr 2022 18:09:57 +0000 (23:39 +0530)
commit1483fb33b314ae02ec96b735c5ff15ce595322bf
tree27c60fc9e11aeca9a427eef99c39426001de42b8
parent1e5083a563f8aca294feda60dcb4a814623ba321
[MLIR][Presburger][NFC] Rename getCompatibleSpace to getSpaceWithoutLocals

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D122973
mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp