namespace xbt {
/* To split the file if a unique one is given (specific variable for the other case live in runner()) */
typedef std::vector<std::string> ReplayAction;
namespace xbt {
/* To split the file if a unique one is given (specific variable for the other case live in runner()) */
typedef std::vector<std::string> ReplayAction;
XBT_PUBLIC_DATA std::ifstream* action_fs;
XBT_PUBLIC int replay_runner(int argc, char* argv[]);
}
}
XBT_PUBLIC_DATA std::ifstream* action_fs;
XBT_PUBLIC int replay_runner(int argc, char* argv[]);
}
}
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);
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);