Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simix::Synchro: Factorize the refcounting for child classes
[simgrid.git] / src / simix / SynchroExec.hpp
index c81b6b7..7904cfe 100644 (file)
@@ -13,9 +13,11 @@ namespace simgrid {
 namespace simix {
 
   XBT_PUBLIC_CLASS Exec : public Synchro {
+    ~Exec();
   public:
     void suspend();
     void resume();
+    double remains();
 
     sg_host_t host;                /* The host where the execution takes place */
     surf_action_t surf_exec;        /* The Surf execution action encapsulated */