22 #ifndef _cvc3__smtlib_exception_h_
23 #define _cvc3__smtlib_exception_h_
40 return "SMTLIB translation error: " +
d_msg;
virtual std::string toString() const
virtual ~SmtlibException()
SmtlibException(const char *msg)
SmtlibException(const std::string &msg)