10 #ifndef WRENCH_WMSMESSAGE_H
11 #define WRENCH_WMSMESSAGE_H
13 #include "wrench/simulation/SimulationMessage.h"
24 class WMSMessage :
public SimulationMessage {
26 WMSMessage(std::string name,
double payload);
33 class AlarmWMSDeferredStartMessage :
public WMSMessage {
35 explicit AlarmWMSDeferredStartMessage(
double payload);
42 class AlarmWMSTimerMessage :
public WMSMessage {
44 explicit AlarmWMSTimerMessage(std::string message,
double payload);
55 #endif //WRENCH_WMSMESSAGE_H