Book keeping before and after an event. More...
Book keeping before and after an event.
Definition at line 585 of file gears.cc.
Definition at line 586 of file gears.cc.