- ConditionWaitSimcall(smx_actor_t actor, kernel::activity::ConditionVariableImpl* cond,
- kernel::activity::MutexImpl* mutex, double timeout = -1.0)
- : SimcallObserver(actor), cond_(cond), mutex_(mutex), 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;
- kernel::activity::ConditionVariableImpl* get_cond() const { return cond_; }
- kernel::activity::MutexImpl* get_mutex() const { return mutex_; }
- 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;