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
27namespace CVC4 {
28
30public:
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 */
LogicException(const std::string &msg)
LogicException(const char *msg)
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
CVC4's exception base class and some associated utilities.
Definition expr.h:106