[MLIR] Add IntegerPolyhedron::getUniverse
authorGroverkss <groverkss@gmail.com>
Fri, 7 Jan 2022 21:23:22 +0000 (02:53 +0530)
committerGroverkss <groverkss@gmail.com>
Fri, 7 Jan 2022 21:29:56 +0000 (02:59 +0530)
commit74903059b267a9b0e70620c579150462aea615b1
tree22533fa6e2a84b802ed7fa21e4bea036a9ffe7d5
parent32300375f5508c1d523400be71e0799fcdfa074a
[MLIR] Add IntegerPolyhedron::getUniverse

This operation already exists in FlatAffineConstraints but is added to
IntegerPolyhedron to keep consistancy in available methods.
mlir/include/mlir/Analysis/Presburger/IntegerPolyhedron.h