XBT_PUBLIC(void) SD_init(int *argc, char **argv);
XBT_PUBLIC(void) SD_application_reinit(void);
XBT_PUBLIC(void) SD_create_environment(const char *platform_file);
-XBT_PUBLIC(SD_task_t *) SD_simulate(double how_long);
+XBT_PUBLIC(void) SD_load_environment_script(const char *script_file);
+XBT_PUBLIC(xbt_dynar_t) SD_simulate(double how_long);
XBT_PUBLIC(double) SD_get_clock(void);
XBT_PUBLIC(void) SD_exit(void);
XBT_PUBLIC(xbt_dynar_t) SD_daxload(const char*filename);
+XBT_PUBLIC(xbt_dynar_t) SD_dotload(const char*filename);
+XBT_PUBLIC(void) uniq_transfer_task_name(SD_task_t task);
/** @} */
+#include "instr/instr.h"
+
SG_END_DECL()
#endif
