HostStateChangeDetectorProperty.h
1 
10 #ifndef WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H
11 #define WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H
12 
13 #include <wrench/services/ServiceProperty.h>
14 
15 namespace wrench {
16 
17  /***********************/
19  /***********************/
20 
26  public:
27 
29  DECLARE_PROPERTY_NAME(MONITORING_PERIOD);
30 
31  };
32 
33  /***********************/
35  /***********************/
36 }
37 
38 
39 #endif //WRENCH_HOSTSTATECHANGEDETECTORPROPERTY_H
Configurable properties for a Service.
Definition: ServiceProperty.h:25
static const std::string MONITORING_PERIOD
The monitoring period in seconds (default: 1.0)
Definition: HostStateChangeDetectorProperty.h:29
Definition: Alarm.cpp:20
Configurable properties for a HostStateChangeDetector.
Definition: HostStateChangeDetectorProperty.h:25