CBMC
|
#include <cout_message.h>
Public Member Functions | |
cerr_message_handlert () | |
Additional Inherited Members |
Definition at line 22 of file cout_message.h.
cerr_message_handlert::cerr_message_handlert | ( | ) |
Definition at line 40 of file cout_message.cpp.