class XBT_PUBLIC ExecImpl : public ActivityImpl_T<ExecImpl> {
std::unique_ptr<resource::Action, std::function<void(resource::Action*)>> timeout_detector_{
nullptr, [](resource::Action* a) { a->unref(); }};
double sharing_penalty_ = 1.0;
double bound_ = 0.0;
class XBT_PUBLIC ExecImpl : public ActivityImpl_T<ExecImpl> {
std::unique_ptr<resource::Action, std::function<void(resource::Action*)>> timeout_detector_{
nullptr, [](resource::Action* a) { a->unref(); }};
double sharing_penalty_ = 1.0;
double bound_ = 0.0;