wrench::TimerEvent

class wrench::TimerEvent : public wrench::ExecutionEvent

A “timer went off” ExecutionEvent.

Public Functions

inline std::string toString() override

Get a textual description of the event.

Returns

a text string

Public Members

std::string message

The message.