1 /* Copyright (c) 2004-2023. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #ifndef FUTUREEVTSET_HPP
7 #define FUTUREEVTSET_HPP
9 #include "simgrid/forward.h"
12 namespace simgrid::kernel::profile {
14 /** @brief Future Event Set (collection of iterators over the traces)
15 * That's useful to quickly know which is the next occurring event in a set of traces. */
16 class XBT_PUBLIC FutureEvtSet {
19 FutureEvtSet(const FutureEvtSet&) = delete;
20 FutureEvtSet& operator=(const FutureEvtSet&) = delete;
21 virtual ~FutureEvtSet();
22 double next_date() const;
23 Event* pop_leq(double date, double* value, resource::Resource** resource);
24 void add_event(double date, Event* evt);
27 using Qelt = std::pair<double, Event*>;
28 std::priority_queue<Qelt, std::vector<Qelt>, std::greater<>> heap_;
31 // FIXME: kill that singleton
32 extern XBT_PRIVATE simgrid::kernel::profile::FutureEvtSet future_evt_set;
34 } // namespace simgrid::kernel::profile