ActionExecutionServiceProperty.h

 
#ifndef WRENCH_ACTION_EXECUTION_SERVICE_PROPERTY_H
#define WRENCH_ACTION_EXECUTION_SERVICE_PROPERTY_H
 
 
#include "wrench/services/ServiceProperty.h"
 
namespace wrench {
 
    /***********************/
    /***********************/
 
    class ActionExecutionServiceProperty {
 
    public:
 
        DECLARE_PROPERTY_NAME(TERMINATE_WHENEVER_ALL_RESOURCES_ARE_DOWN);
 
        DECLARE_PROPERTY_NAME(FAIL_ACTION_AFTER_ACTION_EXECUTOR_CRASH);
    };
 
    /***********************/
    /***********************/
 
};
 
 
#endif //WRENCH_ACTION_EXECUTION_SERVICE_PROPERTY_H