-#include <xbt/Extendable.hpp>
-#include <xbt/base.h>
-
-#include "popping_private.hpp"
-#include "simgrid/simix.h"
-
-#include "src/kernel/activity/ExecImpl.hpp"
-
-/** @brief Host datatype from SIMIX POV */
-namespace simgrid {
-namespace simix {
-class ProcessArg;
-
-class Host {
-public:
- static simgrid::xbt::Extension<simgrid::s4u::Host, Host> EXTENSION_ID;
-
- explicit Host();
- virtual ~Host();
-
- xbt_swag_t process_list;
- std::vector<ProcessArg*> auto_restart_processes;
- std::vector<ProcessArg*> boot_processes;
-
- void turnOn();
-};
-}
-}
-
-extern "C" {
-XBT_PRIVATE void SIMIX_host_add_auto_restart_process(sg_host_t host, const char* name, std::function<void()> code,
- void* data, double kill_time,
- std::map<std::string, std::string>* properties, int auto_restart);