System: methods -3 protected, +3 private

diff --git a/src/kernel/lmm/System.hpp b/src/kernel/lmm/System.hpp
index bbdba3a..11d42de 100644 (file)
--- a/src/kernel/lmm/System.hpp
+++ b/src/kernel/lmm/System.hpp
@@ -525,6 +525,7 @@ private:
   void enable_var(Variable * var);
   void disable_var(Variable * var);
   void on_disabled_var(Constraint * cnstr);
+  void check_concurrency() const;
 
   /**
    * @brief Update the value of element linking the constraint and the variable
@@ -538,6 +539,8 @@ private:
   void update_modified_cnst_set_from_variable(const Variable* var);
   void update_modified_cnst_set(Constraint* cnst);
   void update_modified_cnst_set_rec(const Constraint* cnst);
+  /** @brief Remove all constraints of the modified_constraint_set. */
+  void remove_all_modified_cnst_set();
 
 public:
   bool modified_ = false;
@@ -560,10 +563,6 @@ protected:
                                                                    &Constraint::modified_constraint_set_hook_>>
       modified_constraint_set;
 
-  /** @brief Remove all constraints of the modified_constraint_set. */
-  void remove_all_modified_cnst_set();
-  void check_concurrency() const;
-
 private:
   unsigned visited_counter_ =
       1; /* used by System::update_modified_cnst_set() and System::remove_all_modified_cnst_set() to