Initialize uninitialized transition for root state

[simgrid.git] / src / mc / api / State.hpp

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index 08a4ecf30d3476660b4791d4926aa7eba1582d3a..c36eddc64a08ae9d7466c699a660328877ce8f4b 100644 (file)
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -22,10 +22,16 @@ class XBT_PRIVATE State : public xbt::Extendable<State> {
    * we took to leave this state?
    *
    * The owner of the transition is the `ActorState` instance which exists in this state,
-   * or nullptr if the state represents the root
+   * or a reference to the internal default transition `Transition()` if no transition has been
+   * set
    */
   Transition* transition_ = nullptr;
 
+  /**
+   * @brief An empty transition that leads to this state by default
+   */
+  const std::unique_ptr<Transition> default_transition;
+
   /** Sequential state ID (used for debugging) */
   long num_ = 0;