wrench::HostStateChangeDetectorProperty

class HostStateChangeDetectorProperty : public wrench::ServiceProperty

Configurable properties for a HostStateChangeDetector.

Public Static Attributes

static const std::string MONITORING_PERIOD

The monitoring period in seconds (default: 1.0)