23 #ifndef _cvc3__exception_h_
24 #define _cvc3__exception_h_
Exception(const std::string &msg)
ostream & operator<<(ostream &os, const Expr &e)
friend std::ostream & operator<<(std::ostream &os, const Exception &e)
virtual std::string toString() const
void setMessage(const std::string &msg)
Exception(const char *msg)