95     typedef std::set< signals::timer* > timers_set;
98     typedef std::vector< signals::timer* > timers_vector;
122     add_to_all_timers(signals::timer* timer)  in add_to_all_timers()  argument
124         timers_set& timers = _all_timers[timer->when()];  in add_to_all_timers()
125         INV(timers.find(timer) == timers.end());  in add_to_all_timers()
126         timers.insert(timer);  in add_to_all_timers()
136     remove_from_all_timers(signals::timer* timer)  in remove_from_all_timers()  argument
141             timer->when());  in remove_from_all_timers()
144             INV(timers.find(timer) != timers.end());  in remove_from_all_timers()
145             timers.erase(timer);  in remove_from_all_timers()
242     global_state(signals::timer* timer, const datetime::timestamp& now) :  in global_state()  argument
243         _timer_activation(timer->when())  in global_state()
245         PRE(now < timer->when());  in global_state()
249         const datetime::delta delta = timer->when() - now;  in global_state()
251            timer->when() % now);  in global_state()
257             _timer_activation = timer->when();  in global_state()
258             add_to_all_timers(timer);  in global_state()
293     program_new(signals::timer* timer, const datetime::timestamp& now)  in program_new()  argument
297         add_to_all_timers(timer);  in program_new()
311     unprogram(signals::timer* timer)  in unprogram()  argument
315         LD(F("Unprogramming timer; previously firing on %s") % timer->when());  in unprogram()
317         remove_from_all_timers(timer);  in unprogram()
371 utils::signals::detail::invoke_do_fired(timer* timer)  in invoke_do_fired()  argument
373     timer->do_fired();  in invoke_do_fired()
383 struct utils::signals::timer::impl : utils::noncopyable {
421 signals::timer::timer(const datetime::delta& delta)  in timer()  function in signals::timer
440 signals::timer::~timer(void)  in ~timer()
467 signals::timer::when(void) const  in when()
478 signals::timer::do_fired(void)  in do_fired()
494 signals::timer::callback(void)  in callback()
504 signals::timer::fired(void) const  in fired()
519 signals::timer::unprogram(void)  in unprogram()