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