Add C++ LLM black magic

Author: Opt-Mucca

highs/mip/HighsDomain.cpp

@@ -146,6 +146,23 @@ HighsDomain::ConflictPoolPropagation::ConflictPoolPropagation(
   conflictpool_->addPropagationDomain(this);
 }
 
+HighsDomain::ConflictPoolPropagation&
+HighsDomain::ConflictPoolPropagation::operator=(
+    const ConflictPoolPropagation& other) {
+  if (this == &other) return *this;
+  if (conflictpool_) conflictpool_->removePropagationDomain(this);
+  conflictpoolindex = other.conflictpoolindex;
+  domain = other.domain;
+  conflictpool_ = other.conflictpool_;
+  colLowerWatched_ = other.colLowerWatched_;
+  colUpperWatched_ = other.colUpperWatched_;
+  conflictFlag_ = other.conflictFlag_;
+  propagateConflictInds_ = other.propagateConflictInds_;
+  watchedLiterals_ = other.watchedLiterals_;
+  if (conflictpool_) conflictpool_->addPropagationDomain(this);
+  return *this;
+}
+
 HighsDomain::ConflictPoolPropagation::~ConflictPoolPropagation() {
   conflictpool_->removePropagationDomain(this);
 }
@@ -375,6 +392,22 @@ HighsDomain::CutpoolPropagation::CutpoolPropagation(
   cutpool->addPropagationDomain(this);
 }
 
+HighsDomain::CutpoolPropagation& HighsDomain::CutpoolPropagation::operator=(
+    const CutpoolPropagation& other) {
+  if (this == &other) return *this;
+  if (cutpool) cutpool->removePropagationDomain(this);
+  cutpoolindex = other.cutpoolindex;
+  domain = other.domain;
+  cutpool = other.cutpool;
+  activitycuts_ = other.activitycuts_;
+  activitycutsinf_ = other.activitycutsinf_;
+  propagatecutflags_ = other.propagatecutflags_;
+  propagatecutinds_ = other.propagatecutinds_;
+  capacityThreshold_ = other.capacityThreshold_;
+  if (cutpool) cutpool->addPropagationDomain(this);
+  return *this;
+}
+
 HighsDomain::CutpoolPropagation::~CutpoolPropagation() {
   cutpool->removePropagationDomain(this);
 }

highs/mip/HighsDomain.h

@@ -166,6 +166,8 @@ class HighsDomain {
 
     CutpoolPropagation(const CutpoolPropagation& other);
 
+    CutpoolPropagation& operator=(const CutpoolPropagation& other);
+
     ~CutpoolPropagation();
 
     void recomputeCapacityThreshold(HighsInt cut);
@@ -203,6 +205,8 @@ class HighsDomain {
 
     ConflictPoolPropagation(const ConflictPoolPropagation& other);
 
+    ConflictPoolPropagation& operator=(const ConflictPoolPropagation& other);
+
     ~ConflictPoolPropagation();
 
     void linkWatchedLiteral(HighsInt linkPos);

highs/mip/HighsMipSolver.cpp

@@ -847,8 +847,6 @@ void HighsMipSolver::run() {
   };
 
   auto diveSearches = [&]() -> bool {
-    std::vector<double> dive_times(mipdata_->workers.size(),
-                                   -analysis_.mipTimerRead(kMipClockTheDive));
     analysis_.mipTimerStart(kMipClockTheDive);
     std::vector<HighsSearch::NodeResult> dive_results(
         mipdata_->workers.size(), HighsSearch::NodeResult::kBranched);