Use C++ to implement dynamic dispatch

[simgrid.git] / src / simix / SynchroExec.hpp

diff --git a/src/simix/SynchroExec.hpp b/src/simix/SynchroExec.hpp
index c81b6b7..d0abb29 100644 (file)
--- a/src/simix/SynchroExec.hpp
+++ b/src/simix/SynchroExec.hpp
@@ -13,9 +13,12 @@ namespace simgrid {
 namespace simix {
 
   XBT_PUBLIC_CLASS Exec : public Synchro {
+    ~Exec();
   public:
     void suspend();
     void resume();
+    void post() override;
+    double remains();
 
     sg_host_t host;                /* The host where the execution takes place */
     surf_action_t surf_exec;        /* The Surf execution action encapsulated */