/* Workstation */
typedef s_xbt_dictelm_t s_SD_workstation_t;
typedef struct SD_workstation {
- void *data; /* user data */
e_SD_workstation_access_mode_t access_mode;
xbt_fifo_t task_fifo; /* only used in sequential mode */
XBT_PUBLIC(xbt_swag_t) SD_simulate_swag(double how_long); /* could be public, but you need to see the internals of the SD_task_t to use it */
-XBT_PRIVATE SD_workstation_t __SD_workstation_create(void *surf_workstation,
- void *data);
+XBT_PRIVATE SD_workstation_t __SD_workstation_create(const char* name);
XBT_PRIVATE void __SD_workstation_destroy(void *workstation);
XBT_PRIVATE int __SD_workstation_is_busy(SD_workstation_t workstation);