Skip to content

Commit 5065984

Browse files
committed
Fix incorrect logic
1 parent f1ea4bf commit 5065984

File tree

3 files changed

+6
-4
lines changed

3 files changed

+6
-4
lines changed

highs/mip/HighsMipSolver.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -327,6 +327,8 @@ void HighsMipSolver::run() {
327327
options_mip_->mip_pool_soft_limit, i + 1);
328328
mipdata_->conflictpools.emplace_back(5 * options_mip_->mip_pool_age_limit,
329329
options_mip_->mip_pool_soft_limit);
330+
mipdata_->domains.back().addCutpool(mipdata_->cutpools.back());
331+
mipdata_->domains.back().addConflictPool(mipdata_->conflictpools.back());
330332
mipdata_->workers.emplace_back(
331333
*this, &mipdata_->lps.back(), &mipdata_->domains.back(),
332334
&mipdata_->cutpools.back(), &mipdata_->conflictpools.back());

highs/mip/HighsMipWorker.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,8 @@ HighsMipWorker::HighsMipWorker(const HighsMipSolver& mipsolver__,
2929
sepa_ptr_ = std::unique_ptr<HighsSeparation>(new HighsSeparation(*this));
3030

3131
// add local cutpool
32-
search_ptr_->getLocalDomain().addCutpool(*cutpool_);
33-
search_ptr_->getLocalDomain().addConflictPool(*conflictpool_);
32+
// search_ptr_->getLocalDomain().addCutpool(*cutpool_);
33+
// search_ptr_->getLocalDomain().addConflictPool(*conflictpool_);
3434

3535
search_ptr_->setLpRelaxation(lprelaxation_);
3636
sepa_ptr_->setLpRelaxation(lprelaxation_);

highs/mip/HighsSearch.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1988,7 +1988,7 @@ void HighsSearch::solveDepthFirst(int64_t maxbacktracks) {
19881988
double HighsSearch::getFeasTol() const { return mipsolver.mipdata_->feastol; }
19891989

19901990
double HighsSearch::getUpperLimit() const {
1991-
if (mipsolver.mipdata_->parallelLockActive()) {
1991+
if (!mipsolver.mipdata_->parallelLockActive()) {
19921992
return mipsolver.mipdata_->upper_limit;
19931993
} else {
19941994
return mipworker.upper_limit;
@@ -1998,7 +1998,7 @@ double HighsSearch::getUpperLimit() const {
19981998
double HighsSearch::getEpsilon() const { return mipsolver.mipdata_->epsilon; }
19991999

20002000
double HighsSearch::getOptimalityLimit() const {
2001-
if (mipsolver.mipdata_->parallelLockActive()) {
2001+
if (!mipsolver.mipdata_->parallelLockActive()) {
20022002
return mipsolver.mipdata_->optimality_limit;
20032003
} else {
20042004
return mipworker.optimality_limit;

0 commit comments

Comments
 (0)