wrench::ServiceTerminationDetectorMessage

class ServiceTerminationDetectorMessage : public wrench::SimulationMessage

Top-level class for messages received/sent by a ServiceTerminationDetector.

Subclassed by wrench::ServiceHasCrashedMessage, wrench::ServiceHasTerminatedMessage