add case for negboolview

CPMpy · Jul 25, 2023 · a530b66 · a530b66
1 parent b5e5108
commit a530b66
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/cpmpy/expressions/variables.py b/cpmpy/expressions/variables.py
@@ -358,6 +358,11 @@ def clear(self):
         """
         self._bv.clear()
 
+    def __str__(self):
+        if hasattr(self._bv, "desc"):
+            return f"not({self._bv.desc})"
+        return self.__repr__()
+
     def __repr__(self):
         return "~{}".format(self._bv.name)