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

missing propagation

Browse Source
This commit is contained in:
lperron@google.com
2012-05-24 22:19:41 +00:00
parent 50f2c22dcc
commit bce07feab2
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/constraint_solver/expr_array.cc
View File

@@ -1829,12 +1829,16 @@ class SumBooleanEqualToVar : public BaseSumBooleanConstraint {
const int64 value = vars_[index]->Min(); // Faster than Value().
if (value == 0) {
num_possible_true_vars_.Decr(solver());
sum_var_->SetRange(num_always_true_vars_.Value(),
num_possible_true_vars_.Value());
if (num_possible_true_vars_.Value() == sum_var_->Min()) {
PushAllUnboundToOne();
}
} else {
DCHECK_EQ(1, value);
num_always_true_vars_.Incr(solver());
sum_var_->SetRange(num_always_true_vars_.Value(),
num_possible_true_vars_.Value());
if (num_always_true_vars_.Value() == sum_var_->Max()) {
PushAllUnboundToZero();
}
@@ -1872,7 +1876,9 @@ class SumBooleanEqualToVar : public BaseSumBooleanConstraint {
}
virtual string DebugString() const {
return DebugStringInternal("SumBooleanEqualToVar");
return StringPrintf("%s == %s",
DebugStringInternal("SumBoolean").c_str(),
sum_var_->DebugString().c_str());
}
virtual void Accept(ModelVisitor* const visitor) const {