/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "simgrid/s4u/VirtualMachine.hpp"
-#include "src/kernel/actor/ActorImpl.hpp"
+#include <simgrid/s4u/VirtualMachine.hpp>
+
#include "src/surf/HostImpl.hpp"
-#include <algorithm>
-#include <deque>
-#include <unordered_map>
#ifndef VM_INTERFACE_HPP_
#define VM_INTERFACE_HPP_
void suspend(kernel::actor::ActorImpl* issuer);
void resume();
void shutdown(kernel::actor::ActorImpl* issuer);
- void destroy();
+ void vm_destroy();
/** @brief Change the physical host on which the given VM is running */
void set_physical_host(s4u::Host* dest);