Transition* get_transition() const { return this->associated_transition.get(); }
aid_t get_actor() const { return get_transition()->aid_; }
+ void set_transition(std::shared_ptr<Transition> t) { this->associated_transition = std::move(t); }
+
std::string to_string() const;
bool operator==(const UnfoldingEvent&) const;