#include <smtlib_exception.h>
Inherits CVC3::Exception.
Definition at line 31 of file smtlib_exception.h.
CVC3::SmtlibException::SmtlibException |
( |
| ) |
|
|
inline |
CVC3::SmtlibException::SmtlibException |
( |
const std::string & |
msg | ) |
|
|
inline |
CVC3::SmtlibException::SmtlibException |
( |
const char * |
msg | ) |
|
|
inline |
virtual CVC3::SmtlibException::~SmtlibException |
( |
| ) |
|
|
inlinevirtual |
virtual std::string CVC3::SmtlibException::toString |
( |
| ) |
const |
|
inlinevirtual |
The documentation for this class was generated from the following file: