Added function has_second_order_corrections() to ConstraintRelaxationStrategy and subclasses

Author: cvanaret

uno/ingredients/constraint_relaxation_strategies/ConstraintRelaxationStrategy.hpp

@@ -41,6 +41,9 @@ namespace uno {
       virtual void switch_to_feasibility_problem(Statistics& statistics, Iterate& current_iterate, Direction& direction,
          Evaluations& current_evaluations, WarmstartInformation& warmstart_information) = 0;
 
+      // second-order corrections
+      [[nodiscard]] virtual bool has_second_order_corrections() const = 0;
+
       // trial iterate acceptance
       [[nodiscard]] virtual bool is_iterate_acceptable(Statistics& statistics, const Model& model, Iterate& current_iterate,
          Iterate& trial_iterate, const Direction& direction, double step_length, bool uses_trust_region,

uno/ingredients/constraint_relaxation_strategies/FeasibilityRestoration.cpp

@@ -164,6 +164,15 @@ namespace uno {
       warmstart_information.whole_problem_changed();
    }
 
+   bool FeasibilityRestoration::has_second_order_corrections() const {
+      if (this->current_phase == Phase::OPTIMALITY) {
+         return this->subproblem_solver->has_second_order_corrections();
+      }
+      else {
+         return this->feasibility_subproblem_solver->has_second_order_corrections();
+      }
+   }
+
    void FeasibilityRestoration::solve_subproblem(Statistics& statistics, const Subproblem& subproblem,
          SubproblemSolver& subproblem_solver, const OptimizationProblem& problem, GlobalizationStrategy& globalization_strategy,
          Iterate& current_iterate, Direction& direction, double trust_region_radius, Evaluations& current_evaluations,

uno/ingredients/constraint_relaxation_strategies/FeasibilityRestoration.hpp

@@ -36,6 +36,9 @@ namespace uno {
       void switch_to_feasibility_problem(Statistics& statistics, Iterate& current_iterate, Direction& direction,
          Evaluations& current_evaluations, WarmstartInformation& warmstart_information) override;
 
+      // second-order corrections
+      [[nodiscard]] bool has_second_order_corrections() const override;
+
       // trial iterate acceptance
       [[nodiscard]] bool is_iterate_acceptable(Statistics& statistics, const Model& model, Iterate& current_iterate,
          Iterate& trial_iterate, const Direction& direction, double step_length, bool uses_trust_region,

uno/ingredients/constraint_relaxation_strategies/NoRelaxation.cpp

@@ -91,6 +91,10 @@ namespace uno {
       throw std::runtime_error("Switching to the feasibility problem should not happen");
    }
 
+   bool NoRelaxation::has_second_order_corrections() const {
+      return this->subproblem_solver->has_second_order_corrections();
+   }
+
    bool NoRelaxation::is_iterate_acceptable(Statistics& statistics, const Model& /*model*/, Iterate& current_iterate,
          Iterate& trial_iterate, const Direction& direction, double step_length, bool uses_trust_region,
          EvaluationCache& evaluation_cache, WarmstartInformation& warmstart_information, UserCallbacks& user_callbacks) {

uno/ingredients/constraint_relaxation_strategies/NoRelaxation.hpp

@@ -32,6 +32,9 @@ namespace uno {
       void switch_to_feasibility_problem(Statistics& statistics, Iterate& current_iterate, Direction& direction,
          Evaluations& current_evaluations, WarmstartInformation& warmstart_information) override;
 
+      // second-order corrections
+      [[nodiscard]] bool has_second_order_corrections() const override;
+
       // trial iterate acceptance
       [[nodiscard]] bool is_iterate_acceptable(Statistics& statistics, const Model& model, Iterate& current_iterate,
          Iterate& trial_iterate, const Direction& direction, double step_length, bool uses_trust_region,