Make State::transition_ private

[simgrid.git] / src / mc / mc_state.hpp

diff --git a/src/mc/mc_state.hpp b/src/mc/mc_state.hpp
index ae21f24..dbabb8a 100644 (file)
--- a/src/mc/mc_state.hpp
+++ b/src/mc/mc_state.hpp
@@ -15,6 +15,8 @@ namespace mc {
 
 /* A node in the exploration graph (kind-of) */
 class XBT_PRIVATE State {
+  Transition transition_;
+
 public:
   /** Sequential state number (used for debugging) */
   int num_ = 0;
@@ -22,8 +24,6 @@ public:
   /** State's exploration status by process */
   std::vector<ActorState> actor_states_;
 
-  Transition transition_;
-
   /** The simcall which was executed, going out of that state */
   s_smx_simcall executed_req_;
 
@@ -44,7 +44,7 @@ public:
 
   std::size_t count_todo() const;
   void mark_todo(aid_t actor) { this->actor_states_[actor].mark_todo(); }
-  Transition get_transition() const;
+  Transition* get_transition() const;
 
 private:
   void copy_incomplete_comm_pattern();