22 #ifndef _cvc3__theory_arith__arith_exception_h_
23 #define _cvc3__theory_arith__arith_exception_h_
42 return "Arithmetic error: " +
d_msg;
virtual std::string toString() const
ArithException(const std::string &msg)
ArithException(const char *msg)
virtual ~ArithException()