This class serves as a holder for worker classes before they go to die
This class serves as a holder for worker classes before they go to die. It holds the workers until a makestats() call is made, at which point it generates some statistics, given the workers.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de