Mark domain as "not computed" to avoid constraints being removed that…

… are not entailed. Fixes #150.
MiniZinc · May 11, 2017 · 513a591 · 513a591
1 parent a8f6971
commit 513a591
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/lib/flatten.cpp b/lib/flatten.cpp
@@ -1204,7 +1204,12 @@ namespace MiniZinc {
                         if (newdom->size()==0) {
                           env.fail();
                         } else {
-                          vdi->ti()->domain(new SetLit(Location().introduce(),newdom));
+                          IntSetRanges vdi_domr2(vdi_dom);
+                          IntSetRanges newdomr(newdom);
+                          if (!Ranges::equal(vdi_domr2, newdomr)) {
+                            vdi->ti()->domain(new SetLit(Location().introduce(),newdom));
+                            vdi->ti()->setComputedDomain(false);
+                          }
                         }
                       }
                     }
@@ -1225,7 +1230,12 @@ namespace MiniZinc {
                         if (newdom->size()==0) {
                           env.fail();
                         } else {
-                          vdi->ti()->domain(new SetLit(Location().introduce(),newdom));
+                          FloatSetRanges vdi_domr2(vdi_dom);
+                          FloatSetRanges newdomr(newdom);
+                          if (!Ranges::equal(vdi_domr2, newdomr)) {
+                            vdi->ti()->domain(new SetLit(Location().introduce(),newdom));
+                            vdi->ti()->setComputedDomain(false);
+                          }
                         }
                       }
                     }