1 /*****************************************************************************/ 2 /*! 3 * \file arith_exception.h 4 * \brief An exception thrown by the arithmetic decision procedure. 5 * 6 * Author: Sergey Berezin 7 * 8 * Created: Fri May 23 15:42:21 2003 9 * 10 * <hr> 11 * 12 * License to use, copy, modify, sell and/or distribute this software 13 * and its documentation for any purpose is hereby granted without 14 * royalty, subject to the terms and conditions defined in the \ref 15 * LICENSE file provided with this distribution. 16 * 17 * <hr> 18 * 19 */ 20 /*****************************************************************************/ 21 22 #ifndef _cvc3__theory_arith__arith_exception_h_ 23 #define _cvc3__theory_arith__arith_exception_h_ 24 25 #include <string> 26 #include <iostream> 27 #include "exception.h" 28 29 namespace CVC3 { 30 31 class ArithException: public Exception { 32 // protected: 33 // std::string d_msg; 34 public: 35 // Constructors ArithException()36 ArithException() { } ArithException(const std::string & msg)37 ArithException(const std::string& msg): Exception(msg) { } ArithException(const char * msg)38 ArithException(const char* msg): Exception(msg) { } 39 // Destructor ~ArithException()40 virtual ~ArithException() { } toString()41 virtual std::string toString() const { 42 return "Arithmetic error: " + d_msg; 43 } 44 }; // end of class ArithException 45 } // end of namespace CVC3 46 47 #endif 48