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

alldifferent -> more robust w.r.t holes in big domains

Browse Source
This commit is contained in:
lperron@google.com
2012-06-17 06:08:13 +00:00
parent eb539a2802
commit 060b938f4a
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/constraint_solver/alldiff_cst.cc
View File

@@ -425,10 +425,18 @@ class BoundsAllDifferent : public BaseAllDifferent {
void PropagateValue(int index) {
const int64 to_remove = vars_[index]->Value();
for (int j = 0; j < index; j++) {
vars_[j]->RemoveValue(to_remove);
if (vars_[j]->Size() < 0xFFFFFF) {
vars_[j]->RemoveValue(to_remove);
} else {
solver()->AddConstraint(solver()->MakeNonEquality(vars_[j], to_remove));
}
}
for (int j = index + 1; j < size_; j++) {
vars_[j]->RemoveValue(to_remove);
if (vars_[j]->Size() < 0xFFFFFF) {
vars_[j]->RemoveValue(to_remove);
} else {
solver()->AddConstraint(solver()->MakeNonEquality(vars_[j], to_remove));
}
}
}