Class used to manipulate the debug output
Class used to manipulate the debug output.
void setStream(const char *filename)
void enable(const string &s)
void disable(const string &s)
void enter(const string &s)
void enter(const string &s, const string &header)
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