24 #ifndef _cvc3__eval_exception_h_
25 #define _cvc3__eval_exception_h_
40 return "Error while evaluating a command:\n " +
d_msg;
EvalException(const std::string &msg)
EvalException(const char *msg)
virtual std::string toString() const
virtual ~ResetException()