#ifndef GRAS_COND_H
#define GRAS_COND_H
-#include "xbt/misc.h" /* BEGIN_DECL */
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
-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):
#define GRAS_BENCH_ONCE_RUN_ONCE_END() } gras_bench_once_end()
/** @} */
-END_DECL()
+SG_END_DECL()
#endif /* GRAS_COND_H */