XBT_PRIVATE void dumpRecordPath();
XBT_PRIVATE void replay(RecordTrace const& trace);
-XBT_PRIVATE void replay(const char* trace);
-
+XBT_PRIVATE void replay(std::string trace);
}
}
-SG_BEGIN_DECL()
-
/** Whether the MC record mode is enabled
*
* The behaviour is not changed. The only real difference is that
// **** Data conversion
-SG_END_DECL()
-
#endif