#include "xbt/misc.h" /* SG_BEGIN_DECL */
SG_BEGIN_DECL()
-
/** @addtogroup GRAS_emul
* @brief Code execution "emulation" and "virtualization".
*
- * <center><table><tr><td><b>Top</b> <td> [\ref index]::[\ref GRAS_API]
- * <tr><td><b>Prev</b> <td> [\ref GRAS_globals]
- * <tr><td><b>Next</b> <td> [\ref GRAS_main_generation] </table></center>
- *
* Emulation and virtualization words have a lot of different meanings in
* computer science. Here is what we mean, and what this module allows you
* to do (if it does not match your personal belives, I'm sorry):
*/
/** \brief Returns true only if the program runs on real life */
-int gras_if_RL(void);
+XBT_PUBLIC(int) gras_if_RL(void);
/** \brief Returns true only if the program runs within the simulator */
-int gras_if_SG(void);
+XBT_PUBLIC(int) gras_if_SG(void);
/** @} */
-int gras_bench_always_begin(const char *location, int line);
-int gras_bench_always_end(void);
-int gras_bench_once_begin(const char *location, int line);
-int gras_bench_once_end(void);
+XBT_PUBLIC(int) gras_bench_always_begin(const char *location, int line);
+XBT_PUBLIC(int) gras_bench_always_end(void);
+XBT_PUBLIC(int) gras_bench_once_begin(const char *location, int line);
+XBT_PUBLIC(int) gras_bench_once_end(void);
/** @addtogroup GRAS_emul
* \section GRAS_emul_timing Emulation