void MSG_paje_output(const char *filename);
double MSG_getClock(void);
+double MSG_get_clock(void);
/************************** Host handling ***********************************/
MSG_error_t MSG_host_set_data(m_host_t host, void *data);
MSG_error_t MSG_process_sleep(double nb_sec);
MSG_error_t MSG_get_errno(void);
+double MSG_task_get_compute_duration(m_task_t task);
+double MSG_task_get_data_size(m_task_t task);
+
/************************** Deprecated ***************************************/
/* MSG_error_t MSG_routing_table_init(void); */
/* MSG_error_t MSG_routing_table_set(m_host_t host1, m_host_t host2, */