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

fix

Browse Source
This commit is contained in:
Laurent Perron
2025-11-17 17:31:06 +01:00
committed by Mizux Seiha
parent 72d75ca109
commit 44dd600b9e
1 changed files with 4 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
ortools/sat/presolve_context.cc
View File

@@ -2106,15 +2106,11 @@ bool PresolveContext::CanonicalizeObjective(bool simplify_domain) {
// Detect if the objective domain do not limit the "optimal" objective value.
// If this is true, then we can apply any reduction that reduce the objective
// value without any issues.
//
// TODO(user): implement an incremental method to update this flag.
const bool objective_domain_was_constraining =
objective_domain_is_constraining_;
objective_domain_is_constraining_ =
!implied_domain.IsIncludedIn(objective_domain_);
if (objective_domain_was_constraining && !objective_domain_is_constraining_) {
UpdateRuleStats("objective: domain is no longer constraining");
}
!implied_domain
.IntersectionWith(Domain(std::numeric_limits<int64_t>::min(),
objective_domain_.Max()))
.IsIncludedIn(objective_domain_);
return true;
}