X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e3e4c4433e484e45e5112d35e6ded5714bdaddee..2bc5d5de25422d68be39b9a2d4ce4fef83188ece:/src/mc/udpor_global.hpp diff --git a/src/mc/udpor_global.hpp b/src/mc/udpor_global.hpp index bc01589125..97bbfc641f 100644 --- a/src/mc/udpor_global.hpp +++ b/src/mc/udpor_global.hpp @@ -58,7 +58,6 @@ public: class UnfoldingEvent { public: - EventSet causes; // used to store directed ancestors of event e UnfoldingEvent(unsigned int nb_events, std::string const& trans_tag, EventSet const& causes, int sid = -1); UnfoldingEvent(const UnfoldingEvent&) = default; UnfoldingEvent& operator=(UnfoldingEvent const&) = default; @@ -86,6 +85,7 @@ public: inline void set_transition_tag(std::string const& tr_tag) { transition_tag = tr_tag; } private: + EventSet causes; // used to store directed ancestors of event e int id = -1; int state_id{-1}; std::string transition_tag{""}; // The tag of the last transition that lead to creating the event