import

CPMpy · Sep 21, 2023 · 5ba1421 · 5ba1421
1 parent 064b202
commit 5ba1421
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/cpmpy/transformations/normalize.py b/cpmpy/transformations/normalize.py
@@ -5,7 +5,7 @@
 
 from ..expressions.core import BoolVal, Expression, Comparison, Operator
 from ..expressions.utils import eval_comparison, is_false_cst, is_true_cst, is_boolexpr, is_num
-from ..expressions.variables import NDVarArray
+from ..expressions.variables import NDVarArray, _NumVarImpl
 from ..exceptions import NotSupportedError
 from ..expressions.globalconstraints import GlobalConstraint
 
@@ -233,7 +233,6 @@ def normalize_boolexpr(lst_of_expr):
                     """
                     exprname = expr.name  # so it can be modified
                     lexpr, rexpr = expr.args
-                    rewritten = False
 
                     # rewrite 'Var == Expr' to normalzed 'Expr == Var'
                     if (expr.name == '==' or expr.name == '!=') \

diff --git a/tests/test_trans_simplify.py b/tests/test_trans_simplify.py
@@ -117,3 +117,5 @@ def test_normalize(self):
                          ('[(~BV5) -> (~BV1), (~BV5) -> (~BV3), (~BV0) -> (~BV1), (~BV0) -> (~BV3), '
                           '(~BV2) -> (~BV1), (~BV2) -> (~BV3)]'))
         self.assertEqual(str(normalize_boolexpr([(b.implies(c)).implies(f & a)])),('[(~BV5) -> (BV1), (~BV5) -> (~BV2), (~BV0) -> (BV1), (~BV0) -> (~BV2)]'))
+        #self.assertEqual(str(normalize_boolexpr([b == a + c])),'')
+        self.assertEqual(str(normalize_boolexpr([b + d == a + c])),'')