-template<class F> inline
-smx_timer_t SIMIX_timer_set(double date, F callback)
-{
- return SIMIX_timer_set(date, simgrid::xbt::Task<void()>(std::move(callback)));
-}
+ template <class F> static inline Timer* set(double date, F callback)
+ {
+ return set(date, simgrid::xbt::Task<void()>(std::move(callback)));
+ }
+
+ template <class R, class T> static inline Timer* set(double date, R (*callback)(T*), T* arg)
+ {
+ return set(date, [callback, arg]() { callback(arg); });
+ }
+
+ static Timer* set(double date, void (*callback)(void*), void* arg);
+ static Timer* set(double date, simgrid::xbt::Task<void()> callback);
+ static double next() { return simix_timers.empty() ? -1.0 : simix_timers.top().first; }
+};
+
+} // namespace simix
+} // namespace simgrid
+
+XBT_PUBLIC smx_actor_t simcall_process_create(std::string name, simgrid::simix::ActorCode code, void* data,
+ sg_host_t host, std::unordered_map<std::string, std::string>* properties);
+
+XBT_PUBLIC smx_timer_t SIMIX_timer_set(double date, simgrid::xbt::Task<void()> callback);