CVC3
List of all members
CVC3::DebugException Class Reference

#include <debug.h>

Inherits CVC3::Exception.

Collaboration diagram for CVC3::DebugException:
Collaboration graph

Additional Inherited Members

- Public Member Functions inherited from CVC3::Exception
 Exception ()
 
 Exception (const std::string &msg)
 
 Exception (const char *msg)
 
virtual ~Exception ()
 
void setMessage (const std::string &msg)
 
virtual std::string toString () const
 
- Protected Attributes inherited from CVC3::Exception
std::string d_msg
 

Detailed Description

Definition at line 418 of file debug.h.


The documentation for this class was generated from the following file: