fix one more hole too big

2012-08-23 18:07:59 +00:00
parent 742c9ea5a6
commit f253483f74
1 changed files with 5 additions and 1 deletions
--- a/src/constraint_solver/alldiff_cst.cc
+++ b/src/constraint_solver/alldiff_cst.cc
@@ -117,7 +117,11 @@ void ValueAllDifferent::OneMove(int index) {
    const int64 val = vars_[index]->Value();
    for (int j = 0; j < size_; ++j) {
      if (index != j) {
-        vars_[j]->RemoveValue(val);
+        if (vars_[j]->Size() < 0xFFFFFF) {
+          vars_[j]->RemoveValue(val);
+        } else {
+          solver()->AddConstraint(solver()->MakeNonEquality(vars_[j], val));
+        }
      }
    }
  }