Timer(double date, simgrid::xbt::Task<void()>&& callback) : date(date), callback(std::move(callback)) {}
simgrid::xbt::Task<void()> callback;
- double get_date() { return date; }
+ double get_date() const { return date; }
void remove();
template <class F> static inline Timer* set(double date, F callback)
}
/** Wake up all actors waiting for a Surf action to finish */
-void Global::wake_all_waiting_actors()
+void Global::wake_all_waiting_actors() const
{
for (auto const& model : all_existing_models) {
kernel::resource::Action* action;
}
}
-void Global::display_all_actor_status()
+void Global::display_all_actor_status() const
{
XBT_INFO("%zu actors are still running, waiting for something.", process_list.size());
/* List the actors and their state */
*/
void empty_trash();
void run_all_actors();
- void wake_all_waiting_actors();
- void display_all_actor_status();
+ void wake_all_waiting_actors() const;
+ void display_all_actor_status() const;
smx_context_factory_t context_factory = nullptr;
std::vector<kernel::actor::ActorImpl*> actors_to_run;