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