diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
| commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
| tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /docs | |
| parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) | |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/cpp/exceptions.rst | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/docs/cpp/exceptions.rst b/docs/cpp/exceptions.rst index 93a680533..414f27a78 100644 --- a/docs/cpp/exceptions.rst +++ b/docs/cpp/exceptions.rst @@ -2,26 +2,26 @@ Exceptions ========== The CVC5 API communicates certain errors using exceptions. We broadly -distinguish two types of exceptions: :cpp:class:`CVC4ApiException -<cvc5::api::CVC4ApiException>` and :cpp:class:`CVC4ApiRecoverableException -<cvc5::api::CVC4ApiRecoverableException>` (which is derived from -:cpp:class:`CVC4ApiException <cvc5::api::CVC4ApiException>`). +distinguish two types of exceptions: :cpp:class:`CVC5ApiException +<cvc5::api::CVC5ApiException>` and :cpp:class:`CVC5ApiRecoverableException +<cvc5::api::CVC5ApiRecoverableException>` (which is derived from +:cpp:class:`CVC5ApiException <cvc5::api::CVC5ApiException>`). -If any method fails with a :cpp:class:`CVC4ApiRecoverableException -<cvc5::api::CVC4ApiRecoverableException>`, the solver behaves as if the failing +If any method fails with a :cpp:class:`CVC5ApiRecoverableException +<cvc5::api::CVC5ApiRecoverableException>`, the solver behaves as if the failing method was not called. The solver can still be used safely. -If, however, a method fails with a :cpp:class:`CVC4ApiException -<cvc5::api::CVC4ApiException>`, the associated object may be in an unsafe state +If, however, a method fails with a :cpp:class:`CVC5ApiException +<cvc5::api::CVC5ApiException>`, the associated object may be in an unsafe state and it should no longer be used. -.. doxygenclass:: cvc5::api::CVC4ApiException +.. doxygenclass:: cvc5::api::CVC5ApiException :project: cvc5 :members: :undoc-members: -.. doxygenclass:: cvc5::api::CVC4ApiRecoverableException +.. doxygenclass:: cvc5::api::CVC5ApiRecoverableException :project: cvc5 :members: :undoc-members: |