Add move-assignment to Mtbdd class

Again, nothing is really gained from doing so except more code.
trolando · Apr 12, 2024 · 0c6fd08 · 0c6fd08
1 parent 0355ba8
commit 0c6fd08
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/sylvan_obj.cpp b/src/sylvan_obj.cpp
@@ -754,6 +754,13 @@ Mtbdd::operator=(const Mtbdd& right)
     return *this;
 }
 
+Mtbdd&
+Mtbdd::operator=(Mtbdd&& right)
+{
+  mtbdd = right.mtbdd;
+  return *this;
+}
+
 Mtbdd
 Mtbdd::operator!() const
 {

diff --git a/src/sylvan_obj.hpp b/src/sylvan_obj.hpp
@@ -717,6 +717,7 @@ class Mtbdd {
     bool operator==(const Mtbdd& other) const;
     bool operator!=(const Mtbdd& other) const;
     Mtbdd& operator=(const Mtbdd& right);
+    Mtbdd& operator=(Mtbdd&& right);
     Mtbdd operator!() const;
     Mtbdd operator~() const;
     Mtbdd operator*(const Mtbdd& other) const;