X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6c37cd8a82aea9e0d1d5b8da897db82ad09076bc..500f2123a1cc27f0727a1da2f7f9917e36f63ad5:/src/mc/api/ActorState.hpp diff --git a/src/mc/api/ActorState.hpp b/src/mc/api/ActorState.hpp index 946971af29..d407e5b893 100644 --- a/src/mc/api/ActorState.hpp +++ b/src/mc/api/ActorState.hpp @@ -40,7 +40,7 @@ class ActorState { * such transitions such that `pending_transitions_[i]` represents * the variation of the transition with `times_considered = i`. * - * TODO: If only a subset of transitions of an actor that can + * @note: If only a subset of transitions of an actor that can * take multiple transitions in some state are truly enabled, * we would instead need to map `times_considered` to a transition, * as the map is currently implicit in the ordering of the transitions @@ -114,7 +114,7 @@ public: } void mark_done() { this->state_ = InterleavingType::done; } - inline Transition* get_transition(unsigned times_considered) + inline Transition* get_transition(unsigned times_considered) const { xbt_assert(times_considered < this->pending_transitions_.size(), "Actor %ld does not have a state available transition with `times_considered = %u`,\n"