Make cutpool a pointer

Author: Opt-Mucca

highs/mip/HighsMipSolver.cpp

@@ -138,7 +138,7 @@ void HighsMipSolver::run() {
   // Now the worker lives in mipdata.
   // The master worker is used in evaluateRootNode.
   mipdata_->workers.emplace_back(*this, mipdata_->lp, mipdata_->domain,
-                                 mipdata_->cutpool, mipdata_->conflictPool);
+                                 &mipdata_->cutpool, mipdata_->conflictPool);
 
   HighsMipWorker& master_worker = mipdata_->workers.at(0);
 
@@ -330,7 +330,7 @@ void HighsMipSolver::run() {
                             options_mip_->mip_pool_soft_limit);
       mipdata_->workers.emplace_back(
           *this, mipdata_->lps.back(), mipdata_->domains.back(),
-          mipdata_->cutpools.back(), mipdata_->conflictpools.back());
+          &mipdata_->cutpools.back(), mipdata_->conflictpools.back());
     } else {
       mipdata_->workers[i].resetSearch();
     }

highs/mip/HighsMipWorker.cpp

@@ -12,7 +12,7 @@
 
 HighsMipWorker::HighsMipWorker(const HighsMipSolver& mipsolver__,
                                HighsLpRelaxation& lprelax_, HighsDomain& domain,
-                               HighsCutPool& cutpool,
+                               HighsCutPool* cutpool,
                                HighsConflictPool& conflictpool)
     : mipsolver_(mipsolver__),
       mipdata_(*mipsolver_.mipdata_.get()),
@@ -39,7 +39,7 @@ HighsMipWorker::HighsMipWorker(const HighsMipSolver& mipsolver__,
   // std::vector<HighsInt> AheadNeg_;
 
   // add local cutpool
-  search_ptr_->getLocalDomain().addCutpool(cutpool_);
+  search_ptr_->getLocalDomain().addCutpool(*cutpool_);
   search_ptr_->getLocalDomain().addConflictPool(conflictpool_);
 
   // printf(

highs/mip/HighsMipWorker.h

@@ -28,7 +28,7 @@ class HighsMipWorker {
   HighsPseudocost pseudocost_;
   HighsLpRelaxation& lprelaxation_;
   HighsDomain& globaldom_;
-  HighsCutPool& cutpool_;
+  HighsCutPool* cutpool_;
   HighsConflictPool& conflictpool_;
 
   std::unique_ptr<HighsSearch> search_ptr_;
@@ -47,7 +47,7 @@ class HighsMipWorker {
   HighsMipWorker(const HighsMipSolver& mipsolver__,
                  HighsLpRelaxation& lprelax_,
                  HighsDomain& domain,
-                 HighsCutPool& cutpool,
+                 HighsCutPool* cutpool,
                  HighsConflictPool& conflictpool);
 
   ~HighsMipWorker() {

highs/mip/HighsSearch.cpp

@@ -2006,7 +2006,7 @@ HighsConflictPool& HighsSearch::getConflictPool() const {
 }
 
 HighsCutPool& HighsSearch::getCutPool() const {
-  return mipworker.cutpool_;
+  return *mipworker.cutpool_;
   // return mipsolver.mipdata_->cutpool;
 }
 

highs/mip/HighsSeparation.cpp

@@ -206,6 +206,6 @@ void HighsSeparation::separate(HighsMipWorker& worker,
 
     // mipsolver.mipdata_->cutpool.performAging();
     // ig: using worker cutpool
-    worker.cutpool_.performAging();
+    worker.cutpool_->performAging();
   }
 }