From: Gereon Kremer Date: Thu, 28 Oct 2021 10:07:59 +0000 (-0700) Subject: Remove separate cpp docs for UnknownExplanation (#7516) X-Git-Tag: cvc5-1.0.0~946 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=46f5a39730ebd42421963c23de81a75652fb6629;p=cvc5.git Remove separate cpp docs for UnknownExplanation (#7516) This removes the separate documentation for the `UnknownExplanation` enum, as it is already included in the documentation of the `Result` class. --- diff --git a/docs/api/cpp/cpp.rst b/docs/api/cpp/cpp.rst index 04f731203..edcbbd87d 100644 --- a/docs/api/cpp/cpp.rst +++ b/docs/api/cpp/cpp.rst @@ -30,6 +30,3 @@ C++ API Documentation sort statistics term - unknownexplanation - - diff --git a/docs/api/cpp/unknownexplanation.rst b/docs/api/cpp/unknownexplanation.rst deleted file mode 100644 index 9a64ec4aa..000000000 --- a/docs/api/cpp/unknownexplanation.rst +++ /dev/null @@ -1,6 +0,0 @@ -UnknownExplanation -============ - -.. doxygenenum:: cvc5::api::Result::UnknownExplanation - :project: cvc5 - diff --git a/docs/api/python/unknownexplanation.rst b/docs/api/python/unknownexplanation.rst index 54c37665b..aee134582 100644 --- a/docs/api/python/unknownexplanation.rst +++ b/docs/api/python/unknownexplanation.rst @@ -1,5 +1,5 @@ UnknownExplanation -================ +================== .. autoclass:: pycvc5.UnknownExplanation :members: diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index 9a7358bbf..3367bf47b 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -569,8 +569,8 @@ cdef class Result: def isNull(self): """ - :return: True if Result is empty, i.e., a nullary Result, - and not an actual result returned from a :cpp:func:`Solver::checkSat() ` (and friends) query. + :return: True if Result is empty, i.e., a nullary Result, and not an actual result returned from a + :cpp:func:`Solver::checkSat() ` (and friends) query. """ return self.cr.isNull()