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