diff options
Diffstat (limited to 'src/api/cpp/cvc5_checks.h')
| -rw-r--r-- | src/api/cpp/cvc5_checks.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/api/cpp/cvc5_checks.h b/src/api/cpp/cvc5_checks.h index 35c21df9c..71b17cef1 100644 --- a/src/api/cpp/cvc5_checks.h +++ b/src/api/cpp/cvc5_checks.h @@ -43,6 +43,14 @@ namespace api { CVC5_PREDICT_TRUE(cond) \ ? (void)0 : OstreamVoider() & CVC5ApiRecoverableExceptionStream().ostream() +/** + * The base check macro for throwing unsupported exceptions. + * Throws a CVC5ApiUnsupportedException if 'cond' is false. + */ +#define CVC5_API_UNSUPPORTED_CHECK(cond) \ + CVC5_PREDICT_TRUE(cond) \ + ? (void)0 : OstreamVoider() & CVC5ApiUnsupportedExceptionStream().ostream() + /* -------------------------------------------------------------------------- */ /* Not null checks. */ /* -------------------------------------------------------------------------- */ |