HostStateChangeDetectorProperty.h

 
#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