- ExecPtr set_host(Host* host);
- ExecPtr set_name(std::string name);
- ExecPtr set_tracing_category(std::string category);
+ ExecPtr set_name(const std::string& name);
+ ExecPtr set_priority(double priority);
+ ExecPtr set_tracing_category(const std::string& category);
+ ExecPtr set_timeout(double timeout);
+ Exec* cancel() override;
+
+ XBT_ATTRIB_DEPRECATED_v324("Please use Exec::wait_for()") void wait(double t) override { wait_for(t); }
+};
+
+class XBT_PUBLIC ExecSeq : public Exec {
+ double flops_amount_ = 0.0;
+
+ explicit ExecSeq(sg_host_t host, double flops_amount);
+
+public:
+ friend XBT_PUBLIC ExecPtr this_actor::exec_init(double flops_amount);
+
+ ~ExecSeq() = default;
+
+ Exec* start() override;
+
+ ExecPtr set_host(Host* host) override;