- ExecPtr set_host(Host* host);
- ExecPtr set_name(std::string name);
- ExecPtr set_tracing_category(std::string category);
- Host* get_host();
+ ExecPtr set_priority(double priority);
+ XBT_ATTRIB_DEPRECATED_v329("Please use exec_init(...)->wait_for(timeout)") ExecPtr set_timeout(double timeout);
+ Exec* cancel() override;
+ Host* get_host() const;
+ unsigned int get_host_number() const;
+ double get_start_time() const;
+ double get_finish_time() const;
+ double get_cost() const;
+};
+
+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;