+
+public:
+ explicit ActorIDTrait(std::string name, aid_t ppid);
+ const xbt::string& get_name() const { return name_; }
+ const char* get_cname() const { return name_.c_str(); }
+ aid_t get_pid() const { return pid_; }
+ aid_t get_ppid() const { return ppid_; }
+};
+XBT_PUBLIC unsigned long get_maxpid();
+XBT_PUBLIC unsigned long* get_maxpid_addr(); // In MC mode, the application sends this pointers to the MC
+
+class XBT_PUBLIC ActorImpl : public xbt::PropertyHolder, public ActorRestartingTrait, public ActorIDTrait {
+ s4u::Host* host_ = nullptr; /* the host on which the actor is running */