class PushTimer : public TimerHandler | |
| |
| |
| |
| |
| |
void set_interval(double itv)
double get_interval()
this page has been generated automatically by doc++
Adapted for the NS documentation page
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de