Add default copy and move c'tor/assignment to PresburgerRelation.

Differential Revision: https://reviews.llvm.org/D128789
This commit is contained in:
Christian Sigg 2022-06-29 10:40:34 +02:00
parent 32aac7babf
commit 2cd468ef15
1 changed files with 5 additions and 0 deletions

View File

@ -44,6 +44,11 @@ public:
explicit PresburgerRelation(const IntegerRelation &disjunct);
PresburgerRelation(const PresburgerRelation &) = default;
PresburgerRelation(PresburgerRelation &&) = default;
PresburgerRelation &operator=(const PresburgerRelation &) = default;
PresburgerRelation &operator=(PresburgerRelation &&) = default;
unsigned getNumDomainVars() const { return space.getNumDomainVars(); }
unsigned getNumRangeVars() const { return space.getNumRangeVars(); }
unsigned getNumSymbolVars() const { return space.getNumSymbolVars(); }