ENH: add __xor__() to Function

Author: zvasicek

dd/_abc.py

@@ -663,6 +663,12 @@ def __or__(
             ) -> 'Operator':
         r"""Disjunction `self \/ other`."""
 
+    def __xor__(
+            self,
+            other
+            ) -> 'Operator':
+        r"""Exclusive or `self + other`."""
+
     def implies(
             self,
             other

dd/autoref.py

@@ -812,6 +812,13 @@ def __or__(
             ) -> _Ref:
         return self._apply('or', other)
 
+    def __xor__(
+            self,
+            other:
+                _Ref
+            ) -> _Ref:
+        return self._apply('xor', other)
+                
     def implies(
             self,
             other:

dd/buddy.pyx

@@ -451,3 +451,11 @@ cdef class Function:
             ) -> Function:
         r = buddy.bdd_or(self.node, other.node)
         return Function(r)
+
+    def __xor__(
+            self,
+            other:
+                Function
+            ) -> Function:
+        r = buddy.bdd_xor(self.node, other.node)
+        return Function(r)

dd/cudd.pyx

@@ -3126,6 +3126,19 @@ cdef class Function:
             self.manager, self.node, other.node)
         return wrap(self.bdd, r)
 
+    def __xor__(
+            self:
+                Function,
+            other:
+                Function
+            ) -> Function:
+        if self.manager != other.manager:
+            raise ValueError(
+                '`self.manager != other.manager`')
+        r = Cudd_bddXor(
+            self.manager, self.node, other.node)
+        return wrap(self.bdd, r)
+
     def implies(
             self:
                 Function,

dd/sylvan.pyx

@@ -1036,3 +1036,15 @@ cdef class Function:
         sy.LACE_ME_WRAP
         r = sy.sylvan_or(self.node, other.node)
         return wrap(self.bdd, r)
+
+    def __xor__(
+            self:
+                Function,
+            other:
+                Function
+            ) -> Function:
+        if self.bdd is not other.bdd:
+            raise ValueError((self, other))
+        sy.LACE_ME_WRAP
+        r = sy.sylvan_xor(self.node, other.node)
+        return wrap(self.bdd, r)