always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

missing propag

Browse Source
This commit is contained in:
lperron@google.com
2012-06-30 21:49:51 +00:00
parent 69710aff27
commit 6b394c1bed
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/constraint_solver/expr_array.cc
View File

@@ -895,6 +895,10 @@ class ArrayBoolAndEq : public CastConstraint {
void PropagateVar(int index) {
if (vars_[index]->Min() == 1) {
unbounded_.Decr(solver());
if (unbounded_.Value() == 0 && !decided_.Switched()) {
target_var_->SetMin(1);
decided_.Switch(solver());
}
if (target_var_->Max() == 0 &&
unbounded_.Value() == 1 &&
!decided_.Switched()) {
@@ -1034,6 +1038,10 @@ class ArrayBoolOrEq : public CastConstraint {
void PropagateVar(int index) {
if (vars_[index]->Min() == 0) {
unbounded_.Decr(solver());
if (unbounded_.Value() == 0 && !decided_.Switched()) {
target_var_->SetMax(0);
decided_.Switch(solver());
}
if (target_var_->Min() == 1 &&
unbounded_.Value() == 1 &&
!decided_.Switched()) {