cvc4-1.4
logic_exception.h
Go to the documentation of this file.
1 /********************* */
20 #include "cvc4_public.h"
21 
22 #ifndef __CVC4__SMT__LOGIC_EXCEPTION_H
23 #define __CVC4__SMT__LOGIC_EXCEPTION_H
24 
25 #include "util/exception.h"
26 
27 namespace CVC4 {
28 
30 public:
32  Exception("Feature used while operating in "
33  "incorrect state") {
34  }
35 
36  LogicException(const std::string& msg) :
37  Exception(msg) {
38  }
39 
40  LogicException(const char* msg) :
41  Exception(msg) {
42  }
43 };/* class LogicException */
44 
45 }/* CVC4 namespace */
46 
47 #endif /* __CVC4__SMT__LOGIC_EXCEPTION_H */
Definition: options.h:60
CVC4's exception base class and some associated utilities.
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
LogicException(const char *msg)
Macros that should be defined everywhere during the building of the libraries and driver binary...
LogicException(const std::string &msg)