File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed
Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change @@ -2076,13 +2076,13 @@ void HighsDomain::setDomainChangeStack(
20762076 if (k == stacksize) return ;
20772077
20782078 // For redundant branching bound changes we need to be more careful due to
2079- // symmetry handling. If these boundchanges are redundant simply because the
2080- // corresponding subtree was enumerated and hence the global bound updated,
2081- // then we still need to keep their status as branching variables for
2082- // computing correct stabilizers.
2083- // They can, however, be safely dropped if they are either strictly
2084- // redundant in the global domain, or if there is already a local bound
2085- // change that makes the branching change redundant.
2079+ // symmetry handling. If these bound changes are redundant simply because
2080+ // the corresponding subtree was enumerated and hence the global bound
2081+ // updated, then we still need to keep their status as branching variables
2082+ // for computing correct stabilizers. They can, however, be safely dropped
2083+ // if they are either strictly redundant in the global domain, or if there
2084+ // is already a local bound change that makes the branching change
2085+ // redundant.
20862086 if (domchgstack[k].boundtype == HighsBoundType::kLower ) {
20872087 if (domchgstack[k].boundval <= col_lower_[domchgstack[k].column ]) {
20882088 if (domchgstack[k].boundval < col_lower_[domchgstack[k].column ])
You can’t perform that action at this time.
0 commit comments