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

This reverts commit 2cd468ef15.
This commit is contained in:
Christian Sigg 2022-06-29 12:24:28 +02:00
parent 8de6d4b712
commit f6d00bac77
1 changed files with 0 additions and 5 deletions

View File

@ -44,11 +44,6 @@ 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(); }