logic_exception.h
Go to the documentation of this file.
/********************* */
#include "cvc4_public.h"
#ifndef __CVC4__SMT__LOGIC_EXCEPTION_H
#define __CVC4__SMT__LOGIC_EXCEPTION_H
#include "util/exception.h"
namespace CVC4 {
class CVC4_PUBLIC LogicException : public CVC4::Exception {
public:
LogicException() :
Exception("Feature used while operating in "
"incorrect state") {
}
LogicException(const std::string& msg) :
Exception(msg) {
}
LogicException(const char* msg) :
Exception(msg) {
}
};/* class LogicException */
}/* CVC4 namespace */
#endif /* __CVC4__SMT__LOGIC_EXCEPTION_H */
CVC4::Exception
Definition exception.h:32
CVC4::LogicException
Definition logic_exception.h:29
CVC4::LogicException::LogicException
LogicException(const std::string &msg)
Definition logic_exception.h:36
CVC4::LogicException::LogicException
LogicException()
Definition logic_exception.h:31
CVC4::LogicException::LogicException
LogicException(const char *msg)
Definition logic_exception.h:40
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary,...
CVC4_PUBLIC
#define CVC4_PUBLIC
Definition cvc4_public.h:30
exception.h
CVC4's exception base class and some associated utilities.
CVC4
Definition expr.h:106