From 46f5a39730ebd42421963c23de81a75652fb6629 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 28 Oct 2021 03:07:59 -0700 Subject: [PATCH] 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. --- docs/api/cpp/cpp.rst | 3 --- docs/api/cpp/unknownexplanation.rst | 6 ------ docs/api/python/unknownexplanation.rst | 2 +- src/api/python/cvc5.pxi | 4 ++-- 4 files changed, 3 insertions(+), 12 deletions(-) delete mode 100644 docs/api/cpp/unknownexplanation.rst 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() -- 2.30.2