/** \ingroup SURF_simulation
* \brief List of hosts that have just restarted and whose autorestart process should be restarted.
*/
-XBT_PUBLIC_DATA(std::vector<std::string>) host_that_restart;
+XBT_PUBLIC_DATA(std::vector<sg_host_t>) host_that_restart;
extern XBT_PRIVATE double sg_sender_gap;
typedef boost::intrusive::list<Action, ActionLmmOptions> ActionLmmList;
typedef ActionLmmList* ActionLmmListPtr;
+/********************
+ * Helper functions *
+ ********************/
+
+double shareResourcesMaxMin(ActionList* runningActions, lmm_system_t sys, void (*solve) (lmm_system_t));
+
+
/*********
* Model *
*********/
virtual double next_occuring_event(double now);
virtual double next_occuring_event_lazy(double now);
virtual double next_occuring_event_full(double now);
- double shareResourcesMaxMin(ActionList* running_actions,
- lmm_system_t sys, void (*solve) (lmm_system_t));
/**
* @brief Update action to the current time