X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/13f8c10bd72f90cb6f70e9a03ce37dcbf6e01226..3203afd846219ef8b41cadda945ea0a98103c46f:/src/mc/api/ActorState.hpp diff --git a/src/mc/api/ActorState.hpp b/src/mc/api/ActorState.hpp index 495cf0eb47..eda280894b 100644 --- a/src/mc/api/ActorState.hpp +++ b/src/mc/api/ActorState.hpp @@ -53,7 +53,7 @@ class ActorState { * This means there may be a way to store the list once and apply differences * rather than repeating elements frequently. */ - std::vector> pending_transitions_; + std::vector> pending_transitions_; /* Possible exploration status of an actor transition in a state. * Either the checker did not consider the transition, or it was considered and still to do, or considered and @@ -86,7 +86,7 @@ class ActorState { public: ActorState(aid_t aid, bool enabled, unsigned int max_consider) : ActorState(aid, enabled, max_consider, {}) {} - ActorState(aid_t aid, bool enabled, unsigned int max_consider, std::vector> transitions) + ActorState(aid_t aid, bool enabled, unsigned int max_consider, std::vector> transitions) : pending_transitions_(std::move(transitions)), aid_(aid), max_consider_(max_consider), enabled_(enabled) { }