+ bool has_to_auto_restart() const { return auto_restart_; }
+ void set_auto_restart(bool autorestart) { auto_restart_ = autorestart; }
+ int get_restart_count() const { return restart_count_; }
+};
+
+/*------------------------- [ ActorImpl ] -------------------------*/
+class XBT_PUBLIC ActorImpl : public xbt::PropertyHolder, public ActorIDTrait, public ActorRestartingTrait {
+ s4u::Host* host_ = nullptr; /* the host on which the actor is running */
+ bool daemon_ = false; /* Daemon actors are automatically killed when the last non-daemon leaves */
+ unsigned stacksize_; // set to default value in constructor
+ bool iwannadie_ = false; // True if we need to do some cleanups in actor mode.
+ bool to_be_freed_ = false; // True if cleanups in actor mode done, but cleanups in kernel mode pending
+
+ std::vector<activity::MailboxImpl*> mailboxes_;
+ friend activity::MailboxImpl;
+
+public:
+ ActorImpl(xbt::string name, s4u::Host* host, aid_t ppid);