13 #ifndef __PROCESS_TIMER_HPP__ 14 #define __PROCESS_TIMER_HPP__ 66 const lambda::function<
void()>& _thunk)
67 :
id(_id), t(_t), pid(_pid), thunk(_thunk)
81 lambda::function<void()> thunk;
86 #endif // __PROCESS_TIMER_HPP__ bool operator==(const Timer &that) const
Definition: timer.hpp:35
Provides timers.
Definition: clock.hpp:37
Timeout timeout() const
Definition: timer.hpp:47
void operator()() const
Definition: timer.hpp:41
An "untyped" PID, used to encapsulate the process ID for lower-layer abstractions (eg...
Definition: pid.hpp:39
Definition: timeout.hpp:24
Definition: executor.hpp:48
process::UPID creator() const
Definition: timer.hpp:55
Timer()
Definition: timer.hpp:33