class TimeProducerPort : public virtual Port Interface for providing a time service
Interface for providing a time service
alphabetic index hierarchy of classes
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de