CVC3
|
#include <debug.h>
Inherits CVC3::Exception.
Additional Inherited Members | |
![]() | |
Exception () | |
Exception (const std::string &msg) | |
Exception (const char *msg) | |
virtual | ~Exception () |
void | setMessage (const std::string &msg) |
virtual std::string | toString () const |
![]() | |
std::string | d_msg |