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)
-
static const std::string MONITORING_PERIOD