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