negboolview keeps id

CPMpy · Aug 21, 2023 · e3ed463 · e3ed463
1 parent 19be009
commit e3ed463
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cpmpy/expressions/variables.py b/cpmpy/expressions/variables.py
@@ -347,6 +347,7 @@ def __init__(self, bv):
         # it already comply with the asserts of the __init__ of _BoolVarImpl and can use 
         # __init__ from _IntVarImpl
         _IntVarImpl.__init__(self, 1-bv.ub, 1-bv.lb, name=str(self))
+        self.id = bv.id
 
     def value(self):
         """ the negation of the value obtained in the last solve call by the viewed variable