Not so ambitious...

Author: jajhall

highs/lp_data/Highs.cpp

@@ -4042,7 +4042,7 @@ HighsStatus Highs::callSolveMip() {
     MipRaceRecord mip_race_record;
     mip_race_record.initialise(mip_race_concurrency, lp.num_col_);
     // Set up the shared memory for the concurrent MIP terminator
-    auto terminator_record = solver.initialiseRecord(mip_race_concurrency);
+    auto terminator_record = solver.initialiseTerminatorRecord(mip_race_concurrency);
     // Don't allow callbacks for workers
     HighsCallback worker_callback = callback_;
     worker_callback.clear();

highs/mip/HighsMipSolver.cpp

@@ -999,7 +999,7 @@ void HighsMipSolver::initialiseTerminator(HighsInt num_instance_,
   this->terminator_.initialise(num_instance_, my_instance_, record_);
 }
 
-std::vector<HighsModelStatus> HighsMipSolver::initialiseRecord(
+std::vector<HighsModelStatus> HighsMipSolver::initialiseTerminatorRecord(
     HighsInt num_instance) const {
   std::vector<HighsModelStatus> record(num_instance, HighsModelStatus::kNotset);
   return record;

highs/mip/HighsMipSolver.h

@@ -165,7 +165,8 @@ class HighsMipSolver {
                         const std::vector<double>* pass_row_value,
                         double& bound_violation, double& row_violation,
                         double& integrality_violation, HighsCDouble& obj) const;
-  std::vector<HighsModelStatus> initialiseRecord(HighsInt num_instance) const;
+
+  std::vector<HighsModelStatus> initialiseTerminatorRecord(HighsInt num_instance) const;
   void initialiseTerminator(HighsInt num_instance_ = 0,
                             HighsInt my_instance_ = kNoThreadInstance,
                             HighsModelStatus* record_ = nullptr);