+ExecPtr Exec::set_name(std::string name)
+{
+ xbt_assert(state_ == State::INITED, "Cannot change the name of an exec after its start");
+ name_ = name;
+ return this;
+}
+
+ExecPtr Exec::set_tracing_category(std::string category)
+{
+ xbt_assert(state_ == State::INITED, "Cannot change the tracing category of an exec after its start");
+ tracing_category_ = category;
+ return this;
+}
+
+/** @brief Retrieve the host on which this activity takes place. */
+Host* Exec::get_host()
+{
+ return host_;
+}
+
+/** @brief Returns the amount of flops that remain to be done */