#include <debug.h>
Inheritance diagram for CVC3::DebugException:
Definition at line 101 of file debug.h.
CVC3::DebugException::DebugException | ( | const std::string & | msg | ) | [inline] |
virtual std::string CVC3::DebugException::toString | ( | ) | const [inline, virtual] |
Reimplemented from CVC3::Exception.
Definition at line 106 of file debug.h.
References CVC3::Exception::d_msg.