diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/modal_exception.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h index fc1b8ac9e..0392ab470 100644 --- a/src/base/modal_exception.h +++ b/src/base/modal_exception.h @@ -42,6 +42,20 @@ public: } };/* class ModalException */ +/** + * Special case of ModalException that allows the execution of the solver to + * continue. + * + * TODO(#1108): This exception should not be needed anymore in future versions + * of the public API. + */ +class CVC4_PUBLIC RecoverableModalException : public CVC4::ModalException { + public: + RecoverableModalException(const std::string& msg) : ModalException(msg) {} + + RecoverableModalException(const char* msg) : ModalException(msg) {} +}; /* class RecoverableModalException */ + }/* CVC4 namespace */ #endif /* __CVC4__SMT__MODAL_EXCEPTION_H */ |