- SemAcquireSimcall(smx_actor_t actor, activity::SemaphoreImpl* sem, double timeout = -1.0)
- : SimcallObserver(actor), sem_(sem), timeout_(timeout)
- {
- }
- bool is_enabled() const override;
- bool is_visible() const override { return false; }
- std::string to_string(int times_considered) const override;
- std::string dot_label() const override;
- activity::SemaphoreImpl* get_sem() const { return sem_; }
- double get_timeout() const { return timeout_; }
+ ActorJoinSimcall(ActorImpl* actor, ActorImpl* other, double timeout = -1.0);
+ void serialize(std::stringstream& stream) const override;
+ std::string to_string() const override;
+ bool is_enabled() override;