ComputeThreadHasDied.h

 
#ifndef WRENCH_COMPUTE_THREAD_HAS_DIED_H
#define WRENCH_COMPUTE_THREAD_HAS_DIED_H
 
#include <set>
#include <string>
 
#include "wrench/services/Service.h"
#include "wrench/services/storage/StorageService.h"
#include "wrench/services/compute/ComputeService.h"
 
namespace wrench {
 
    /***********************/
    /***********************/
 
 
    class ComputeThreadHasDied : public FailureCause {
    public:
        /***********************/
        /***********************/
        ComputeThreadHasDied();
        /***********************/
        /***********************/
 
        std::string toString();
 
    private:
    };
 
    /***********************/
    /***********************/
};
 
 
#endif //WRENCH_COMPUTE_THREAD_HAS_DIED_H