#ifndef XBT_REPLAY_HPP
#define XBT_REPLAY_HPP
-#include "xbt/dict.h"
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
#ifdef __cplusplus
#include <fstream>
#include <queue>
static std::unordered_map<std::string, std::queue<ReplayAction*>*> action_queues;
XBT_PUBLIC_DATA(std::ifstream*) action_fs;
-XBT_PUBLIC(bool) replay_is_active();
-XBT_PUBLIC(void) replay_init();
-XBT_PUBLIC(void) replay_exit();
XBT_PUBLIC(int) replay_runner(int argc, char* argv[]);
}
}
typedef void (*action_fun)(const char* const* args);
XBT_PUBLIC(void) xbt_replay_action_register(const char* action_name, action_fun function);
+XBT_PUBLIC(action_fun) xbt_replay_action_get(const char* action_name);
SG_END_DECL()