#include <xbt/functional.hpp>
#include <xbt/future.hpp>
#include <xbt/signal.hpp>
+#include <xbt/utility.hpp>
#include <boost/heap/fibonacci_heap.hpp>
#include <string>
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)