Chaser

Author: fwesselm

highs/mip/HighsMipSolver.cpp

@@ -895,10 +895,13 @@ void HighsMipSolver::callbackGetCutPool() const {
                            callback_->user_callback_data);
 }
 
-bool HighsMipSolver::solutionFeasible(
-    const HighsLp* lp, const std::vector<double>& col_value,
-    const std::vector<double>* pass_row_value, double& bound_violation,
-    double& row_violation, double& integrality_violation, HighsCDouble& obj) {
+bool HighsMipSolver::solutionFeasible(const HighsLp* lp,
+                                      const std::vector<double>& col_value,
+                                      const std::vector<double>* pass_row_value,
+                                      double& bound_violation,
+                                      double& row_violation,
+                                      double& integrality_violation,
+                                      HighsCDouble& obj) const {
   bound_violation = 0;
   row_violation = 0;
   integrality_violation = 0;

highs/mip/HighsMipSolver.h

@@ -106,7 +106,7 @@ class HighsMipSolver {
   bool solutionFeasible(const HighsLp* lp, const std::vector<double>& col_value,
                         const std::vector<double>* pass_row_value,
                         double& bound_violation, double& row_violation,
-                        double& integrality_violation, HighsCDouble& obj);
+                        double& integrality_violation, HighsCDouble& obj) const;
 };
 
 #endif

highs/mip/HighsMipSolverData.cpp

@@ -20,7 +20,7 @@
 #include "util/HighsIntegers.h"
 
 std::string HighsMipSolverData::solutionSourceToString(
-    const int solution_source, const bool code) {
+    const int solution_source, const bool code) const {
   if (solution_source == kSolutionSourceNone) {
     if (code) return " ";
     return "None";
@@ -1179,9 +1179,10 @@ double HighsMipSolverData::transformNewIntegerFeasibleSolution(
 }
 
 double HighsMipSolverData::percentageInactiveIntegers() const {
-  return 100.0 * (1.0 - double(integer_cols.size() -
-                               cliquetable.getSubstitutions().size()) /
-                            numintegercols);
+  return 100.0 *
+         (1.0 - static_cast<double>(integer_cols.size() -
+                                    cliquetable.getSubstitutions().size()) /
+                    numintegercols);
 }
 
 void HighsMipSolverData::performRestart() {
@@ -1498,7 +1499,7 @@ static std::array<char, 22> convertToPrintString(double val,
   return printString;
 }
 
-void HighsMipSolverData::printSolutionSourceKey() {
+void HighsMipSolverData::printSolutionSourceKey() const {
   std::stringstream ss;
   // Last MipSolutionSource enum is kSolutionSourceCleanup - which is
   // not a solution source, but used to force the last logging line to

highs/mip/HighsMipSolverData.h

@@ -277,8 +277,8 @@ struct HighsMipSolverData {
   const std::vector<double>& getSolution() const;
 
   std::string solutionSourceToString(const int solution_source,
-                                     const bool code = true);
-  void printSolutionSourceKey();
+                                     const bool code = true) const;
+  void printSolutionSourceKey() const;
   void printDisplayLine(const int solution_source = kSolutionSourceNone);
 
   void getRow(HighsInt row, HighsInt& rowlen, const HighsInt*& rowinds,