From a530b66ab3cb030c7ae3c5dee47ecb47f249c4b8 Mon Sep 17 00:00:00 2001 From: Ignace Bleukx Date: Tue, 25 Jul 2023 12:38:31 +0200 Subject: [PATCH] add case for negboolview --- cpmpy/expressions/variables.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/cpmpy/expressions/variables.py b/cpmpy/expressions/variables.py index b8a0f88d3..698360e8e 100644 --- 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)