#include <eval_exception.h>
List of all members.
Additional Inherited Members |
std::string | d_msg |
Detailed Description
Definition at line 30 of file eval_exception.h.
Constructor & Destructor Documentation
CVC3::EvalException::EvalException |
( |
| ) |
|
|
inline |
CVC3::EvalException::EvalException |
( |
const std::string & |
msg | ) |
|
|
inline |
CVC3::EvalException::EvalException |
( |
const char * |
msg | ) |
|
|
inline |
virtual CVC3::EvalException::~EvalException |
( |
| ) |
|
|
inlinevirtual |
Member Function Documentation
virtual std::string CVC3::EvalException::toString |
( |
| ) |
const |
|
inlinevirtual |
The documentation for this class was generated from the following file: