Page MenuHomePhabricator

[MLIR][Presburger] Clean PresburgerSet identifier interface to match IntegerPolyhedron's interface
ClosedPublic

Authored by Groverkss on Jan 23 2022, 10:52 AM.

Details

Summary

This patch changes names of identifiers and their corresponding getters in
PresburgerSet to match those of IntegerPolyhedron.

Diff Detail

Event Timeline

Groverkss created this revision.Jan 23 2022, 10:52 AM
Groverkss requested review of this revision.Jan 23 2022, 10:52 AM
arjunp accepted this revision.Jan 23 2022, 10:53 AM
arjunp edited the summary of this revision. (Show Details)
This revision is now accepted and ready to land.Jan 23 2022, 10:54 AM