From 04cc088e6eece8d5e6203f7f2ddbebc2090ab803 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 3 Jun 2019 15:30:48 +0200 Subject: [PATCH] finish the removal of lagrange-related things --- src/kernel/lmm/maxmin.cpp | 1 - src/kernel/lmm/maxmin.hpp | 3 --- 2 files changed, 4 deletions(-) diff --git a/src/kernel/lmm/maxmin.cpp b/src/kernel/lmm/maxmin.cpp index 6e02aa2387..d4de8c9d91 100644 --- a/src/kernel/lmm/maxmin.cpp +++ b/src/kernel/lmm/maxmin.cpp @@ -711,7 +711,6 @@ void Variable::initialize(resource::Action* id_value, double sharing_weight_valu value_ = 0.0; visited_ = visited_value; mu_ = 0.0; - new_mu_ = 0.0; xbt_assert(not variable_set_hook_.is_linked()); xbt_assert(not saturated_variable_set_hook_.is_linked()); diff --git a/src/kernel/lmm/maxmin.hpp b/src/kernel/lmm/maxmin.hpp index fa5332d7e1..ff81711bc7 100644 --- a/src/kernel/lmm/maxmin.hpp +++ b/src/kernel/lmm/maxmin.hpp @@ -388,10 +388,7 @@ public: resource::Action* id_; int rank_; // Only used in debug messages to identify the variable unsigned visited_; /* used by System::update_modified_set() */ - /* \begin{For Lagrange only} */ double mu_; - double new_mu_; - /* \end{For Lagrange only} */ private: static int next_rank_; // To give a separate rank_ to each variable -- 2.20.1