SG_BEGIN_DECL()
- /* Get the PID of the current process */
- XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid;
+/* Get the PID of the current (simulated) process */
+XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid;
+
+/* Current time */
+XBT_PUBLIC(double) xbt_time(void);
+
+ /* Get the name of the UNIX process englobing the world */
+ XBT_PUBLIC(const char*) xbt_os_procname(void);
+
+ /**
+ *
+ * Time management functions, returns the system time or sleeps a process. They work both on the simulated and real systems(GRAS).
+ */
+ XBT_PUBLIC(double) xbt_time(void);
+ XBT_PUBLIC(void) xbt_sleep(double sec);
+
SG_END_DECL()
#endif /* __XBT_VIRTU_H__ */
