missing propagation

2014-05-13 13:20:13 +00:00
parent 9d1d8f3d26
commit f30c65f359
1 changed files with 3 additions and 0 deletions
--- a/src/constraint_solver/expr_cst.cc
+++ b/src/constraint_solver/expr_cst.cc
@@ -842,6 +842,9 @@ class IsBetweenCt : public Constraint {
        } else if (emax < max_) {
          expr_->SetMax(min_ - 1);
        }
+      } else {
+        expr_->SetRange(min_, max_);
+        inhibit = true;
      }
      if (inhibit && expr_->IsVar()) {
        demon_->inhibit(solver());