Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/simgrid/simgrid

[simgrid.git] / src / surf / vm_hl13.hpp

diff --git a/src/surf/vm_hl13.hpp b/src/surf/vm_hl13.hpp
index 2244a38..04075eb 100644 (file)
--- a/src/surf/vm_hl13.hpp
+++ b/src/surf/vm_hl13.hpp
@@ -51,7 +51,7 @@ public:
 class VMHL13 : public VirtualMachine {
 public:
   VMHL13(VMModel *model, const char* name, xbt_dict_t props, sg_host_t host_PM);
-  ~VMHL13();
+  ~VMHL13() {}
 
   void suspend() override;
   void resume() override;
@@ -61,18 +61,8 @@ public:
 
   void migrate(sg_host_t ind_dst_pm) override;
 
-  e_surf_resource_state_t getState();
-  void setState(e_surf_resource_state_t state);
-
   void setBound(double bound);
   void setAffinity(Cpu *cpu, unsigned long mask);
-
-  //FIXME: remove
-  void updateState(tmgr_trace_event_t event_type, double value, double date);
-  bool isUsed();
-
-  Action *execute(double size);
-  Action *sleep(double duration);
 };
 
 /**********