1.5/user/_host_state_change_detector_property_8h_source.html

 #ifndef WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H
 #define WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H

 #include <wrench/services/ServiceProperty.h>

 namespace wrench {

     class HostStateChangeDetectorProperty:public ServiceProperty {
     public:

         DECLARE_PROPERTY_NAME(MONITORING_PERIOD);

     };
 }


 #endif //WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H
wrench::HostStateChangeDetectorProperty::MONITORING_PERIOD
static const std::string MONITORING_PERIOD
The monitoring period in seconds (default: 1.0)
Definition: HostStateChangeDetectorProperty.h:25

wrench::ServiceProperty
Configurable properties for a Service.
Definition: ServiceProperty.h:25

wrench::HostStateChangeDetectorProperty
Configurable properties for a HostStateChangeDetector.
Definition: HostStateChangeDetectorProperty.h:21

wrench
Definition: Alarm.cpp:19