wrench::ServiceTerminationDetectorMessage
-
class ServiceTerminationDetectorMessage : public wrench::SimulationMessage
Top-level class for messages received/sent by a ServiceTerminationDetector.
Subclassed by wrench::ServiceHasCrashedMessage, wrench::ServiceHasTerminatedMessage