| class_name() const=0 | object_base | [pure virtual] |
| global_timer_driver() | timer_driver | [static] |
| handle_system_timer() | timer_driver | |
| IMPLEMENT_CLASS_NAME("timer_driver") | timer_driver | |
| instance_name() const | object_base | [virtual] |
| set_timer(int duration, timed_object *to_invoke) | timer_driver | |
| text_form() const | object_base | [virtual] |
| timer_driver() | timer_driver | |
| zap_timer(timed_object *to_drop) | timer_driver | |
| ~object_base() | object_base | [virtual] |
| ~timer_driver() | timer_driver | [virtual] |
1.5.1